Alberto Momigliano

Cited by

	All	Since 2019
Citations	1118	304
h-index	19	10
i10-index	29	11

100

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320244 3 3 21 19 71 44 52 55 67 73 57 62 31 24 49 40 32 65 92 48 53 26 49 36

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Lennart BeringerVerified email at pm.me
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
Roy CroleAssociate Professor, University of LeicesterVerified email at le.ac.uk
David AspinallProfessor in Computer Science, University of EdinburghVerified email at ed.ac.uk
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Alwen TiuSchool of Computing, The Australian National UniversityVerified email at anu.edu.au
Mauro FerrariFull Professor of Mathematical Logic, Università degli Studi dell'InsubriaVerified email at uninsubria.it
Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerified email at inria.fr
Andreas AbelSenior Lecturer, Comp. Sci. and Eng., Chalmers University of Technology and University of GothenburgVerified email at gu.se
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	96	2012
A program logic for resources D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano Theoretical Computer Science 389 (3), 411-445, 2007	88	2007
Induction and co-induction in sequent calculus A Momigliano, A Tiu International Workshop on Types for Proofs and Programs, 293-308, 2003	66	2003
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	63	2002
Automatic certification of heap consumption L Beringer, M Hofmann, A Momigliano, O Shkaravska Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005	60	2005
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	58*	2019
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	46	2004
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	45*	2015
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	43*	2003
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	42	2008
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	35	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 International Workshop on Computer Science Logic, 411-426, 2000	28	2000
Optimisation validation D Aspinall, L Beringer, A Momigliano Electronic Notes in Theoretical Computer Science 176 (3), 37-59, 2007	23	2007
Mechanized metatheory model-checking J Cheney, A Momigliano Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007	23	2007
αCheck: A mechanized metatheory model checker J Cheney, A Momigliano Theory and Practice of Logic Programming 17 (3), 311-352, 2017	21	2017
Mobile resource guarantees D Sannella, M Hofmann, D Aspinall, S Gilmore, I Stark, L Beringer, ... Trends in Functional Programming, 211-226, 2007	21	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
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	19	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