Giorgio Levi

Available identifiers

zbMath Open levi.giorgioWikidataQ60196012 ScholiaQ60196012MaRDI QIDQ915475

List of research outcomes

Publication	Date of Publication	Type
Unfolding and fixpoint semantics of concurrent constraint logic programs	2022-08-16	Paper
Assertion based Inductive Verification Methods for Logic Programs	2013-06-06	Paper
Logic programs as specifications in the inductive verification of logic programs	2013-05-24	Paper
How to Transform an Analyzer into a Verifier	2011-05-06	Paper
On the verification of finite failure	2005-12-07	Paper
Abstract interpretation based verification of logic programs	2004-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4736999	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4414385	2003-07-25	Paper
Pair-independence and freeness analysis through linear refinement.	2003-05-27	Paper
A theory of observables for logic programs	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q2736350	2001-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q2722047	2001-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4499243	2001-03-05	Paper
The s-semantics approach: Theory and applications	2000-08-14	Paper
https://portal.mardi4nfdi.de/entity/Q4494369	2000-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4954441	2000-06-07	Paper
Abstract diagnosis	1999-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4259957	1999-09-08	Paper
https://portal.mardi4nfdi.de/entity/Q4217939	1998-11-11	Paper
Finite failure is and-compositional	1998-03-25	Paper
Incremental constraint satisfaction for equational logic programming	1997-09-29	Paper
https://portal.mardi4nfdi.de/entity/Q5688900	1997-05-25	Paper
Generalized semantics and abstract interpretation for constraint logic programs	1997-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q5688899	1997-03-19	Paper
Resultant semantics for prolog	1997-02-17	Paper
Differential logic programs: Programming methodologies and semantics	1996-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q4896503	1996-10-20	Paper
Observable behaviors and equivalences of logic programs	1996-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4858579	1995-12-17	Paper
Observable Semantics for Constraint Logic Programs	1995-04-17	Paper
A compositional semantics for logic programs	1994-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q4282599	1994-04-17	Paper
Modelling Prolog Control	1994-03-27	Paper
A model-theoretic reconstruction of the operational semantics of logic programs	1993-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4036549	1993-05-18	Paper
Unfolding and fixpoint semantics of concurrent constraint logic programs	1993-01-16	Paper
Kernel-LEAF: A logic plus functional language	1991-01-01	Paper
Finite failures and partial computations in concurrent logic languages	1990-01-01	Paper
NESTED GUARDED HORN CLAUSES	1990-01-01	Paper
Declarative modeling of the operational behavior of logic languages	1989-01-01	Paper
Partial evaluation of metaprograms in a ``multiple worlds logic language	1988-01-01	Paper
Contributions to the semantics of logic perpetual processes	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3727352	1986-01-01	Paper
The relation between logic and functional languages: a survey	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3742694	1986-01-01	Paper
A synchronization logic: Axiomatics and formal semantics of generalized horn clauses	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3957929	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4155819	1977-01-01	Paper
Generalized AND/OR graphs	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4089762	1975-01-01	Paper
A technique for graph embedding with constraints on node and arc correspondences	1973-01-01	Paper
Structural descriptions of fingerprint images	1972-01-01	Paper
A grey-weighted skeleton	1970-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Giorgio Levi