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
Unfolding for CHR programs	2017-11-09	Paper
Timed soft concurrent constraint programs: An interleaved and a parallel approach	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
A compositional semantics for CHR	2015-09-17	Paper
On the Expressive Power of Multiple Heads in 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 timed concurrent constraint language.	2003-01-14	Paper
A theory of observables for logic programs	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Maria Chiara Meo