dblp.uni-trier.dewww.uni-trier.de

Giorgio Levi Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2005
115EERoberta Gori, Giorgio Levi: On the verification of finite failure. J. Comput. Syst. Sci. 71(4): 535-575 (2005)
2004
114 Bernhard Steffen, Giorgio Levi: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings Springer 2004
2003
113EERoberta Gori, Giorgio Levi: Properties of a Type Abstract Interpreter. VMCAI 2003: 132-145
112EEGiorgio Levi, Fausto Spoto: Pair-independence and freeness analysis through linear refinement. Inf. Comput. 182(1): 14-52 (2003)
111EEMarco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe: Abstract interpretation based verification of logic programs. Sci. Comput. Program. 49(1-3): 89-123 (2003)
2002
110EERoberta Gori, Giorgio Levi: An Experiment in Type Inference and Verification by Abstract Interpretation. VMCAI 2002: 225-239
2001
109EEMarco Comini, Roberta Gori, Giorgio Levi: How to Transform an Analyzer into a Verifier. LPAR 2001: 595-609
108EEMarco Comini, Roberta Gori, Giorgio Levi: Logic programs as specifications in the inductive verification of logic programs. Electr. Notes Theor. Comput. Sci. 48: (2001)
107 Marco Comini, Giorgio Levi, Maria Chiara Meo: A Theory of Observables for Logic Programs. Inf. Comput. 169(1): 23-80 (2001)
106 Giorgio Levi: Preface. Sci. Comput. Program. 39(1): 1 (2001)
2000
105EEGiorgio Levi, Fausto Spoto: Non Pair-Sharing and Freeness Analysis Through Linear Refinement. PEPM 2000: 52-61
104 Gianluca Amato, Giorgio Levi: Abstract Interpretation Based Semantics of Sequent Calculi. SAS 2000: 38-57
103EEGiorgio Levi: Abstract Interpretation Based Verification of Logic Programs. Electr. Notes Theor. Comput. Sci. 40: (2000)
102EEMarco Comini, Roberta Gori, Giorgio Levi: Assertion based Inductive Verification Methods for Logic Programs. Electr. Notes Theor. Comput. Sci. 40: (2000)
1999
101 Roberta Gori, Giorgio Levi: On the verification of finite failure. APPIA-GULP-PRODE 1999: 197-212
100 Roberta Gori, Giorgio Levi: On the Verification of Finite Failure. PPDP 1999: 311-327
99EEMarco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe: Abstract Interpretation based Verification of Logic Programs. Electr. Notes Theor. Comput. Sci. 30(1): (1999)
98 Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello: Abstract Diagnosis. J. Log. Program. 39(1-3): 43-93 (1999)
1998
97 Giorgio Levi: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings Springer 1998
96EEFausto Spoto, Giorgio Levi: Abstract Interpretation of Prolog Programs. AMAST 1998: 455-470
95 Fausto Spoto, Giorgio Levi: An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. APPIA-GULP-PRODE 1998: 269-282
94 Giorgio Levi, Paolo Volpe: Derivation of Proof Methods by Abstract Interpretation. APPIA-GULP-PRODE 1998: 283-292
93 Giorgio Levi, W. Volpi: Set Based-Analysis of Logic Programs via Abstract Interpretation. APPIA-GULP-PRODE 1998: 303-310
92 Marco Comini, Giorgio Levi, Giuliana Vitiello: Modular Abstract Diagnosis. APPIA-GULP-PRODE 1998: 409-420
91EEGiorgio Levi, Paolo Volpe: Derivation of Proof Methods by Abstract Interpretation. PLILP/ALP 1998: 102-117
90EEGiorgio Levi, Fausto Spoto: An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. PLILP/ALP 1998: 152-169
1997
89 Fausto Spoto, Giorgio Levi: A Denotational Semantics for Prolog. APPIA-GULP-PRODE 1997: 201-212
88 Roberta Gori, Giorgio Levi: Finite Failure is And-Compositional. J. Log. Comput. 7(6): 753-776 (1997)
87 Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi: Abstracting Synchronization in Concurrent Constraint Programming. Journal of Functional and Logic Programming 1997(6): (1997)
1996
86 Giorgio Levi, Fausto Spoto: Accurate Analysis of Prolog with cut. APPIA-GULP-PRODE 1996: 481-492
85EEMarco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello: Proving Properties of Logic Programs by Abstract Diagnosis. LOMAPS 1996: 22-50
84 Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Resultants Semantics for Prolog. J. Log. Comput. 6(4): 491-521 (1996)
83 Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Differential Logic Programs: Programming Methodologies and Semantics. Sci. Comput. Program. 27(3): 217-262 (1996)
1995
82 Marco Comini, Giorgio Levi, Giuliana Vitiello: Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. AADEBUG 1995: 159-174
81 Giorgio Levi, Marco Comini, Giuliana Vitiello: On the Abstract Diagnosis of Logic Programs. GULP-PRODE 1995: 41-60
80 Giorgio Levi, Daniele Micciancio: Analysis of Pure PROLOG Programs. GULP-PRODE 1995: 521-532
79 Marco Comini, Giorgio Levi, Maria Chiara Meo: Compositionality in SLD-derivations and their Abstractions. GULP-PRODE 1995: 533-544
78 Marco Comini, Giorgio Levi, Giuliana Vitiello: Declarative Diagnosis Revisited. GULP-PRODE 1995: 607-618
77 Giorgio Levi, Francesca Scozzari: Contributions to a Theory of Existential Termination for Definite Logic Programs. GULP-PRODE 1995: 631-642
76 Marco Comini, Giorgio Levi, Giuliana Vitiello: Declarative Diagnosis Revisited. ILPS 1995: 275-287
75 Marco Comini, Giorgio Levi, Maria Chiara Meo: Compositionality in SLD-Derivations and their Abstractions. ILPS 1995: 561-575
74 Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Observable Behaviors and Equivalences of Logic Programs Inf. Comput. 122(1): 1-29 (1995)
73 Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi: Observable Semantics for Constraint Logic Programs. J. Log. Comput. 5(2): 133-171 (1995)
72 Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi: Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. J. Log. Program. 25(3): 191-247 (1995)
71EEMaría Alpuente, Moreno Falaschi, Giorgio Levi: Incremental Constraint Satisfaction for Equational Logic Programming. Theor. Comput. Sci. 142(1): 27-57 (1995)
1994
70 Giorgio Levi, Mario Rodríguez-Artalejo: Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings Springer 1994
69EEPaola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo: Compilative Constructive Negation in Constraint Logic Programs. CAAP 1994: 52-67
68 Marco Comini, Giorgio Levi: An Algebraic Theory of Observables. GULP-PRODE (1) 1994: 170-186
67 Roberta Gori, Giorgio Levi: Finite Failure is AND-Compositional. GULP-PRODE (1) 1994: 464-478
66 Marco Comini, Giorgio Levi, Giuliana Vitiello: Abstract Debugging of Logic Program. META 1994: 440-450
65EEEnea Zaffanella, Roberto Giacobazzi, Giorgio Levi: Abstracting Synchronization in Concurrent Constraint Programming. PLILP 1994: 57-72
64 Marco Comini, Giorgio Levi: An Algebraic Theory of Observables. SLP 1994: 172-186
63 Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli: The s-Semantics Approach: Theory and Applications. J. Log. Program. 19/20: 149-197 (1994)
62 Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: A Compositional Semantics for Logic Programs. Theor. Comput. Sci. 122(1&2): 3-47 (1994)
1993
61 Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray: Joining Abstract and Concrete Computations in Constraint Logic Programming. AMAST 1993: 109-126
60 Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo: Intensional Negation in Constraint Logic Programs. GULP 1993: 359-374
59 Alberto Bottoni, Giorgio Levi: Computing in the Completion. GULP 1993: 375-392
58 Giorgio Levi, Davide Ramundo: A Formalization of Metaprogramming for real. ICLP 1993: 354-373
57 Alberto Bottoni, Giorgio Levi: The Inverse of Fitting's Functional. Kurt Gödel Colloquium 1993: 132-143
56EERoberto Barbuti, Roberto Giacobazzi, Giorgio Levi: A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs. ACM Trans. Program. Lang. Syst. 15(1): 133-181 (1993)
55 Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi: A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs Inf. Comput. 103(1): 86-113 (1993)
54 Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi: Modelling Prolog Control. J. Log. Comput. 3(6): 579-603 (1993)
1992
53 Hélène Kirchner, Giorgio Levi: Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings Springer 1992
52 Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Contributions to the Semantics of Open Logic Programs. FGCS 1992: 570-580
51 Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi: A Generalized Semantics for Constraint Logic Programs. FGCS 1992: 581-591
50 Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Observational Equivalences for Logic Programs. JICSLP 1992: 131-145
49EEMaurizio Gabbrielli, Giorgio Levi, Daniele Turi: A Two Steps Semantics for Logic Programs with Negation. LPAR 1992: 297-308
48 Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi: Modeling Prolog Control. POPL 1992: 95-104
47EEMaurizio Gabbrielli, Giorgio Levi, Maurizio Martelli: New Semantic Tools for Logic Programming. REX Workshop 1992: 204-235
46 Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi: Static Analysis of CLP Programs over Numeric Domains. WSA 1992: 43-50
45 Maurizio Gabbrielli, Giorgio Levi: Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. Theor. Comput. Sci. 105(1): 85-128 (1992)
1991
44EEMaurizio Gabbrielli, Giorgio Levi: On the Semantics of Logic Programs. ICALP 1991: 1-19
43 Maurizio Gabbrielli, Giorgio Levi: Modeling Answer Constraints in Constraint Logic Programs. ICLP 1991: 238-252
42 Giorgio Levi: On the Semantics of Logic Programs. ICLP 1991: 945
41 Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: An OR-Compositional Semantics for Logic Programs. ICLP Workshop on Construction of Logic Programs 1991: 215-240
40 Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi: Modelling Prolog Control. JTASPEFT/WSA 1991: 117-124
39EEMaurizio Gabbrielli, Giorgio Levi: A Solved Form Algorithm for Ask and Tell Herbrand Constraints. TAPSOFT, Vol.1 1991: 320-337
38 Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi: Kernel-LEAF: A Logic plus Functional Language. J. Comput. Syst. Sci. 42(2): 139-185 (1991)
1990
37EEMaurizio Gabbrielli, Giorgio Levi: Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. ALP 1990: 204-216
36 Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi: Failure and Success made Symmetric. NACLP 1990: 3-22
35 Giorgio Levi: A Unified Approach to Logic Programs Semantics based on Constraints. SPLT 1990: 583-
34 Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami: Nested Guarded Horn Clauses. Int. J. Found. Comput. Sci. 1(3): 249-264 (1990)
33 Moreno Falaschi, Giorgio Levi: Finite Failures and Partial Computations in Concurrent Logic Languages. Theor. Comput. Sci. 75(1&2): 45-66 (1990)
1989
32 Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Maurizio Martelli: Declarative Modeling of the Operational Behavior of Logic Languages. Theor. Comput. Sci. 69(3): 289-318 (1989)
1988
31 Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi: Foundations of Logic and Functional Programming, Workshop, Trento, Italy, December 15-19, 1986, Proceedings Springer 1988
30 Moreno Falaschi, Giorgio Levi: Finite Failures and Partial Computations in Concurrent Logic Languages. FGCS 1988: 364-373
29 Giorgio Levi: Models, Unfolding Rules and Fixpoint Semantics. ICLP/SLP 1988: 1649-1665
28 Patrizia Coscia, Paola Franceschi, Giorgio Levi, Giuseppe Sardu, Luigia Torre: Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment. ICLP/SLP 1988: 359-373
27 Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi: A New Declarative Semantics for Logic Languages. ICLP/SLP 1988: 993-1005
26 Giorgio Levi, Catuscia Palamidessi: Contributions to the Semantics of Logic Perpetual Processes. Acta Inf. 25(6): 691-711 (1988)
25 Giorgio Levi, Giuseppe Sardu: Partial Evaluation of Metaprograms in a "Multiple Worlds" Logic Language. New Generation Comput. 6(2&3): 227-247 (1988)
1987
24 Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari: TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87) Springer 1987
23 Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari: TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) Springer 1987
22 Giorgio Levi, Catuscia Palamidessi: An Approach to the Declarative Semantics of Synchronization in Logic Languages. ICLP 1987: 877-893
21EEMarco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi: A Two-Level Approach to Logic plus Functional Programming Integration. PARLE (1) 1987: 374-393
20 Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso: A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. SLP 1987: 318-327
1986
19 Giorgio Levi: One, None, A Hundred Thousand Specification Languages - Response. IFIP Congress 1986: 1005-1008
18 Giorgio Levi: Logic Programming: The Foundations, the Approach and the Role of Concurrency. Current Trends in Concurrency 1986: 396-441
17 Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli: LEAF: A Language which Integrates Logic, Equations and Functions. Logic Programming: Functions, Relations, and Equations 1986: 201-238
16 Marco Bellia, Giorgio Levi: The Relation between Logic and Functional Languages: A Survey. J. Log. Program. 3(3): 217-236 (1986)
1985
15 Giorgio Levi, Catuscia Palamidessi: The Declarative Semantics of Logical Read-Only Variables. SLP 1985: 128-137
1984
14 Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli: On the Integration of Logic Programming and Functional Programming. SLP 1984: 160-166
13 Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli: A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language. Implementations of Prolog 1984: 309-326
12 Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi: A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses Information and Control 60(1-3): 36-69 (1984)
1983
11 Giorgio Levi, A. M. Pegna: Top-Down Mathematical Semantics and Symbolic Execution. ITA 17(1): 55-70 (1983)
1982
10 Roberto Barbuti, Pierpaolo Degano, Giorgio Levi: Toward an Inductionless Technique for Proving Properties of Logic Programs. ICLP 1982: 175-181
9 Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli: Applicative communicating processes in first order logic. Symposium on Programming 1982: 1-14
1979
8 Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini: A Flexible Environment for Program Development Based on a Symbolic Interpreter. ICSE 1979: 251-264
1977
7 Marco Bellia, Giorgio Levi: Distributed Control, Modularity and Data Types in a Simple Parallel Language. International Computing Symposium 1977: 441-450
1976
6 Giorgio Levi, Franco Sirovich: Generalized AND/OR Graphs. Artif. Intell. 7(3): 243-259 (1976)
1975
5 Giorgio Levi, Franco Sirovich: Pattern Matching and Call by Pattern. GI Jahrestagung 1975: 491-499
4 Giorgio Levi, Franco Sirovich: A Problem Reduction Model for Non-Independent Subproblems. IJCAI 1975: 340-344
3EEGiorgio Levi, Franco Sirovich: Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics. MFCS 1975: 294-301
1973
2EEGiorgio Levi, Fabrizio Luccio: A technique for graph embedding with constraints on node and arc correspondences. Inf. Sci. 5: 1-24 (1973)
1970
1 Giorgio Levi, Ugo Montanari: A Grey-Weighted Skeleton Information and Control 17(1): 62-91 (1970)

Coauthor Index

1Luigia Carlucci Aiello (Luigia Aiello) [31]
2María Alpuente [71]
3Gianluca Amato [104]
4Patrizia Asirelli [8]
5Roberto Bagnara [46]
6Roberto Barbuti [10] [14] [17] [40] [48] [54] [56]
7Marco Bellia [7] [9] [13] [14] [16] [17] [21]
8Mauro Boscarol [31]
9Pier Giorgio Bosco [20] [21]
10Annalisa Bossi [41] [52] [62] [63] [83]
11Alberto Bottoni [57] [59]
12Paola Bruscoli [60] [69]
13Michele Bugliesi [83]
14Michael Codish [40] [48] [54]
15Marco Comini [64] [66] [68] [75] [76] [78] [79] [81] [82] [85] [92] [98] [99] [102] [107] [108] [109] [111]
16Patrizia Coscia [28]
17Enrico Dameri [9] [13]
18Saumya K. Debray [51] [61] [72]
19Pierpaolo Degano [8] [9] [10] [13]
20Giovanna M. Dore [73]
21Hartmut Ehrig [23] [24]
22Moreno Falaschi [12] [27] [30] [32] [33] [34] [55] [71]
23Paola Franceschi [28]
24Maurizio Gabbrielli [34] [37] [39] [41] [43] [44] [45] [47] [49] [50] [52] [62] [63] [73] [74] [83] [84]
25Roberto Giacobazzi [40] [46] [48] [51] [54] [56] [61] [65] [72] [87]
26Elio Giovannetti [20] [21] [38]
27Roberta Gori [67] [88] [99] [100] [101] [102] [108] [109] [110] [111] [113] [115]
28Hélène Kirchner [53]
29Robert A. Kowalski [23] [24]
30Francesca Levi [60] [69]
31Fabrizio Luccio [2]
32Alberto Martelli [8]
33Maurizio Martelli [9] [13] [14] [17] [27] [32] [36] [47] [55] [63]
34Maria Chiara Meo [41] [50] [52] [60] [62] [69] [74] [75] [79] [83] [84] [85] [98] [107]
35Daniele Micciancio [80]
36Corrado Moiso [20] [21] [38]
37Ugo Montanari [1] [8] [23] [24]
38Masaki Murakami [34]
39Giuliano Pacini [8]
40Catuscia Palamidessi [12] [15] [20] [21] [22] [26] [27] [32] [36] [38] [55]
41A. M. Pegna [11]
42Davide Ramundo [58]
43Mario Rodríguez-Artalejo [70]
44Giuseppe Sardu [25] [28]
45Francesca Scozzari [77]
46Franco Sirovich [3] [4] [5] [6] [8]
47Fausto Spoto [86] [89] [90] [95] [96] [105] [112]
48Bernhard Steffen [114]
49Luigia Torre [28]
50Daniele Turi [49]
51Franco Turini [8]
52Giuliana Vitiello [66] [76] [78] [81] [82] [85] [92] [98]
53Paolo Volpe [91] [94] [99] [111]
54W. Volpi [93]
55Enea Zaffanella [65] [87]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)