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