ASPERTI, ANDREA

ASPERTI, ANDREA  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di Ia fascia  

Mostra records
Risultati 1 - 20 di 71 (tempo di esecuzione: 0.034 secondi).
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 Generative Approach to Person Reidentification Asperti, Andrea; Fiorilla, Salvatore; Orsini, Lorenzo 2024-01-01 SENSORS - 1.01 Articolo in rivista -
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 -