Giorgio Levi

	2011
118		Letterio Galletta, Giorgio Levi: An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language WWV 2011: 81-95
	2005
117		Roberta Gori, Giorgio Levi: On the verification of finite failure. J. Comput. Syst. Sci. 71(4): 535-575 (2005)
	2004
116		Bernhard Steffen, Giorgio Levi: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings Springer 2004
	2003
115		Roberta Gori, Giorgio Levi: Properties of a Type Abstract Interpreter. VMCAI 2003: 132-145
114		Giorgio Levi, Fausto Spoto: Pair-independence and freeness analysis through linear refinement. Inf. Comput. 182(1): 14-52 (2003)
113		Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe: Abstract interpretation based verification of logic programs. Sci. Comput. Program. 49(1-3): 89-123 (2003)
	2002
112		Roberta Gori, Giorgio Levi: An Experiment in Type Inference and Verification by Abstract Interpretation. VMCAI 2002: 225-239
	2001
111		Marco Comini, Roberta Gori, Giorgio Levi: How to Transform an Analyzer into a Verifier. LPAR 2001: 595-609
110		Marco Comini, Roberta Gori, Giorgio Levi: Logic programs as specifications in the inductive verification of logic programs. Electr. Notes Theor. Comput. Sci. 48: 131-146 (2001)
109		Marco Comini, Giorgio Levi, Maria Chiara Meo: A Theory of Observables for Logic Programs. Inf. Comput. 169(1): 23-80 (2001)
108		Giorgio Levi: Preface. Sci. Comput. Program. 39(1): 1 (2001)
	2000
107		Giorgio Levi, Fausto Spoto: Non Pair-Sharing and Freeness Analysis Through Linear Refinement. PEPM 2000: 52-61
106		Gianluca Amato, Giorgio Levi: Abstract Interpretation Based Semantics of Sequent Calculi. SAS 2000: 38-57
105		Giorgio Levi: Abstract Interpretation Based Verification of Logic Programs. Electr. Notes Theor. Comput. Sci. 40: 243 (2000)
104		Marco Comini, Roberta Gori, Giorgio Levi: Assertion based Inductive Verification Methods for Logic Programs. Electr. Notes Theor. Comput. Sci. 40: 52-69 (2000)
	1999
103		Roberta Gori, Giorgio Levi: On the verification of finite failure. APPIA-GULP-PRODE 1999: 197-212
102		Roberta Gori, Giorgio Levi: On the Verification of Finite Failure. PPDP 1999: 311-327
101		Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe: Abstract Interpretation based Verification of Logic Programs. Electr. Notes Theor. Comput. Sci. 30(1): 22-38 (1999)
100		Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello: Abstract Diagnosis. J. Log. Program. 39(1-3): 43-93 (1999)
	1998
99		Giorgio Levi: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings Springer 1998
98		Fausto Spoto, Giorgio Levi: Abstract Interpretation of Prolog Programs. AMAST 1998: 455-470
97		Fausto Spoto, Giorgio Levi: An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. APPIA-GULP-PRODE 1998: 269-282
96		Giorgio Levi, Paolo Volpe: Derivation of Proof Methods by Abstract Interpretation. APPIA-GULP-PRODE 1998: 283-292
95		Giorgio Levi, W. Volpi: Set Based-Analysis of Logic Programs via Abstract Interpretation. APPIA-GULP-PRODE 1998: 303-310
94		Marco Comini, Giorgio Levi, Giuliana Vitiello: Modular Abstract Diagnosis. APPIA-GULP-PRODE 1998: 409-420
93		Giorgio Levi, Paolo Volpe: Derivation of Proof Methods by Abstract Interpretation. PLILP/ALP 1998: 102-117
92		Giorgio Levi, Fausto Spoto: An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. PLILP/ALP 1998: 152-169
	1997
91		Fausto Spoto, Giorgio Levi: A Denotational Semantics for Prolog. APPIA-GULP-PRODE 1997: 201-212
90		Roberta Gori, Giorgio Levi: Finite Failure is And-Compositional. J. Log. Comput. 7(6): 753-776 (1997)
89		Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi: Abstracting Synchronization in Concurrent Constraint Programming. Journal of Functional and Logic Programming 1997(6): (1997)
	1996
88		Giorgio Levi, Fausto Spoto: Accurate Analysis of Prolog with cut. APPIA-GULP-PRODE 1996: 481-492
87		Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello: Proving Properties of Logic Programs by Abstract Diagnosis. LOMAPS 1996: 22-50
86		Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Resultants Semantics for Prolog. J. Log. Comput. 6(4): 491-521 (1996)
85		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
84		Marco Comini, Giorgio Levi, Giuliana Vitiello: Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. AADEBUG 1995: 159-174
83		Giorgio Levi, Marco Comini, Giuliana Vitiello: On the Abstract Diagnosis of Logic Programs. GULP-PRODE 1995: 41-60
82		Giorgio Levi, Daniele Micciancio: Analysis of Pure PROLOG Programs. GULP-PRODE 1995: 521-532
81		Marco Comini, Giorgio Levi, Maria Chiara Meo: Compositionality in SLD-derivations and their Abstractions. GULP-PRODE 1995: 533-544
80		Marco Comini, Giorgio Levi, Giuliana Vitiello: Declarative Diagnosis Revisited. GULP-PRODE 1995: 607-618
79		Giorgio Levi, Francesca Scozzari: Contributions to a Theory of Existential Termination for Definite Logic Programs. GULP-PRODE 1995: 631-642
78		Marco Comini, Giorgio Levi, Giuliana Vitiello: Declarative Diagnosis Revisited. ILPS 1995: 275-287
77		Marco Comini, Giorgio Levi, Maria Chiara Meo: Compositionality in SLD-Derivations and their Abstractions. ILPS 1995: 561-575
76		Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Observable Behaviors and Equivalences of Logic Programs Inf. Comput. 122(1): 1-29 (1995)
75		Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi: Observable Semantics for Constraint Logic Programs. J. Log. Comput. 5(2): 133-171 (1995)
74		Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi: Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. J. Log. Program. 25(3): 191-247 (1995)
73		María Alpuente, Moreno Falaschi, Giorgio Levi: Incremental Constraint Satisfaction for Equational Logic Programming. Theor. Comput. Sci. 142(1): 27-57 (1995)
	1994
72		Giorgio Levi, Mario Rodríguez-Artalejo: Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings Springer 1994
71		Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo: Compilative Constructive Negation in Constraint Logic Programs. CAAP 1994: 52-67
70		Marco Comini, Giorgio Levi: An Algebraic Theory of Observables. GULP-PRODE (1) 1994: 170-186
69		Roberta Gori, Giorgio Levi: Finite Failure is AND-Compositional. GULP-PRODE (1) 1994: 464-478
68		Marco Comini, Giorgio Levi, Giuliana Vitiello: Abstract Debugging of Logic Program. META 1994: 440-450
67		Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi: Abstracting Synchronization in Concurrent Constraint Programming. PLILP 1994: 57-72
66		Marco Comini, Giorgio Levi: An Algebraic Theory of Observables. SLP 1994: 172-186
65		Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli: The s-Semantics Approach: Theory and Applications. J. Log. Program. 19/20: 149-197 (1994)
64		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
63		Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray: Joining Abstract and Concrete Computations in Constraint Logic Programming. AMAST 1993: 109-126
62		Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo: Intensional Negation in Constraint Logic Programs. GULP 1993: 359-374
61		Alberto Bottoni, Giorgio Levi: Computing in the Completion. GULP 1993: 375-392
60		Giorgio Levi, Davide Ramundo: A Formalization of Metaprogramming for real. ICLP 1993: 354-373
59		Alberto Bottoni, Giorgio Levi: The Inverse of Fitting's Functional. Kurt Gödel Colloquium 1993: 132-143
58		Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Differential Logic Programming. POPL 1993: 359-370
57		Roberto 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)
56		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)
55		Yaoqing Gao, Dingxing Wang, Weimin Zheng, Meiming Shen, Zhiyi Huang, Shouren Hu, Giorgio Levi: Parallel execution of prolog on shared-memory multiprocessors. J. Comput. Sci. Technol. 8(4): 329-336 (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
49		Maurizio 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
47		Maurizio 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
44		Maurizio 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
39		Maurizio 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
37		Maurizio 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
21		Marco 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
3		Giorgio Levi, Franco Sirovich: Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics. MFCS 1975: 294-301
	1973
2		Giorgio 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

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

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page