The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Roberto Sebastiani" ( http://dblp.L3S.de/Authors/Roberto_Sebastiani )

  Author page on DBLP  Author page in RDF  Community of Roberto Sebastiani in ASPL-2

Publication years (Num. hits)
1994-1999 (16) 2000-2003 (16) 2004-2006 (15) 2007-2009 (20) 2010-2013 (15) 2014-2016 (15) 2017-2018 (18) 2019 (4)
Publication types (Num. hits)
article(46) incollection(2) inproceedings(68) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 120 publication records. Showing 119 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Paolo Morettin, Andrea Passerini, Roberto Sebastiani Advanced SMT techniques for weighted model integration. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Patrick Trentin, Roberto Sebastiani Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Patrick Trentin, Roberto Sebastiani Optimization Modulo the Theory of Floating-Point Numbers. Search on Bibsonomy CADE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Samuel Kolb, Paolo Morettin, Pedro Zuidberg Dos Martires, Francesco Sommavilla, Andrea Passerini, Roberto Sebastiani, Luc De Raedt The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos Multi-objective reasoning with constrained goal models. Search on Bibsonomy Requir. Eng. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhengbing Bian, Fabián A. Chudak, William G. Macready, Aidan Roy, Roberto Sebastiani, Stefano Varotti Solving SAT and MaxSAT with a Quantum Annealer: Foundations, Encodings, and Preliminary Results. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1James H. Davenport, Matthew England, Roberto Sebastiani, Patrick Trentin OpenMath and SMT-LIB. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Satisfiability Modulo Transcendental Functions via Incremental Linearization. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Didier Galmiche, Stephan Schulz 0001, Roberto Sebastiani (eds.) Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Evellin Cristine Souza Cardoso, Jennifer Horkoff, Roberto Sebastiani, John Mylopoulos Planning with Strategic Goals. Search on Bibsonomy EDOC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefano Teso, Roberto Sebastiani, Andrea Passerini Structured learning modulo theories. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Patrick Trentin On Optimization Modulo Theories, MaxSMT and Sorting Networks. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Satisfiability Modulo Transcendental Functions via Incremental Linearization. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Patrick Trentin On Optimization Modulo Theories, MaxSMT and Sorting Networks. Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhengbing Bian, Fabián A. Chudak, William G. Macready, Aidan Roy, Roberto Sebastiani, Stefano Varotti Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paolo Morettin, Andrea Passerini, Roberto Sebastiani Efficient Weighted Model Integration via SMT-Based Predicate Abstraction. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos Modeling and Reasoning on Requirements Evolution with Constrained Goal Models. Search on Bibsonomy SEFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos Multi Object Reasoning with Constrained Goal Model. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos Requirements Evolution and Evolution Requirements with Constrained Goal Models. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani Verilog2SMV: A tool for word-level verification. Search on Bibsonomy DATE The full citation details ... 2016 DBLP  BibTeX  RDF
1Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos Requirements Evolution and Evolution Requirements with Constrained Goal Models. Search on Bibsonomy ER The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Patrick Trentin On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT. Search on Bibsonomy SMT@IJCAR The full citation details ... 2016 DBLP  BibTeX  RDF
1Roberto Sebastiani Colors Make Theories Hard. Search on Bibsonomy IJCAR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Silvia Tomasi Optimization Modulo Theories with Linear Rational Costs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Patrick Trentin OptiMathSAT: A Tool for Optimization Modulo Theories. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Patrick Trentin Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Roberto Sebastiani, Silvia Tomasi Optimization Modulo Theories with Linear Rational Costs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Stefano Teso, Roberto Sebastiani, Andrea Passerini Structured Learning Modulo Theories. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Roberto Sebastiani, Michele Vescovi Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Stefano Teso, Roberto Sebastiani, Andrea Passerini Hybrid SRL with Optimization Modulo Theories. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Roberto Sebastiani, Patrick Trentin Pushing the envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani A Modular Approach to MaxSAT Modulo Theories. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani The MathSAT5 SMT Solver. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Silvia Tomasi Optimization in SMT with LA(Q) Cost Functions Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Roberto Sebastiani, Silvia Tomasi Optimization in SMT with ${\mathcal LA}$ (ℚ) Cost Functions. Search on Bibsonomy IJCAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Roberto Sebastiani (eds.) Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2011 DBLP  BibTeX  RDF
1Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking. Search on Bibsonomy STTT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter F. Patel-Schneider, Roberto Sebastiani A New General Method to Generate Random Modal Formulae for Testing Decision Procedures Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Volker Haarslev, Roberto Sebastiani, Michele Vescovi Automated Reasoning in ALCQ\mathcal{ALCQ} via SMT. Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic. Search on Bibsonomy TACAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alberto Griggio, Quoc-Sang Phan, Roberto Sebastiani, Silvia Tomasi Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani Efficient generation of craig interpolants in satisfiability modulo theories. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani, Cristian Stenico Satisfiability Modulo the Theory of Costs: Foundations and Applications. Search on Bibsonomy TACAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Anders Franzén, Alessandro Cimatti, Alexander Nadel, Roberto Sebastiani, Jonathan Shalev Applying SMT in symbolic execution of microcode. Search on Bibsonomy FMCAD The full citation details ... 2010 DBLP  BibTeX  RDF
1Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Michele Vescovi Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Dirk Beyer 0001, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani Software Model Checking via Large-Block Encoding Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Roberto Sebastiani, Armando Tacchella SAT Techniques for Modal and Description Logics. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli Satisfiability Modulo Theories. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani Interpolant Generation for UTVPI. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Michele Vescovi Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani Software model checking via large-block encoding. Search on Bibsonomy FMCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Silvio Ghilardi, Roberto Sebastiani (eds.) Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani The MathSAT 4SMT Solver. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani Efficient Interpolant Generation in Satisfiability Modulo Theories. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Byron Cook, Roberto Sebastiani Preface and Foreword. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi GSTE is partitioned model checking. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2007 DBLP  DOI  BibTeX  RDF GSTE, Property-driven partitioning, Symbolic model checking
1Roberto Sebastiani Lazy Satisability Modulo Theories. Search on Bibsonomy JSAT The full citation details ... 2007 DBLP  BibTeX  RDF
1Byron Cook, Roberto Sebastiani Preface to Special Issue on Satisfiability Modulo Theories. Search on Bibsonomy JSAT The full citation details ... 2007 DBLP  BibTeX  RDF
1Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi Property-Driven Partitioning for Abstraction Refinement. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain. Search on Bibsonomy FroCoS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani Encoding RTL Constructs for MathSAT: a Preliminary Report. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani Efficient theory combination via boolean search. Search on Bibsonomy Inf. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Alessandro Santuari, Roberto Sebastiani To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF ÈT). Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Roberto Sebastiani Building Efficient Decision Procedures on Top of SAT Solvers. Search on Bibsonomy SFM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Michele Vescovi Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ALC. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani Verifying Industrial Hybrid Systems with MathSAT. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Paolo Giorgini, John Mylopoulos, Roberto Sebastiani Goal-oriented requirements analysis and reasoning in the Tropos methodology. Search on Bibsonomy Eng. Appl. of AI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani MathSAT: Tight Integration of SAT and Mathematical Decision Procedures. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Satisfiability module theory, Integrated decision procedures, Linear arithmetic logic, Propositional satisfiability
1Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani Efficient Satisfiability Modulo Theories via Delayed Theory Combination. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani The MathSAT 3 System. Search on Bibsonomy CADE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi GSTE Is Partitioned Model Checking. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Paolo Giorgini, John Mylopoulos Simple and Minimum-Cost Satisfiability for Goal Models. Search on Bibsonomy CAiSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Peter F. Patel-Schneider, Roberto Sebastiani A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani Formal Reasoning Techniques for Goal Models. Search on Bibsonomy J. Data Semantics The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Stefano Tonetta "More Deterministic" vs. "Smaller" Büchi Automata for Efficient LTL Model Checking. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Steve Linton, Roberto Sebastiani Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella NuSMV 2: An OpenSource Tool for Symbolic Model Checking. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani Reasoning with Goal Models. Search on Bibsonomy ER The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani Bounded Model Checking for Timed Systems. Search on Bibsonomy FORTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani Improving the Encoding of LTL Model Checking into SAT. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. Search on Bibsonomy AISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella Integrating BDD-Based and SAT-Based Symbolic Model Checking. Search on Bibsonomy FroCoS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Peter F. Patel-Schneider, Roberto Sebastiani A New System and Methodology for Generating Random Modal Formulae. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Alessandro Tomasi, Fausto Giunchiglia Model Checking Syllabi and Student Carreers. Search on Bibsonomy TACAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 119 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license