ASPERTI, ANDREA
Dettaglio
ASPERTI, ANDREA
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
Pubblicazioni
Risultati 1 - 20 di 59 (tempo di esecuzione: 0.002 secondi).
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File | |
---|---|---|---|---|---|---|---|
1 | A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions | A. Asperti; W. Ricciotti; C. Sacerdoti Coen; E. Tassi | 2012 | LOGICAL METHODS IN COMPUTER SCIENCE | 1.01 Articolo in rivista | - | |
2 | A compact kernel for the calculus of inductive constructions | A.Asperti; W.Ricciotti; C.Sacerdoti Coen; E.Tassi | 2009 | SADHANA (BANGALORE) | 1.01 Articolo in rivista | - | |
3 | A Compact Proof of Decidability for Regular Expression Equivalence | A. Asperti | 2012 | Springer-Verlag | 4.01 Contributo in Atti di convegno | - | |
4 | A content based mathematical search engine: Whelp | A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2005 | Springer | 4.01 Contributo in Atti di convegno | - | |
5 | A Formal Proof of Borodin-Trakhtenbrot’s Gap Theorem | Andrea Asperti | 2013 | Springer Verlag | 4.01 Contributo in Atti di convegno | - | |
6 | 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 | Springer Verlag | 4.01 Contributo in Atti di convegno | - | |
7 | A new type for tactics | A. Asperti; W. Ricciotti; E. Tassi; C. Sacerdoti Coen | 2009 | s.n | 4.01 Contributo in Atti di convegno | - | |
8 | A page in number theory | A.Asperti; C.Armentano | 2008 | JOURNAL OF FORMALIZED REASONING | 1.01 Articolo in rivista | - | |
9 | A proof of Bertrand's postulate | A.Asperti; W.Ricciotti | 2012 | JOURNAL OF FORMALIZED REASONING | 1.01 Articolo in rivista | - | |
10 | A Web Interface for the Matita Proof Assistant | A. Asperti; W.Ricciotti | 2012 | 7.04 Software | - | ||
11 | About Generative Aspects of Variational Autoencoders | Asperti, Andrea | 2019 | 4.01 Contributo in Atti di convegno | - | ||
12 | About the Formalization of some Results by Chebyshev in Number Theory | A. Asperti; W. Ricciotti | 2009 | 4.01 Contributo in Atti di convegno | - | ||
13 | An Interactive Algebra Course with Formalised Proofs and Definitions | Asperti, Andrea; Geuvers, H.; Loeb, I.; Mamane, L. E.; SACERDOTI COEN, Claudio | 2006 | Springer | 4.01 Contributo in Atti di convegno | - | |
14 | An Interactive Driver for Goal-directed Proof Strategies. | A.Asperti; E.Tassi | 2009 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 4.01 Contributo in Atti di convegno | - | |
15 | Automatic point-of-interest image cropping via ensembled convolutionalization | Asperti, Andrea; Battilana, Pietro | 2018 | INTERNATIONAL JOURNAL OF NEURAL NETWORKS AND ADVANCED APPLICATIONS | 1.01 Articolo in rivista | - | |
16 | Balancing Reconstruction Error and Kullback-Leibler Divergence in Variational Autoencoders | Asperti, Andrea; Trentin, Matteo | 2020 | IEEE ACCESS | 1.01 Articolo in rivista | ||
17 | Certified Complexity | R. Armadio; A. Asperti; N. Ayache; B. Campbell; D. Mulligan; R. Pollack; Y. Regis-Gianas; C. Sace...rdoti Coen; I. Stark | 2011 | PROCEDIA COMPUTER SCIENCE | 1.01 Articolo in rivista | - | |
18 | Computational complexity via finite types | Asperti, Andrea | 2015 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | 1.01 Articolo in rivista | - | |
19 | Crafting a Proof Assistant | A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2007 | 4.01 Contributo in Atti di convegno | - | ||
20 | Crawling in Rogue's Dungeons With Deep Reinforcement Techniques | Asperti, Andrea; Cortesi, Daniele; De Pieri, Carlo; Pedrini, Gianmaria; Sovrano, Francesco | 2020 | IEEE TRANSACTIONS ON GAMES | 1.01 Articolo in rivista | - |