Concepedia

Cesare Tinelli

CT

Statistics

Publications

41

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 computer science, computing, and theory of computation.

Publications per year

2002–2023

41

Publications

41

Solving SAT and SAT Modulo Theories

Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli · Journal of the ACM · 2006 · 777 citations

Computing, Computer Science, Algorithms +16

The SMT-LIB Standard Version 2.0

Clark Barrett, Aaron Stump, Cesare Tinelli · 2010 · 722 citations

Computing, Computer Science, Compilers +4

The SMT-LIB Standard: Version 1.1

Silvio Ranise, Cesare Tinelli · 2005 · 89 citations

Computing, Computer Science, Formal Methods +11

Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques

George Hagen, Cesare Tinelli · 2008 · 87 citations

Computing, Computer Science, Formal Methods +12

PKind: A parallel k-induction based model checker

Temesghen Kahsai, Cesare Tinelli · Electronic Proceedings in Theoretical Computer Science · 2011 · 74 citations · Full text

Computing, Computer Science, Formal Methods +13

1–5 of 41