asperti

Cited by

	All	Since 2018
Citations	4253	934
h-index	33	13
i10-index	77	25

200

100

150

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202318 15 27 47 68 75 99 73 76 68 74 91 111 139 124 165 148 193 116 160 161 171 200 136 158 183 157 154 150 199 160 165 175 84

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 GarillotMetaVerified email at garillot.net
Herman GeuversRadboud University Nijmegen, the NetherlandsVerified email at cs.ru.nl
Agata CiabattoniVienna University of TechnologyVerified email at logic.at
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
Categories, types, and structures A Asperti, G Longo MIT Pr., 1991	513*	1991
A machine-checked proof of the odd order theorem G Gonthier, A Asperti, J Avigad, Y Bertot, C Cohen, F Garillot, S Le Roux, ... Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes …, 2013	463	2013
The optimal implementation of functional programming languages A Asperti, S Guerrini Cambridge University Press, 1998	231	1998
Intuitionistic light affine logic A Asperti, L Roversi ACM Transactions on Computational Logic (TOCL) 3 (1), 137-175, 2002	154	2002
Mobile petri nets A Asperti, N Busi Mathematical Structures in Computer Science 19 (6), 1265-1278, 2009	142	2009
Light affine logic A Asperti Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998	129	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	112	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	99	2007
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	99	1994
Interaction Systems I: The theory of optimal reductions A Asperti, C Laneve Mathematical Structures in Computer Science 11, 1-48, 1993	99*	1993
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	96	2003
A logic for concurrency A Asperti Technical report, Dipartimento di Informatica, Universit a di Pisa, 1987	80	1987
Paths, computations and labels in the λ-calculus A Asperti, C Laneve Theoretical Computer Science 142 (2), 277-297, 1995	75	1995
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	74	2006
HELM and the semantic math-web A Asperti, L Padovani, CS Coen, I Schena Theorem Proving in Higher Order Logics: 14th International Conference …, 2001	69	2001
Parallel beta reduction is not elementary recursive A Asperti, HG Mairson Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998	68	1998
Balancing reconstruction error and kullback-leibler divergence in variational autoencoders A Asperti, M Trentin IEEE Access 8, 199440-199448, 2020	67	2020
The Bologna optimal higher-order machine A Asperti, C Giovannetti, A Naletto Journal of Functional Programming 6 (6), 763-810, 1996	67	1996
Hints in unification A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009	64	2009
The effectiveness of data augmentation for detection of gastrointestinal diseases from endoscopical images A Asperti, C Mastronardo arXiv preprint arXiv:1712.03689, 2017	62	2017

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