Concepedia

Andrea Masini

AM

23

Publications

469

Citations

15

H-Index

1992

Active since

Affiliations

University of Verona(Current)

University of Pisa

University of Trento

University of Bologna

Andrea Masini is an author at University of Verona specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationHealthVerificationRemote SensingQuantum ScienceQuantum Computing

Publications per year

1992–2021

23

Publications

23

2-Sequent calculus: a proof theory of modalities

Andrea Masini · Annals of Pure and Applied Logic · 1992 · 55 citations

Engineering, Automated Reasoning, Formal Methods +3

Quantum implicit computational complexity

Ugo Dal Lago, Andrea Masini, Margherita Zorzi · Theoretical Computer Science · 2009 · 36 citations

Quantum Science, Engineering, Quantum Computing +5

Experimental tests and radiometric calculations for the feasibility of fluorescence LIDAR-based discrimination of oil spills from UAV

Valentina Raimondi, Lorenzo Palombi, David Lognoli et al. · International Journal of Applied Earth Observation and Geoinformation · 2017 · 35 citations

Fluorescence Lidar-based Discrimination, Pollution Detection, Environmental Monitoring +10

Exercise-induced intravascular haemolysis in standardbred horses

Andrea Masini, D. Tedeschi, Paolo Baragli et al. · Comparative Clinical Pathology · 2003 · 33 citations

Animal Physiology, Equine-assisted Therapy, Veterinary Physiology +6

2-Sequent Calculus: Intuitionism and Natural Deduction

Andrea Masini · Journal of Logic and Computation · 1993 · 29 citations

Intuitionistic Logic, Non-classical Logic, Engineering +13

Rows per page

1–5 of 23