Andrea Asperti

129 papers A* 9A 1B 6C 2Misc 1Journal 69Unranked 37

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Critical Assessment of Modern Generative Models' Ability to Replicate Artistic Styles. Big Data Cogn. Comput. Andrea Asperti, Franky George, Tiberio Marras, Razvan Ciprian Stricescu, Fabio Zanotti
2025	J	`jnl`	A Critical Assessment of Modern Generative Models' Ability to Replicate Artistic Styles. CoRR Andrea Asperti, Franky George, Tiberio Marras, Razvan Ciprian Stricescu, Fabio Zanotti
2025	J	`jnl`	A review of Recent Techniques for Person Re-Identification. CoRR Andrea Asperti, Salvatore Fiorilla, Simone Nardi, Lorenzo Orsini
2025	J	`jnl`	A review of recent techniques for person re-identification. Mach. Vis. Appl. Andrea Asperti, Salvatore Fiorilla, Simone Nardi, Lorenzo Orsini
2025	C	`conf`	Does CLIP Perceive Art the Same Way We Do? CBMI Andrea Asperti, Leonardo Dessì, Maria Chiara Tonetti, Nico Wu
2025	J	`jnl`	Does CLIP perceive art the same way we do? CoRR Andrea Asperti, Leonardo Dessì, Maria Chiara Tonetti, Nico Wu
2025	J	`jnl`	Precipitation nowcasting with generative diffusion models. Appl. Intell. Andrea Asperti, Fabio Merizzi, Alberto Paparella, Giorgio Pedrazzi, Matteo Angelinelli, Stefano Colamonaco
2025	J	`jnl`	Thinking Machines: Mathematical Reasoning in the Age of LLMs. Big Data Cogn. Comput. Andrea Asperti, Alberto Naibo, Claudio Sacerdoti Coen
2025	J	`jnl`	Thinking Machines: Mathematical Reasoning in the Age of LLMs. CoRR Andrea Asperti, Alberto Naibo, Claudio Sacerdoti Coen
2024	J	`jnl`	A Generative Approach to Person Reidentification. Sensors Andrea Asperti, Salvatore Fiorilla, Lorenzo Orsini
2024	—	`conf`	A Notion of Complexity for Theory of Mind via Discrete World Models. EMNLP (Findings) X. Angelo Huang, Emanuele La Malfa, Samuele Marro, Andrea Asperti, Anthony G. Cohn, Michael J. Wooldridge
2024	J	`jnl`	A Notion of Complexity for Theory of Mind via Discrete World Models. CoRR X. Angelo Huang, Emanuele La Malfa, Samuele Marro, Andrea Asperti, Anthony G. Cohn, Michael J. Wooldridge
2024	J	`jnl`	Deep Learning for Sea Surface Temperature Reconstruction under Cloud Occlusion. CoRR Andrea Asperti, Ali Aydogdu, Emanuela Clementi, Angelo Greco, Lorenzo Mentaschi, Fabio Merizzi, Pietro Miraglio, Paolo Oddo, Nadia Pinardi, Alessandro Testa
2024	J	`jnl`	Wind speed super-resolution and validation: from ERA5 to CERRA via diffusion models. CoRR Fabio Merizzi, Andrea Asperti, Stefano Colamonaco
2024	J	`jnl`	Wind speed super-resolution and validation: from ERA5 to CERRA via diffusion models. Neural Comput. Appl. Fabio Merizzi, Andrea Asperti, Stefano Colamonaco
2023	J	`jnl`	Comparing the latent space of generative models. Neural Comput. Appl. Andrea Asperti, Valerio Tonelli
2023	J	`jnl`	Deep Learning for Head Pose Estimation: A Survey. SN Comput. Sci. Andrea Asperti, Daniele Filippini
2023	J	`jnl`	Head Rotation in Denoising Diffusion Models. CoRR Andrea Asperti, Gabriele Colasuonno, Antonio Guerra
2023	J	`jnl`	Image Embedding for Denoising Generative Models. CoRR Andrea Asperti, Davide Evangelista, Samuele Marro, Fabio Merizzi
2023	J	`jnl`	Image embedding for denoising generative models. Artif. Intell. Rev. Andrea Asperti, Davide Evangelista, Samuele Marro, Fabio Merizzi
2023	J	`jnl`	Precipitation nowcasting with generative diffusion models. CoRR Andrea Asperti, Fabio Merizzi, Alberto Paparella, Giorgio Pedrazzi, Matteo Angelinelli, Stefano Colamonaco
2022	J	`jnl`	Comparing the latent space of generative models. CoRR Andrea Asperti, Valerio Tonelli
2022	J	`jnl`	Enhancing Variational Generation Through Self-Decomposition. IEEE Access Andrea Asperti, Laura Bugo, Daniele Filippini
2022	J	`jnl`	Enhancing variational generation through self-decomposition. CoRR Andrea Asperti, Laura Bugo, Daniele Filippini
2022	—	`conf`	MicroRacer: A Didactic Environment for Deep Reinforcement Learning. LOD (1) Andrea Asperti, Marco Del Brutto
2022	J	`jnl`	MicroRacer: a didactic environment for Deep Reinforcement Learning. CoRR Andrea Asperti, Marco Del Brutto
2021	J	`jnl`	A Survey on Variational Autoencoders from a Green AI Perspective. SN Comput. Sci. Andrea Asperti, Davide Evangelista, Elena Loli Piccolomini
2021	J	`jnl`	A survey on Variational Autoencoders from a GreenAI perspective. CoRR Andrea Asperti, Davide Evangelista, Elena Loli Piccolomini
2021	—	`conf`	Dissecting FLOPs Along Input Dimensions for GreenAI Cost Estimations. LOD Andrea Asperti, Davide Evangelista, Moreno Marzolla
2021	J	`jnl`	Dissecting FLOPs along input dimensions for GreenAI cost estimations. CoRR Andrea Asperti, Davide Evangelista, Moreno Marzolla
2021	J	`jnl`	Syllabification of the Divine Comedy. ACM Journal on Computing and Cultural Heritage Andrea Asperti, Stefano Dal Bianco
2020	J	`jnl`	Balancing Reconstruction Error and Kullback-Leibler Divergence in Variational Autoencoders. IEEE Access Andrea Asperti, Matteo Trentin
2020	J	`jnl`	Balancing reconstruction error and Kullback-Leibler divergence in Variational Autoencoders. CoRR Andrea Asperti, Matteo Trentin
2020	J	`jnl`	Crawling in Rogue's Dungeons With Deep Reinforcement Techniques. IEEE Trans. Games Andrea Asperti, Daniele Cortesi, Carlo De Pieri, Gianmaria Pedrini, Francesco Sovrano
2020	J	`jnl`	Syllabification of the Divine Comedy. CoRR Andrea Asperti, Stefano Dal Bianco
2020	—	`conf`	Variance Loss in Variational Autoencoders. LOD (1) Andrea Asperti
2020	J	`jnl`	Variance Loss in Variational Autoencoders. CoRR Andrea Asperti
2019	—	`conf`	About Generative Aspects of Variational Autoencoders. LOD Andrea Asperti
2018	—	`conf`	Crawling in Rogue's Dungeons with (Partitioned) A3C. LOD Andrea Asperti, Daniele Cortesi, Francesco Sovrano
2018	J	`jnl`	Crawling in Rogue's dungeons with (partitioned) A3C. CoRR Andrea Asperti, Daniele Cortesi, Francesco Sovrano
2018	J	`jnl`	Sparsity in Variational Autoencoders. CoRR Andrea Asperti
2018	—	`conf`	The Effectiveness of Data Augmentation for Detection of Gastrointestinal Diseases from Endoscopical Images. BIOIMAGING Andrea Asperti, Claudio Mastronardo
2017	J	`jnl`	About the efficient reduction of lambda terms. CoRR Andrea Asperti
2017	J	`jnl`	Automatic verification and interactive theorem proving. CoRR Andrea Asperti
2017	J	`jnl`	The Effectiveness of Data Augmentation for Detection of Gastrointestinal Diseases from Endoscopical Images. CoRR Andrea Asperti, Claudio Mastronardo
2015	J	`jnl`	A formalization of multi-tape Turing machines. Theor. Comput. Sci. Andrea Asperti, Wilmer Ricciotti
2015	J	`jnl`	Computational Complexity Via Finite Types. ACM Trans. Comput. Log. Andrea Asperti
2015	J	`jnl`	Reverse Complexity. J. Autom. Reason. Andrea Asperti
2015	B	`conf`	The Speedup Theorem in a Primitive Recursive Framework. CPP Andrea Asperti
2014	J	`jnl`	Matita Tutorial. J. Formaliz. Reason. Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen
2013	B	`conf`	A Formal Proof of Borodin-Trakhtenbrot's Gap Theorem. CPP Andrea Asperti
2013	B	`conf`	A Machine-Checked Proof of the Odd Order Theorem. ITP Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
2013	A*	`conf`	The Cost of Usage in the Lambda-Calculus. LICS Andrea Asperti, Jean-Jacques Lévy
2012	J	`jnl`	A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions Log. Methods Comput. Sci. Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi
2012	B	`conf`	A Compact Proof of Decidability for Regular Expression Equivalence. ITP Andrea Asperti
2012	J	`jnl`	A Web Interface for Matita CoRR Andrea Asperti, Wilmer Ricciotti
2012	—	`conf`	A Web Interface for Matita. AISC/MKM/Calculemus Andrea Asperti, Wilmer Ricciotti
2012	J	`jnl`	A proof of Bertrand's postulate. J. Formaliz. Reason. Andrea Asperti, Wilmer Ricciotti
2012	J	`jnl`	Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover. J. Autom. Reason. Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi
2012	C	`conf`	Formalizing Turing Machines. WoLLIC Andrea Asperti, Wilmer Ricciotti
2012	—	`conf`	Proof, Message and Certificate. AISC/MKM/Calculemus Andrea Asperti
2012	B	`conf`	Rating Disambiguation Errors. CPP Andrea Asperti, Wilmer Ricciotti
2012	—	`conf`	Type systems for dummies. TLDI Andrea Asperti, Ferruccio Guidi
2011	—	`conf`	Certified Complexity. FET R. Armadio, Andrea Asperti, Nicholas Ayache, Brian Campbell, Dominic P. Mulligan, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark
2011	—	`conf`	Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita. Calculemus/MKM Andrea Asperti, Maria Emilia Maietti, Claudio Sacerdoti Coen, Giovanni Sambin, Silvio Valentini
2011	A	`conf`	The Matita Interactive Theorem Prover. CADE Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi
2011	J	`jnl`	Zen and the art of formalisation. Math. Struct. Comput. Sci. Andrea Asperti, Jeremy Avigad
2010	J	`jnl`	Regular Expressions, au point CoRR Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi
2010	—	`conf`	Smart Matching. AISC/MKM/Calculemus Andrea Asperti, Enrico Tassi
2010	J	`jnl`	Smart matching CoRR Andrea Asperti, Enrico Tassi
2010	—	`conf`	Some Considerations on the Usability of Interactive Provers. AISC/MKM/Calculemus Andrea Asperti, Claudio Sacerdoti Coen
2009	—	`conf`	Hints in Unification. TPHOLs Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi
2009	J	`jnl`	Mobile Petri nets. Math. Struct. Comput. Sci. Andrea Asperti, Nadia Busi
2009	J	`jnl`	Preface. Inf. Comput. Roberto M. Amadio, Giuseppe Castagna, Andrea Asperti
2009	J	`jnl`	Social processes, program verification and all that. Math. Struct. Comput. Sci. Andrea Asperti, Herman Geuvers, Raja Natarajan
2009	—	`conf`	Superposition as a logical glue TYPES Andrea Asperti, Enrico Tassi
2008	J	`jnl`	A Page in Number Theory. J. Formaliz. Reason. Andrea Asperti, Cristian Armentano
2008	—	`conf`	About the Formalization of Some Results by Chebyshev in Number Theory. TYPES Andrea Asperti, Wilmer Ricciotti
2008	—	`conf`	An Interactive Driver for Goal-directed Proof Strategies. UITP@TPHOLs Andrea Asperti, Enrico Tassi
2008	A*	`conf`	The intensional content of Rice's theorem. POPL Andrea Asperti
2007	—	`conf`	Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case. Calculemus/MKM Andrea Asperti, Enrico Tassi
2007	J	`jnl`	User Interaction with the Matita Proof Assistant. J. Autom. Reason. Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
2006	—	`conf`	Crafting a Proof Assistant. TYPES Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
2005	—	`conf`	An Interactive Algebra Course with Formalised Proofs and Definitions. MKM Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel Elie Mamane, Claudio Sacerdoti Coen
2004	J	`jnl`	(Optimal) duplication is not elementary recursive. Inf. Comput. Andrea Asperti, Paolo Coppola, Simone Martini
2004	—	`conf`	A Content Based Mathematical Search Engine: Whelp. TYPES Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
2004	—	`conf`	Efficient Retrieval of Mathematical Statements. MKM Andrea Asperti, Matteo Selmi
2004	—	`ed.`	Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings MKM Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec
2003	J	`jnl`	Mathematical Knowledge Management in HELM. Ann. Math. Artif. Intell. Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena
2003	—	`ed.`	Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings MKM Andrea Asperti, Bruno Buchberger, James H. Davenport
2002	J	`jnl`	Intuitionistic Light Affine Logic. ACM Trans. Comput. Log. Andrea Asperti, Luca Roversi
2002	—	`conf`	MOWGLI - An Approach to Machine-Understandable Representation of the Mathematical Information in Digital Documents. Electronic Information and Communication in Mathematics Andrea Asperti, Bernd Wegner
2001	—	`conf`	HELM and the Semantic Math-Web. TPHOLs Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
2001	J	`jnl`	Parallel Beta Reduction Is Not Elementary Recursive. Inf. Comput. Andrea Asperti, Harry G. Mairson
2001	—	`conf`	XML, Stylesheets and the Re-mathematization of Formal Content. Extreme Markup Languages® Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
2000	A*	`conf`	(Optimal) Duplication is not Elementary Recursive. POPL Andrea Asperti, Paolo Coppola, Simone Martini
2000	J	`jnl`	Light Affine Logic (Proof Nets, Programming Notation, P-Time Correctness and Completeness) CoRR Andrea Asperti, Luca Roversi
1998	A*	`conf`	Light Affine Logic. LICS Andrea Asperti
1998	—	`conf`	Optimal Reduction of Functional Expressions. PLILP/ALP Andrea Asperti
1998	A*	`conf`	Parallel Beta Reduction is not Elementary Recursive. POPL Andrea Asperti, Harry G. Mairson
1998	—	`book`	The optimal implementation of functional programming languages. Andrea Asperti, Stefano Guerrini
1997	J	`jnl`	A Sufficient Condition for Completability of Partial Combinatory Algebras. J. Symb. Log. Andrea Asperti, Agata Ciabattoni
1997	A*	`conf`	On the Dynamics of Sharing Graphs. ICALP Andrea Asperti, Cosimo Laneve
1997	J	`jnl`	Safe Operators: Brackets Closed Forever Optimizing Optimal lambda-Calculus Implementations - Optimizing Optimal lambda-Calculus Implementations. Appl. Algebra Eng. Commun. Comput. Andrea Asperti, Juliusz Chroboczek
1996	J	`jnl`	Interaction Systems II: The Practice of Optimal Reductions. Theor. Comput. Sci. Andrea Asperti, Cosimo Laneve
1996	A*	`conf`	On the Complexity of Beta-Reduction. POPL Andrea Asperti
1996	J	`jnl`	The Bologna Optimal Higher-Order Machine. J. Funct. Program. Andrea Asperti, Cecilia Giovanetti, Andrea Naletto
1995	J	`jnl`	Causal Dependencies in Multiplicative Linear Logic with MIX. Math. Struct. Comput. Sci. Andrea Asperti
1995	—	`conf`	Comparing Lambda-calculus translations in Sharing Graphs. TLCA Andrea Asperti, Cosimo Laneve
1995	—	`conf`	Effective Applicative Structures. Category Theory and Computer Science Andrea Asperti, Agata Ciabattoni
1995	J	`jnl`	Linear Logic, Comonads and Optimal Reduction. Fundam. Informaticae Andrea Asperti
1995	J	`jnl`	Paths, Computations and Labels in the lambda-Calculus. Theor. Comput. Sci. Andrea Asperti, Cosimo Laneve
1994	—	`conf`	Category Theory: Basic notions and general philosophy. JFPLC Andrea Asperti
1994	J	`jnl`	Interaction Systems I: The Theory of Optimal Reductions. Math. Struct. Comput. Sci. Andrea Asperti, Cosimo Laneve
1994	A*	`conf`	Paths in the lambda-calculus LICS Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier
1994	—	`conf`	The Family Relation in Interaction Systems. TACS Andrea Asperti, Cosimo Laneve
1994	Misc	`conf`	Yet Another Correctness Criterion for Multiplicative Linear Logic with MIX. LFCS Andrea Asperti, Giovanna M. Dore
1993	—	`conf`	Interaction Systems. HOA Andrea Asperti, Cosimo Laneve
1993	—	`conf`	Optimal Reductions in Interaction Systems. TAPSOFT Andrea Asperti, Cosimo Laneve
1993	—	`conf`	Paths, Computations and Labels in the Lambda-Calculus. RTA Andrea Asperti, Cosimo Laneve
1992	—	`conf`	A Categorial Model for Logic Programs: Indexed Monoidal Categories. REX Workshop Andrea Corradini, Andrea Asperti
1992	J	`jnl`	A Categorical Understanding of Environment Machines. J. Funct. Program. Andrea Asperti
1992	J	`jnl`	Categorical Models of Polymorphism Inf. Comput. Andrea Asperti, Simone Martini
1991	—	`book`	Categories, types and structures - an introduction to category theory for the working computer scientist. Andrea Asperti, Giuseppe Longo
1990	A*	`conf`	Implicative Formulae in the "Proofs as Computations" Analogy. POPL Andrea Asperti, Gian-Luigi Ferrari, Roberto Gorrieri
1990	—	`conf`	Integrating Strict and Lazy Evaluation: The lambda-sl-Calculus. PLILP Andrea Asperti
1990	J	`jnl`	Stability and Computability in Coherent Domains Inf. Comput. Andrea Asperti
1989	B	`conf`	Projections Instead of Variables: A Category Theoretic Interpretation of Logic Programs. ICLP Andrea Asperti, Simone Martini
1986	—	`conf`	Relating Type-Structures: Partial Variations on a Theme of Friedman and Statman. CAAP Andrea Asperti, Giuseppe Longo