Alberto Momigliano

Cited by

	All	Since 2018
Citations	1056	319
h-index	19	10
i10-index	29	12

100

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220235 2 1 4 3 3 18 19 71 45 52 57 63 77 56 58 31 25 49 39 31 67 92 48 55 30 27

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

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
Brigitte PientkaMcGill UniversityVerified email at cs.mcgill.ca
David AspinallProfessor in Computer Science, University of EdinburghVerified email at ed.ac.uk
Roy CroleAssociate Professor, University of LeicesterVerified email at le.ac.uk
Alwen TiuSchool of Computing, The Australian National UniversityVerified email at anu.edu.au
James CheneyProfessor, 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
Andreas AbelSenior Lecturer at the Department of Computer Science and Engineering, Gothenburg UniversityVerified email at gu.se
Dale MillerDirector of Research, INRIAVerified email at inria.fr
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
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
Kathrin StarkAssistant Professor, Heriot-Watt UniversityVerified email at hw.ac.uk
Steven SchäferPhD student at the Programming Systems Lab, Saarland UniversityVerified email at ps.uni-saarland.de
Allais GuillaumeChancellor's Fellow, University of StrathclydeVerified email at strath.ac.uk
Aliya HameerMcGill UniversityVerified email at mail.mcgill.ca
David ThibodeauPhD graduate, McGill UniversityVerified email at mail.mcgill.ca
Stephen GilmoreProfessor of Software Systems Modelling, The 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	89	2012
A program logic for resources D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano Theoretical Computer Science 389 (3), 411-445, 2007	80	2007
Combining higher order abstract syntax with tactical theorem proving and (co) induction SJ Ambler, RL Crole, A Momigliano Theorem Proving in Higher Order Logics: 15th International Conference …, 2002	62	2002
Induction and co-induction in sequent calculus A Momigliano, A Tiu Types for Proofs and Programs: International Workshop, TYPES 2003, Torino …, 2004	61	2004
Automatic certification of heap consumption L Beringer, M Hofmann, A Momigliano, O Shkaravska Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005	59	2005
A program logic for resource verification D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano Theorem Proving in Higher Order Logics: 17th International Conference …, 2004	48	2004
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, e19, 2019	41*	2019
The next 700 challenge problems for reasoning with higher-order abstract syntax representations: Part 2—a survey AP Felty, A Momigliano, B Pientka Journal of Automated Reasoning 55, 307-372, 2015	41*	2015
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	39*	2003
Cut elimination for a logic with induction and co-induction A Tiu, A Momigliano Journal of Applied Logic 10 (4), 330-367, 2012	37	2012
A constructive approach to testing model transformations C Fiorentini, A Momigliano, M Ornaghi, I Poernomo Theory and Practice of Model Transformations: Third International Conference …, 2010	36	2010
Multi-level meta-reasoning with higher-order abstract syntax A Momigliano, SJ Ambler Foundations of Software Science and Computation Structures: 6th …, 2003	33	2003
Elimination of negation in a logical framework A Momigliano Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual …, 2000	27	2000
Optimisation validation D Aspinall, L Beringer, A Momigliano Electronic Notes in Theoretical Computer Science 176 (3), 37-59, 2007	22	2007
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, 2007	22	2007
αCheck: A mechanized metatheory model checker J Cheney, A Momigliano Theory and Practice of Logic Programming 17 (3), 311-352, 2017	20	2017
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
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions A Felty, A Momigliano, B Pientka Mathematical structures in computer science 28 (9), 1507-1540, 2018	18	2018

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

Follow

Cited by

Co-authors