Concepedia

Author

Cesare Tinelli

University of IowaORCID

Also Known As

Alexander Fuchs, Andrew Joseph Reynolds, C. Tinelli, CESARE TINELLI, Cesare Tinelli, Cruanes, S., Franz Baader, Meyer, Thomas, Niklas Srensson, Silvio Ghilardi

201

Publications

8.1K

Citations

39

H-Index

55

Concepts

All Affiliations

University of IowaNew York UniversityMax Planck Institute for InformaticsData61Max Planck Society
CT

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

20

27

1.8K

2

Computer Science

17

21

1.5K

3

Computer Engineering

11

12

378

4

Language Studies

2

2

64

5

Data Science

2

2

37

Cesare Tinelli

×

40

Publications

2.9K

Citations

26

H-Index

YearCitations

Page 1