Follow
Maria Chiara Meo
Maria Chiara Meo
Professore di informatica, Università di Chieti-Pescara
Verified email at unich.it
Title
Cited by
Cited by
Year
A timed concurrent constraint language
FS de Boer, M Gabbrielli, MC Meo
Information and computation 161 (1), 45-83, 2000
1192000
A compositional semantics for logic programs
A Bossi, M Gabrielli, G Levi, MC Meo
Theoretical computer science 122 (1-2), 3-47, 1994
1061994
Abstract diagnosis
M Comini, G Levi, MC Meo, G Vitiello
The Journal of Logic Programming 39 (1-3), 43-93, 1999
1011999
Contributions to the Semantics of Open Logic Programs.
A Bossi, M Gabbrielli, G Levi, MC Meo
FGCS, 570-580, 1992
691992
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
561997
A theory of observables for logic programs
M Comini, G Levi, MC Meo
Information and Computation 169 (1), 23-80, 2001
522001
Observable behaviors and equivalences of logic programs
M Gabbrielli, G Levi, MC Meo
Information and Computation 122 (1), 1-29, 1995
401995
Fixpoint semantics for partial computed answer substitutions and call patterns
M Gabbrielli, MC Meo
Algebraic and Logic Programming: Third International Conference Volterra …, 1992
401992
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
391993
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
352001
Compositionality properties of SLD-derivations
M Comini, MC Meo
Theoretical Computer Science 211 (1-2), 275-309, 1999
351999
Resultants semantics for PROLOG
M Gabbrielli, G Levi, MC Meo
Journal of Logic and Computation 6 (4), 491-521, 1996
351996
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
341994
Transformations of CCP programs
S Etalle, M Gabbrielli, MC Meo
ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (3), 304-395, 2001
312001
Observational Equivalences for Logic Programs.
M Gabbrielli, G Levi, MC Meo
JICSLP, 131-145, 1992
261992
Compositionality in SLD-Derivations and their Abstractions.
M Comini, G Levi, MC Meo
ILPS, 561-575, 1995
221995
Timed soft concurrent constraint programs
S Bistarelli, M Gabbrielli, MC Meo, F Santini
Coordination Models and Languages: 10th International Conference …, 2008
182008
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
152009
Semantics and expressive power of a timed concurrent constraint language
F de Boer, M Gabbrielli, MC Meo
Principles and Practice of Constraint Programming-CP97: Third International …, 1997
151997
Unfolding in CHR
P Tacchella, M Gabbrielli, MC Meo
Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007
142007
The system can't perform the operation now. Try again later.
Articles 1–20