| Transformation of logic programs: Foundations and techniques A Pettorossi, M Proietti The Journal of Logic Programming 19, 261-320, 1994 | 327 | 1994 |
| Rules and strategies for transforming functional and logic programs A Pettorossi, M Proietti ACM Computing Surveys (CSUR) 28 (2), 360-414, 1996 | 198 | 1996 |
| VeriMAP: A tool for verifying programs through transformations E De Angelis, F Fioravanti, A Pettorossi, M Proietti Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 97 | 2014 |
| A powerful strategy for deriving efficient programs by transformation A Pettorossi Proceedings of the 1984 ACM Symposium on LISP and functional programming …, 1984 | 83 | 1984 |
| Transformation of logic programs A Pettorossi, M Proietti Handbook of logic in artificial intelligence and logic programming 5 (94 …, 1998 | 76 | 1998 |
| Semantics preserving transformation rules for Prolog M Proietti, A Pettorossi ACM SIGPLAN Notices 26 (9), 274-284, 1991 | 72 | 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 | 67 | 1995 |
| 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 | 67 | 1991 |
| 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 | 66 | 1999 |
| Verifying CTL properties of infinite state systems by specializing constraint logic programs F Fioravanti, A Pettorossi, M Proietti Proc. VCL 1, 85-96, 2001 | 64 | 2001 |
| Semantics-based generation of verification conditions by program specialization E De Angelis, F Fioravanti, A Pettorossi, M Proietti Proceedings of the 17th International Symposium on Principles and Practice …, 2015 | 62 | 2015 |
| 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 | 60 | 2013 |
| 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 | 58 | 1993 |
| A comparative revisitation of some program transformation techniques A Pettorossi, M Proietti Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February …, 2005 | 49 | 2005 |
| Program verification via iterated specialization E De Angelis, F Fioravanti, A Pettorossi, M Proietti Science of Computer Programming 95, 149-175, 2014 | 48 | 2014 |
| Transformation rules for locally stratified constraint logic programs F Fioravanti, A Pettorossi, M Proietti Program Development in Computational Logic: A Decade of Research Advances in …, 2004 | 48 | 2004 |
| Relational verification through horn clause transformation E De Angelis, F Fioravanti, A Pettorossi, M Proietti Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016 | 47 | 2016 |
| Synthesis of eureka predicates for developing logic programs M Proietti, A Pettorossi European Symposium on Programming, 306-325, 1990 | 43 | 1990 |
| Perfect model checking via unfold/fold transformations A Pettorossi, M Proietti International Conference on Computational Logic, 613-628, 2000 | 37 | 2000 |
| Analysis and transformation of constrained Horn clauses for program verification E De Angelis, F Fioravanti, JP Gallagher, MV Hermenegildo, A Pettorossi, ... Theory and Practice of Logic Programming 22 (6), 974-1042, 2022 | 36 | 2022 |
Maurizio ProiettiResearch Scientist, CNR-IASI, ItalyVerified email at iasi.cnr.it
