Marco Comini

Orcid: 0000-0002-8069-3411

Affiliations:
  • University of Pisa, Italy


According to our database1, Marco Comini authored at least 37 papers between 1994 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
A denotational semantics for PROMELA addressing arbitrary jumps.
CoRR, 2021

2017
A program analysis framework for tccp based on abstract interpretation.
Formal Aspects Comput., 2017

2015
Abstract Analysis of Universal Properties for tccp.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014
Abstract Diagnosis for tccp using a Linear Temporal Logic.
Theory Pract. Log. Program., 2014

2013
Towards an Effective Decision Procedure for LTL formulas with Constraints.
CoRR, 2013

A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting.
Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

Automatic Inference of Term Equivalence in Term Rewriting Systems.
Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems.
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

2012
Automatic synthesis of specifications for first order curry programs.
Proceedings of the Principles and Practice of Declarative Programming, 2012

The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011
Abstract diagnosis for timed concurrent constraint programs.
Theory Pract. Log. Program., 2011

2010
A compact fixpoint semantics for term rewriting systems.
Theor. Comput. Sci., 2010

Abstract Diagnosis of First Order Functional Logic Programs.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

2008
On Polymorphic Recursion, Type Systems, and Abstract Interpretation.
Proceedings of the Static Analysis, 15th International Symposium, 2008

A Minimalist Visual Notation for Design Patterns and Antipatterns.
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

A Methodology for UML Models V&V.
Proceedings of the First International Conference on Software Testing, 2008

2007
A Rule-based Method to Match Software Patterns Against UML Models.
Proceedings of the Eighth International Workshop on Rule Based Programming, 2007

2002
Preface.
Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

Abstract Diagnosis of Functional Programs.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

2001
A Theory of Observables for Logic Programs.
Inf. Comput., 2001

Logic programs as specifications in the inductive verification of logic programs.
Proceedings of the Declarative Programming, 2001

How to transform an analyzer into a verifier.
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000
Assertion based Inductive Verification Methods for Logic Programs.
Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

1999
Compositionality Properties of <i>SLD</i>-Derivations.
Theor. Comput. Sci., 1999

Abstract Interpretation based Verification of Logic Programs.
Proceedings of the Workshop on Verification of Logic Programs 1999, 1999

Abstract Diagnosis.
J. Log. Program., 1999

Diagnosis of CHIP Programs Using Type Information.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998
Modular Abstract Diagnosis.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997
Tools and Environments for (Constraint) Logic Programming (Workshop Overview).
Proceedings of the Logic Programming, 1997

1996
Proving Properties of Logic Programs by Abstract Diagnosis.
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

The And-compositionality of CLP Computed Answer Constraints.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
On the Abstract Diagnosis of Logic Programs.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

Declarative Diagnosis Revisited.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

Compositionality in SLD-derivations and their Abstractions.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs.
Proceedings of the Second International Workshop on Automated Debugging, 1995

1994
Abstract Debugging of Logic Program.
Proceedings of the Logic Programming Synthesis and Transformation, 1994

An Algebraic Theory of Observables.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994


  Loading...