Mauro Di Manzo

1998
16	EE	Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino: Planning via Model Checking in Deterministic Domains: Preliminary Report. AIMSA 1998: 221-229
1995
15		Mauro Di Manzo, Paolo Pecchiari: Composing decision procedures: the approach and a case study. AI*IA 1995: 175-186
1993
14		Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari: Proving Formulas through Reduction to Decidable Classes. AI*IA 1993: 1-10
13		Mauro Di Manzo, Enrico Giunchiglia: Multi-Context Systems as a Tool to Model Temporal Evolution. ISMIS 1993: 548-557
1989
12		Mauro Di Manzo, Paolo Puliti, Guido Tascini, Primo Zingaretti: Reasoning about Space and Time in High-Level Vision. IAS 1989: 943-949
1986
11		Mauro Di Manzo, Franca Ricci, F. Adriana Batistoni, Carlo Ferrari: Using Functional Knowledge in Computer Vision. IAS 1986: 397-404
1984
10		Mauro Di Manzo, Fausto Giunchiglia, Ernesto Pino: Space Representation and Object Positioning in Natural Language Driven Image Generation. AIMSA 1984: 207-214
9	EE	Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia: Natural Language driven Image Generation. COLING 1984: 495-500
8		Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia: From Descriptions to Images: What Reasoning in between? ECAI 1984: 139-148
1983
7	EE	Giovanni Adorni, Mauro Di Manzo: Natural Language Input For Scene Generation. EACL 1983: 175-182
6		Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia: Some Basic Mechanisms for Common Sense Reasoning About Stories Environments. IJCAI 1983: 72-74
1982
5	EE	Giovanni Adorni, Antonio Boccalatte, Mauro Di Manzo: Cognitive Models For Computer Vision. COLING 1982: 7-12
4		Antonio Boccalatte, Mauro Di Manzo, D. Sciarra: Error Recovery with Attribute Grammars. Comput. J. 25(3): 331-337 (1982)
1980
3		Antonio Boccalatte, Mauro Di Manzo: An Approach to the Detection of Semantic Errors. Comput. J. 23(4): 317-323 (1980)
1979
2		Mauro Di Manzo, A. L. Frisiani, G. Olimpo: Loop Optimisation for Parallel Processing. Comput. J. 22(3): 234-239 (1979)
1978
1		Mauro Di Manzo, A. L. Frisiani, G. Olimpo: Deadlock avoidance in graph-structured task systems. ECI 1978: 548-559

Coauthor Index

1	Giovanni Adorni	[5] [6] [7] [8] [9]
2	Alessandro Armando	[14]
3	F. Adriana Batistoni	[11]
4	Antonio Boccalatte	[3] [4] [5]
5	Carlo Ferrari	[11]
6	A. L. Frisiani	[1] [2]
7	Enrico Giunchiglia	[13] [14] [16]
8	Fausto Giunchiglia	[6] [8] [9] [10]
9	G. Olimpo	[1] [2]
10	Paolo Pecchiari	[14] [15]
11	Ernesto Pino	[10]
12	Paolo Puliti	[12]
13	Franca Ricci	[11]
14	Simone Ruffino	[16]
15	D. Sciarra	[4]
16	Guido Tascini	[12]
17	Primo Zingaretti	[12]

Colors in the list of coauthors