Concepedia

Cesare Tinelli

CT

Statistics

Publications

40

Citations

2.9K

H-Index

26

Active since

2002

Affiliations

University of Iowa(Current)

New York University

Max Planck Institute for Informatics

Max Planck Society

Cesare Tinelli is an author at University of Iowa specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsFormal VerificationComputer ScienceVerificationSatisfiabilitySoftware AnalysisComputer EngineeringProgram Analysis

Publications per year

2002–2023

40

Publications

40

1–5 of 40