asperti

Cited by

	All	Since 2016
Citations	3700	805
h-index	30	12
i10-index	71	21

200

100

150

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202116 14 33 49 65 92 96 75 71 63 71 79 109 146 123 130 126 191 118 151 159 170 188 129 155 176 152 162 155 181 149 6

Co-authors

Claudio Sacerdoti CoenUniversity of BolognaVerified email at unibo.it
Stefano ZacchiroliUniversité de Paris and Inria, FranceVerified email at irif.fr
Ferruccio GuidiUniversity of BolognaVerified email at cs.unibo.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
Enrico TassiUniversita' della Calabria and INFNVerified email at fis.unical.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
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; Vice-President, BCSVerified email at bath.ac.uk
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
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 MulliganStaff 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é de ParisVerified email at univ-paris-diderot.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	512*	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, ... International Conference on Interactive Theorem Proving, 163-179, 2013	365	2013
The optimal implementation of functional programming languages A Asperti, S Guerrini Cambridge University Press, 1998	213	1998
Intuitionistic light affine logic A Asperti, L Roversi ACM Transactions on Computational Logic (TOCL) 3 (1), 137-175, 2002	145	2002
Mobile petri nets A Asperti, N Busi Mathematical Structures in Computer Science 19 (6), 1265-1278, 2009	130	2009
Light affine logic A Asperti Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998	127	1998
The Matita interactive theorem prover A Asperti, W Ricciotti, CS Coen, E Tassi International Conference on Automated Deduction, 64-69, 2011	98	2011
User interaction with the Matita proof assistant A Asperti, CS Coen, E Tassi, S Zacchiroli Journal of Automated Reasoning 39 (2), 109-139, 2007	97	2007
Interaction Systems I: The theory of optimal reductions A Asperti, C Laneve Mathematical Structures in Computer Science 11, 1-48, 1993	96*	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	95	1994
Mathematical knowledge management in HELM A Asperti, L Padovani, CS Coen, F Guidi, I Schena Annals of Mathematics and Artificial Intelligence 38 (1-3), 27-46, 2003	91	2003
A logic for concurrency A Asperti Technical report, Dipartimento di Informatica, Universit a di Pisa, 1987	77	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	70	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	66	1995
The Bologna optimal higher-order machine A Asperti, C Giovanetti, A Naletto Journal of Functional Programming 6 (6), 763-810, 1996	63	1996
Parallel beta reduction is not elementary recursive A Asperti, HG Mairson Information and Computation 170 (1), 49-80, 2001	62	2001
Hints in unification A Asperti, W Ricciotti, CS Coen, E Tassi International Conference on Theorem Proving in Higher Order Logics, 84-98, 2009	55	2009
Linear logic, comonads and optimal reductions A Asperti Fundamenta Informaticae 22 (1, 2), 3-22, 1995	54	1995
Crafting a proof assistant A Asperti, CS Coen, E Tassi, S Zacchiroli International Workshop on Types for Proofs and Programs, 18-32, 2006	51	2006

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

Upload PDF

Follow this author

Cited by

Co-authors