×

zbMATH — the first resource for mathematics

Levi, Giorgio

Compute Distance To:
Author ID: levi.giorgio Recent zbMATH articles by "Levi, Giorgio"
Published as: Levi, Giorgio; Levi, G.
Documents Indexed: 69 Publications since 1970, including 12 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

48 Publications have been cited 271 times in 141 Documents Cited by Year
Declarative modeling of the operational behavior of logic languages. Zbl 0699.68113
Falaschi, M.; Levi, G.; Palamidessi, C.; Martelli, M.
39
1989
The \(s\)-semantics approach: Theory and applications. Zbl 0942.68527
Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Martelli, Maurizio
20
1994
Abstract diagnosis. Zbl 0947.68024
Comini, Marco; Levi, Giorgio; Meo, Maria Chiara; Vitiello, Giuliana
14
1999
Kernel-LEAF: A logic plus functional language. Zbl 0717.68013
Giovannetti, Elio; Levi, Giorgio; Moiso, Corrado; Palamidessi, Catuscia
14
1991
A note on the derivation of maximal common subgraphs of two directed or undirected graphs. Zbl 0261.05132
Levi, G.
13
1973
A model-theoretic reconstruction of the operational semantics of logic programs. Zbl 0788.68088
Falaschi, Moreno; Levi, Giorgio; Martelli, Maurizio; Palamidessi, Catuscia
11
1993
A compositional semantics for logic programs. Zbl 0801.68110
Bossi, A.; Gabbrielli, M.; Levi, G.; Meo, M. C.
11
1994
The relation between logic and functional languages: A survey. Zbl 0599.68014
Bellia, Marco; Levi, Giorgio
11
1986
Observable behaviors and equivalences of logic programs. Zbl 0834.68010
Gabbrielli, Maurizio; Levi, Giorgio; Meo, Maria Chiara
10
1995
A theory of observables for logic programs. Zbl 1007.68020
Comini, Marco; Levi, Giorgio; Meo, Maria Chiara
8
2001
Generalized AND/OR graphs. Zbl 0333.68063
Levi, Giorgio; Sirovich, Franco
8
1976
Graph isomorphism: A heuristic edge-partitioning-oriented algorithm. Zbl 0281.68022
Levi, G.
7
1974
Abstracting synchronization in concurrent constraint programming. Zbl 0924.68045
Zaffanello, Enea; Giacobazzi, Roberto; Levi, Giorgio
7
1997
A grey-weighted skeleton. Zbl 0205.17903
Levi, G.; Montanari, U.
7
1970
Resultants semantics for Prolog. Zbl 0856.68038
Gabbrielli, Maurizio; Levi, Giorgio; Meo, Maria Chiara
6
1996
Generalized semantics and abstract interpretation for constraint logic programs. Zbl 0871.68048
Giacobazzi, Roberto; Debray, Saumya K.; Levi, Giorgio
6
1995
Observable semantics for constraint logic programs. Zbl 0823.68018
Gabbrielli, Maurizio; Dore, Giovanna M.; Levi, Giorgio
6
1995
Contributions to the semantics of open logic programs. Zbl 0868.68018
Bossi, A.; Gabbrielli, M.; Levi, G.; Meo, M. C.
5
1992
A generalized semantics for constraint logic programs. Zbl 0862.68072
Giacobazzi, Roberto; Debray, Saumya K.; Levi, Giorgio
5
1992
Pair-independence and freeness analysis through linear refinement. Zbl 1036.68020
Levi, Giorgio; Spoto, Fausto
4
2003
Unfolding and fixpoint semantics of concurrent constraint logic programs. Zbl 0757.68074
Gabbrielli, Maurizio; Levi, Giorgio
4
1992
Derivation of proof methods by abstract interpretation. Zbl 0910.68043
Levi, Giorgio; Volpe, Paolo
4
1998
Partial evaluation of metaprograms in a “multiple worlds” logic language. Zbl 0654.68022
Levi, Giorgio; Sardu, Giuseppe
4
1988
Compilative constructive negation in constraint logic programs. Zbl 0938.68571
Bruscoli, Paola; Levi, Francesca; Levi, Giorgio; Meo, Maria Chiara
3
1994
On the verification of finite failure. Zbl 0953.68083
Gori, Roberta; Levi, Giorgio
3
1999
Differential logic programs: Programming methodologies and semantics. Zbl 0859.68009
Bossi, A.; Bugliesi, M.; Gabbrielli, M.; Levi, G.; Meo, M. C.
3
1996
Incremental constraint satisfaction for equational logic programming. Zbl 0884.68032
Alpuente, María; Falaschi, Moreno; Levi, Giorgio
3
1995
On the semantics of logic programs. Zbl 0769.68013
Gabbrielli, Maurizio; Levi, Giorgio
3
1991
Finite failures and partial computations in concurrent logic languages. Zbl 0702.68079
Falaschi, Moreno; Levi, Giorgio
3
1990
A synchronization logic: Axiomatics and formal semantics of generalized Horn clauses. Zbl 0591.68038
Falaschi, M.; Levi, G.; Palamidessi, C.
3
1984
A technique for graph embedding with constraints on node and arc correspondences. Zbl 0247.05146
Levi, Giorgio; Luccio, Fabrizio
2
1973
Applicative communicating processes in first order logic. Zbl 0494.68033
Bellia, Marco; Degano, Pierpaolo; Levi, Giorgio; Dameri, Enrico; Martelli, Maurizio
2
1982
Abstract interpretation based verification of logic programs. Zbl 1071.68531
Comini, Marco; Gori, Roberta; Levi, Giorgio; Volpe, Paolo
2
2003
Abstract interpretation based verification of logic programs. Zbl 0966.68034
Comini, Marco; Gori, Roberta; Levi, Giorgio; Volpe, Paolo
2
1999
Finite failure is and-compositional. Zbl 0892.68016
Gori, Roberta; Levi, Giorgio
2
1997
Static analysis. 5th international symposium, SAS ’98, Pisa, Italy, September 14–16, 1998. Proceedings. Zbl 0896.00033
Levi, Giorgio (ed.)
2
1998
Proving program properties, symbolic evaluation and logical procedural semantics. Zbl 0325.68008
Levi, Giorgio; Sirovich, Franco
2
1975
Contributions to the semantics of logic perpetual processes. Zbl 0661.68012
Levi, Giorgio; Palamidessi, Catuscia
2
1988
A weighted graph embedding technique and its application to automatic circuit layout. Zbl 0224.90072
Levi, G.; Luccio, F.
1
1971
On the verification of finite failure. Zbl 1105.68016
Gori, Roberta; Levi, Giorgio
1
2005
Abstract interpretation based semantics of sequent calculi. Zbl 0966.03032
Amato, Gianluca; Levi, Giorgio
1
2000
A solved form algorithm for ask and tell Herbrand constraints. Zbl 0967.68506
Gabbrielli, Maurizio; Levi, Giorgio
1
1991
Modelling Prolog control. Zbl 0802.68026
Barbuti, Roberto; Codish, Michael; Giacobazzi, Roberto; Levi, Giorgio
1
1993
The semantics of equational logic programming as an instance of CLP. Zbl 0832.68013
Alpuente, María; Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio
1
1993
The formal semantics of processes and streams in logic programming. Zbl 0605.68006
Falaschi, M.; Levi, G.; Palamidessi, C.
1
1986
Nested guarded Horn clauses. Zbl 0732.68027
Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio; Murakami, Masaki
1
1990
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
On the verification of finite failure. Zbl 1105.68016
Gori, Roberta; Levi, Giorgio
1
2005
Pair-independence and freeness analysis through linear refinement. Zbl 1036.68020
Levi, Giorgio; Spoto, Fausto
4
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 interpretation based semantics of sequent calculi. Zbl 0966.03032
Amato, Gianluca; Levi, Giorgio
1
2000
Abstract diagnosis. Zbl 0947.68024
Comini, Marco; Levi, Giorgio; Meo, Maria Chiara; Vitiello, Giuliana
14
1999
On the verification of finite failure. Zbl 0953.68083
Gori, Roberta; Levi, Giorgio
3
1999
Abstract interpretation based verification of logic programs. Zbl 0966.68034
Comini, Marco; Gori, Roberta; Levi, Giorgio; Volpe, Paolo
2
1999
Derivation of proof methods by abstract interpretation. Zbl 0910.68043
Levi, Giorgio; Volpe, Paolo
4
1998
Static analysis. 5th international symposium, SAS ’98, Pisa, Italy, September 14–16, 1998. Proceedings. Zbl 0896.00033
Levi, Giorgio
2
1998
Abstracting synchronization in concurrent constraint programming. Zbl 0924.68045
Zaffanello, Enea; Giacobazzi, Roberto; Levi, Giorgio
7
1997
Finite failure is and-compositional. Zbl 0892.68016
Gori, Roberta; Levi, Giorgio
2
1997
Resultants semantics for Prolog. Zbl 0856.68038
Gabbrielli, Maurizio; Levi, Giorgio; Meo, Maria Chiara
6
1996
Differential logic programs: Programming methodologies and semantics. Zbl 0859.68009
Bossi, A.; Bugliesi, M.; Gabbrielli, M.; Levi, G.; Meo, M. C.
3
1996
Observable behaviors and equivalences of logic programs. Zbl 0834.68010
Gabbrielli, Maurizio; Levi, Giorgio; Meo, Maria Chiara
10
1995
Generalized semantics and abstract interpretation for constraint logic programs. Zbl 0871.68048
Giacobazzi, Roberto; Debray, Saumya K.; Levi, Giorgio
6
1995
Observable semantics for constraint logic programs. Zbl 0823.68018
Gabbrielli, Maurizio; Dore, Giovanna M.; Levi, Giorgio
6
1995
Incremental constraint satisfaction for equational logic programming. Zbl 0884.68032
Alpuente, María; Falaschi, Moreno; Levi, Giorgio
3
1995
The \(s\)-semantics approach: Theory and applications. Zbl 0942.68527
Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Martelli, Maurizio
20
1994
A compositional semantics for logic programs. Zbl 0801.68110
Bossi, A.; Gabbrielli, M.; Levi, G.; Meo, M. C.
11
1994
Compilative constructive negation in constraint logic programs. Zbl 0938.68571
Bruscoli, Paola; Levi, Francesca; Levi, Giorgio; Meo, Maria Chiara
3
1994
A model-theoretic reconstruction of the operational semantics of logic programs. Zbl 0788.68088
Falaschi, Moreno; Levi, Giorgio; Martelli, Maurizio; Palamidessi, Catuscia
11
1993
Modelling Prolog control. Zbl 0802.68026
Barbuti, Roberto; Codish, Michael; Giacobazzi, Roberto; Levi, Giorgio
1
1993
The semantics of equational logic programming as an instance of CLP. Zbl 0832.68013
Alpuente, María; Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio
1
1993
Contributions to the semantics of open logic programs. Zbl 0868.68018
Bossi, A.; Gabbrielli, M.; Levi, G.; Meo, M. C.
5
1992
A generalized semantics for constraint logic programs. Zbl 0862.68072
Giacobazzi, Roberto; Debray, Saumya K.; Levi, Giorgio
5
1992
Unfolding and fixpoint semantics of concurrent constraint logic programs. Zbl 0757.68074
Gabbrielli, Maurizio; Levi, Giorgio
4
1992
Kernel-LEAF: A logic plus functional language. Zbl 0717.68013
Giovannetti, Elio; Levi, Giorgio; Moiso, Corrado; Palamidessi, Catuscia
14
1991
On the semantics of logic programs. Zbl 0769.68013
Gabbrielli, Maurizio; Levi, Giorgio
3
1991
A solved form algorithm for ask and tell Herbrand constraints. Zbl 0967.68506
Gabbrielli, Maurizio; Levi, Giorgio
1
1991
Finite failures and partial computations in concurrent logic languages. Zbl 0702.68079
Falaschi, Moreno; Levi, Giorgio
3
1990
Nested guarded Horn clauses. Zbl 0732.68027
Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio; Murakami, Masaki
1
1990
Declarative modeling of the operational behavior of logic languages. Zbl 0699.68113
Falaschi, M.; Levi, G.; Palamidessi, C.; Martelli, M.
39
1989
Partial evaluation of metaprograms in a “multiple worlds” logic language. Zbl 0654.68022
Levi, Giorgio; Sardu, Giuseppe
4
1988
Contributions to the semantics of logic perpetual processes. Zbl 0661.68012
Levi, Giorgio; Palamidessi, Catuscia
2
1988
The relation between logic and functional languages: A survey. Zbl 0599.68014
Bellia, Marco; Levi, Giorgio
11
1986
The formal semantics of processes and streams in logic programming. Zbl 0605.68006
Falaschi, M.; Levi, G.; Palamidessi, C.
1
1986
A synchronization logic: Axiomatics and formal semantics of generalized Horn clauses. Zbl 0591.68038
Falaschi, M.; Levi, G.; Palamidessi, C.
3
1984
Applicative communicating processes in first order logic. Zbl 0494.68033
Bellia, Marco; Degano, Pierpaolo; Levi, Giorgio; Dameri, Enrico; Martelli, Maurizio
2
1982
Generalized AND/OR graphs. Zbl 0333.68063
Levi, Giorgio; Sirovich, Franco
8
1976
Proving program properties, symbolic evaluation and logical procedural semantics. Zbl 0325.68008
Levi, Giorgio; Sirovich, Franco
2
1975
Graph isomorphism: A heuristic edge-partitioning-oriented algorithm. Zbl 0281.68022
Levi, G.
7
1974
A note on the derivation of maximal common subgraphs of two directed or undirected graphs. Zbl 0261.05132
Levi, G.
13
1973
A technique for graph embedding with constraints on node and arc correspondences. Zbl 0247.05146
Levi, Giorgio; Luccio, Fabrizio
2
1973
A weighted graph embedding technique and its application to automatic circuit layout. Zbl 0224.90072
Levi, G.; Luccio, F.
1
1971
A grey-weighted skeleton. Zbl 0205.17903
Levi, G.; Montanari, U.
7
1970
all top 5

Cited by 200 Authors

10 Levi, Giorgio
9 Alpuente, María
9 Falaschi, Moreno
8 Comini, Marco
7 Palamidessi, Catuscia
6 Amato, Gianluca
5 Lamma, Evelina
5 Mello, Paola
5 Vidal, Germán
4 Brogi, Antonio
4 Gabbrielli, Maurizio
4 Giacobazzi, Roberto
4 Gori, Roberta
4 Hermenegildo, Manuel V.
4 Komendantskaya, Ekaterina
4 Meo, Maria Chiara
4 Scozzari, Francesca
3 Albert, Elvira
3 Antoy, Sergio
3 Bellia, Marco
3 Bossi, Annalisa
3 de Boer, Frank S.
3 del Mar Gallardo, María
3 Escobar, Santiago
3 Olarte, Carlos
3 Power, John
3 Ranzato, Francesco
3 Rodríguez-Artalejo, Mario
3 Villanueva, Alicia
2 Bruynooghe, Maurice
2 Caballero, Rafael E.
2 Ciampolini, Anna
2 Codish, Michael
2 Correa, Francisco José
2 De Schreye, Danny
2 del Vado Vírseda, Rafael
2 Etalle, Sandro
2 Gange, Graeme
2 Hanus, Michael
2 Hill, Patricia M.
2 Iborra, José
2 Kok, Joost N.
2 Lindblad, Joakim
2 Lipton, James B.
2 Loogen, Rita
2 Marriott, Kim
2 Martens, Bern
2 Öfverstedt, Johan
2 Orejas, Fernando
2 Pino, Elvira
2 Rutten, Jan J. M. M.
2 Schachte, Peter
2 Sladoje, Nataša
2 Søndergaard, Harald
2 Spoto, Fausto
2 Stuckey, Peter James
2 Titolo, Laura
2 Voronkov, Andrei
2 Yamasaki, Susumu
1 Andrews, James H.
1 Apt, Krzysztof Rafal
1 Arias, Jaime
1 Arias, Joaquin
1 Bacci, Giovanni
1 Bagnara, Roberto
1 Balbiani, Philippe
1 Ballis, Demis
1 Bassett, Danielle S.
1 Bensaou, N.
1 Blevins, Ann S.
1 Bobrow, Daniel G.
1 Bodei, Chiara
1 Bonchi, Filippo
1 Bonnier, Staffan
1 Boulanger, Dmitri
1 Bueno, Francisco
1 Carro, Manuel
1 Chang, Byeong-Mo
1 Choe, Kwang-Moo
1 Cocco, Nicoletta
1 Correa, Franciso
1 Cousot, Patrick
1 Cousot, Radhia
1 Czyzowicz, Jurek
1 Dams, Dennis René
1 Darmawan, Luthfi
1 Debayle, Johan
1 Delahaye, Jean-Paul
1 Denis, François
1 Dershowitz, Nachum
1 Di Pierro, Alessandra
1 Drabent, Włodzimierz
1 Echahed, Rachid
1 Ehrig, Hartmut
1 Ekanadham, Kattamuri
1 Eliassi-Rad, Tina
1 Espert, Javier
1 Fabris, Maria Angelica
1 Ferrari, Gian Luigi
1 Filé, Gilberto
...and 100 more Authors

Citations by Year