Marco Comini

Available identifiers

Publication	Date of Publication	Type
A program analysis framework for \textit{tccp} based on abstract interpretation	2017-06-01	Paper
Abstract Analysis of Universal Properties for tccp	2016-02-05	Paper
Abstract Diagnosis for tccp using a Linear Temporal Logic	2014-11-25	Paper
A Rule-based Method to Match Software Patterns Against UML Models	2014-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q5398052	2014-02-25	Paper
Assertion based Inductive Verification Methods for Logic Programs	2013-06-06	Paper
Logic programs as specifications in the inductive verification of logic programs	2013-05-24	Paper
Abstract diagnosis for timed concurrent constraint programs	2011-08-16	Paper
Abstract Diagnosis of First Order Functional Logic Programs	2011-05-27	Paper
How to Transform an Analyzer into a Verifier	2011-05-06	Paper
Abstract Diagnosis of Functional Programs	2011-03-04	Paper
A compact fixpoint semantics for term rewriting systems	2010-08-24	Paper
On Polymorphic Recursion, Type Systems, and Abstract Interpretation	2008-08-28	Paper
Abstract interpretation based verification of logic programs	2004-11-23	Paper
A theory of observables for logic programs	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4499243	2001-03-05	Paper
Abstract diagnosis	1999-12-06	Paper
Compositionality properties of SLD-derivations	1999-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4896503	1996-10-20	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marco Comini