Alberto Momigliano

Cited by

	All	Since 2016
Citations	929	281
h-index	18	9
i10-index	27	9

2000200120022003200420052006200720082009201020112012201320142015201620172018201920203 2 3 21 18 65 45 49 50 64 63 61 61 32 22 50 36 30 67 87 61

Co-authors

Lennart BeringerPrinceton UniversityVerified email at cs.princeton.edu
Amy FeltyProfessor of Computer Science, University of OttawaVerified email at eecs.uottawa.ca
Camillo FiorentiniUniversita degli Studi di MilanoVerified email at di.unimi.it
Martin HofmannProfessor for Informatics, University of MunichVerified email at ifi.lmu.de
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
Dale MillerDirector of Research, INRIAVerified email at inria.fr
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Andreas AbelSenior Lecturer at the Department of Computer Science and Engineering, Gothenburg UniversityVerified email at gu.se
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
Aliya HameerMcGill UniversityVerified email at mail.mcgill.ca
Francesco PaganoComputer Science teacher at High School, MIURVerified email at pep.it
Donald SannellaProfessor of Computer Science, University of EdinburghVerified email at inf.ed.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	76	2012
A program logic for resources D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano Theoretical Computer Science 389 (3), 411-445, 2007	73	2007
Automatic certification of heap consumption L Beringer, M Hofmann, A Momigliano, O Shkaravska International Conference on Logic for Programming Artificial Intelligence …, 2005	60	2005
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	60	2002
Induction and co-induction in sequent calculus A Momigliano, A Tiu International Workshop on Types for Proofs and Programs, 293-308, 2003	56	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	41	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 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	35	2010
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	35*	2003
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	28*	2015
Elimination of negation in a logical framework A Momigliano International Workshop on Computer Science Logic, 411-426, 2000	24	2000
Mechanized metatheory model-checking J Cheney, A Momigliano Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007	22	2007
Optimisation validation D Aspinall, L Beringer, A Momigliano Electronic Notes in Theoretical Computer Science 176 (3), 37-59, 2007	20	2007
Mobile resource guarantees D Sannella, M Hofmann, D Aspinall, S Gilmore, I Stark, L Beringer, ... Trends in Functional Programming 6, 211-226, 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 J. Funct. Program. 29, e19, 2019	18*	2019
A comparison of formalizations of the meta-theory of a language with variable bindings in Isabelle A Momigliano, SJ Ambler, RL Crole 14th International Conference on Theorem Proving in Higher Order Logics …, 2001	17	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