| 1998 | LOPSTR | Synthesis of Programs in Abstract Data Types. | Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli |
| 1997 | TABLEAUX | Generalized Tableau Systems for Intemediate Propositional Logics. | Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
| 1995 | TABLEAUX | Refutation Systems for Propositional Modal Logics. | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
| 1991 | LOPSTR | Program Specification and Synthesis in Constructive Formal Systems. | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
| 1991 | LPAR | A Constructive Logic Approach to Database Theory. | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
| 1979 | ICALP | A Characterization of Abstract Data as Model-Theoretic Invariants. | Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli |
| 1977 | MFCS | A Calculus to Build Up Correct Programs. | Pierangelo Miglioli, Mario Ornaghi |
| 1975 | GI | First Order Logic as a Tool to Solve and Classify Problems. | Daniele Marini, Pierangelo Miglioli, Mario Ornaghi |
| 1974 | MFCS | Mathematical Foundations of Motivation Languages and Synthesis Maps. | Pierangelo Miglioli |
| 1973 | MFCS | Characterization of Programs and Their Synthesis from a Formalized Theory. | Daniele Marini, Pierangelo Miglioli |