Maria Chiara Meo

According to our database1, Maria Chiara Meo authored at least 59 papers between 1991 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Descending chains and narrowing on template abstract domains.
Acta Inf., 2018

2017
Verifying Controllability of Time-Aware Business Processes.
Proceedings of the Rules and Reasoning - International Joint Conference, 2017

2016
Exploiting Linearity in Sharing Analysis of Object-oriented Programs.
Electr. Notes Theor. Comput. Sci., 2016

Verification of Time-Aware Business Processes using Constrained Horn Clauses.
CoRR, 2016

Verification of Time-Aware Business Processes Using Constrained Horn Clauses.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015
Unfolding for CHR programs.
TPLP, 2015

Timed soft concurrent constraint programs: An interleaved and a parallel approach.
TPLP, 2015

Narrowing Operators on Template Abstract Domains.
Proceedings of the FM 2015: Formal Methods, 2015

2014
Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach.
CoRR, 2014

2013
The expressive power of CHR with priorities.
Inf. Comput., 2013

Unfolding for CHR programs.
CoRR, 2013

2012
On the Expressive Power of Multiple Heads in CHR.
ACM Trans. Comput. Log., 2012

2010
Decidability properties for fragments of CHR.
TPLP, 2010

Decidability properties for fragments of CHR
CoRR, 2010

Theoretical Foundations and Semantics of Logic Programming.
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009
A compositional semantics for CHR.
ACM Trans. Comput. Log., 2009

Expressiveness of Multiple Heads in CHR.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

On the expressive power of priorities in CHR.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

2008
A Compositional Semantics for CHR with Propagation Rules.
Proceedings of the Constraint Handling Rules, 2008

Unfolding in CHR
CoRR, 2008

Expressiveness of multiple heads in CHR
CoRR, 2008

Timed Soft Concurrent Constraint Programs.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2007
Unfolding in CHR.
Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

2006
A compositional Semantics for CHR
CoRR, 2006

2005
A compositional semantics for CHR.
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

2004
Proving correctness of timed concurrent constraint programs.
ACM Trans. Comput. Log., 2004

A Timed Linda Language and its Denotational Semantics.
Fundam. Inform., 2004

2003
Compositional Verification of Infinite State Systems.
Proceedings of the Logic Programming, 19th International Conference, 2003

2002
Proving correctness of Timed Concurrent Constraint Programs
CoRR, 2002

Proving Correctness of Timed Concurrent Constraint Programs.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001
Transformations of CCP programs.
ACM Trans. Program. Lang. Syst., 2001

A Theory of Observables for Logic Programs.
Inf. Comput., 2001

Preface.
Electr. Notes Theor. Comput. Sci., 2001

Transformations of CCP programs
CoRR, 2001

A Temporal Logic for reasoning about Timed Concurrent Constraint Programs.
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

A Denotational Semantics for Timed Linda.
Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

2000
A Timed Concurrent Constraint Language.
Inf. Comput., 2000

A Timed Linda Language.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1999
Compositionality Properties of SLD-Derivations.
Theor. Comput. Sci., 1999

Abstract Diagnosis.
J. Log. Program., 1999

On the Expressiveness of Concurrent Constraint Languages.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998
Unfold/Fold Transformations of CCP Programs.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997
Semantics and Expressive Power of a Timed Concurrent Constraint Language.
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

Semantics and Expressive Power of a Timed Concurrent Constraint Language.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
Differential Logic Programs: Programming Methodologies and Semantics.
Sci. Comput. Program., 1996

Resultants Semantics for Prolog.
J. Log. Comput., 1996

Proving Properties of Logic Programs by Abstract Diagnosis.
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

1995
Observable Behaviors and Equivalences of Logic Programs
Inf. Comput., October, 1995

Compositionality in SLD-Derivations and their Abstractions.
Proceedings of the Logic Programming, 1995

Compositionality in SLD-derivations and their Abstractions.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
A Compositional Semantics for Logic Programs.
Theor. Comput. Sci., 1994

A Bottom-up Semantics for Constructive Negation.
Proceedings of the Logic Programming, 1994

Compilative Constructive Negation in Constraint Logic Programs.
Proceedings of the Trees in Algebra and Programming, 1994

1993
Differential Logic Programming.
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Intensional Negation in Constraint Logic Programs.
Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992
Observational Equivalences for Logic Programs.
Proceedings of the Logic Programming, 1992

Contributions to the Semantics of Open Logic Programs.
FGCS, 1992

Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns.
Proceedings of the Algebraic and Logic Programming, 1992

1991
An OR-Compositional Semantics for Logic Programs.
Proceedings of the Constructing Logic Programs, 1991


  Loading...