Cesare Tinelli

Citirano

	Sve	Od 2020.
Citati	15229	6269
H-indeks	51	29
i10-indeks	113	71

1400

700

350

1050

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202558 98 140 151 233 298 320 432 483 551 636 599 795 886 907 910 1103 1008 1191 1198 1334 1386 144

Javni pristup

Prikaži sve

43 članka

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Clark BarrettStanford UniversityPotvrđena adresa e-pošte na cs.stanford.edu
Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesPotvrđena adresa e-pošte na uiowa.edu
Haniel BarbosaUniversidade Federal de Minas GeraisPotvrđena adresa e-pošte na dcc.ufmg.br
Morgan DetersSenior Research Scientist, NYUPotvrđena adresa e-pošte na cs.nyu.edu
Liana HadareanAmazon Web ServicesPotvrđena adresa e-pošte na amazon.com
Mathias PreinerStanford UniversityPotvrđena adresa e-pošte na cs.stanford.edu
Aina NiemetzStanford UniversityPotvrđena adresa e-pošte na cs.stanford.edu
Yoni ZoharBar Ilan UniversityPotvrđena adresa e-pošte na biu.ac.il
Aaron StumpJohn R. and Pamela Egan Chair, Computer Science, Boston CollegePotvrđena adresa e-pošte na bc.edu
Andres NötzliStanford UniversityPotvrđena adresa e-pošte na stanford.edu
Robert NieuwenhuisProfessor of Computer Science, Tech. Univ. Catalonia (UPC), BarcelonaPotvrđena adresa e-pošte na cs.upc.edu
Albert OliverasTechnical University of CataloniaPotvrđena adresa e-pošte na lsi.upc.edu
Peter BaumgartnerData61|CSIROPotvrđena adresa e-pošte na data61.csiro.au
Tim KingAmazonPotvrđena adresa e-pošte na amazon.com
Dejan JovanovićAmazon Web ServicesPotvrđena adresa e-pošte na amazon.com
Martin BrainCity, University of LondonPotvrđena adresa e-pošte na city.ac.uk
Gereon KremerCertora LtdPotvrđena adresa e-pošte na cs.stanford.edu
Silvio RaniseFBKPotvrđena adresa e-pošte na fbk.eu
Alex OzdemirStanford UniversityPotvrđena adresa e-pošte na stanford.edu
Hanna LachnittStanford UniversityPotvrđena adresa e-pošte na stanford.edu

Prati

Cesare Tinelli

Professor of Computer Science, The University of Iowa

Potvrđena adresa e-pošte na uiowa.edu - Početna stranica

Satisfiability Modulo Theories Automated Reasoning Theorem Proving Model Checking Formal Verification


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
Satisfiability modulo theories C Barrett, C Tinelli Handbook of Model Checking, 305-343, 2018	2184	2018
Cvc4 C Barrett, CL Conway, M Deters, L Hadarean, D Jovanović, T King, ... Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011	2166	2011
The smt-lib standard: Version 2.0 C Barrett, A Stump, C Tinelli Proceedings of the 8th international workshop on satisfiability modulo …, 2010	1578	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	1249	2006
The satisfiability modulo theories library (SMT-LIB). www C Barrett, P Fontaine, C Tinelli SMT-LIB. org 2, 68, 2016	855	2016
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	530	2022
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	481	2004
StarExec: A cross-community infrastructure for logic solving A Stump, G Sutcliffe, C Tinelli International joint conference on automated reasoning, 367-373, 2014	244	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	219	1996
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	178	2015
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions T Liang, A Reynolds, C Tinelli, C Barrett, M Deters International Conference on Computer Aided Verification, 646-662, 2014	176	2014
The Kind 2 Model Checker A Champion, A Mebsout, C Sticksel, C Tinelli International Conference on Computer Aided Verification, 510-517, 2016	155	2016
Abstract DPLL and abstract DPLL modulo theories R Nieuwenhuis, A Oliveras, C Tinelli International Conference on Logic for Programming Artificial Intelligence …, 2005	155	2005
The smt-lib standard: Version 1.2 S Ranise, C Tinelli Technical report, Department of Computer Science, The University of Iowa …, 2006	154	2006
Splitting on demand in SAT modulo theories C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli International Conference on Logic for Programming Artificial Intelligence …, 2006	138	2006
A DPLL-based calculus for ground satisfiability modulo theories C Tinelli European Workshop on Logics in Artificial Intelligence, 308-319, 2002	134	2002
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
SMTCoq: A plug-in for integrating SMT solvers into Coq B Ekici, A Mebsout, C Tinelli, C Keller, G Katz, A Reynolds, C Barrett Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017	130	2017
The model evolution calculus P Baumgartner, C Tinelli Automated Deduction–CADE-19: 19th International Conference on Automated …, 2003	124	2003
Satisfiability modulo theories C Barrett, R Sebastiani, SA Seshia, C Tinelli Handbook of satisfiability, 1267-1329, 2021	113	2021

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori