ASPERTI, ANDREA

ASPERTI, ANDREA

Rete di Collaborazioni Statistiche Email Alert RSS Feed

Dettaglio

	
			Nome completo
		
			ASPERTI, ANDREA 	  	
			
			Afferenza
		
			DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA 	  	
			
			Tipo di ruolo
		
			Docenti di ruolo di Ia fascia

Pubblicazioni

Risultati 1 - 20 di 59 (tempo di esecuzione: 0.002 secondi).

1
2
3

	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	Open Access 09244048.pdf
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	-

1
2
3