Travelled to:1 × Austria
1 × Belgium
1 × Hungary
1 × Norway
2 × Italy
2 × Spain
2 × USA
Collaborated with:G.Levi A.Villanueva G.Bacci L.Titolo G.Vitiello L.Torella A.Baruzzo F.Damiani S.Vrech M.C.Meo M.A.Feliú M.A.Feliú M.Alpuente S.Escobar M.Falaschi S.Lucas
Talks about:abstract (7) diagnosi (5) program (5) logic (5) function (3) automat (3) synthesi (2) system (2) specif (2) linear (2)
Person: Marco Comini
DBLP: Comini:Marco
Contributed to:
2014
20132012
20122011
2010
2008
20082002199519941994Wrote 13 papers:
- ICLP-J-2014-CominiTV #linear #logic #using
- Abstract Diagnosis for tccp using a Linear Temporal Logic (MC, LT, AV), pp. 787–801.
- PEPM-2013-CominiT #automation #equivalence #linear #named #term rewriting
- TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems (MC, LT), pp. 67–70.
- ICLP-2012-BacciCFV #automation #functional #logic #specification #synthesis
- The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages (GB, MC, MAF, AV), pp. 144–153.
- PPDP-2012-BacciCFV #automation #first-order #source code #specification #synthesis
- Automatic synthesis of specifications for first order curry programs (GB, MC, MAF, AV), pp. 25–34.
- ICLP-J-2011-CominiTV #concurrent #constraints #source code
- Abstract diagnosis for timed concurrent constraint programs (MC, LT, AV), pp. 487–502.
- LOPSTR-2010-BacciC #first-order #functional #logic programming #source code
- Abstract Diagnosis of First Order Functional Logic Programs (GB, MC), pp. 215–233.
- ICST-2008-BaruzzoC #modelling #uml
- A Methodology for UML Models V&V (AB, MC), pp. 513–516.
- SAS-2008-CominiDV #abstract interpretation #on the #polymorphism #recursion #type system
- On Polymorphic Recursion, Type Systems, and Abstract Interpretation (MC, FD, SV), pp. 144–158.
- LOPSTR-2002-AlpuenteCEFL #functional #source code
- Abstract Diagnosis of Functional Programs (MA, MC, SE, MF, SL), pp. 1–16.
- ILPS-1995-CominiLM #abstraction #composition
- Compositionality in SLD-Derivations and their Abstractions (MC, GL, MCM), pp. 561–575.
- ILPS-1995-CominiLV #declarative #revisited
- Declarative Diagnosis Revisited (MC, GL, GV), pp. 275–287.
- ILPS-1994-CominiL #algebra
- An Algebraic Theory of Observables (MC, GL), pp. 172–186.
- LOPSTR-1994-CominiLV #debugging #logic programming
- Abstract Debugging of Logic Program (MC, GL, GV), pp. 440–450.