asperti

Cited by

	All	Since 2020
Citations	4780	1083
h-index	34	15
i10-index	88	24

300

150

225

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202518 16 32 48 72 88 97 73 80 67 73 91 110 137 132 142 136 197 123 166 160 169 197 135 160 180 156 159 160 207 166 175 174 247 282 38

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Claudio Sacerdoti CoenUniversity of BolognaVerified email at unibo.it
Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, FranceVerified email at telecom-paris.fr
Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerified email at cmu.edu
Ferruccio GuidiUniversity of BolognaVerified email at cs.unibo.it
Luca RoversiProfessor of Computer Science, Università di TorinoVerified email at di.unito.it
Alexey SolovyevResearch Associate of Computer Science, University of UtahVerified email at cs.utah.edu
Georges GonthierPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
François GarillotLurk LabVerified email at garillot.net
Agata CiabattoniVienna University of TechnologyVerified email at logic.at
Herman GeuversRadboud University Nijmegen, the NetherlandsVerified email at cs.ru.nl
Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerified email at ens.fr
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSVerified email at bath.ac.uk
Paolo CoppolaAssociate Professor of Computer Science, University of UdineVerified email at uniud.it
Andrea CorradiniProfessor of Computer Science, University of PisaVerified email at di.unipi.it
Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerified email at pps.univ-paris-diderot.fr
Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesVerified email at amazon.co.uk
Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'AzurVerified email at inria.fr
George GoguadzeResearcher at Leuphana University LüneburgVerified email at leuphana.de
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéVerified email at irif.fr

asperti

University of Bologna

Verified email at cs.unibo.it - Homepage

Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A machine-checked proof of the odd order theorem G Gonthier, A Asperti, J Avigad, Y Bertot, C Cohen, F Garillot, S Le Roux, ... International conference on interactive theorem proving, 163-179, 2013	538	2013
Categories, types, and structures A Asperti, G Longo MIT Pr., 1991	519	1991
The optimal implementation of functional programming languages A Asperti, S Guerrini Cambridge University Press, 1998	240	1998
Intuitionistic light affine logic A Asperti, L Roversi ACM Transactions on Computational Logic (TOCL) 3 (1), 137-175, 2002	151	2002
Balancing reconstruction error and kullback-leibler divergence in variational autoencoders A Asperti, M Trentin Ieee Access 8, 199440-199448, 2020	143	2020
Mobile petri nets A Asperti, N Busi Mathematical Structures in Computer Science 19 (6), 1265-1278, 2009	143	2009
Light affine logic A Asperti Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998	132	1998
The Matita interactive theorem prover A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011	117	2011
User interaction with the Matita proof assistant A Asperti, C Sacerdoti Coen, E Tassi, S Zacchiroli Journal of Automated Reasoning 39, 109-139, 2007	104	2007
Mathematical knowledge management in HELM A Asperti, L Padovani, C Sacerdoti Coen, F Guidi, I Schena Annals of Mathematics and Artificial Intelligence 38, 27-46, 2003	102	2003
Interaction Systems I: The theory of optimal reductions A Asperti, C Laneve Mathematical Structures in Computer Science 11, 1-48, 1993	101*	1993
Paths in the lambda-calculus. Three years of communications without understanding A Asperti, V Danos, C Laneve, L Regnier Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 426-436, 1994	98	1994
The effectiveness of data augmentation for detection of gastrointestinal diseases from endoscopical images A Asperti, C Mastronardo arXiv preprint arXiv:1712.03689, 2017	88	2017
A logic for concurrency A Asperti Technical report, Dipartimento di Informatica, Universit a di Pisa, 1987	82	1987
A content based mathematical search engine: Whelp A Asperti, F Guidi, CS Coen, E Tassi, S Zacchiroli Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en …, 2006	78	2006
Hints in unification A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009	73	2009
Paths, computations and labels in the λ-calculus A Asperti, C Laneve Theoretical Computer Science 142 (2), 277-297, 1995	73	1995
HELM and the semantic math-web A Asperti, L Padovani, CS Coen, I Schena International Conference on Theorem Proving in Higher Order Logics, 59-74, 2001	72	2001
The Bologna optimal higher-order machine A Asperti, C Giovannetti, A Naletto Journal of Functional Programming 6 (6), 763-810, 1996	69	1996
Parallel beta reduction is not elementary recursive A Asperti, HG Mairson Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998	67	1998

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