Concepedia

Andrea Asperti

AA

34

Publications

1.1K

Citations

21

H-Index

1989

Active since

Affiliations

University of Bologna(Current)

Institut national de recherche en sciences et technologies du numérique

Brandeis University

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

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsComputational ComplexityFormal VerificationMathematical FoundationsTheory Of ComputingMathematical ProgrammingData Science

Publications per year

1989–2024

34

Publications

34

Intuitionistic Light Affine Logic

Andrea Asperti, Luca Roversi · ACM Transactions on Computational Logic · 2002 · 103 citations

Mathematical Programming, Ilal Derivations, Applied Logic +14

A proof of Bertrand's postulate

Andrea Asperti, Wilmer Ricciotti · Edinburgh Research Explorer · 2013 · 93 citations · Full text

Engineering, Computational Number Theory, Automated Reasoning +8

User Interaction with the Matita Proof Assistant

Andrea Asperti, Claudio Sacerdoti Coen, E. ̃Tassi et al. · Journal of Automated Reasoning · 2007 · 82 citations

Artificial Intelligence, Engineering, Automated Reasoning +9

A Survey on Variational Autoencoders from a Green AI Perspective

Andrea Asperti, Davide Evangelista, Elena Loli Piccolomini · SN Computer Science · 2021 · 80 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +16

Light affine logic

Andrea Asperti · 2002 · 75 citations

Applied Logic, Engineering, Automated Reasoning +13

Rows per page

1–5 of 34