Giorgio Levi - Concepedia

Author

Giorgio Levi

University of Pisa

Also Known As

G Levi, G. Levi, G. Lévi, GIORGIO LEVI, Giorgio Levi, Levi G.

159

Publications

2.4K

Citations

H-Index

Concepts

All Affiliations

University of Pisa Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

About

Giorgio Levi is an author at University of Pisa specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	19	32	1.3K
2	Language Studies	8	8	374
3	Business	1	1	11
4	Education	1	1	228
5	Medicine	1	1	107

Giorgio Levi

Publications

Citations

H-Index

Page 1

	Year	Citations
A note on the derivation of maximal common subgraphs of two directed or undirected graphs Giorgio Levi CALCOLO Graph MinorDirected GraphNetwork ScienceGraph TheoryAlgebraic Graph Theory	1973	228
Declarative modeling of the operational behavior of logic languages Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Theoretical Computer Science Declarative ProgrammingEngineeringOperational SemanticsAutomated ReasoningFormal Methods	1989	198
The s-semantics approach: Theory and applications Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, The Journal of Logic Programming Formal SemanticsEngineeringSemantic Analysis (Linguistics)Automated ReasoningComputational Linguistics	1994	129
Kernel-LEAF: A logic plus functional language Elio Giovannetti, Giorgio Levi, Corrado Moiso, Journal of Computer and System Sciences Computational LogicEngineeringAutomated ReasoningFormal MethodsFirst-order Logic	1991	112
A grey-weighted skeleton Giorgio Levi, Ugo Montanari Information and Control Grey-weighted SkeletonGross AnatomyAxial SkeletonKinesiologyBiomechanics	1970	107
The relation between logic and functional languages: a survey Marco Bellia, Giorgio Levi The Journal of Logic Programming Non-classical LogicFunctional LanguagesEngineeringOperational SemanticsAutomated Reasoning	1986	97
A general framework for semantics-based bottom-up abstract interpretation of logic programs Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi ACM Transactions on Programming Languages and Systems Applied LogicEngineeringLogic ProgramsSoftware EngineeringWell-founded Semantics	1993	89
A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Information and Computation Applied LogicComputational LogicEngineeringOperational SemanticsAutomated Reasoning	1993	83
A compositional semantics for logic programs Annalisa Bossi, M. Gabrielli, Giorgio Levi, Theoretical Computer Science EngineeringAutomated ReasoningDescription LogicFormal MethodsLogic Programs	1994	58
Generalized semantics and abstract interpretation for constraint logic programs Roberto Giacobazzi, Saumya Debray, Giorgio Levi The Journal of Logic Programming EngineeringAutomated ReasoningConstraint Logic ProgramsFormal MethodsWell-founded Semantics	1995	57

Page 1