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
1142000
A compositional semantics for logic programs
A Bossi, M Gabrielli, G Levi, MC Meo
Theoretical computer science 122 (1-2), 3-47, 1994
1021994
Abstract diagnosis
M Comini, G Levi, MC Meo, G Vitiello
The Journal of Logic Programming 39 (1-3), 43-93, 1999
981999
Contributions to the Semantics of Open Logic Programs.
A Bossi, M Gabbrielli, G Levi, MC Meo
FGCS, 570-580, 1992
651992
Proving properties of logic programs by abstract diagnosis
M Comini, G Levi, MC Meo, G Vitiello
LOMAPS workshop on Analysis and Verification of Multiple-Agent Languages, 22-50, 1996
511996
A theory of observables for logic programs
M Comini, G Levi, MC Meo
Information and Computation 169 (1), 23-80, 2001
482001
Observable behaviors and equivalences of logic programs
M Gabbrielli, G Levi, MC Meo
Information and Computation 122 (1), 1-29, 1995
381995
Fixpoint semantics for partial computed answer substitutions and call patterns
M Gabbrielli, MC Meo
International Conference on Algebraic and Logic Programming, 84-99, 1992
381992
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
371993
Resultants semantics for PROLOG
M Gabbrielli, G Levi, MC Meo
Journal of Logic and Computation 6 (4), 491-521, 1996
361996
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
Transformations of CCP programs
S Etalle, M Gabbrielli, MC Meo
ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (3), 304-395, 2001
302001
Compilative constructive negation in constraint logic programs
P Bruscoli, F Levi, G Levi, MC Meo
Colloquium on Trees in Algebra and Programming, 52-67, 1994
301994
Compositionality properties of SLD-derivations
M Comini, MC Meo
Theoretical Computer Science 211 (1-2), 275-309, 1999
281999
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
Expressiveness of multiple heads in CHR
C Di Giusto, M Gabbrielli, MC Meo
International Conference on Current Trends in Theory and Practice of …, 2009
192009
Timed soft concurrent constraint programs
S Bistarelli, M Gabbrielli, MC Meo, F Santini
International Conference on Coordination Languages and Models, 50-66, 2008
172008
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
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