| 1987 | IJCAI | Planning and Executing Office Procedures in Project ASPERA. | M. Cristina Bena, Giorgio Montini, Franco Sirovich |
| 1982 | ICSE | DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements. | Luigi Petrone, Antonio Di Leva, Franco Sirovich |
| 1980 | MFCS | On Finding the Optimal Access Path to Resolve a Relational Data Base Query. | Pierpaolo Degano, A. Lomanto, Franco Sirovich |
| 1979 | IJCAI | Inducing Function Properties from Computation Traces. | Pierpaolo Degano, Franco Sirovich |
| 1979 | ICSE | A Flexible Environment for Program Development Based on a Symbolic Interpreter. | Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini |
| 1975 | GI | Pattern Matching and Call by Pattern. | Giorgio Levi, Franco Sirovich |
| 1975 | IJCAI | A Problem Reduction Model for Non-Independent Subproblems. | Giorgio Levi, Franco Sirovich |
| 1975 | MFCS | Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics. | Giorgio Levi, Franco Sirovich |