asperti

Cited by

	All	Since 2017
Citations	4039	940
h-index	32	14
i10-index	74	23

200

100

150

198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202210 18 17 31 54 67 78 98 77 74 64 73 86 111 140 117 141 133 191 120 158 160 165 188 138 159 178 152 165 151 191 165 170 98

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
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 Applied Scientist, Amazon Web ServicesVerified email at amazon.co.uk
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	515*	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	438	2013
The optimal implementation of functional programming languages A Asperti, S Guerrini Cambridge University Press, 1998	227	1998
Intuitionistic light affine logic A Asperti, L Roversi ACM Transactions on Computational Logic (TOCL) 3 (1), 137-175, 2002	151	2002
Mobile petri nets A Asperti, N Busi Mathematical Structures in Computer Science 19 (6), 1265-1278, 2009	139	2009
Light affine logic A Asperti Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998	131	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	96*	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	95	1994
A logic for concurrency A Asperti Technical report, Dipartimento di Informatica, Universit a di Pisa, 1987	78	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	69	2001
Paths, computations and labels in the λ-calculus A Asperti, C Laneve Theoretical Computer Science 142 (2), 277-297, 1995	69	1995
Parallel beta reduction is not elementary recursive A Asperti, HG Mairson Information and Computation 170 (1), 49-80, 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
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	54	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

Cited by

Co-authors