ASPERTI, ANDREA

ASPERTI, ANDREA  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di Ia fascia  

Risultati 1 - 20 di 64 (tempo di esecuzione: 0.016 secondi).
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 -