Foto del docente

Andrea Asperti

Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Publications

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

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) [Contribution to conference proceedings]

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

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

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

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 [Scientific article]

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.) [Contribution to conference proceedings]

A. Asperti; W. Ricciotti, A Web Interface for Matita, in: Lecture Notes in Computer Science, Springer-Verlag, 2012, 7362, pp. 417 - 421 (atti di: Intelligent Computer Mathematics, CICM 2012, Bremen, Germany, July 8-13, 2012) [Contribution to conference proceedings]

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

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 [Scientific article]

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) [Contribution to conference proceedings]

A.Asperti; W.Ricciotti, Rating Disambiguation Errors, in: Lecture Notes in Computer Science, Springer, 2012, 7679, pp. 240 - 255 (atti di: Certified Programs and Proofs - CPP 2012, Kyoto, Japan., December 13-15, 2012) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

R. Armadio; A. Asperti; N. Ayache; B. Campbell; D. Mulligan; R. Pollack; Y. Regis-Gianas; C. Sacerdoti Coen; I. Stark, Certified Complexity, «PROCEDIA COMPUTER SCIENCE», 2011, 7, pp. 175 - 177 [Scientific article]

Asperti, Andrea; Maietti, M. E.; SACERDOTI COEN, Claudio; Sambin, G.; Valentini, S., Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita., in: Lecture Notes in Computer Science, Springer-Verlag, 2011, 6824, pp. 278 - 280 (atti di: Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011., Bertinoro, Italy,, 18-23 Luglio 2011) [Contribution to conference proceedings]

Latest news

At the moment no news are available.