dblp.uni-trier.dewww.uni-trier.de

Mauro Di Manzo Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1998
16EEMauro 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
13EEMauro 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
9EEGiovanni 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
7EEGiovanni 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
5EEGiovanni 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)