Giorgio Levi

Publications by Year

Research Areas

Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Semantic Web and Ontologies, Advanced Algebra and Logic

Most-Cited Works

• → A note on the derivation of maximal common subgraphs of two directed or undirected graphs(1973)228 cited
• → Declarative modeling of the operational behavior of logic languages(1989)198 cited
• → The s-semantics approach: Theory and applications(1994)129 cited
• → Kernel-LEAF: A logic plus functional language(1991)112 cited
• → A grey-weighted skeleton(1970)108 cited
• → The relation between logic and functional languages: a survey(1986)97 cited
• → A general framework for semantics-based bottom-up abstract interpretation of logic programs(1993)89 cited
• → A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs(1993)83 cited
• → A compositional semantics for logic programs(1994)58 cited
• → Generalized semantics and abstract interpretation for constraint logic programs(1995)57 cited