Maria Chiara Meo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
15
Active years
1991–2026
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAC | Bipolar Argumentation for Supporting Decisions in Software Design. | Gianluca Amato, Fabio Fioravanti, Maria Chiara Meo, Francesca Scozzari |
| 2024 | LPNMR | Modelling Dialogues in a Concurrent Language for Argumentation. | Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi |
| 2022 | FTfJP | On the Need for a Common API for Abstract Domains of Object-Oriented Programs. | Gianluca Amato, Maria Chiara Meo, Francesca Scozzari |
| 2022 | PADL | Timed Concurrent Language for Argumentation: An Interleaving Approach. | Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi |
| 2016 | LOPSTR | Verification of Time-Aware Business Processes Using Constrained Horn Clauses. | Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti |
| 2015 | FM | Narrowing Operators on Template Abstract Domains. | Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari |
| 2009 | PPDP | On the expressive power of priorities in CHR. | Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo |
| 2009 | SOFSEM | Expressiveness of Multiple Heads in CHR. | Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo |
| 2008 | Coordination | Timed Soft Concurrent Constraint Programs. | Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini |
| 2007 | PPDP | Unfolding in CHR. | Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo |
| 2005 | PPDP | A compositional semantics for CHR. | Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo |
| 2003 | ICLP | Compositional Verification of Infinite State Systems. | Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo |
| 2002 | FOSSACS | Proving Correctness of Timed Concurrent Constraint Programs. | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 2001 | PPDP | A Denotational Semantics for Timed Linda. | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 2001 | TIME | A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 2000 | Coordination | A Timed Linda Language. | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 1998 | CONCUR | Unfold/Fold Transformations of CCP Programs. | Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo |
| 1997 | CP | Semantics and Expressive Power of a Timed Concurrent Constraint Language. | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 1994 | ICLP | A Bottom-up Semantics for Constructive Negation. | Annalisa Bossi, Massimo Fabris, Maria Chiara Meo |
| 1993 | POPL | Differential Logic Programming. | Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
| 1992 | ICLP | Observational Equivalences for Logic Programs. | Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
| 1991 | ICLP | An OR-Compositional Semantics for Logic Programs. | Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |