Alberto Momigliano

Geciteerd door

	Alles	Sinds 2020
Citaties	1125	220
h-index	19	8
i10-index	29	6

100

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420254 3 3 21 19 71 44 52 55 67 73 57 62 31 24 50 39 32 65 92 48 53 25 50 35 9

Openbare toegang

Alles bekijken

7 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Lennart BeringerGeverifieerd e-mailadres voor pm.me
Amy FeltyProfessor of Computer Science, University of OttawaGeverifieerd e-mailadres voor eecs.uottawa.ca
Brigitte PientkaMcGill UniversityGeverifieerd e-mailadres voor cs.mcgill.ca
Camillo FiorentiniUniversita degli Studi di MilanoGeverifieerd e-mailadres voor di.unimi.it
Roy CroleAssociate Professor, University of LeicesterGeverifieerd e-mailadres voor le.ac.uk
David AspinallProfessor in Computer Science, University of EdinburghGeverifieerd e-mailadres voor ed.ac.uk
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghGeverifieerd e-mailadres voor inf.ed.ac.uk
Alwen TiuSchool of Computing, The Australian National UniversityGeverifieerd e-mailadres voor anu.edu.au
Mauro FerrariFull Professor of Mathematical Logic, Università degli Studi dell'InsubriaGeverifieerd e-mailadres voor uninsubria.it
Dale MillerInria-Saclay and LIX, Ecole PolytechniqueGeverifieerd e-mailadres voor inria.fr
Andreas AbelSenior Lecturer, Comp. Sci. and Eng., Chalmers University of Technology and University of GothenburgGeverifieerd e-mailadres voor gu.se
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
Donald SannellaProfessor of Computer Science, University of EdinburghGeverifieerd e-mailadres voor inf.ed.ac.uk
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghGeverifieerd e-mailadres voor ed.ac.uk
Kathrin StarkAssistant Professor, Heriot-Watt UniversityGeverifieerd e-mailadres voor hw.ac.uk
Steven SchäferPhD student at the Programming Systems Lab, Saarland UniversityGeverifieerd e-mailadres voor ps.uni-saarland.de
Allais GuillaumeChancellor's Fellow, University of StrathclydeGeverifieerd e-mailadres voor strath.ac.uk
Aliya HameerMcGill UniversityGeverifieerd e-mailadres voor mail.mcgill.ca
David ThibodeauPhD graduate, McGill UniversityGeverifieerd e-mailadres voor mail.mcgill.ca
Stephen GilmoreProfessor of Software Systems Modelling, The University of EdinburghGeverifieerd e-mailadres voor inf.ed.ac.uk

Volgen

Alberto Momigliano

DI, University of Milan

Geverifieerd e-mailadres voor di.unimi.it - Homepage

Logical frameworks formal verification


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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	98	2012
A program logic for resources D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano Theoretical Computer Science 389 (3), 411-445, 2007	89	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
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	60*	2019
Automatic certification of heap consumption L Beringer, M Hofmann, A Momigliano, O Shkaravska Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005	60	2005
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	46*	2015
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
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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs