Personal information

Emails & domains

Verified email domains

Other IDs

Scopus Author ID: 57195112378

Activities

Collapse all

Works (47)

Timed Concurrent Language for Argumentation: An Interleaving Approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2022 | Book
DOI: 10.1007/978-3-030-94479-7_7
EID:

2-s2.0-85123305521

Part of ISSN: 16113349 03029743
Contributors: Bistarelli, S.; Meo, M.C.; Taticchi, C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Concurrent Argumentation with Time: An Overview

CEUR Workshop Proceedings
2021 | Conference paper
EID:

2-s2.0-85125450934

Part of ISSN: 16130073
Contributors: Bistarelli, S.; Meo, M.C.; Taticchi, C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Timed Concurrent Language for Argumentation

CEUR Workshop Proceedings
2021 | Conference paper
EID:

2-s2.0-85122892967

Part of ISSN: 16130073
Contributors: Bistarelli, S.; Meo, M.C.; Taticchi, C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

On collecting semantics for program analysis

Theoretical Computer Science
2020 | Journal article
DOI: 10.1016/j.tcs.2020.02.021
EID:

2-s2.0-85079868150

Part of ISSN: 03043975
Contributors: Amato, G.; Meo, M.C.; Scozzari, F.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Semantics and controllability of time-aware business processes

Fundamenta Informaticae
2019 | Journal article
DOI: 10.3233/FI-2019-1783
EID:

2-s2.0-85063340035

Part of ISSN: 01692968
Contributors: De Angelis, E.; Fioravanti, F.; Meo, M.C.; Pettorossi, A.; Proietti, M.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

A taxonomy of program analyses

CEUR Workshop Proceedings
2018 | Conference paper
EID:

2-s2.0-85056901168

Part of ISSN: 16130073
Contributors: Amato, G.; Meo, M.C.; Scozzari, F.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Descending chains and narrowing on template abstract domains

Acta Informatica
2018 | Journal article
DOI: 10.1007/s00236-016-0291-0
EID:

2-s2.0-85008157521

Part of ISSN: 14320525 00015903
Contributors: Amato, G.; Di Nardo Di Maio, S.; Meo, M.C.; Scozzari, F.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Verification of time-aware business processes using constrained horn clauses

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Book
DOI: 10.1007/978-3-319-63139-4_3
EID:

2-s2.0-85028301444

Part of ISSN: 16113349 03029743
Contributors: de Angelis, E.; Fioravanti, F.; Meo, M.C.; Pettorossi, A.; Proietti, M.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Verifying controllability of time-aware business processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Book
DOI: 10.1007/978-3-319-61252-2_8
EID:

2-s2.0-85025122297

Part of ISSN: 16113349 03029743
Contributors: De Angelis, E.; Fioravanti, F.; Meo, M.C.; Pettorossi, A.; Proietti, M.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Exploiting Linearity in Sharing Analysis of Object-oriented Programs

Electronic Notes in Theoretical Computer Science
2016 | Journal article
DOI: 10.1016/j.entcs.2016.03.002
EID:

2-s2.0-84963718652

Part of ISSN: 15710661
Contributors: Amato, G.; Meo, M.C.; Scozzari, F.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Narrowing operators on template abstract domains

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
DOI: 10.1007/978-3-319-19249-9_5
EID:

2-s2.0-84937416611

Part of ISSN: 16113349 03029743
Contributors: Amato, G.; Di Nardo Di Maio, S.; Meo, M.C.; Scozzari, F.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Timed soft concurrent constraint programs: An interleaved and a parallel approach

Theory and Practice of Logic Programming
2015 | Journal article
DOI: 10.1017/S1471068414000106
EID:

2-s2.0-84948570467

Part of ISSN: 14753081 14710684
Contributors: Bistarelli, S.; Gabbrielli, M.; Meo, M.C.; Santini, F.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Unfolding for CHR programs

Theory and Practice of Logic Programming
2015 | Journal article
DOI: 10.1017/S1471068413000288
EID:

2-s2.0-84925632026

Part of ISSN: 14753081 14710684
Contributors: Gabbrielli, M.; Meo, M.C.; Tacchella, P.; Wiklicky, H.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

The expressive power of CHR with priorities

Information and Computation
2013 | Journal article
DOI: 10.1016/j.ic.2013.05.001
EID:

2-s2.0-84877676894

Part of ISSN: 10902651 08905401
Contributors: Gabbrielli, M.; Mauro, J.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

On the expressive power of multiple heads in CHR

ACM Transactions on Computational Logic
2012 | Journal article
DOI: 10.1145/2071368.2071374
EID:

2-s2.0-84857151069

Part of ISSN: 1557945X 15293785
Contributors: Di Giusto, C.; Gabbrielli, M.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Decidability properties for fragments of CHR

Theory and Practice of Logic Programming
2010 | Journal article
DOI: 10.1017/S1471068410000311
EID:

2-s2.0-77957229832

Part of ISSN: 14710684 14753081
Contributors: Gabbrielli, M.; Mauro, J.; Meo, M.C.; Sneyers, J.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Theoretical foundations and semantics of logic programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Book
DOI: 10.1007/978-3-642-14309-0_2
EID:

2-s2.0-79956112013

Part of ISSN: 03029743 16113349
Contributors: Bossi, A.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

A compositional semantics for CHR

ACM Transactions on Computational Logic
2009 | Journal article
DOI: 10.1145/1462179.1462183
EID:

2-s2.0-62149112521

Part of ISSN: 15293785 1557945X
Contributors: Gabbrielli, M.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Expressiveness of multiple heads in CHR

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Book
DOI: 10.1007/978-3-540-95891-8_21
EID:

2-s2.0-67650702320

Part of ISSN: 03029743 16113349
Contributors: Giusto, C.D.; Gabbrielli, M.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

On the expressive power of priorities in CHR

PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
2009 | Conference paper
DOI: 10.1145/1599410.1599443
EID:

2-s2.0-70450237105
Contributors: Gabbrielli, M.; Mauro, J.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

A compositional semantics for CHR with propagation rules

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008 | Book
DOI: 10.1007/978-3-540-92243-8_6
EID:

2-s2.0-70350300465

Part of ISSN: 03029743 16113349
Contributors: Gabbrielli, M.; Meo, M.C.; Tacchella, P.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Timed soft Concurrent Constraint Programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008 | Book
DOI: 10.1007/978-3-540-68265-3_4
EID:

2-s2.0-45749142863

Part of ISSN: 03029743 16113349
Contributors: Bistarelli, S.; Gabbrielli, M.; Meo, M.C.; Santini, F.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Unfolding in CHR

PPDP'07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
2007 | Conference paper
DOI: 10.1145/1273920.1273945
EID:

2-s2.0-34548085472
Contributors: Tacchella, P.; Gabbrielli, M.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

A compositional semantics for CHR

PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
2005 | Conference paper
DOI: 10.1145/1069774.1069794
EID:

2-s2.0-33746032584
Contributors: Delzanno, G.; Gabbrielli, M.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

A timed Linda language and its denotational semantics

Fundamenta Informaticae
2004 | Journal article
EID:

2-s2.0-24044548682

Part of ISSN: 01692968
Contributors: De Boer, F.S.; Gabbrielli, M.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Proving correctness of timed concurrent constraint programs

ACM Transactions on Computational Logic
2004 | Journal article
DOI: 10.1145/1024922.1024926
EID:

2-s2.0-8344233351

Part of ISSN: 15293785
Contributors: De Boer, F.S.; Gabbrielli, M.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Compositional verification of infinite state systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2003 | Book
DOI: 10.1007/978-3-540-24599-5_4
EID:

2-s2.0-0346264998

Part of ISSN: 16113349 03029743
Contributors: Delzanno, G.; Gabbrielli, M.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Proving correctness of timed concurrent constraint programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2002 | Book
DOI: 10.1007/3-540-45931-6_4
EID:

2-s2.0-84948990073

Part of ISSN: 16113349 03029743
Contributors: de Boer, F.S.; Gabbrielli, M.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

A denotational semantics for Timed Linda

Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
2001 | Conference paper
DOI: 10.1145/773184.773188
EID:

2-s2.0-0035790272
Contributors: De Boer, F.S.; Gabbrielli, M.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

A temporal logic for reasoning about timed concurrent constraint programs

Proceedings of the International Workshop on Temporal Representation and Reasoning
2001 | Conference paper
DOI: 10.1109/TIME.2001.930721
EID:

2-s2.0-79952334841
Contributors: De Boer, F.S.; Gabbrielli, M.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

A theory of observables for logic programs

Information and Computation
2001 | Journal article
DOI: 10.1006/inco.2000.3024
EID:

2-s2.0-0035949338

Part of ISSN: 08905401
Contributors: Comini, M.; Levi, G.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Electronic Notes in Theoretical Computer Science: Preface

Electronic Notes in Theoretical Computer Science
2001 | Journal article
DOI: 10.1016/S1571-0661(05)80555-9
EID:

2-s2.0-19144366883

Part of ISSN: 15710661
Contributors: Dovier, A.; Meo, M.C.; Omicini, A.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Transformations of CCP programs

ACM Transactions on Programming Languages and Systems
2001 | Journal article
DOI: 10.1145/503502.503504
EID:

2-s2.0-0042408128

Part of ISSN: 01640925
Contributors: Etalle, S.; Gabbrielli, M.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

A timed concurrent constraint language

Information and Computation
2000 | Journal article
DOI: 10.1006/inco.1999.2879
EID:

2-s2.0-0034714631

Part of ISSN: 08905401
Contributors: De Boer, F.S.; Gabbrielli, M.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

A timed linda language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2000 | Book
DOI: 10.1007/3-540-45263-x_19
EID:

2-s2.0-33845991169

Part of ISSN: 16113349 03029743
Contributors: de Boer, F.S.; Gabbrielli, M.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Abstract diagnosis

Journal of Logic Programming
1999 | Journal article
DOI: 10.1016/S0743-1066(98)10033-X
EID:

2-s2.0-0032631541

Part of ISSN: 07431066
Contributors: Comini, M.; Levi, G.; Meo, M.C.; Vitiello, G.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Compositionality properties of SLD-derivations

Theoretical Computer Science
1999 | Journal article
DOI: 10.1016/S0304-3975(97)00174-6
EID:

2-s2.0-0000141679

Part of ISSN: 03043975
Contributors: Comini, M.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Unfold/fold transformations of CCP programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1998 | Book
DOI: 10.1007/bfb0055633
EID:

2-s2.0-84945945612

Part of ISSN: 16113349 03029743
Contributors: Etalle, S.; Gabbrielli, M.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Proving properties of logic programs by abstract diagnosis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1997 | Book
DOI: 10.1007/3-540-62503-8_2
EID:

2-s2.0-84878652764

Part of ISSN: 03029743 16113349
Contributors: Comini, M.; Levi, G.; Meo, M.C.; Vitiello, G.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Semantics and expressive power of a timed concurrent constraint language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1997 | Book
DOI: 10.1007/bfb0017429
EID:

2-s2.0-21944443784

Part of ISSN: 16113349 03029743
Contributors: de Boer, F.; Gabbrielli, M.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Differential logic programs: Programming methodologies and semantics

Science of Computer Programming
1996 | Journal article
DOI: 10.1016/0167-6423(96)00013-5
EID:

2-s2.0-0030285253

Part of ISSN: 01676423
Contributors: Bossi, A.; Bugliesi, M.; Gabbrielli, M.; Levi, G.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Resultants semantics for prolog

Journal of Logic and Computation
1996 | Journal article
DOI: 10.1093/logcom/6.4.491
EID:

2-s2.0-0000745881

Part of ISSN: 0955792X
Contributors: Gabbrielli, M.; Levi, G.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Observable behaviors and equivalences of logic programs

Information and Computation
1995 | Journal article
DOI: 10.1006/inco.1995.1138
EID:

2-s2.0-0002238210

Part of ISSN: 10902651 08905401
Contributors: Gabbrielli, M.; Levi, G.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

A compositional semantics for logic programs

Theoretical Computer Science
1994 | Journal article
DOI: 10.1016/0304-3975(94)90200-3
EID:

2-s2.0-0028762221

Part of ISSN: 03043975
Contributors: Bossi, A.; Gabrielli, M.; Levi, G.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Compilative constructive negation in constraint logic programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1994 | Book
DOI: 10.1007/bfb0017473
EID:

2-s2.0-85010987674

Part of ISSN: 16113349 03029743
Contributors: Bruscoli, P.; Levi, F.; Levi, G.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Differential logic programming

Conference Record of the Annual ACM Symposium on Principles of Programming Languages
1993 | Conference paper
DOI: 10.1145/158511.158689
EID:

2-s2.0-0027188595

Part of ISSN: 07308566
Contributors: Bossi, A.; Bugliesi, M.; Gabbrielli, M.; Levi, G.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Fixpoint semantics for partial computed answer substitutions and call patterns

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1992 | Book
DOI: 10.1007/bfb0013821
EID:

2-s2.0-84969361943

Part of ISSN: 16113349 03029743
Contributors: Gabbrielli, M.; Meo, M.C.
Source: Self-asserted source
MARIA CHIARA MEO via Scopus - Elsevier
grade
Preferred source (of 2)‎
How many people are using ORCID?