Deadlock avoidance in graph-structured task systems. - Mauro Di Manzo; Arrigo L. Frisiani; G. Olimpo (ECI, 1978)

COMES: a CAI system oriented to programming languages. - Mauro Di Manzo; Maria Ferraris; Arrigo L. Frisiani; Vittorio Midoro; G. Olimpo (SIGCSE/CSA, 1978)

Loop Optimisation for Parallel Processing. - Mauro Di Manzo; Arrigo L. Frisiani; G. Olimpo (Comput. J., 1979)

An Approach to the Detection of Semantic Errors. - Antonio Boccalatte; Mauro Di Manzo (Comput. J., 1980)

Cognitive Models For Computer Vision. - Giovanni Adorni; Antonio Boccalatte; Mauro Di Manzo (COLING, 1982)

Error Recovery with Attribute Grammars. - Antonio Boccalatte; Mauro Di Manzo; D. Sciarra (Comput. J., 1982)

Natural Language Input For Scene Generation. - Giovanni Adorni; Mauro Di Manzo (EACL, 1983)

Some Basic Mechanisms for Common Sense Reasoning About Stories Environments. - Giovanni Adorni; Mauro Di Manzo; Fausto Giunchiglia (IJCAI, 1983)

Space Representation and Object Positioning in Natural Language Driven Image Generation. - Mauro Di Manzo; Fausto Giunchiglia; Ernesto Pino (AIMSA, 1984)

Natural Language driven Image Generation. - Giovanni Adorni; Mauro Di Manzo; Fausto Giunchiglia (COLING, 1984)

From Descriptions to Images: What Reasoning in between? - Giovanni Adorni; Mauro Di Manzo; Fausto Giunchiglia (ECAI, 1984)

Using Functional Knowledge in Computer Vision. - Mauro Di Manzo; Franca Ricci; F. Adriana Batistoni; Carlo Ferrari (IAS, 1986)

Reasoning about scene descriptions. - Mauro Di Manzo; Giovanni Adorni; Fausto Giunchiglia (Proc. IEEE, 1986)

Reasoning about Space and Time in High-Level Vision. - Mauro Di Manzo; Paolo Puliti; Guido Tascini; Primo Zingaretti (IAS, 1989)

FUR: Understanding functional reasoning. - Mauro Di Manzo; Emanuele Trucco; Fausto Giunchiglia; Franca Ricci (Int. J. Intell. Syst., 1989)

Proving Formulas through Reduction to Decidable Classes. - Mauro Di Manzo; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari (AI*IA, 1993)

Multi-Context Systems as a Tool to Model Temporal Evolution. - Mauro Di Manzo; Enrico Giunchiglia (ISMIS, 1993)

Composing decision procedures: the approach and a case study. - Mauro Di Manzo; Paolo Pecchiari (AI*IA, 1995)

Supporting complex inquiries. - Aldo Franco Dragoni; Mauro Di Manzo (Int. J. Intell. Syst., 1995)

Planning via Model Checking in Deterministic Domains: Preliminary Report. - Mauro Di Manzo; Enrico Giunchiglia; Simone Ruffino (AIMSA, 1998)