Maria Chiara Meo

81 papers A* 1A 1B 8C 9Journal 36Unranked 22
YearRankTypeTitle / Venue / Authors
2026 J jnl
CONNECT: find your dream team.
SoftwareX
Gianluca Amato, Luca Di Vita, Paolo Melchiorre, Maria Chiara Meo, Francesca Scozzari, Matteo Vitali
2026 J jnl
Constrained Assumption-Based Argumentation Frameworks.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti, Francesca Toni
2026 J jnl
Strategic and private reasoning with the concurrent (timed) language for argumentation.
J. Log. Comput.
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
2025 — conf
Enabling research collaboration with AI: the BI4E experience with large language models.
Ital-IA
Gianluca Amato, Marcello Costantini, Luca Di Vita, Francesca Ferri, Paolo Melchiorre, Maria Chiara Meo, Francesca Scozzari, Matteo Vitali
2024 — conf
AI for Sustainability: Research at Ud'A Node.
Ital-IA
Gianluca Amato, Alessia Amelio, Luciano Caroprese, Piero Chiacchiaretta, Fabio Fioravanti, Luigi Ippoliti, Maria Chiara Meo, Gianpiero Monaco, Christian Morbidoni, Luca Moscardelli, Maurizio Parton, Francesca Scozzari
2024 B conf
Modelling Dialogues in a Concurrent Language for Argumentation.
LPNMR
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
2024 — conf
Preserving Privacy in a (Timed) Concurrent Language for Argumentation.
CILC
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
2023 J jnl
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games.
CoRR
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
2023 J jnl
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games.
Theory Pract. Log. Program.
Stefano Bistarelli, Carlo Taticchi, Maria Chiara Meo
2023 — conf
On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation.
AI³@AI*IA
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
2023 J jnl
Timed concurrent language for argumentation with maximum parallelism.
J. Log. Comput.
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
2022 — conf
On the Need for a Common API for Abstract Domains of Object-Oriented Programs.
FTfJP@ECOOP
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
2022 J jnl
The role of linearity in sharing analysis.
Math. Struct. Comput. Sci.
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
2022 C conf
Timed Concurrent Language for Argumentation: An Interleaving Approach.
PADL
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
2021 — conf
Concurrent Argumentation with Time: an Overview.
AI³@AI*IA
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
2021 — conf
Timed Concurrent Language for Argumentation.
CILC
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
2020 J jnl
On collecting semantics for program analysis.
Theor. Comput. Sci.
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
2019 J jnl
Semantics and Controllability of Time-Aware Business Processes.
Fundam. Informaticae
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
2018 — conf
A Taxonomy of Program Analyses.
ICTCS
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
2018 J jnl
Descending chains and narrowing on template abstract domains.
Acta Informatica
Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari
2017 B conf
Verifying Controllability of Time-Aware Business Processes.
RuleML+RR
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
2016 C conf
Verification of Time-Aware Business Processes Using Constrained Horn Clauses.
LOPSTR
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
2016 J jnl
Verification of Time-Aware Business Processes using Constrained Horn Clauses.
CoRR
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
2015 — conf
Exploiting Linearity in Sharing Analysis of Object-oriented Programs.
ICTCS
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
2015 B conf
Narrowing Operators on Template Abstract Domains.
FM
Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari
2015 J jnl
Timed soft concurrent constraint programs: An interleaved and a parallel approach.
Theory Pract. Log. Program.
Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini
2015 J jnl
Unfolding for CHR programs.
Theory Pract. Log. Program.
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky
2014 J jnl
Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach.
CoRR
Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini
2013 J jnl
The expressive power of CHR with priorities.
Inf. Comput.
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo
2013 J jnl
Unfolding for CHR programs.
CoRR
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky
2012 J jnl
On the Expressive Power of Multiple Heads in CHR.
ACM Trans. Comput. Log.
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
2010 J jnl
Decidability properties for fragments of CHR
CoRR
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers
2010 J jnl
Decidability properties for fragments of CHR.
Theory Pract. Log. Program.
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers
2010 — ch.
Theoretical Foundations and Semantics of Logic Programming.
25 Years GULP
Annalisa Bossi, Maria Chiara Meo
2009 J jnl
A compositional semantics for CHR.
ACM Trans. Comput. Log.
Maurizio Gabbrielli, Maria Chiara Meo
2009 B conf
Expressiveness of Multiple Heads in CHR.
SOFSEM
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
2009 C conf
On the expressive power of priorities in CHR.
PPDP
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo
2008 — ch.
A Compositional Semantics for CHR with Propagation Rules.
Constraint Handling Rules
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella
2008 J jnl
Expressiveness of multiple heads in CHR
CoRR
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
2008 C conf
Timed Soft Concurrent Constraint Programs.
COORDINATION
Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini
2008 J jnl
Unfolding in CHR
CoRR
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella
2007 C conf
Unfolding in CHR.
PPDP
Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo
2006 J jnl
A compositional Semantics for CHR
CoRR
Maurizio Gabbrielli, Maria Chiara Meo
2005 C conf
A compositional semantics for CHR.
PPDP
Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
2004 J jnl
A Timed Linda Language and its Denotational Semantics.
Fundam. Informaticae
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2004 J jnl
Proving correctness of timed concurrent constraint programs.
ACM Trans. Comput. Log.
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2003 B conf
Compositional Verification of Infinite State Systems.
ICLP
Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
2002 B conf
Proving Correctness of Timed Concurrent Constraint Programs.
FoSSaCS
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2002 J jnl
Proving correctness of Timed Concurrent Constraint Programs
CoRR
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2001 C conf
A Denotational Semantics for Timed Linda.
PPDP
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2001 C conf
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs.
TIME
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2001 J jnl
A Theory of Observables for Logic Programs.
Inf. Comput.
Marco Comini, Giorgio Levi, Maria Chiara Meo
2001 — conf
Preface.
APPIA-GULP-PRODE
Agostino Dovier, Maria Chiara Meo, Andrea Omicini
2001 — conf
Proving correctness of timed concurrent constraint programs.
APPIA-GULP-PRODE
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2001 J jnl
Transformations of CCP programs
CoRR
Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
2001 J jnl
Transformations of CCP programs.
ACM Trans. Program. Lang. Syst.
Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
2000 J jnl
A Timed Concurrent Constraint Language.
Inf. Comput.
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2000 C conf
A Timed Linda Language.
COORDINATION
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2000 — ed.
Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000
APPIA-GULP-PRODE
Agostino Dovier, Maria Chiara Meo, Andrea Omicini
1999 — ed.
1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999
APPIA-GULP-PRODE
Maria Chiara Meo, Manuel Vilares Ferro
1999 J jnl
Abstract Diagnosis.
J. Log. Program.
Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
1999 J jnl
Compositionality Properties of
Theor. Comput. Sci.
Marco Comini, Maria Chiara Meo
1999 — conf
On the Expressiveness of Concurrent Constraint Languages.
ECOOP Workshops
Maria Chiara Meo
1998 B conf
Unfold/Fold Transformations of CCP Programs.
CONCUR
Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
1997 — conf
Semantics and Expressive Power of a Timed Concurrent Constraint Language.
APPIA-GULP-PRODE
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
1997 A conf
Semantics and Expressive Power of a Timed Concurrent Constraint Language.
CP
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
1996 J jnl
Differential Logic Programs: Programming Methodologies and Semantics.
Sci. Comput. Program.
Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1996 — conf
Proving Properties of Logic Programs by Abstract Diagnosis.
LOMAPS
Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
1996 J jnl
Resultants Semantics for Prolog.
J. Log. Comput.
Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1995 — conf
Compositionality in SLD-Derivations and their Abstractions.
ILPS
Marco Comini, Giorgio Levi, Maria Chiara Meo
1995 — conf
Compositionality in SLD-derivations and their Abstractions.
GULP-PRODE
Marco Comini, Giorgio Levi, Maria Chiara Meo
1995 J jnl
Observable Behaviors and Equivalences of Logic Programs
Inf. Comput.
Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1994 B conf
A Bottom-up Semantics for Constructive Negation.
ICLP
Annalisa Bossi, Massimo Fabris, Maria Chiara Meo
1994 J jnl
A Compositional Semantics for Logic Programs.
Theor. Comput. Sci.
Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1994 — conf
Compilative Constructive Negation in Constraint Logic Programs.
CAAP
Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
1993 A* conf
Differential Logic Programming.
POPL
Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1993 — conf
Intensional Negation in Constraint Logic Programs.
GULP
Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
1992 — conf
Contributions to the Semantics of Open Logic Programs.
FGCS
Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1992 — conf
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns.
ALP
Maurizio Gabbrielli, Maria Chiara Meo
1992 — conf
Observational Equivalences for Logic Programs.
JICSLP
Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1991 — conf
An OR-Compositional Semantics for Logic Programs.
ICLP Workshop on Construction of Logic Programs
Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo