Maurizio Gabbrielli

Available identifiers

zbMath Open gabbrielli.maurizioMaRDI QIDQ276550

List of research outcomes

Publication	Date of Publication	Type
Applied Choreographies	2023-03-10	Paper
Unfolding and fixpoint semantics of concurrent constraint logic programs	2022-08-16	Paper
Confluence in concurrent constraint programming	2022-08-16	Paper
Proving correctness of Constraint Logic Programs with dynamic scheduling	2022-02-16	Paper
Self-reconfiguring microservices	2021-05-20	Paper
Slicing concurrent constraint programs	2021-05-20	Paper
Probabilistic Recursion Theory and Implicit Computational Complexity	2019-02-08	Paper
SUNNY-CP and the MiniZinc challenge	2018-02-20	Paper
Unfolding for CHR programs	2017-11-09	Paper
Timed soft concurrent constraint programs: An interleaved and a parallel approach	2017-11-09	Paper
Slicing concurrent constraint programs	2017-10-13	Paper
Proving correctness of timed concurrent constraint programs	2017-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q2974797	2017-04-11	Paper
Portfolio approaches for constraint optimization problems	2016-05-04	Paper
Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges	2016-02-05	Paper
A compositional semantics for CHR	2015-09-17	Paper
On the Expressive Power of Multiple Heads in CHR	2015-09-17	Paper
SUNNY: a Lazy Portfolio Approach for Constraint Solving	2014-11-25	Paper
Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs	2014-06-02	Paper
The expressive power of CHR with priorities	2013-12-19	Paper
Comparative analysis of the expressiveness of shared dataspace coordination	2013-07-24	Paper
An Empirical Evaluation of Portfolios Approaches for Solving CSPs	2013-06-04	Paper
Decidability properties for fragments of CHR	2010-08-19	Paper
Concurrent and Reactive Constraint Programming	2010-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q3566722	2010-06-09	Paper
Programming languages: Principles and paradigms	2010-01-14	Paper
On the expressive power of recursion, replication and iteration in process calculi	2010-01-12	Paper
A Compositional Semantics for CHR with Propagation Rules	2009-03-26	Paper
Expressiveness of Multiple Heads in CHR	2009-02-03	Paper
Full Abstraction for Linda	2008-04-11	Paper
Automata, Languages and Programming	2006-01-10	Paper
Automata, Languages and Programming	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4681453	2005-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4738216	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4449170	2004-02-08	Paper
A timed concurrent constraint language.	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q2736350	2001-08-29	Paper
The s-semantics approach: Theory and applications	2000-08-14	Paper
Layered modes	1999-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4259953	1999-09-08	Paper
https://portal.mardi4nfdi.de/entity/Q4221353	1999-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4222884	1998-12-20	Paper
Confluence in concurrent constraint programming	1998-07-22	Paper
Constraint logic programming with dynamic scheduling: A semantics based on closure operators	1997-09-28	Paper
A closer look at declarative interpretations	1997-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q5688899	1997-03-19	Paper
Transformations of CLP modules	1997-02-27	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
https://portal.mardi4nfdi.de/entity/Q4858579	1995-12-17	Paper
Observable Semantics for Constraint Logic Programs	1995-04-17	Paper
A compositional semantics for logic programs	1994-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q4036549	1993-05-18	Paper
Unfolding and fixpoint semantics of concurrent constraint logic programs	1993-01-16	Paper
NESTED GUARDED HORN CLAUSES	1990-01-01	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: Maurizio Gabbrielli