Concepedia

Cristiano Calcagno

CC

29

Publications

2.1K

Citations

21

H-Index

2000

Active since

Affiliations

Imperial College London(Current)

Queen Mary University of London

Middlesex University

University of London

University of Genoa

Cristiano Calcagno is an author at Imperial College London specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceProgram AnalysisFormal VerificationSoftware AnalysisSemanticsVerificationLanguage

Publications per year

2000–2011

29

Publications

29

Permission accounting in separation logic

Richard Bornat, Cristiano Calcagno, Peter W. O’Hearn et al. · 2005 · 367 citations

Engineering, Computer Architecture, Confidentiality +25

Compositional shape analysis by means of bi-abduction

Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn et al. · 2009 · 271 citations

Engineering, Geometry, Statistical Shape Analysis +22

Local Action and Abstract Separation Logic

Cristiano Calcagno, Peter W. O’Hearn, Hongseok Yang · 2007 · 260 citations

Computational Logic, Separation Algebras, Local Action +14

Compositional Shape Analysis by Means of Bi-Abduction

Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn et al. · Journal of the ACM · 2011 · 207 citations

Engineering, Geometry, Statistical Shape Analysis +27

Compositional shape analysis by means of bi-abduction

Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn et al. · ACM SIGPLAN Notices · 2009 · 116 citations

Engineering, Geometry, Statistical Shape Analysis +25

Rows per page

1–5 of 29