Maria Chiara Meo

Available identifiers

zbMath Open meo.maria-chiaraMaRDI QIDQ388221

List of research outcomes

Publication	Date of Publication	Type
Timed concurrent language for argumentation with maximum parallelism	2023-06-15	Paper
The role of linearity in sharing analysis	2022-12-09	Paper
On collecting semantics for program analysis	2020-05-23	Paper
Narrowing Operators on Template Abstract Domains	2019-12-19	Paper
Semantics and Controllability of Time-Aware Business Processes*	2019-05-24	Paper
Descending chains and narrowing on template abstract domains	2018-09-06	Paper
Timed soft concurrent constraint programs: an interleaved and a parallel approach	2017-11-09	Paper
Unfolding for CHR programs	2017-11-09	Paper
Verification of time-aware business processes using constrained Horn clauses	2017-10-13	Paper
Proving correctness of timed concurrent constraint programs	2017-07-12	Paper
Exploiting linearity in sharing analysis of object-oriented programs	2016-08-05	Paper
On the expressive power of multiple heads in CHR	2015-09-17	Paper
A compositional semantics for CHR	2015-09-17	Paper
The expressive power of CHR with priorities	2013-12-19	Paper
Decidability properties for fragments of CHR	2010-08-19	Paper
Theoretical Foundations and Semantics of Logic Programming	2010-07-20	Paper
A Compositional Semantics for CHR with Propagation Rules	2009-03-26	Paper
Expressiveness of Multiple Heads in CHR	2009-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4681453	2005-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4738216	2004-08-11	Paper
A theory of observables for logic programs	2003-01-14	Paper
A timed concurrent constraint language.	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4954441	2000-06-07	Paper
Abstract diagnosis	1999-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4221353	1999-02-11	Paper
Compositionality properties of SLD-derivations	1999-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q5688899	1997-03-19	Paper
Resultant semantics for prolog	1997-02-17	Paper
Differential logic programs: Programming methodologies and semantics	1996-12-08	Paper
Observable behaviors and equivalences of logic programs	1996-03-18	Paper
A compositional semantics for logic programs	1994-11-29	Paper

Research outcomes over time

This page was built for person: Maria Chiara Meo