Cesare Tinelli

Citée par

	Toutes	Depuis 2018
Citations	13150	6266
indice h	45	31
indice i10	106	72

1200

600

300

900

20032004200520062007200820092010201120122013201420152016201720182019202020212022202355 91 135 149 223 271 308 441 474 551 625 600 777 909 941 907 1089 1028 1128 1179 921

Accès public

Tout afficher

38 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Clark BarrettStanford UniversityAdresse e-mail validée de cs.stanford.edu
Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesAdresse e-mail validée de uiowa.edu
Morgan DetersSenior Research Scientist, NYUAdresse e-mail validée de cs.nyu.edu
Liana HadareanAmazon Web ServicesAdresse e-mail validée de amazon.com
Aaron StumpProfessor of Computer Science, The University of IowaAdresse e-mail validée de uiowa.edu
Haniel BarbosaTenured Assistant Professor of Computer Science at Universidade Federal de Minas GeraisAdresse e-mail validée de dcc.ufmg.br
Mathias PreinerStanford UniversityAdresse e-mail validée de cs.stanford.edu
Robert NieuwenhuisProfessor of Computer Science, Tech. Univ. Catalonia (UPC), BarcelonaAdresse e-mail validée de cs.upc.edu
Albert OliverasTechnical University of CataloniaAdresse e-mail validée de lsi.upc.edu
Peter BaumgartnerData61|CSIROAdresse e-mail validée de data61.csiro.au
Aina NiemetzStanford UniversityAdresse e-mail validée de cs.stanford.edu
Andres NötzliStanford UniversityAdresse e-mail validée de stanford.edu
Tim KingGoogle IncAdresse e-mail validée de google.com
Yoni ZoharBar Ilan UniversityAdresse e-mail validée de biu.ac.il
Dejan JovanovićAmazon Web ServicesAdresse e-mail validée de amazon.com
Silvio RaniseFBKAdresse e-mail validée de fbk.eu
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenAdresse e-mail validée de tu-dresden.de
Tianyi LiangTwo Sigma Investments LPAdresse e-mail validée de uiowa.edu
Martin BrainCity, University of LondonAdresse e-mail validée de city.ac.uk
Alain MebsoutUniversity of IowaAdresse e-mail validée de uiowa.edu

Suivre

Cesare Tinelli

Professor of Computer Science, The University of Iowa

Adresse e-mail validée de uiowa.edu - Page d'accueil

Satisfiability Modulo Theories Automated Reasoning Theorem Proving Model Checking Formal Verification


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Cvc4 C Barrett, CL Conway, M Deters, L Hadarean, D Jovanović, T King, ... Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011	1995	2011
Satisfiability modulo theories C Barrett, C Tinelli Handbook of Model Checking, 305-343, 2018	1929	2018
The smt-lib standard: Version 2.0 C Barrett, A Stump, C Tinelli Proceedings of the 8th international workshop on satisfiability modulo …, 2010	1390	2010
Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T) R Nieuwenhuis, A Oliveras, C Tinelli Journal of the ACM (JACM) 53 (6), 937-977, 2006	1161	2006
The satisfiability modulo theories library (SMT-LIB). www C Barrett, A Stump, C Tinelli SMT-LIB. org 15, 18-52, 2010	723	2010
DPLL(T): Fast Decision Procedures H Ganzinger, G Hagen, R Nieuwenhuis, A Oliveras, C Tinelli Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	458	2004
StarExec: A cross-community infrastructure for logic solving A Stump, G Sutcliffe, C Tinelli International joint conference on automated reasoning, 367-373, 2014	214	2014
A new correctness proof of the Nelson-Oppen combination procedure C Tinelli, M Harandi Frontiers of Combining Systems: First International Workshop, Munich, March …, 1996	208	1996
cvc5: A versatile and industrial-strength SMT solver H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ... International Conference on Tools and Algorithms for the Construction and …, 2022	189	2022
Counterexample-guided quantifier instantiation for synthesis in SMT A Reynolds, M Deters, V Kuncak, C Tinelli, C Barrett Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015	157	2015
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions T Liang, A Reynolds, C Tinelli, C Barrett, M Deters Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	156	2014
The smt-lib standard: Version 1.2 S Ranise, C Tinelli Technical report, Department of Computer Science, The University of Iowa …, 2006	153	2006
Abstract DPLL and abstract DPLL modulo theories R Nieuwenhuis, A Oliveras, C Tinelli International Conference on Logic for Programming Artificial Intelligence …, 2005	147	2005
Scaling up the formal verification of Lustre programs with SMT-based techniques G Hagen, C Tinelli 2008 Formal Methods in Computer-Aided Design, 1-9, 2008	133	2008
Splitting on demand in SAT modulo theories C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli Logic for Programming, Artificial Intelligence, and Reasoning: 13th …, 2006	131	2006
A DPLL-based calculus for ground satisfiability modulo theories C Tinelli European Workshop on Logics in Artificial Intelligence, 308-319, 2002	128	2002
The Kind 2 Model Checker A Champion, A Mebsout, C Sticksel, C Tinelli International Conference on Computer Aided Verification, 510-517, 2016	126	2016
The model evolution calculus P Baumgartner, C Tinelli Automated Deduction–CADE-19: 19th International Conference on Automated …, 2003	120	2003
Unions of non-disjoint theories and combinations of satisfiability procedures C Tinelli, C Ringeissen Theoretical Computer Science 290 (1), 291-353, 2003	108	2003
PKind: A parallel k-induction based model checker T Kahsai, C Tinelli arXiv preprint arXiv:1111.0372, 2011	98	2011

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs