default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarco Comini
Person information
- affiliation: University of Pisa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[i4]Marco Comini, María-del-Mar Gallardo, Alicia Villanueva:
A denotational semantics for PROMELA addressing arbitrary jumps. CoRR abs/2108.12348 (2021)
2010 – 2019
- 2017
- [j8]Marco Comini
, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva:
A program analysis framework for tccp based on abstract interpretation. Formal Aspects Comput. 29(3): 531-557 (2017) - 2015
- [c32]Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva:
Abstract Analysis of Universal Properties for tccp. LOPSTR 2015: 163-178 - 2014
- [j7]Marco Comini, Laura Titolo, Alicia Villanueva:
Abstract Diagnosis for tccp using a Linear Temporal Logic. Theory Pract. Log. Program. 14(4-5): 787-801 (2014) - [i3]Marco Comini, Laura Titolo, Alicia Villanueva:
Abstract Diagnosis for tccp using a Linear Temporal Logic. CoRR abs/1405.3675 (2014) - 2013
- [c31]Marco Comini, Luca Torella:
TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems. PEPM 2013: 67-70 - [c30]Marco Comini, Luca Torella:
Automatic Inference of Term Equivalence in Term Rewriting Systems. SCSS 2013: 19-30 - [c29]Marco Comini, Luca Torella:
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting. SCSS 2013: 31-49 - [i2]Marco Comini, Laura Titolo, Alicia Villanueva:
Towards an Effective Decision Procedure for LTL formulas with Constraints. CoRR abs/1308.4171 (2013) - 2012
- [c28]Giovanni Bacci, Marco Comini, Marco A. Feliú, Alicia Villanueva:
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. ICLP (Technical Communications) 2012: 144-153 - [c27]Giovanni Bacci, Marco Comini, Marco Antonio Feliú, Alicia Villanueva:
Automatic synthesis of specifications for first order curry programs. PPDP 2012: 25-34 - 2011
- [j6]Marco Comini, Laura Titolo, Alicia Villanueva:
Abstract diagnosis for timed concurrent constraint programs. Theory Pract. Log. Program. 11(4-5): 487-502 (2011) - [i1]Marco Comini, Laura Titolo, Alicia Villanueva:
Abstract Diagnosis for Timed Concurrent Constraint programs. CoRR abs/1109.1587 (2011) - 2010
- [j5]María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra:
A compact fixpoint semantics for term rewriting systems. Theor. Comput. Sci. 411(37): 3348-3371 (2010) - [c26]Giovanni Bacci, Marco Comini:
Abstract Diagnosis of First Order Functional Logic Programs. LOPSTR 2010: 215-233
2000 – 2009
- 2008
- [c25]Andrea Baruzzo, Marco Comini:
A Methodology for UML Models V&V. ICST 2008: 513-516 - [c24]Demis Ballis, Andrea Baruzzo, Marco Comini:
A Minimalist Visual Notation for Design Patterns and Antipatterns. ITNG 2008: 51-56 - [c23]Marco Comini, Ferruccio Damiani, Samuel Vrech:
On Polymorphic Recursion, Type Systems, and Abstract Interpretation. SAS 2008: 144-158 - 2007
- [c22]Demis Ballis, Andrea Baruzzo, Marco Comini:
A Rule-based Method to Match Software Patterns Against UML Models. RULE@RDP 2007: 51-66 - 2003
- [j4]Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe:
Abstract interpretation based verification of logic programs. Sci. Comput. Program. 49(1-3): 89-123 (2003) - 2002
- [c21]María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas:
Abstract Diagnosis of Functional Programs. LOPSTR 2002: 1-16 - [c20]Marco Comini, Moreno Falaschi:
Preface. WFLP 2002: 269-270 - [e1]Marco Comini, Moreno Falaschi:
11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002, Grado, Italy, June 20-22, 2002. Electronic Notes in Theoretical Computer Science 76, Elsevier 2002 [contents] - 2001
- [j3]Marco Comini, Giorgio Levi, Maria Chiara Meo:
A Theory of Observables for Logic Programs. Inf. Comput. 169(1): 23-80 (2001) - [c19]Marco Comini, Roberta Gori, Giorgio Levi:
How to transform an analyzer into a verifier. APPIA-GULP-PRODE 2001: 131-148 - [c18]Marco Comini, Roberta Gori, Giorgio Levi:
How to Transform an Analyzer into a Verifier. LPAR 2001: 595-609 - [c17]Marco Comini, Roberta Gori, Giorgio Levi:
Logic programs as specifications in the inductive verification of logic programs. APPIA-GULP-PRODE 2001: 131-146 - 2000
- [c16]Marco Comini, Roberta Gori, Giorgio Levi:
Assertion based Inductive Verification Methods for Logic Programs. MFCSIT 2000: 52-69
1990 – 1999
- 1999
- [j2]Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello:
Abstract Diagnosis. J. Log. Program. 39(1-3): 43-93 (1999) - [j1]Marco Comini, Maria Chiara Meo:
Compositionality Properties of SLD-Derivations. Theor. Comput. Sci. 211(1-2): 275-309 (1999) - [c15]Marco Comini, Wlodzimierz Drabent, Pawel Pietrzak:
Diagnosis of CHIP Programs Using Type Information. APPIA-GULP-PRODE 1999: 337-350 - [c14]Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe:
Abstract Interpretation based Verification of Logic Programs. Verification of Logic Programs@ICLP 1999: 22-38 - 1998
- [c13]Marco Comini, Giorgio Levi, Giuliana Vitiello:
Modular Abstract Diagnosis. APPIA-GULP-PRODE 1998: 409-420 - 1997
- [c12]Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte:
Tools and Environments for (Constraint) Logic Programming (Workshop Overview). ILPS 1997: 417-418 - 1996
- [c11]Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella:
The And-compositionality of CLP Computed Answer Constraints. APPIA-GULP-PRODE 1996: 355-366 - [c10]Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello:
Proving Properties of Logic Programs by Abstract Diagnosis. LOMAPS 1996: 22-50 - 1995
- [c9]Marco Comini, Giorgio Levi, Giuliana Vitiello:
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. AADEBUG 1995: 159-174 - [c8]Giorgio Levi, Marco Comini, Giuliana Vitiello:
On the Abstract Diagnosis of Logic Programs. GULP-PRODE 1995: 41-60 - [c7]Marco Comini, Giorgio Levi, Maria Chiara Meo:
Compositionality in SLD-derivations and their Abstractions. GULP-PRODE 1995: 533-544 - [c6]Marco Comini, Giorgio Levi, Giuliana Vitiello:
Declarative Diagnosis Revisited. GULP-PRODE 1995: 607-618 - [c5]Marco Comini, Giorgio Levi, Giuliana Vitiello:
Declarative Diagnosis Revisited. ILPS 1995: 275-287 - [c4]Marco Comini, Giorgio Levi, Maria Chiara Meo:
Compositionality in SLD-Derivations and their Abstractions. ILPS 1995: 561-575 - 1994
- [c3]Marco Comini, Giorgio Levi:
An Algebraic Theory of Observables. GULP-PRODE (1) 1994: 170-186 - [c2]Marco Comini, Giorgio Levi, Giuliana Vitiello:
Abstract Debugging of Logic Program. META 1994: 440-450 - [c1]Marco Comini, Giorgio Levi:
An Algebraic Theory of Observables. ILPS 1994: 172-186
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
