Cesare Tinelli - Citas de Google Académico

Citado por

	Total	Desde 2014
Citas	8425	4898
Índice h	39	28
Índice i10	81	64

940

470

235

705

20022003200420052006200720082009201020112012201320142015201620172018201929 53 89 127 155 244 281 348 424 475 544 608 578 743 876 924 871 902

Coautores

Clark BarrettStanford UniversityDirección de correo verificada de cs.stanford.edu
Andrew ReynoldsUniversity of IowaDirección de correo verificada de uiowa.edu
Aaron StumpProfessor of Computer Science, The University of IowaDirección de correo verificada de uiowa.edu
Morgan DetersSenior Research Scientist, NYUDirección de correo verificada de cs.nyu.edu
Peter BaumgartnerData61|CSIRODirección de correo verificada de data61.csiro.au
Liana HadareanSynopsysDirección de correo verificada de synopsys.com
Robert NieuwenhuisProfessor of Computer Science, Tech. Univ. Catalonia (UPC), BarcelonaDirección de correo verificada de cs.upc.edu
Albert OliverasTechnical University of CataloniaDirección de correo verificada de lsi.upc.edu
Silvio RaniseFBKDirección de correo verificada de fbk.eu
Tim KingGoogle IncDirección de correo verificada de google.com
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenDirección de correo verificada de tu-dresden.de
Temesghen KahsaiResearch Scientist at NASA Ames Research CenterDirección de correo verificada de nasa.gov
Dejan JovanovićSRI InternationalDirección de correo verificada de sri.com
Sava KrsticResearch Scientist, Intel Corp.Dirección de correo verificada de intel.com
Tianyi LiangTwo Sigma Investments LPDirección de correo verificada de uiowa.edu
Yeting GeTwo Sigma InvestmentsDirección de correo verificada de twosigma.com
Alain MebsoutUniversity of IowaDirección de correo verificada de uiowa.edu
Haniel BarbosaAssistant Professor of Computer Science at Universidade Federal de Minas GeraisDirección de correo verificada de dcc.ufmg.br
Aina NiemetzStanford UniversityDirección de correo verificada de cs.stanford.edu
Mathias PreinerStanford UniversityDirección de correo verificada de cs.stanford.edu

Cesare Tinelli

Professor of Computer Science, The University of Iowa

Dirección de correo verificada de uiowa.edu - Página principal

SMT Automated Reasoning Model Checking Formal Methods


Título	Citado por	Año
Satisfiability modulo theories C Barrett, R Sebastiani, SA Seshia, C Tinelli Handbook of satisfiability 185, 825-885, 2009	1100*	2009
Satisfiability modulo theories C Barrett, C Tinelli Handbook of Model Checking, 305-343, 2018	1041	2018
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	882	2006
The smt-lib standard: Version 2.0 C Barrett, A Stump, C Tinelli Proceedings of the 8th International Workshop on Satisfiability Modulo …, 2010	819	2010
Cvc4 C Barrett, CL Conway, M Deters, L Hadarean, D Jovanović, T King, ... International Conference on Computer Aided Verification, 171-177, 2011	765	2011
Cvc3 C Barrett, C Tinelli International Conference on Computer Aided Verification, 298-302, 2007	571	2007
The satisfiability modulo theories library (SMT-LIB). www C Barrett, A Stump, C Tinelli SMT-LIB. org 15, 18-52, 2010	418*	2010
DPLL(T): Fast Decision Procedures H Ganzinger, G Hagen, R Nieuwenhuis, A Oliveras, C Tinelli International Conference on Computer Aided Verification, 175-188, 2004	377	2004
A new correctness proof of the Nelson-Oppen combination procedure C Tinelli, M Harandi Frontiers of Combining Systems, 103-119, 1996	188	1996
The smt-lib standard: Version 1.2 S Ranise, C Tinelli Technical report, Department of Computer Science, The University of Iowa …, 2006	139	2006
Abstract DPLL and abstract DPLL modulo theories R Nieuwenhuis, A Oliveras, C Tinelli International Conference on Logic for Programming Artificial Intelligence …, 2005	126	2005
The model evolution calculus P Baumgartner, C Tinelli International Conference on Automated Deduction, 350-364, 2003	114	2003
Splitting on demand in SAT modulo theories C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli International Conference on Logic for Programming Artificial Intelligence …, 2006	111	2006
StarExec: a cross-community infrastructure for logic solving A Stump, G Sutcliffe, C Tinelli International joint conference on automated reasoning, 367-373, 2014	109	2014
A DPLL-based calculus for ground satisfiability modulo theories C Tinelli European Workshop on Logics in Artificial Intelligence, 308-319, 2002	109	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	99	2008
Unions of non-disjoint theories and combinations of satisfiability procedures C Tinelli, C Ringeissen Theoretical Computer Science 290 (1), 291-353, 2003	96	2003
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	95	2014
Counterexample-guided quantifier instantiation for synthesis in SMT A Reynolds, M Deters, V Kuncak, C Tinelli, C Barrett International Conference on Computer Aided Verification, 198-216, 2015	88	2015
Solving quantified verification conditions using satisfiability modulo theories Y Ge, C Barrett, C Tinelli International Conference on Automated Deduction, 167-182, 2007	84	2007

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Subir PDF

Seguir a este autor

Citado por

Coautores