Concepedia

Giorgio Levi

GL

48

Publications

2K

Citations

24

H-Index

1970

Active since

Affiliations

University of Pisa(Current)

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

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

Top concepts

EngineeringAutomated ReasoningFormal MethodsLogic ProgrammingSemanticsComputer ScienceFormal VerificationLanguageLinguisticsProgram Analysis

Publications per year

1970–2002

48

Publications

48

A note on the derivation of maximal common subgraphs of two directed or undirected graphs

Giorgio Levi · CALCOLO · 1973 · 228 citations

Graph Minor, Directed Graph, Network Science +9

Declarative modeling of the operational behavior of logic languages

Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi et al. · Theoretical Computer Science · 1989 · 198 citations

Declarative Programming, Engineering, Operational Semantics +5

The s-semantics approach: Theory and applications

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi et al. · The Journal of Logic Programming · 1994 · 129 citations

Formal Semantics, Engineering, Semantic Analysis (Linguistics) +8

Kernel-LEAF: A logic plus functional language

Elio Giovannetti, Giorgio Levi, Corrado Moiso et al. · Journal of Computer and System Sciences · 1991 · 112 citations

Computational Logic, Engineering, Automated Reasoning +5

A grey-weighted skeleton

Giorgio Levi, Ugo Montanari · Information and Control · 1970 · 107 citations

Grey-weighted Skeleton, Gross Anatomy, Axial Skeleton +6

Rows per page

1–5 of 48