asperti

Cited by

	All	Since 2017
Citations	3999	902
h-index	31	13
i10-index	74	23

200

100

150

198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202212 18 16 33 53 67 77 99 79 72 64 77 89 110 141 116 135 132 188 120 158 162 165 188 137 161 177 151 165 151 190 162 172 62

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
Enrico TassiProfessor of Physics, Physics Department, University of Calabria, Italy & INFN CosenzaVerified email at fis.unical.it
Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerified email at cmu.edu
Luca RoversiProfessor of Computer Science, Università di TorinoVerified email at di.unito.it
Ferruccio GuidiUniversity of BolognaVerified email at cs.unibo.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 GarillotFacebookVerified 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
Paolo CoppolaAssociate Professor of Computer Science, University of UdineVerified email at uniud.it
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSVerified email at bath.ac.uk
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 Research Engineer, Arm ResearchVerified email at arm.com
Nicholas AyacheResearch Director at INRIAVerified 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	519*	1991
A machine-checked proof of the odd order theorem G Gonthier, A Asperti, J Avigad, Y Bertot, C Cohen, F Garillot, SL Roux, ... International conference on interactive theorem proving, 163-179, 2013	429	2013
The optimal implementation of functional programming languages A Asperti, S Guerrini Cambridge University Press, 1998	225	1998
Intuitionistic light affine logic A Asperti, L Roversi ACM Transactions on Computational Logic (TOCL) 3 (1), 137-175, 2002	150	2002
Mobile petri nets A Asperti, N Busi Mathematical Structures in Computer Science 19 (6), 1265-1278, 2009	137	2009
Light affine logic A Asperti Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998	130	1998
The Matita interactive theorem prover A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi International Conference on Automated Deduction, 64-69, 2011	104	2011
User interaction with the Matita proof assistant A Asperti, C Sacerdoti Coen, E Tassi, S Zacchiroli Journal of Automated Reasoning 39 (2), 109-139, 2007	100	2007
Interaction Systems I: The theory of optimal reductions A Asperti, C Laneve Mathematical Structures in Computer Science 11, 1-48, 1993	97*	1993
Mathematical knowledge management in HELM A Asperti, L Padovani, C Sacerdoti Coen, F Guidi, I Schena Annals of Mathematics and Artificial Intelligence 38 (1), 27-46, 2003	95	2003
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	94	1994
A logic for concurrency A Asperti Technical report, Dipartimento di Informatica, Universit a di Pisa, 1987	80	1987
A content based mathematical search engine: Whelp A Asperti, F Guidi, CS Coen, E Tassi, S Zacchiroli International Workshop on Types for Proofs and Programs, 17-32, 2004	73	2004
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	68	2001
The Bologna optimal higher-order machine A Asperti, C Giovannetti, A Naletto Journal of Functional Programming 6 (6), 763-810, 1996	68	1996
Parallel beta reduction is not elementary recursive A Asperti, HG Mairson Information and Computation 170 (1), 49-80, 2001	67	2001
Paths, computations and labels in the λ-calculus A Asperti, C Laneve Theoretical Computer Science 142 (2), 277-297, 1995	67	1995
Hints in unification A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi International Conference on Theorem Proving in Higher Order Logics, 84-98, 2009	61	2009
Linear logic, comonads and optimal reductions A Asperti Fundamenta Informaticae 22 (1-2), 3-22, 1995	56	1995
Mathematical service matching using Description Logic and OWL O Caprotti, M Dewar, D Turi International Conference on Mathematical Knowledge Management, 73-87, 2004	52	2004

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 this author

Cited by

Co-authors