| Transformation of logic programs: Foundations and techniques A Pettorossi, M Proietti The Journal of Logic Programming 19, 261-320, 1994 | 304 | 1994 |
| Rules and strategies for transforming functional and logic programs A Pettorossi, M Proietti ACM Computing Surveys (CSUR) 28 (2), 360-414, 1996 | 186 | 1996 |
| VeriMAP: A tool for verifying programs through transformations ED Angelis, F Fioravanti, A Pettorossi, M Proietti International Conference on Tools and Algorithms for the Construction and …, 2014 | 82 | 2014 |
| A powerful strategy for deriving efficient programs by transformation A Pettorossi Proceedings of the 1984 ACM Symposium on LISP and functional programming …, 1984 | 77 | 1984 |
| Transformation of logic programs A Pettorossi, M Proietti Handbook of logic in artificial intelligence and logic programming 5, 697-787, 1998 | 72 | 1998 |
| Unfolding—definition—folding, in this order, for avoiding unnecessary variables in logic programs M Proietti, A Pettorossi International Symposium on Programming Language Implementation and Logic …, 1991 | 68 | 1991 |
| Unfolding-definition-folding, in this order, for avoiding unnecessary variables in logic programs M Proietti, A Pettorossi Theoretical Computer Science 142 (1), 89-124, 1995 | 66 | 1995 |
| Synthesis and transformation of logic programs using unfold/fold proofs A Pettorossi, M Proietti The Journal of Logic Programming 41 (2-3), 197-230, 1999 | 64 | 1999 |
| Semantics preserving transformation rules for Prolog M Proietti, A Pettorossi ACM SIGPLAN Notices 26 (9), 274-284, 1991 | 64 | 1991 |
| Verifying CTL properties of infinite state systems by specializing constraint logic programs F Fioravanti, A Pettorossi, M Proietti | 59 | 2001 |
| Semantics-based generation of verification conditions via program specialization E De Angelis, F Fioravanti, A Pettorossi, M Proietti Science of Computer Programming 147, 78-108, 2017 | 55 | 2017 |
| The loop absorption and the generalization strategies for the development of logic programs and partial deduction M Proietti, A Pettorossi The Journal of Logic Programming 16 (1-2), 123-161, 1993 | 54 | 1993 |
| Generalization strategies for the verification of infinite state systems F Fioravanti, A Pettorossi, M Proietti, V Senni Theory and Practice of Logic Programming 13 (2), 175-199, 2013 | 53 | 2013 |
| Transformation rules for locally stratified constraint logic programs F Fioravanti, A Pettorossi, M Proietti Program Development in Computational Logic, 291-339, 2004 | 46 | 2004 |
| Synthesis of eureka predicates for developing logic programs M Proietti, A Pettorossi European Symposium on Programming, 306-325, 1990 | 46 | 1990 |
| Program verification via iterated specialization E De Angelis, F Fioravanti, A Pettorossi, M Proietti Science of Computer Programming 95, 149-175, 2014 | 45 | 2014 |
| A comparative revisitation of some program transformation techniques A Pettorossi, M Proietti Partial Evaluation, 355-385, 1996 | 45 | 1996 |
| Perfect model checking via unfold/fold transformations A Pettorossi, M Proietti International Conference on Computational Logic, 613-628, 2000 | 38 | 2000 |
| Relational verification through horn clause transformation ED Angelis, F Fioravanti, A Pettorossi, M Proietti International Static Analysis Symposium, 147-169, 2016 | 37 | 2016 |
| Reducing nondeterminism while specializing logic programs A Pettorossi, M Proietti, S Renault Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 36 | 1997 |
Maurizio ProiettiResearch Scientist, CNR-IASI, ItalyVerified email at iasi.cnr.it
