| 1998 | AIMSA | Planning via Model Checking in Deterministic Domains: Preliminary Report. | Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino |
| 1993 | ISMIS | Multi-Context Systems as a Tool to Model Temporal Evolution. | Mauro Di Manzo, Enrico Giunchiglia |
| 1989 | IAS | Reasoning about Space and Time in High-Level Vision. | Mauro Di Manzo, Paolo Puliti, Guido Tascini, Primo Zingaretti |
| 1986 | IAS | Using Functional Knowledge in Computer Vision. | Mauro Di Manzo, Franca Ricci, F. Adriana Batistoni, Carlo Ferrari |
| 1984 | AIMSA | Space Representation and Object Positioning in Natural Language Driven Image Generation. | Mauro Di Manzo, Fausto Giunchiglia, Ernesto Pino |
| 1984 | COLING | Natural Language driven Image Generation. | Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia |
| 1984 | ECAI | From Descriptions to Images: What Reasoning in between? | Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia |
| 1983 | EACL | Natural Language Input For Scene Generation. | Giovanni Adorni, Mauro Di Manzo |
| 1983 | IJCAI | Some Basic Mechanisms for Common Sense Reasoning About Stories Environments. | Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia |
| 1982 | COLING | Cognitive Models For Computer Vision. | Giovanni Adorni, Antonio Boccalatte, Mauro Di Manzo |
| 1978 | SIGCSE | COMES: a CAI system oriented to programming languages. | Mauro Di Manzo, Maria Ferraris, Arrigo L. Frisiani, Vittorio Midoro, G. Olimpo |