×

zbMATH — the first resource for mathematics

Comini, Marco

Compute Distance To:
Author ID: comini.marco Recent zbMATH articles by "Comini, Marco"
Published as: Comini, Marco; Comini, M.
External Links: MGP
Documents Indexed: 19 Publications since 1996

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 56 times in 40 Documents Cited by Year
Abstract diagnosis. Zbl 0947.68024
Comini, Marco; Levi, Giorgio; Meo, Maria Chiara; Vitiello, Giuliana
14
1999
Abstract diagnosis of functional programs. Zbl 1278.68056
Alpuente, María; Comini, Marco; Escobar, Santiago; Falaschi, Moreno; Lucas, Salvador
10
2003
A theory of observables for logic programs. Zbl 1007.68020
Comini, Marco; Levi, Giorgio; Meo, Maria Chiara
8
2001
Abstract diagnosis for timed concurrent constraint programs. Zbl 1222.68053
Comini, Marco; Titolo, Laura; Villanueva, Alicia
8
2011
Compositionality properties of SLD-derivations. Zbl 0912.68124
Comini, Marco; Meo, Maria Chiara
5
1999
Abstract interpretation based verification of logic programs. Zbl 1071.68531
Comini, Marco; Gori, Roberta; Levi, Giorgio; Volpe, Paolo
2
2003
A compact fixpoint semantics for term rewriting systems. Zbl 1209.68285
Alpuente, M.; Comini, M.; Escobar, S.; Falaschi, M.; Iborra, J.
2
2010
Abstract interpretation based verification of logic programs. Zbl 0966.68034
Comini, Marco; Gori, Roberta; Levi, Giorgio; Volpe, Paolo
2
1999
Abstract analysis of universal properties for \(\mathsf {tccp}\). Zbl 1362.68044
Comini, Marco; Gallardo, María del Mar; Titolo, Laura; Villanueva, Alicia
1
2015
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. Zbl 1281.68075
Bacci, Giovanni; Comini, Marco; Feliú, Marco A.; Villanueva, Alicia
1
2012
Logic programs as specifications in the inductive verification of logic programs. Zbl 1263.68034
Comini, Marco; Gori, Roberta; Levi, Giorgio
1
2001
Assertion based inductive verification methods for logic programs. Zbl 1264.68110
Comini, Marco; Gori, Roberta; Levi, Giorgio
1
2001
Abstract diagnosis of first order functional logic programs. Zbl 1326.68052
Bacci, Giovanni; Comini, Marco
1
2011
Abstract analysis of universal properties for \(\mathsf {tccp}\). Zbl 1362.68044
Comini, Marco; Gallardo, María del Mar; Titolo, Laura; Villanueva, Alicia
1
2015
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. Zbl 1281.68075
Bacci, Giovanni; Comini, Marco; Feliú, Marco A.; Villanueva, Alicia
1
2012
Abstract diagnosis for timed concurrent constraint programs. Zbl 1222.68053
Comini, Marco; Titolo, Laura; Villanueva, Alicia
8
2011
Abstract diagnosis of first order functional logic programs. Zbl 1326.68052
Bacci, Giovanni; Comini, Marco
1
2011
A compact fixpoint semantics for term rewriting systems. Zbl 1209.68285
Alpuente, M.; Comini, M.; Escobar, S.; Falaschi, M.; Iborra, J.
2
2010
Abstract diagnosis of functional programs. Zbl 1278.68056
Alpuente, María; Comini, Marco; Escobar, Santiago; Falaschi, Moreno; Lucas, Salvador
10
2003
Abstract interpretation based verification of logic programs. Zbl 1071.68531
Comini, Marco; Gori, Roberta; Levi, Giorgio; Volpe, Paolo
2
2003
A theory of observables for logic programs. Zbl 1007.68020
Comini, Marco; Levi, Giorgio; Meo, Maria Chiara
8
2001
Logic programs as specifications in the inductive verification of logic programs. Zbl 1263.68034
Comini, Marco; Gori, Roberta; Levi, Giorgio
1
2001
Assertion based inductive verification methods for logic programs. Zbl 1264.68110
Comini, Marco; Gori, Roberta; Levi, Giorgio
1
2001
Abstract diagnosis. Zbl 0947.68024
Comini, Marco; Levi, Giorgio; Meo, Maria Chiara; Vitiello, Giuliana
14
1999
Compositionality properties of SLD-derivations. Zbl 0912.68124
Comini, Marco; Meo, Maria Chiara
5
1999
Abstract interpretation based verification of logic programs. Zbl 0966.68034
Comini, Marco; Gori, Roberta; Levi, Giorgio; Volpe, Paolo
2
1999

Citations by Year