Roberto Sebastiani

Cited by

	All	Since 2019
Citations	12264	3910
h-index	51	25
i10-index	85	51

720

360

180

540

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202441 36 69 58 63 73 166 208 288 321 350 475 526 495 576 556 549 602 636 665 682 713 663 649 716 662 671 545

Public access

View all

16 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Alessandro CimattiFondazione Bruno KesslerVerified email at fbk.eu
Alberto GriggioResearcher, Fondazione Bruno KesslerVerified email at fbk.eu
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerified email at unitn.it
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceVerified email at unitn.it
Armando TacchellaProfessor, Information Processing Systems, University of GenoaVerified email at unige.it
Enrico GiunchigliaDIBRIS - Università di GenovaVerified email at unige.it
Roberto BruttomessoExpert Researcher and Software EngineerVerified email at atrenta.com
John MylopoulosUniversity of OttawaVerified email at cs.toronto.edu
Marco PistoreDirector, Digital Society Center, Fondazione Bruno Kessler, ItalyVerified email at fbk.eu
Paolo GiorginiProfessor of Computer Science, University of TrentoVerified email at unitn.it
Marco BozzanoFondazione Bruno KesslerVerified email at fbk.eu
Clark BarrettStanford UniversityVerified email at cs.stanford.edu
Patrick TrentinUniversity of TrentoVerified email at unitn.it
Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Gilles AudemardProfessor of Computer Science, CRIL, Université d'ArtoisVerified email at cril.fr
Ahmed IrfanSRI InternationalVerified email at cs.stanford.edu
Stephan SchulzProfessor of Computer Science, DHBW StuttgartVerified email at eprover.org
Peter van RossumVerified email at cs.ru.nl
Tommi JunttilaAalto UniversityVerified email at aalto.fi
Artur KorniłowiczUniwersytet w BiałymstokuVerified email at math.uwb.edu.pl

Roberto Sebastiani

Full Professor in Computer Science, DISI, University of Trento, Italy

Verified email at unitn.it - Homepage

SMT SAT Formal Verification Automated Reasoning Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Nusmv 2: An opensource tool for symbolic model checking A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ... Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002	2595	2002
Satisfiability Modulo Theories C Barrett, R Sebastiani, S Seshia, C Tinelli The Handbook of Satisfiability, 2009	2132*	2009
The mathsat5 smt solver A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani International Conference on Tools and Algorithms for the Construction and …, 2013	772	2013
Reasoning with goal models P Giorgini, J Mylopoulos, E Nicchiarelli, R Sebastiani Conceptual Modeling—ER 2002: 21st International Conference on Conceptual …, 2003	416	2003
Lazy satisfiability modulo theories R Sebastiani Journal on Satisfiability, Boolean Modeling and Computation 3 (3-4), 141-224, 2007	372	2007
Goal-oriented requirements analysis and reasoning in the tropos methodology P Giorgini, J Mylopoulos, R Sebastiani Engineering Applications of Artificial Intelligence 18 (2), 159-171, 2005	310	2005
The MathSAT 4 SMT Solver: Tool Paper R Bruttomesso, A Cimatti, A Franzén, A Griggio, R Sebastiani Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008	301	2008
Formal reasoning techniques for goal models P Giorgini, J Mylopoulos, E Nicchiarelli, R Sebastiani Journal on data semantics I, 1-20, 2003	249	2003
Simple and minimum-cost satisfiability for goal models R Sebastiani, P Giorgini, J Mylopoulos Advanced Information Systems Engineering: 16th International Conference …, 2004	231	2004
A SAT based approach for solving formulas over boolean and linear mathematical propositions G Audemard, P Bertoli, A Cimatti, A Korniłowicz, R Sebastiani International Conference on Automated Deduction, 195-210, 2002	231	2002
Software model checking via large-block encoding D Beyer, A Cimatti, A Griggio, ME Keremoglu, R Sebastiani 2009 Formal Methods in Computer-Aided Design, 25-32, 2009	205	2009
Building decision procedures for modal logics from propositional decision procedures—the case study of modal K F Giunchiglia, R Sebastiani International Conference on Automated Deduction, 583-597, 1996	177	1996
Bounded model checking for timed systems G Audemard, A Cimatti, A Kornilowicz, R Sebastiani International Conference on Formal Techniques for Networked and Distributed …, 2002	169	2002
Verifying industrial hybrid systems with MathSAT G Audemard, M Bozzano, A Cimatti, R Sebastiani Electronic Notes in Theoretical Computer Science 119 (2), 17-32, 2005	143	2005
OptiMathSAT: A tool for optimization modulo theories R Sebastiani, P Trentin International conference on computer aided verification, 447-454, 2015	129	2015
Satisfiability modulo theories C Barrett, R Sebastiani, SA Seshia, C Tinelli Handbook of satisfiability, 1267-1329, 2021	120	2021
Efficient interpolant generation in satisfiability modulo theories A Cimatti, A Griggio, R Sebastiani Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008	116	2008
A SAT-based decision procedure for ACC F Giunchiglia, R Sebastiani Proc. KR'96, 304-314, 1996	115	1996
Efficient satisfiability modulo theories via delayed theory combination M Bozzano, R Bruttomesso, A Cimatti, T Junttila, S Ranise, P Van Rossum, ... Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	112	2005
Satisfiability modulo the theory of costs: Foundations and applications A Cimatti, A Franzén, A Griggio, R Sebastiani, C Stenico International Conference on Tools and Algorithms for the Construction and …, 2010	111	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors