Giorgio Levi - RankMe

129 papers A* 5B 16C 3Journal 35Unranked 61

Year	Rank	Type	Title / Venue / Authors
2011	—	`conf`	An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language WWV Letterio Galletta, Giorgio Levi
2005	J	`jnl`	On the verification of finite failure. J. Comput. Syst. Sci. Roberta Gori, Giorgio Levi
2004	B	`ed.`	Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings VMCAI Bernhard Steffen, Giorgio Levi
2003	J	`jnl`	Abstract interpretation based verification of logic programs. Sci. Comput. Program. Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe
2003	J	`jnl`	Pair-independence and freeness analysis through linear refinement. Inf. Comput. Giorgio Levi, Fausto Spoto
2003	B	`conf`	Properties of a Type Abstract Interpreter. VMCAI Roberta Gori, Giorgio Levi
2002	B	`conf`	An Experiment in Type Inference and Verification by Abstract Interpretation. VMCAI Roberta Gori, Giorgio Levi
2001	J	`jnl`	A Theory of Observables for Logic Programs. Inf. Comput. Marco Comini, Giorgio Levi, Maria Chiara Meo
2001	B	`conf`	How to Transform an Analyzer into a Verifier. LPAR Marco Comini, Roberta Gori, Giorgio Levi
2001	—	`conf`	How to transform an analyzer into a verifier. APPIA-GULP-PRODE Marco Comini, Roberta Gori, Giorgio Levi
2001	—	`conf`	Logic programs as specifications in the inductive verification of logic programs. APPIA-GULP-PRODE Marco Comini, Roberta Gori, Giorgio Levi
2001	J	`jnl`	Preface. Sci. Comput. Program. Giorgio Levi
2000	B	`conf`	Abstract Interpretation Based Semantics of Sequent Calculi. SAS Gianluca Amato, Giorgio Levi
2000	—	`conf`	Abstract Interpretation Based Verification of Logic Programs. MFCSIT Giorgio Levi
2000	—	`conf`	Assertion based Inductive Verification Methods for Logic Programs. MFCSIT Marco Comini, Roberta Gori, Giorgio Levi
2000	C	`conf`	Non Pair-Sharing and Freeness Analysis Through Linear Refinement. PEPM Giorgio Levi, Fausto Spoto
1999	J	`jnl`	Abstract Diagnosis. J. Log. Program. Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
1999	—	`conf`	Abstract Interpretation based Verification of Logic Programs. Verification of Logic Programs@ICLP Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe
1999	C	`conf`	On the Verification of Finite Failure. PPDP Roberta Gori, Giorgio Levi
1999	—	`conf`	On the verification of finite failure. APPIA-GULP-PRODE Roberta Gori, Giorgio Levi
1998	—	`conf`	Abstract Interpretation of Prolog Programs. AMAST Fausto Spoto, Giorgio Levi
1998	—	`conf`	An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. APPIA-GULP-PRODE Fausto Spoto, Giorgio Levi
1998	—	`conf`	An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. PLILP/ALP Giorgio Levi, Fausto Spoto
1998	—	`conf`	Derivation of Proof Methods by Abstract Interpretation. APPIA-GULP-PRODE Giorgio Levi, Paolo Volpe
1998	—	`conf`	Derivation of Proof Methods by Abstract Interpretation. PLILP/ALP Giorgio Levi, Paolo Volpe
1998	—	`conf`	Modular Abstract Diagnosis. APPIA-GULP-PRODE Marco Comini, Giorgio Levi, Giuliana Vitiello
1998	—	`conf`	Set Based-Analysis of Logic Programs via Abstract Interpretation. APPIA-GULP-PRODE Giorgio Levi, W. Volpi
1998	B	`ed.`	Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings SAS Giorgio Levi
1997	—	`conf`	A Denotational Semantics for Prolog. APPIA-GULP-PRODE Fausto Spoto, Giorgio Levi
1997	J	`jnl`	Abstracting Synchronization in Concurrent Constraint Programming. J. Funct. Log. Program. Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi
1997	J	`jnl`	Finite Failure is And-Compositional. J. Log. Comput. Roberta Gori, Giorgio Levi
1997	—	`conf`	Properties of the Lattice of Observables in Logic Programming. APPIA-GULP-PRODE Gianluca Amato, Giorgio Levi
1996	—	`conf`	Accurate Analysis of Prolog with cut. APPIA-GULP-PRODE Giorgio Levi, Fausto Spoto
1996	J	`jnl`	Differential Logic Programs: Programming Methodologies and Semantics. Sci. Comput. Program. Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1996	—	`conf`	Proving Properties of Logic Programs by Abstract Diagnosis. LOMAPS Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
1996	J	`jnl`	Resultants Semantics for Prolog. J. Log. Comput. Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1995	—	`conf`	Analysis of Pure PROLOG Programs. GULP-PRODE Giorgio Levi, Daniele Micciancio
1995	—	`conf`	Compositionality in SLD-Derivations and their Abstractions. ILPS Marco Comini, Giorgio Levi, Maria Chiara Meo
1995	—	`conf`	Compositionality in SLD-derivations and their Abstractions. GULP-PRODE Marco Comini, Giorgio Levi, Maria Chiara Meo
1995	—	`conf`	Contributions to a Theory of Existential Termination for Definite Logic Programs. GULP-PRODE Giorgio Levi, Francesca Scozzari
1995	—	`conf`	Declarative Diagnosis Revisited. GULP-PRODE Marco Comini, Giorgio Levi, Giuliana Vitiello
1995	—	`conf`	Declarative Diagnosis Revisited. ILPS Marco Comini, Giorgio Levi, Giuliana Vitiello
1995	—	`conf`	Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. AADEBUG Marco Comini, Giorgio Levi, Giuliana Vitiello
1995	J	`jnl`	Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. J. Log. Program. Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi
1995	J	`jnl`	Incremental Constraint Satisfaction for Equational Logic Programming. Theor. Comput. Sci. María Alpuente, Moreno Falaschi, Giorgio Levi
1995	J	`jnl`	Observable Behaviors and Equivalences of Logic Programs Inf. Comput. Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1995	J	`jnl`	Observable Semantics for Constraint Logic Programs. J. Log. Comput. Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi
1995	—	`conf`	On the Abstract Diagnosis of Logic Programs. GULP-PRODE Giorgio Levi, Marco Comini, Giuliana Vitiello
1994	J	`jnl`	A Compositional Semantics for Logic Programs. Theor. Comput. Sci. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1994	C	`conf`	Abstract Debugging of Logic Program. META Marco Comini, Giorgio Levi, Giuliana Vitiello
1994	—	`conf`	Abstracting Synchronization in Concurrent Constraint Programming. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages Enea Zaffanella, Giorgio Levi, Roberto Giacobazzi
1994	—	`conf`	Abstracting Synchronization in Concurrent Constraint Programming. PLILP Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi
1994	—	`ed.`	Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings ALP Giorgio Levi, Mario Rodríguez-Artalejo
1994	—	`conf`	An Algebraic Theory of Observables. GULP-PRODE (1) Marco Comini, Giorgio Levi
1994	—	`conf`	An Algebraic Theory of Observables. ILPS Marco Comini, Giorgio Levi
1994	—	`conf`	Compilative Constructive Negation in Constraint Logic Programs. CAAP Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
1994	—	`conf`	Finite Failure is AND-Compositional. GULP-PRODE (1) Roberta Gori, Giorgio Levi
1994	J	`jnl`	The s-Semantics Approach: Theory and Applications. J. Log. Program. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
1993	B	`conf`	A Formalization of Metaprogramming for real. ICLP Giorgio Levi, Davide Ramundo
1993	J	`jnl`	A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs. ACM Trans. Program. Lang. Syst. Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi
1993	J	`jnl`	A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs Inf. Comput. Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
1993	—	`conf`	Chemical Logic Programming? GULP Alessio Guglielmi, Giorgio Levi
1993	—	`conf`	Chemical Logic Programming? ICLP Workshop on Blackboard-Based Logic Programming Pietro Di Gianantonio, Alessio Guglielmi, Giorgio Levi
1993	—	`conf`	Computing in the Completion. GULP Alberto Bottoni, Giorgio Levi
1993	A*	`conf`	Differential Logic Programming. POPL Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1993	—	`conf`	Intensional Negation in Constraint Logic Programs. GULP Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
1993	—	`conf`	Joining Abstract and Concrete Computations in Constraint Logic Programming. AMAST Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray
1993	J	`jnl`	Modelling Prolog Control. J. Log. Comput. Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
1993	J	`jnl`	Parallel execution of prolog on shared-memory multiprocessors. J. Comput. Sci. Technol. Yaoqing Gao, Dingxing Wang, Weimin Zheng, Meiming Shen, Zhiyi Huang, Shouren Hu, Giorgio Levi
1993	—	`conf`	The Inverse of Fitting's Functional. Kurt Gödel Colloquium Alberto Bottoni, Giorgio Levi
1993	—	`ch.`	What is Logic Programming good for in Software Engineering? Advances in Software Engineering and Knowledge Engineering Paolo Ciancarini, Giorgio Levi
1992	—	`conf`	A Generalized Semantics for Constraint Logic Programs. FGCS Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi
1992	B	`conf`	A Two Steps Semantics for Logic Programs with Negation. LPAR Maurizio Gabbrielli, Giorgio Levi, Daniele Turi
1992	—	`ed.`	Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings ALP Hélène Kirchner, Giorgio Levi
1992	—	`conf`	Contributions to the Semantics of Open Logic Programs. FGCS Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1992	A*	`conf`	Modeling Prolog Control. POPL Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
1992	—	`conf`	New Semantic Tools for Logic Programming. REX Workshop Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
1992	—	`conf`	Observational Equivalences for Logic Programs. JICSLP Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1992	—	`conf`	Static Analysis of CLP Programs over Numeric Domains. WSA Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
1992	J	`jnl`	Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. Theor. Comput. Sci. Maurizio Gabbrielli, Giorgio Levi
1991	—	`conf`	A Solved Form Algorithm for Ask and Tell Herbrand Constraints. TAPSOFT, Vol.1 Maurizio Gabbrielli, Giorgio Levi
1991	—	`conf`	An OR-Compositional Semantics for Logic Programs. ICLP Workshop on Construction of Logic Programs Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1991	J	`jnl`	Kernel-LEAF: A Logic plus Functional Language. J. Comput. Syst. Sci. Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi
1991	B	`conf`	Modeling Answer Constraints in Constraint Logic Programs. ICLP Maurizio Gabbrielli, Giorgio Levi
1991	—	`conf`	Modelling Prolog Control. JTASPEFT/WSA Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
1991	A*	`conf`	On the Semantics of Logic Programs. ICALP Maurizio Gabbrielli, Giorgio Levi
1991	B	`conf`	On the Semantics of Logic Programs. ICLP Giorgio Levi
1990	—	`conf`	A Unified Approach to Logic Programs Semantics based on Constraints. SPLT Giorgio Levi
1990	—	`conf`	Failure and Success made Symmetric. NACLP Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
1990	J	`jnl`	Finite Failures and Partial Computations in Concurrent Logic Languages. Theor. Comput. Sci. Moreno Falaschi, Giorgio Levi
1990	J	`jnl`	Nested Guarded Horn Clauses. Int. J. Found. Comput. Sci. Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami
1990	—	`conf`	Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. ALP Maurizio Gabbrielli, Giorgio Levi
1989	J	`jnl`	Declarative Modeling of the Operational Behavior of Logic Languages. Theor. Comput. Sci. Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Maurizio Martelli
1989	B	`ed.`	Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989 ICLP Giorgio Levi, Maurizio Martelli
1988	—	`conf`	A New Declarative Semantics for Logic Languages. ICLP/SLP Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
1988	J	`jnl`	Contributions to the Semantics of Logic Perpetual Processes. Acta Informatica Giorgio Levi, Catuscia Palamidessi
1988	—	`conf`	Finite Failures and Partial Computations in Concurrent Logic Languages. FGCS Moreno Falaschi, Giorgio Levi
1988	—	`ed.`	Foundations of Logic and Functional Programming, Workshop, Trento, Italy, December 15-19, 1986, Proceedings Foundations of Logic and Functional Programming Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi
1988	—	`conf`	Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment. ICLP/SLP Patrizia Coscia, Paola Franceschi, Giorgio Levi, Giuseppe Sardu, Luigia Torre
1988	—	`conf`	Models, Unfolding Rules and Fixpoint Semantics. ICLP/SLP Giorgio Levi
1988	J	`jnl`	Partial Evaluation of Metaprograms in a "Multiple Worlds" Logic Language. New Gener. Comput. Giorgio Levi, Giuseppe Sardu
1987	—	`conf`	A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. SLP Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
1987	—	`conf`	A Two-Level Approach to Logic plus Functional Programming Integration. PARLE (1) Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi
1987	B	`conf`	An Approach to the Declarative Semantics of Synchronization in Logic Languages. ICLP Giorgio Levi, Catuscia Palamidessi
1987	—	`ed.`	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) TAPSOFT, Vol.1 Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
1987	—	`ed.`	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) TAPSOFT, Vol.2 Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
1986	—	`ch.`	LEAF: A Language which Integrates Logic, Equations and Functions. Logic Programming: Functions, Relations, and Equations Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli
1986	—	`ch.`	Logic Programming: The Foundations, the Approach and the Role of Concurrency. Current Trends in Concurrency Giorgio Levi
1986	—	`conf`	One, None, A Hundred Thousand Specification Languages - Response. IFIP Congress Giorgio Levi
1986	J	`jnl`	The Relation between Logic and Functional Languages: A Survey. J. Log. Program. Marco Bellia, Giorgio Levi
1985	—	`conf`	The Declarative Semantics of Logical Read-Only Variables. SLP Giorgio Levi, Catuscia Palamidessi
1984	—	`ch.`	A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language. Implementations of Prolog Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli
1984	J	`jnl`	A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses Inf. Control. Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi
1984	—	`conf`	On the Integration of Logic Programming and Functional Programming. SLP Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli
1983	B	`conf`	On Compiling Prolog Programs on Demand Driven Architectures. Logic Programming Workshop Marco Bellia, Giorgio Levi, Maurizio Martelli
1983	B	`conf`	On the Fixed-Point Semantics of Horn Clauses with Infinite Terms. Logic Programming Workshop Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi
1983	J	`jnl`	Top-Down Mathematical Semantics and Symbolic Execution. RAIRO Theor. Informatics Appl. Giorgio Levi, A. M. Pegna
1982	—	`conf`	Applicative communicating processes in first order logic. Symposium on Programming Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli
1982	B	`conf`	Toward an Inductionless Technique for Proving Properties of Logic Programs. ICLP Roberto Barbuti, Pierpaolo Degano, Giorgio Levi
1979	A*	`conf`	A Flexible Environment for Program Development Based on a Symbolic Interpreter. ICSE Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini
1977	—	`conf`	Distributed Control, Modularity and Data Types in a Simple Parallel Language. International Computing Symposium Marco Bellia, Giorgio Levi
1976	J	`jnl`	Generalized AND/OR Graphs. Artif. Intell. Giorgio Levi, Franco Sirovich
1975	A*	`conf`	A Problem Reduction Model for Non-Independent Subproblems. IJCAI Giorgio Levi, Franco Sirovich
1975	—	`conf`	Pattern Matching and Call by Pattern. GI Jahrestagung Giorgio Levi, Franco Sirovich
1975	B	`conf`	Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics. MFCS Giorgio Levi, Franco Sirovich
1974	J	`jnl`	Graph isomorphism: A heuristic edge-partitioning-oriented algorithm. Computing Giorgio Levi
1973	J	`jnl`	A technique for graph embedding with constraints on node and arc correspondences. Inf. Sci. Giorgio Levi, Fabrizio Luccio
1972	J	`jnl`	Structural descriptions of fingerprint images. Inf. Sci. Giorgio Levi, Franco Sirovich
1970	J	`jnl`	A Grey-Weighted Skeleton Inf. Control. Giorgio Levi, Ugo Montanari