Maria Chiara Meo

zbMath Openmeo.maria-chiaraMaRDI QIDQ388221

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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
scientific article; zbMATH DE number 2182596 (Why is no real title available?)	2005-06-23	Paper
scientific article; zbMATH DE number 2087421 (Why is no real title available?)	2004-08-11	Paper
A theory of observables for logic programs	2003-01-14	Paper
A timed concurrent constraint language.	2003-01-14	Paper
scientific article; zbMATH DE number 1456952 (Why is no real title available?)	2000-06-07	Paper
Abstract diagnosis	1999-12-06	Paper
scientific article; zbMATH DE number 1234567 (Why is no real title available?)	1999-02-11	Paper
Compositionality properties of SLD-derivations	1999-01-12	Paper
scientific article; zbMATH DE number 970714 (Why is no real title available?)	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