Alberto Momigliano

Cytowane przez

	Wszystkie	Od 2020
Cytowania	1132	222
h-indeks	19	8
i10-indeks	29	6

100

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420254 3 3 23 20 69 48 52 55 68 73 57 64 31 24 50 39 33 65 91 49 54 24 49 36 10

Dostęp publiczny

Wyświetl wszystko

7 artykułów

1 artykuł

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

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

Obserwuj

Alberto Momigliano

DI, University of Milan

Zweryfikowany adres z di.unimi.it - Strona główna

Logical frameworks formal verification


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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	99	2012
A program logic for resources D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano Theoretical Computer Science 389 (3), 411-445, 2007	90	2007
Induction and co-induction in sequent calculus A Momigliano, A Tiu International Workshop on Types for Proofs and Programs, 293-308, 2003	67	2003
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	63	2002
Automatic certification of heap consumption L Beringer, M Hofmann, A Momigliano, O Shkaravska International Conference on Logic for Programming Artificial Intelligence …, 2005	61	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	60*	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	47*	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	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
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

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy