ASPERTI, ANDREA
ASPERTI, ANDREA
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
2012-01-01 A. Asperti; W. Ricciotti; C. Sacerdoti Coen; E. Tassi
A compact kernel for the calculus of inductive constructions
2009-01-01 A.Asperti; W.Ricciotti; C.Sacerdoti Coen; E.Tassi
A Compact Proof of Decidability for Regular Expression Equivalence
2012-01-01 A. Asperti
A content based mathematical search engine: Whelp
2005-01-01 A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli
A Formal Proof of Borodin-Trakhtenbrot’s Gap Theorem
2013-01-01 Andrea Asperti
A Machine-Checked Proof of the Odd Order Theorem
2013-01-01 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 new type for tactics
2009-01-01 A. Asperti; W. Ricciotti; E. Tassi; C. Sacerdoti Coen
A page in number theory
2008-01-01 A.Asperti; C.Armentano
A proof of Bertrand's postulate
2012-01-01 A.Asperti; W.Ricciotti
A Web Interface for the Matita Proof Assistant
2012-01-01 A. Asperti; W.Ricciotti
About Generative Aspects of Variational Autoencoders
2019-01-01 Asperti, Andrea
About the Formalization of some Results by Chebyshev in Number Theory
2009-01-01 A. Asperti; W. Ricciotti
An Interactive Algebra Course with Formalised Proofs and Definitions
2006-01-01 Asperti, Andrea; Geuvers, H.; Loeb, I.; Mamane, L. E.; SACERDOTI COEN, Claudio
An Interactive Driver for Goal-directed Proof Strategies.
2009-01-01 A.Asperti; E.Tassi
Automatic point-of-interest image cropping via ensembled convolutionalization
2018-01-01 Andrea Asperti; Pietro Battilana
Balancing Reconstruction Error and Kullback-Leibler Divergence in Variational Autoencoders
2020-01-01 Asperti, Andrea; Trentin, Matteo
Certified Complexity
2011-01-01 R. Armadio; A. Asperti; N. Ayache; B. Campbell; D. Mulligan; R. Pollack; Y. Regis-Gianas; C. Sacerdoti Coen; I. Stark
Computational complexity via finite types
2015-01-01 Asperti, Andrea
Crafting a Proof Assistant
2007-01-01 A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli
Crawling in Rogue's Dungeons With Deep Reinforcement Techniques
2020-01-01 Asperti, Andrea; Cortesi, Daniele; De Pieri, Carlo; Pedrini, Gianmaria; Sovrano, Francesco
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| 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 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 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 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 | - |
| Balancing Reconstruction Error and Kullback-Leibler Divergence in Variational Autoencoders | Asperti, Andrea; Trentin, Matteo | 2020-01-01 | IEEE ACCESS | - | 1.01 Articolo in rivista | 09244048.pdf |
| Certified Complexity | R. Armadio; A. Asperti; N. Ayache; B. Campbell; D. Mulligan; R. Pollack; Y. Regis-Gianas; C. Sacerdoti Coen; I. Stark | 2011-01-01 | PROCEDIA COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| Computational complexity via finite types | Asperti, Andrea | 2015-01-01 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | - | 1.01 Articolo in rivista | - |
| Crafting a Proof Assistant | A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2007-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Crawling in Rogue's Dungeons With Deep Reinforcement Techniques | Asperti, Andrea; Cortesi, Daniele; De Pieri, Carlo; Pedrini, Gianmaria; Sovrano, Francesco | 2020-01-01 | IEEE TRANSACTIONS ON GAMES | - | 1.01 Articolo in rivista | - |