Foto del docente

Andrea Asperti

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

A. Asperti, Sparsity in Variational Autoencoders, in: A.Asperti, Proceedings of the first International Conference on Advances in Signal Processing and Artificial Intelligence, Barcelona, IFSA Publishing, 2019, pp. 18 - 22 (atti di: First International Conference on Advances in Signal Processing and Artificial Intelligence, Barcelona, 20-22 marzo 2019) [Contributo in Atti di convegno]

Andrea Asperti, Variational Autoencoders and the Variable Collapse Phenomenon, «SENSORS & TRANSDUCERS», 2019, 234, pp. 1 - 8 [articolo]Open Access

Andrea Asperti; Pietro Battilana, Automatic point-of-interest image cropping via ensembled convolutionalization, «INTERNATIONAL JOURNAL OF NEURAL NETWORKS AND ADVANCED APPLICATIONS», 2018, 5, pp. 17 - 24 [articolo]

Mastronardo, Claudio; Asperti, Andrea, The Effectiveness of Data Augmentation for Detection of Gastrointestinal Diseases from Endoscopical Images, in: Mastronardo, Claudio, Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies, 2018, pp. 199 - 205 (atti di: 11th International Joint Conference on Biomedical Engineering Systems and Technologies, Funchal, Madeira, Portugal, January 19-21 2018) [Contributo in Atti di convegno]

Andrea Asperti, Verifica automatica e dimostrazione interattiva, in: Le direzioni della ricerca logica in Italia 2, Pisa, Edizioni ETS, 2018, pp. 49 - 76 [capitolo di libro]

Andrea, Asperti; Carlo De Pieri, ; Mattia, Maldini; Gianmaria, Pedrini; Francesco, Sovrano, A Modular Deep-learning Environment for Rogue, «WSEAS TRANSACTIONS ON INFORMATION SCIENCE AND APPLICATIONS», 2017, 12, Article number: 39, pp. 362 - 373 [articolo]

Andrea, Asperti; Carlo De Pieri, ; Gianluca, Pedrini, Rogueinabox: an Environment for Roguelike Learning., «INTERNATIONAL JOURNAL OF COMPUTERS», 2017, 2, pp. 146 - 154 [articolo]

A. Asperti; W. Ricciotti; C. Sacerdoti Coen; E. Tassi, A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions, «LOGICAL METHODS IN COMPUTER SCIENCE», 2012, 8, pp. 1 - 49 [articolo]

A. Asperti, A Compact Proof of Decidability for Regular Expression Equivalence, in: Lecture Notes in Computer Science, Springer-Verlag, 2012, 7406, pp. 283 - 298 (atti di: Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA,, August 13-15, 2012.) [Contributo in Atti di convegno]

A.Asperti; W.Ricciotti, A proof of Bertrand's postulate, «JOURNAL OF FORMALIZED REASONING», 2012, 5, pp. 37 - 57 [articolo]

A. Asperti; W. Ricciotti, A Web Interface for Matita, in: Intelligent Computer Mathematics. CICM 2012., Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7362, pp. 417 - 421 (atti di: Intelligent Computer Mathematics, CICM 2012, Bremen, Germany, July 8-13, 2012) [Contributo in Atti di convegno]

A. Asperti; W. Ricciotti; C. Sacerdoti Coen; E. Tassi, Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover, «JOURNAL OF AUTOMATED REASONING», 2012, 49(3), pp. 427 - 451 [articolo]

A.Asperti; W.Ricciotti, Formalizing Turing Machines, in: Lecture Notes in Computer Science, Springer Verlag, 2012, 7456, pp. 1 - 25 (atti di: Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, 3-6 September 2012) [Contributo in Atti di convegno]

A.Asperti; W.Ricciotti, Rating Disambiguation Errors, in: Certified Programs and Proofs. CPP 2012, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7679, pp. 240 - 255 (atti di: Certified Programs and Proofs - CPP 2012, Kyoto, Japan., December 13-15, 2012) [Contributo in Atti di convegno]

A.Asperti; F.Guidi, Type systems for dummies, in: TLDI 2012, s.l, ACM, 2012, pp. 79 - 90 (atti di: Proceedings of TLDI 2012: The Seventh ACM SIGPLAN Workshop on Types in Languages Design and Implementation, Philadelphia, PA, USA, Saturday, January 28, 2012) [Contributo in Atti di convegno]