Maria Chiara Meo

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 18

Top Topics

Logic Based Argumentation

Concurrent Programs

Business Processes

Top Venues

Theory Pract. Log. Program.

Publications

Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
Preserving Privacy in a (Timed) Concurrent Language for Argumentation. CILC (2024)
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games. CoRR (2023)
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation. AI³@AI*IA (2023)
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
Timed concurrent language for argumentation with maximum parallelism. J. Log. Comput. 33 (4) (2023)
Stefano Bistarelli, Carlo Taticchi, Maria Chiara Meo
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games. Theory Pract. Log. Program. 23 (6) (2023)
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
The role of linearity in sharing analysis. Math. Struct. Comput. Sci. 32 (1) (2022)
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
On the Need for a Common API for Abstract Domains of Object-Oriented Programs. FTfJP@ECOOP (2022)
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
Timed Concurrent Language for Argumentation: An Interleaving Approach. PADL (2022)
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
Concurrent Argumentation with Time: an Overview. AI³@AI*IA (2021)
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
Timed Concurrent Language for Argumentation. CILC (2021)
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
On collecting semantics for program analysis. Theor. Comput. Sci. 823 (2020)
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
Semantics and Controllability of Time-Aware Business Processes. Fundam. Informaticae 165 (3-4) (2019)
Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari
Descending chains and narrowing on template abstract domains. Acta Informatica 55 (6) (2018)
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
A Taxonomy of Program Analyses. ICTCS (2018)
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
Verifying Controllability of Time-Aware Business Processes. RuleML+RR (2017)
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
Verification of Time-Aware Business Processes Using Constrained Horn Clauses. LOPSTR (2016)
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
Exploiting Linearity in Sharing Analysis of Object-oriented Programs. Electron. Notes Theor. Comput. Sci. 322 (2016)
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
Verification of Time-Aware Business Processes using Constrained Horn Clauses. CoRR (2016)
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky
Unfolding for CHR programs. Theory Pract. Log. Program. 15 (3) (2015)
Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari
Narrowing Operators on Template Abstract Domains. FM (2015)
Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini
Timed soft concurrent constraint programs: An interleaved and a parallel approach. Theory Pract. Log. Program. 15 (6) (2015)
Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini
Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach. CoRR (2014)
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky
Unfolding for CHR programs. CoRR (2013)
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo
The expressive power of CHR with priorities. Inf. Comput. 228 (2013)
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
On the Expressive Power of Multiple Heads in CHR. ACM Trans. Comput. Log. 13 (1) (2012)
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers
Decidability properties for fragments of CHR CoRR (2010)
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers
Decidability properties for fragments of CHR. Theory Pract. Log. Program. 10 (4-6) (2010)
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
Expressiveness of Multiple Heads in CHR. SOFSEM (2009)
Maurizio Gabbrielli, Maria Chiara Meo
A compositional semantics for CHR. ACM Trans. Comput. Log. 10 (2) (2009)
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo
On the expressive power of priorities in CHR. PPDP (2009)
Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini
Timed Soft Concurrent Constraint Programs. COORDINATION (2008)
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella
Unfolding in CHR CoRR (2008)
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
Expressiveness of multiple heads in CHR CoRR (2008)
Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo
Unfolding in CHR. PPDP (2007)
Maurizio Gabbrielli, Maria Chiara Meo
A compositional Semantics for CHR CoRR (2006)
Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
A compositional semantics for CHR. PPDP (2005)
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
Proving correctness of timed concurrent constraint programs. ACM Trans. Comput. Log. 5 (4) (2004)
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
A Timed Linda Language and its Denotational Semantics. Fundam. Informaticae 63 (4) (2004)
Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
Compositional Verification of Infinite State Systems. ICLP (2003)
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
Proving Correctness of Timed Concurrent Constraint Programs. FoSSaCS (2002)
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
Proving correctness of Timed Concurrent Constraint Programs CoRR (2002)
Marco Comini, Giorgio Levi, Maria Chiara Meo
A Theory of Observables for Logic Programs. Inf. Comput. 169 (1) (2001)
Agostino Dovier, Maria Chiara Meo, Andrea Omicini
Preface. APPIA-GULP-PRODE 48 (2001)
Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
Transformations of CCP programs. ACM Trans. Program. Lang. Syst. 23 (3) (2001)
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
A Denotational Semantics for Timed Linda. PPDP (2001)
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. TIME (2001)
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
Proving correctness of timed concurrent constraint programs. APPIA-GULP-PRODE (2001)
Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
Transformations of CCP programs CoRR (2001)
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
A Timed Linda Language. COORDINATION (2000)
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
A Timed Concurrent Constraint Language. Inf. Comput. 161 (1) (2000)
Marco Comini, Maria Chiara Meo
-Derivations. Theor. Comput. Sci. 211 (1-2) (1999)
Maria Chiara Meo
On the Expressiveness of Concurrent Constraint Languages. ECOOP Workshops (1999)
Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
Abstract Diagnosis. J. Log. Program. 39 (1-3) (1999)
Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
Unfold/Fold Transformations of CCP Programs. CONCUR (1998)
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
Semantics and Expressive Power of a Timed Concurrent Constraint Language. CP (1997)
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
Semantics and Expressive Power of a Timed Concurrent Constraint Language. APPIA-GULP-PRODE (1997)
Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
Resultants Semantics for Prolog. J. Log. Comput. 6 (4) (1996)
Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
Proving Properties of Logic Programs by Abstract Diagnosis. LOMAPS (1996)
Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
Differential Logic Programs: Programming Methodologies and Semantics. Sci. Comput. Program. 27 (3) (1996)
Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
Observable Behaviors and Equivalences of Logic Programs Inf. Comput. 122 (1) (1995)
Marco Comini, Giorgio Levi, Maria Chiara Meo
Compositionality in SLD-Derivations and their Abstractions. ILPS (1995)
Marco Comini, Giorgio Levi, Maria Chiara Meo
Compositionality in SLD-derivations and their Abstractions. GULP-PRODE (1995)
Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
Compilative Constructive Negation in Constraint Logic Programs. CAAP (1994)
Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
A Compositional Semantics for Logic Programs. Theor. Comput. Sci. 122 (1&2) (1994)
Annalisa Bossi, Massimo Fabris, Maria Chiara Meo
A Bottom-up Semantics for Constructive Negation. ICLP (1994)
Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
Intensional Negation in Constraint Logic Programs. GULP (1993)
Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
Differential Logic Programming. POPL (1993)
Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
Observational Equivalences for Logic Programs. JICSLP (1992)
Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
Contributions to the Semantics of Open Logic Programs. FGCS (1992)
Maurizio Gabbrielli, Maria Chiara Meo
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns. ALP (1992)
Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
An OR-Compositional Semantics for Logic Programs. ICLP Workshop on Construction of Logic Programs (1991)