The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Cesare Tinelli sits on this spectrum.
This scientist: 167 publications — 33rd percentile
33% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 991 publications or more.
The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Cesare Tinelli sits on this spectrum.
This scientist: 45 D-Index — 51st percentile
51% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 131 D-Index or more.
Cesare Tinelli is affiliated with the University of Iowa in the United States. Their research contributions lie primarily within the field of Computer Science, covering a total of 99 publications across various subfields.
The main subfields of study for Tinelli include:
Tinelli's work focuses on several core topics, such as:
Their recent publications illustrate a range of interests in system safety, formal verification, and automated reasoning. Key papers include:
Tinelli has collaborated frequently with several researchers, including:
Their work has been published extensively in notable venues. Frequent publication outlets include:
Clark W. Barrett;Cesare Tinelli
Clark Barrett;Aaron Stump;Cesare Tinelli
Robert Nieuwenhuis;Albert Oliveras;Cesare Tinelli
Unknown
Harald Ganzinger;George Hagen;Robert Nieuwenhuis;Albert Oliveras
Unknown
Aaron Stump;Geoff Sutcliffe;Cesare Tinelli
Cesare Tinelli;Mehdi T. Harandi
Tianyi Liang;Andrew Reynolds;Cesare Tinelli;Clark Barrett
Andrew Reynolds;Morgan Deters;Viktor Kuncak;Cesare Tinelli
Silvio Ranise;Cesare Tinelli
Robert Nieuwenhuis;Albert Oliveras;Cesare Tinelli
Clark Barrett;Robert Nieuwenhuis;Albert Oliveras;Cesare Tinelli
G. Hagen;C. Tinelli
Yeting Ge;Clark Barrett;Cesare Tinelli
Cesare Tinelli
Peter Baumgartner;Cesare Tinelli
Adrien Champion;Alain Mebsout;Christoph Sticksel;Cesare Tinelli
Cesare Tinelli;Christophe Ringeissen
Cesare Tinelli;Calogero G. Zarba
Peter Baumgartner;Alexander Fuchs;Hans de Nivelle;Cesare Tinelli
Christel Baier;Cesare Tinelli
If you think any of the details on this page are incorrect, let us know.
As you consider a Computer Science education in the USA, exploring online degree options can open flexible and affordable pathways to various careers. Many students weigh the benefits of pursuing advanced education while managing work and life commitments.
If cost is a priority, cheap doctoral programs can make it feasible to earn a terminal degree without significant debt. For professionals seeking leadership roles in education or academia, pursuing one of the quickest edd program options may fast-track your credentials and career progression.
Not everyone is ready to commit to a multi-year program. An accelerated associates degree online can provide rapid entry into the job market and build a foundation for further study. Meanwhile, for future tech entrepreneurs or those interested in the business side of technology, exploring business degree programs online can complement your technical skills and broaden your career prospects.
With so many affordable, fast, and flexible options available, students can find an educational path that matches their goals—whether advancing within computer science or branching into related fields.
University of Kentucky
Kansas State University
National Institutes of Health
Agriculture and Agriculture-Food Canada
INRAE : Institut national de recherche pour l'agriculture, l'alimentation et l'environnement
Wayne State University
University of Copenhagen
University of Szeged
Luxembourg Institute of Health
International Institute of Tropical Agriculture
University of Potsdam
University of Iowa
University of Barcelona
University of Copenhagen
Smithsonian Institution
Aarhus University
