Alberto Momigliano

Cited by

	All	Since 2016
Citations	947	285
h-index	18	9
i10-index	27	9

100

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920205 2 5 2 3 20 20 70 45 48 50 65 64 63 61 31 22 52 36 30 67 92 60

Co-authors

Lennart BeringerPrinceton UniversityVerified email at cs.princeton.edu
Amy FeltyProfessor of Computer Science, University of OttawaVerified email at eecs.uottawa.ca
Martin HofmannProfessor for Informatics, University of MunichVerified email at ifi.lmu.de
Camillo FiorentiniUniversita degli Studi di MilanoVerified email at di.unimi.it
David AspinallProfessor in Computer Science, University of EdinburghVerified email at ed.ac.uk
Brigitte PientkaMcGill UniversityVerified email at cs.mcgill.ca
Hans-Wolfgang LoidlLecturer in the School of Mathematical and Computer Sciences, Heriot-Watt University, EdinburghVerified email at macs.hw.ac.uk
Alwen TiuResearch School of Computer Science, The Australian National UniversityVerified email at anu.edu.au
James CheneyReader, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Mauro FerrariFull Professor of Mathematical Logic, Università degli Studi dell'InsubriaVerified email at uninsubria.it
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Dale MillerDirector of Research, INRIAVerified email at inria.fr
Donald SannellaProfessor of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Andreas AbelSenior Lecturer at the Department of Computer Science and Engineering, Gothenburg UniversityVerified email at gu.se
Stephen GilmoreProfessor of Software Systems Modelling, The University of EdinburghVerified email at inf.ed.ac.uk
Alessandro AvelloneUniversità Milano-BicoccaVerified email at unimib.it
Kathrin StarkPostdoc, Princeton UniversityVerified email at princeton.edu
Steven SchäferPhD student at the Programming Systems Lab, Saarland UniversityVerified email at ps.uni-saarland.de
Allais GuillaumePhd student, University of StrathclydeVerified email at strath.ac.uk

Alberto Momigliano

DI, University of Milan

Verified email at di.unimi.it - Homepage

Logical frameworks formal verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Hybrid: A definitional two-level approach to reasoning with higher-order abstract syntax A Felty, A Momigliano Journal of Automated Reasoning 48 (1), 43-105, 2012	78	2012
A program logic for resources D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano Elsevier 399 (3), 411-445, 2007	72	2007
Combining higher order abstract syntax with tactical theorem proving and (co) induction SJ Ambler, RL Crole, A Momigliano International Conference on Theorem Proving in Higher Order Logics, 13-30, 2002	61	2002
Automatic certification of heap consumption L Beringer, M Hofmann, A Momigliano, O Shkaravska International Conference on Logic for Programming Artificial Intelligence …, 2005	59	2005
Induction and co-induction in sequent calculus A Momigliano, A Tiu International Workshop on Types for Proofs and Programs, 293-308, 2003	57	2003
A program logic for resource verification D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano International Conference on Theorem Proving in Higher Order Logics, 34-49, 2004	44	2004
Two-level hybrid: A system for reasoning using higher-order abstract syntax A Momigliano, AJ Martin, AP Felty Electronic Notes in Theoretical Computer Science 196, 85-93, 2008	39	2008
A definitional approach to primitive recursion over higher order abstract syntax SJ Ambler, RL Crole, A Momigliano Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about …, 2003	37*	2003
A constructive approach to testing model transformations C Fiorentini, A Momigliano, M Ornaghi, I Poernomo International Conference on Theory and Practice of Model Transformations, 77-92, 2010	34	2010
Cut elimination for a logic with induction and co-induction A Tiu, A Momigliano Journal of Applied Logic 10 (4), 330-367, 2012	31	2012
Multi-level meta-reasoning with higher-order abstract syntax A Momigliano, SJ Ambler International Conference on Foundations of Software Science and Computation …, 2003	31	2003
The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations AP Felty, A Momigliano, B Pientka Journal of Automated Reasoning 55 (4), 307-372, 2015	30*	2015
Elimination of negation in a logical framework A Momigliano International Workshop on Computer Science Logic, 411-426, 2000	27	2000
Mechanized metatheory model-checking J Cheney, A Momigliano Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007	22	2007
Project evaluation paper: Mobile resource guarantees D Sannella, M Hofmann, D Aspinall, S Gilmore, I Stark, L Beringer, ... Trends in Functional Programming 6, 211-226, 2005	21	2005
Optimisation validation D Aspinall, L Beringer, A Momigliano Electronic Notes in Theoretical Computer Science 176 (3), 37-59, 2007	20	2007
A Hybrid encoding of Howe's method for establishing congruence of bisimilarity A Momigliano, SJ Ambler, RL Crole Electronic Notes in Theoretical Computer Science 70 (2), 60-75, 2002	20	2002
POPLMark reloaded: Mechanizing proofs by logical relations A Abel, G Allais, A Hameer, B Pientka, A Momigliano, S Schäfer, K Stark Journal of Functional Programming 29, 2019	19*	2019
A comparison of formalizations of the meta-theory of a language with variable bindings in Isabelle A Momigliano, SJ Ambler, RL Crole Supplemental Proceedings of the 14th International Conference on Theorem …, 2001	18	2001
Check: A mechanized metatheory model-checker J Cheney, A Momigliano arXiv preprint arXiv:1704.00617, 2017	16	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors