Roberto Sebastiani

Cited by

	All	Since 2018
Citations	10874	3297
h-index	45	23
i10-index	79	47

720

360

180

540

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202337 33 63 61 63 69 154 202 289 323 361 468 499 490 567 538 572 600 631 674 696 712 661 650 651 599 23

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Alessandro CimattiHead of Unit, Fondazione Bruno KesslerVerified email at fbk.eu
Alberto GriggioResearcher, Fondazione Bruno KesslerVerified email at fbk.eu
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceVerified email at unitn.it
Enrico GiunchigliaDIBRIS - Università di GenovaVerified email at unige.it
Roberto BruttomessoExpert Researcher and Software EngineerVerified email at atrenta.com
Armando TacchellaProfessor, Information Processing Systems, University of GenoaVerified email at unige.it
John MylopoulosUniversity of OttawaVerified email at cs.toronto.edu
Paolo GiorginiProfessor of Computer Science, University of TrentoVerified email at unitn.it
Marco PistoreDirector, Digital Society Center, Fondazione Bruno Kessler, ItalyVerified email at fbk.eu
Marco BozzanoFondazione Bruno KesslerVerified email at fbk.eu
Patrick TrentinUniversity of TrentoVerified email at unitn.it
Clark BarrettStanford UniversityVerified email at cs.stanford.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
Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Stefano TonettaFondazione Bruno KesslerVerified email at fbk.eu
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	2354	2002
Satisfiability Modulo Theories C Barrett, R Sebastiani, S Seshia, C Tinelli The Handbook of Satisfiability, 2009	1824*	2009
The mathsat5 smt solver A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013	624	2013
Reasoning with goal models P Giorgini, J Mylopoulos, E Nicchiarelli, R Sebastiani Conceptual Modeling—ER 2002: 21st International Conference on Conceptual …, 2003	392	2003
Lazy satisfiability modulo theories R Sebastiani Journal on Satisfiability, Boolean Modeling and Computation 3 (3-4), 141-224, 2007	334	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	290	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	287	2008
Formal reasoning techniques for goal models P Giorgini, J Mylopoulos, E Nicchiarelli, R Sebastiani Journal on data semantics I, 1-20, 2003	244	2003
A SAT based approach for solving formulas over boolean and linear mathematical propositions G Audemard, P Bertoli, A Cimatti, A Korniłowicz, R Sebastiani Automated Deduction—CADE-18: 18th International Conference on Automated …, 2002	224	2002
Simple and minimum-cost satisfiability for goal models R Sebastiani, P Giorgini, J Mylopoulos Advanced Information Systems Engineering: 16th International Conference …, 2004	222	2004
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	190	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	176	1996
Bounded model checking for timed systems G Audemard, A Cimatti, A Kornilowicz, R Sebastiani Formal Techniques for Networked and Distributed Sytems—FORTE 2002: 22nd …, 2002	170	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	144	2005
OptiMathSAT: A tool for optimization modulo theories R Sebastiani, P Trentin Journal of Automated Reasoning 64 (3), 423-460, 2020	141	2020
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	113	2005
A SAT-based decision procedure for£ F Giunchiglia, R Sebastiani Principles of Knowledge Representation and Reasoning: Proceedings of the …, 1996	112	1996
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	109	2008
A Lazy and Layered SMT() Solver for Hard Industrial Verification Problems R Bruttomesso, A Cimatti, A Franzén, A Griggio, Z Hanna, A Nadel, A Palti, ... Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	103	2007
Satisfiability modulo the theory of costs: Foundations and applications A Cimatti, A Franzén, A Griggio, R Sebastiani, C Stenico Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010	101	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