Concepedia

Marco Cadoli

MC

34

Publications

1.8K

Citations

22

H-Index

1990

Active since

Affiliations

Sapienza University of Rome(Current)

University of Udine

University of Calabria

Polytechnic University of Bari

Instituto Politécnico Nacional

Marco Cadoli is an author at Sapienza University of Rome specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsFormal VerificationSemanticsProgram AnalysisComputational ComplexityLinguisticsData Science

Publications per year

1990–2008

34

Publications

34

Rows per page

1–5 of 34