Andrea Asperti - Concepedia

Author

Andrea Asperti

Also Known As

A. ASPERTI, A. Asperti, ANDREA ASPERTI, Andrea Asperti, Asperti A., Asperti, A., Asperti, Andrea, Asperti, Andrea; University Of Bologna, Guerrini, Stefano, Mastronardo, Claudio

165

Publications

2.5K

Citations

H-Index

Concepts

All Affiliations

University of Bologna Institut national de recherche en sciences et technologies du numérique Zambon (Italy)Brandeis University

About

Andrea Asperti is an author at University of Bologna specializing in engineering, computer science, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	20	25	971
2	Language Studies	2	2	45
3	Medicine	1	1	12
4	Social Sciences	1	1	24
5	Communication	1	1	21

Andrea Asperti

Publications

1.1K

Citations

H-Index

Page 1

	Year	Citations
Intuitionistic Light Affine Logic Andrea Asperti, Luca Roversi ACM Transactions on Computational Logic Mathematical ProgrammingIlal DerivationsApplied LogicFuzzy LogicEngineering	2002	103
A proof of Bertrand's postulate Andrea Asperti, Wilmer Ricciotti Edinburgh Research Explorer EngineeringComputational Number TheoryAutomated ReasoningProof ComplexityFunctions Psi	2013	93
User Interaction with the Matita Proof Assistant Andrea Asperti, Claudio Sacerdoti Coen, E. ̃Tassi, Journal of Automated Reasoning Artificial IntelligenceEngineeringAutomated ReasoningVerificationFormal Methods	2007	82
A Survey on Variational Autoencoders from a Green AI Perspective Andrea Asperti, Davide Evangelista, Elena Loli Piccolomini SN Computer Science Artificial IntelligenceEngineeringMachine LearningAutoencodersAbstract Variational Autoencoders	2021	80
Light affine logic Andrea Asperti Applied LogicEngineeringAutomated ReasoningLogical SystemsType Theory	2002	75
Mobile Petri nets Andrea Asperti, Nadia Busi Mathematical Structures in Computer Science Petri NetProgramming Language TheoryEngineeringReachability ProblemMobile Petri Nets	2009	75
Interaction Systems I: The theory of optimal reductions Andrea Asperti, Cosimo Laneve Mathematical Structures in Computer Science Mathematical ProgrammingComputational Complexity TheoryEngineeringHigher-order LogicSyntax	1994	43
The bologna optimal higher-order machine Andrea Asperti, Cecilia Giovannetti, Andrea Naletto Journal of Functional Programming Mathematical ProgrammingEngineeringComputational Model TheoryComputer ArchitectureGarbage Collector	1996	42
Deep Learning for Head Pose Estimation: A Survey Andrea Asperti, Daniele Filippini SN Computer Science Convolutional Neural NetworkEngineeringMachine LearningHuman Pose Estimation3D Pose Estimation	2023	38
Paths, computations and labels in the λ-calculus Andrea Asperti, Cosimo Laneve Theoretical Computer Science Automated ReasoningLambda Calculus	1995	36

Page 1