Sledovat
asperti
asperti
University of Bologna
E-mailová adresa ověřena na: cs.unibo.it - Domovská stránka
Název
Citace
Citace
Rok
Categories, types, and structures
A Asperti, G Longo
MIT Pr., 1991
5491991
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
5372013
The optimal implementation of functional programming languages
A Asperti, S Guerrini
Cambridge University Press, 1998
2351998
Intuitionistic light affine logic
A Asperti, L Roversi
ACM Transactions on Computational Logic (TOCL) 3 (1), 137-175, 2002
1542002
Balancing reconstruction error and kullback-leibler divergence in variational autoencoders
A Asperti, M Trentin
Ieee Access 8, 199440-199448, 2020
1462020
Mobile petri nets
A Asperti, N Busi
Mathematical Structures in Computer Science 19 (6), 1265-1278, 2009
1412009
Light affine logic
A Asperti
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998
1381998
The Matita interactive theorem prover
A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi
Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011
1222011
User interaction with the Matita proof assistant
A Asperti, C Sacerdoti Coen, E Tassi, S Zacchiroli
Journal of Automated Reasoning 39, 109-139, 2007
1052007
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
1042003
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
971994
The effectiveness of data augmentation for detection of gastrointestinal diseases from endoscopical images
A Asperti, C Mastronardo
arXiv preprint arXiv:1712.03689, 2017
892017
A logic for concurrency
A Asperti
Technical report, Dipartimento di Informatica, Universit a di Pisa, 1987
821987
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
762004
Hints in unification
A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi
Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009
732009
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
722001
Paths, computations and labels in the λ-calculus
A Asperti, C Laneve
Theoretical Computer Science 142 (2), 277-297, 1995
721995
The Bologna optimal higher-order machine
A Asperti, C Giovannetti, A Naletto
Journal of Functional Programming 6 (6), 763-810, 1996
681996
A survey on variational autoencoders from a green AI perspective
A Asperti, D Evangelista, E Loli Piccolomini
SN Computer Science 2 (4), 301, 2021
652021
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20