Andrea Masini - Concepedia

Author

Andrea Masini

Also Known As

A Masini, A. Masini, A. Pellegrini Masini, ANDREA MASINI, Andrea Masini, Andrea Masini (book author), Masini, A., Masini, Andrea

120

Publications

768

Citations

H-Index

Concepts

All Affiliations

University of Verona University of Pisa Flyby (Italy)University of Trento University of Bologna

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	18	373
2	Health Sciences	3	3	69
3	Education	1	1	21
4	Medicine	1	1	13
5	Natural Sciences	1	1	16

Andrea Masini

Publications

469

Citations

H-Index

Page 1

	Year	Citations
2-Sequent calculus: a proof theory of modalities Andrea Masini Annals of Pure and Applied Logic EngineeringAutomated ReasoningFormal MethodsProof TheoryModal Logic	1992	55
Quantum implicit computational complexity Ugo Dal Lago, Andrea Masini, Margherita Zorzi Theoretical Computer Science Quantum ScienceEngineeringQuantum ComputingQuantum Optimization AlgorithmQuantum Algorithm	2009	36
Experimental tests and radiometric calculations for the feasibility of fluorescence LIDAR-based discrimination of oil spills from UAV Valentina Raimondi, Lorenzo Palombi, David Lognoli, International Journal of Applied Earth Observation and Geoinformation Fluorescence Lidar-based DiscriminationPollution DetectionEnvironmental MonitoringEngineeringAerospace Engineering	2017	35
Exercise-induced intravascular haemolysis in standardbred horses Andrea Masini, D. Tedeschi, Paolo Baragli, Comparative Clinical Pathology Animal PhysiologyEquine-assisted TherapyVeterinary PhysiologyVascular AdaptationPhysiology	2003	33
2-Sequent Calculus: Intuitionism and Natural Deduction Andrea Masini Journal of Logic and Computation Intuitionistic LogicNon-classical LogicEngineeringSubstructural LogicAutomated Reasoning	1993	29
SVME: an ensemble of support vector machines for detecting oil spills from full resolution MODIS images Marco Cococcioni, Linda Corucci, Andrea Masini, Ocean Dynamics Support Vector MachineImage ClassificationMachine VisionImage AnalysisData Science	2012	27
Behaviour of Mean Erythrocyte Volume During Submaximal Treadmill Exercise in the Horse Andrea Masini, Paolo Baragli, D. Tedeschi, Comparative Haematology International Animal PhysiologyMean Erythrocyte VolumeEquine-assisted TherapyPhysical ActivityKinesiology	2000	21
An approach to infinitary temporal proof theory Stefano Baratella, Andrea Masini Archive for Mathematical Logic EngineeringAutomated ReasoningProof ComplexityFormal MethodsProof Theory	2004	20
On a measurement-free quantum lambda calculus with classical control Ugo Dal Lago, Andrea Masini, Margherita Zorzi Mathematical Structures in Computer Science Classical ControlQuantum ScienceQuantum Circuit FamiliesQuantum LogicExpressiveness Issues	2009	20
A proof-theoretic investigation of a logic of positions Stefano Baratella, Andrea Masini Annals of Pure and Applied Logic EngineeringProof-theoretic InvestigationAutomated ReasoningFormal MethodsProof Theory	2003	17

Page 1