| A timed concurrent constraint language FS de Boer, M Gabbrielli, MC Meo Information and Computation 161 (1), 45-83, 2000 | 121 | 2000 |
| A compositional semantics for logic programs A Bossi, M Gabrielli, G Levi, MC Meo Theoretical Computer Science 122 (1-2), 3-47, 1994 | 109 | 1994 |
| Abstract diagnosis M Comini, G Levi, MC Meo, G Vitiello The Journal of Logic Programming 39 (1-3), 43-93, 1999 | 101 | 1999 |
| Contributions to the Semantics of Open Logic Programs. A Bossi, M Gabbrielli, G Levi, MC Meo FGCS, 570-580, 1992 | 66 | 1992 |
| Proving properties of logic programs by abstract diagnosis M Comini, G Levi, MC Meo, G Vitiello Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop …, 1997 | 56 | 1997 |
| A theory of observables for logic programs M Comini, G Levi, MC Meo Information and Computation 169 (1), 23-80, 2001 | 53 | 2001 |
| Fixpoint semantics for partial computed answer substitutions and call patterns M Gabbrielli, MC Meo Algebraic and Logic Programming: Third International Conference Volterra …, 1992 | 40 | 1992 |
| Differential logic programming A Bossi, M Bugliesi, M Gabbrielli, G Levi, MC Meo Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 39 | 1993 |
| Observable behaviors and equivalences of logic programs M Gabbrielli, G Levi, MC Meo Information and Computation 122 (1), 1-29, 1995 | 38 | 1995 |
| A temporal logic for reasoning about timed concurrent constraint programs FS de Boer, M Gabbrielli, MC Meo Proceedings Eighth International Symposium on Temporal Representation and …, 2001 | 37 | 2001 |
| Compositionality properties of SLD-derivations M Comini, MC Meo Theoretical Computer Science 211 (1-2), 275-309, 1999 | 36 | 1999 |
| Compilative constructive negation in constraint logic programs P Bruscoli, F Levi, G Levi, MC Meo Trees in Algebra and Programming—CAAP'94: 19th International Colloquium …, 1994 | 36 | 1994 |
| Resultants semantics for PROLOG M Gabbrielli, G Levi, MC Meo Journal of Logic and Computation 6 (4), 491-521, 1996 | 35 | 1996 |
| Transformations of CCP programs S Etalle, M Gabbrielli, MC Meo ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (3), 304-395, 2001 | 32 | 2001 |
| Observational Equivalences for Logic Programs. M Gabbrielli, G Levi, MC Meo JICSLP, 131-145, 1992 | 26 | 1992 |
| Expressiveness of multiple heads in CHR C Di Giusto, M Gabbrielli, MC Meo SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on …, 2009 | 24* | 2009 |
| Compositionality in SLD-derivations and their abstractions M Comini, G Levi, MC Meo | 23 | 1995 |
| Timed soft concurrent constraint programs S Bistarelli, M Gabbrielli, MC Meo, F Santini Coordination Models and Languages: 10th International Conference …, 2008 | 21 | 2008 |
| Semantics and expressive power of a timed concurrent constraint language F de Boer, M Gabbrielli, MC Meo International Conference on Principles and Practice of Constraint …, 1997 | 18 | 1997 |
| Unfolding in CHR P Tacchella, M Gabbrielli, MC Meo Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007 | 14 | 2007 |
