| 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 | 578 | 2013 |
| Categories, types, and structures A Asperti, G Longo MIT Pr., 1991 | 558 | 1991 |
| The optimal implementation of functional programming languages A Asperti, S Guerrini Cambridge University Press, 1998 | 240 | 1998 |
| Balancing reconstruction error and kullback-leibler divergence in variational autoencoders A Asperti, M Trentin Ieee Access 8, 199440-199448, 2020 | 202 | 2020 |
| Intuitionistic light affine logic A Asperti, L Roversi ACM Transactions on Computational Logic (TOCL) 3 (1), 137-175, 2002 | 155 | 2002 |
| 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 | 140 | 1998 |
| The Matita interactive theorem prover A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi International Conference on Automated Deduction, 64-69, 2011 | 122 | 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 | 108 | 2007 |
| A survey on variational autoencoders from a green AI perspective A Asperti, D Evangelista, E Loli Piccolomini SN Computer Science 2 (4), 301, 2021 | 103 | 2021 |
| 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 | 103 | 2003 |
| Interaction Systems I: The theory of optimal reductions A Asperti, C Laneve Mathematical Structures in Computer Science 11, 1-48, 1993 | 100* | 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 | 99 | 1994 |
| The effectiveness of data augmentation for detection of gastrointestinal diseases from endoscopical images A Asperti, C Mastronardo arXiv preprint arXiv:1712.03689, 2017 | 96 | 2017 |
| A logic for concurrency A Asperti Technical report, Dipartimento di Informatica, Universit a di Pisa, 1987 | 84 | 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 | 78 | 2004 |
| Hints in unification A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi International Conference on Theorem Proving in Higher Order Logics, 84-98, 2009 | 74 | 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 | 70 | 2001 |
| The Bologna optimal higher-order machine A Asperti, C Giovannetti, A Naletto Journal of Functional Programming 6 (6), 763-810, 1996 | 70 | 1996 |
Claudio Sacerdoti CoenUniversity of BolognaVerified email at unibo.it
