ASPERTI, ANDREA
ASPERTI, ANDREA
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
(Optimal) duplication is not elementary recursive.
2004 A. Asperti; P.Coppola; S.Martini.
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
2012 A. Asperti; W. Ricciotti; C. Sacerdoti Coen; E. Tassi
A compact kernel for the calculus of inductive constructions
2009 A.Asperti; W.Ricciotti; C.Sacerdoti Coen; E.Tassi
A Compact Proof of Decidability for Regular Expression Equivalence
2012 A. Asperti
A content based mathematical search engine: Whelp
2005 A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli
A Formal Proof of Borodin-Trakhtenbrot’s Gap Theorem
2013 Andrea Asperti
A formalization of multi-tape Turing machines
2015 Asperti, Andrea; Ricciotti, Wilmer
A Machine-Checked Proof of the Odd Order Theorem
2013 Georges Gonthier; Andrea Asperti; Jeremy Avigad; Yves Bertot; Cyril Cohen; François Garillot; Stéphane Roux; Assia Mahboubi; Russell O’Connor; Sidi Ould Biha; Ioana Pasca; Laurence Rideau; Alexey Solovyev; Enrico Tassi; Laurent Théry
A Modular Deep-learning Environment for Rogue
2017 Andrea, Asperti; Carlo De Pieri, ; Mattia, Maldini; Gianmaria, Pedrini; Francesco, Sovrano
A new type for tactics
2009 A. Asperti; W. Ricciotti; E. Tassi; C. Sacerdoti Coen
A page in number theory
2008 A.Asperti; C.Armentano
A proof of Bertrand's postulate
2012 A.Asperti; W.Ricciotti
A Survey on Variational Autoencoders from a Green AI Perspective
2021 Asperti, Andrea; Evangelista, Davide; Loli Piccolomini, Elena
A Web Interface for Matita
2012 A. Asperti; W. Ricciotti
A Web Interface for the Matita Proof Assistant
2012 A. Asperti; W.Ricciotti
About Generative Aspects of Variational Autoencoders
2019 Asperti, Andrea
About the Formalization of some Results by Chebyshev in Number Theory
2009 A. Asperti; W. Ricciotti
An Interactive Algebra Course with Formalised Proofs and Definitions
2006 Asperti, Andrea; Geuvers, H.; Loeb, I.; Mamane, L. E.; SACERDOTI COEN, Claudio
An Interactive Driver for Goal-directed Proof Strategies.
2009 A.Asperti; E.Tassi
Automatic point-of-interest image cropping via ensembled convolutionalization
2018 Andrea Asperti; Pietro Battilana
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| (Optimal) duplication is not elementary recursive. | A. Asperti; P.Coppola; S.Martini. | 2004-01-01 | INFORMATION AND COMPUTATION | - | 1.01 Articolo in rivista | - |
| A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions | A. Asperti; W. Ricciotti; C. Sacerdoti Coen; E. Tassi | 2012-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| A compact kernel for the calculus of inductive constructions | A.Asperti; W.Ricciotti; C.Sacerdoti Coen; E.Tassi | 2009-01-01 | SADHANA (BANGALORE) | - | 1.01 Articolo in rivista | - |
| A Compact Proof of Decidability for Regular Expression Equivalence | A. Asperti | 2012-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| A content based mathematical search engine: Whelp | A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| A Formal Proof of Borodin-Trakhtenbrot’s Gap Theorem | Andrea Asperti | 2013-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| A formalization of multi-tape Turing machines | Asperti, Andrea; Ricciotti, Wilmer | 2015-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | turing.pdf |
| A Machine-Checked Proof of the Odd Order Theorem | Georges Gonthier; Andrea Asperti; Jeremy Avigad; Yves Bertot; Cyril Cohen; François Garillot; Sté...phane Roux; Assia Mahboubi; Russell O’Connor; Sidi Ould Biha; Ioana Pasca; Laurence Rideau; Alexey Solovyev; Enrico Tassi; Laurent Théry | 2013-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| A Modular Deep-learning Environment for Rogue | Andrea, Asperti; Carlo De Pieri, ; Mattia, Maldini; Gianmaria, Pedrini; Francesco, Sovrano | 2017-01-01 | WSEAS TRANSACTIONS ON INFORMATION SCIENCE AND APPLICATIONS | - | 1.01 Articolo in rivista | - |
| A new type for tactics | A. Asperti; W. Ricciotti; E. Tassi; C. Sacerdoti Coen | 2009-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
| A page in number theory | A.Asperti; C.Armentano | 2008-01-01 | JOURNAL OF FORMALIZED REASONING | - | 1.01 Articolo in rivista | - |
| A proof of Bertrand's postulate | A.Asperti; W.Ricciotti | 2012-01-01 | JOURNAL OF FORMALIZED REASONING | - | 1.01 Articolo in rivista | - |
| A Survey on Variational Autoencoders from a Green AI Perspective | Asperti, Andrea; Evangelista, Davide; Loli Piccolomini, Elena | 2021-01-01 | SN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | Asperti2021_Article_ASurveyOnVariationalAutoencode.pdf |
| A Web Interface for Matita | A. Asperti; W. Ricciotti | 2012-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| A Web Interface for the Matita Proof Assistant | A. Asperti; W.Ricciotti | 2012-01-01 | - | - | 7.04 Software | - |
| About Generative Aspects of Variational Autoencoders | Asperti, Andrea | 2019-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| About the Formalization of some Results by Chebyshev in Number Theory | A. Asperti; W. Ricciotti | 2009-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| An Interactive Algebra Course with Formalised Proofs and Definitions | Asperti, Andrea; Geuvers, H.; Loeb, I.; Mamane, L. E.; SACERDOTI COEN, Claudio | 2006-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| An Interactive Driver for Goal-directed Proof Strategies. | A.Asperti; E.Tassi | 2009-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
| Automatic point-of-interest image cropping via ensembled convolutionalization | Andrea Asperti; Pietro Battilana | 2018-01-01 | INTERNATIONAL JOURNAL OF NEURAL NETWORKS AND ADVANCED APPLICATIONS | - | 1.01 Articolo in rivista | - |