| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Roberto Sebastiani Roberto Sebastiani, Stefano Tonetta : "More Deterministic" vs. "Smaller" Büchi Automata for Efficient LTL Model Checking. CHARME 2003 : 126-140 Paolo Giorgini , John Mylopoulos , Eleonora Nicchiarelli , Roberto Sebastiani: Formal Reasoning Techniques for Goal Models. J. Data Semantics I 2003 : 1-20 Gilles Audemard , Piergiorgio Bertoli , Alessandro Cimatti , Artur Kornilowicz , Roberto Sebastiani: Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. AISC 2002 : 231-245 Gilles Audemard , Piergiorgio Bertoli , Alessandro Cimatti , Artur Kornilowicz , Roberto Sebastiani: A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. CADE 2002 : 195-210 Alessandro 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. CAV 2002 : 359-364 Paolo Giorgini , John Mylopoulos , Eleonora Nicchiarelli , Roberto Sebastiani: Reasoning with Goal Models. ER 2002 : 167-181 Gilles Audemard , Alessandro Cimatti , Artur Kornilowicz , Roberto Sebastiani: Bounded Model Checking for Timed Systems. FORTE 2002 : 243-259 Alessandro Cimatti , Enrico Giunchiglia , Marco Pistore , Marco Roveri , Roberto Sebastiani, Armando Tacchella : Integrating BDD-Based and SAT-Based Symbolic Model Checking. FroCos 2002 : 49-56 Alessandro Cimatti , Marco Pistore , Marco Roveri , Roberto Sebastiani: Improving the Encoding of LTL Model Checking into SAT. VMCAI 2002 : 196-207 Steve Linton , Roberto Sebastiani: Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. J. Symb. Comput. 34 (4): 239 (2002) Peter F. Patel-Schneider , Roberto Sebastiani: A New System and Methodology for Generating Random Modal Formulae. IJCAR 2001 : 464-468 Roberto Sebastiani, Alessandro Tomasi , Fausto Giunchiglia : Model Checking Syllabi and Student Carreers. TACAS 2001 : 128-142 Fausto Giunchiglia , Roberto Sebastiani: Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m). Inf. Comput. 162 (1-2): 158-178 (2000) Enrico Giunchiglia , Fausto Giunchiglia , Roberto Sebastiani, Armando Tacchella : SAT vs. translation based decision procedures for modal logics: a comparative evaluation. Journal of Applied Non-Classical Logics 10 (2): (2000) Ian Horrocks , Peter F. Patel-Schneider , Roberto Sebastiani: An Analysis of Empirical Testing for Modal Decision Procedures. Logic Journal of the IGPL 8 (3): (2000) Enrico Giunchiglia , Roberto Sebastiani: Applying the Davis-Putnam Procedure to Non-clausal Formulas. AI*IA 1999 : 84-94 A. Chiappini , Alessandro Cimatti , Carmen Porzia , G. Rotondo , Roberto Sebastiani, Paolo Traverso , Adolfo Villafiorita : Formal Specification and Development of a Safety-Critical Train Management System. SAFECOMP 1999 : 410-419 Alessandro Cimatti , P. L. Pieraccini , Roberto Sebastiani, Paolo Traverso , Adolfo Villafiorita : Formal Specification and Validation of a Vital Communication Protocol. World Congress on Formal Methods 1999 : 1584-1604 Enrico Giunchiglia , Alessandro Massarotto , Roberto Sebastiani: Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability. AAAI/IAAI 1998 : 948-953 Roberto Sebastiani, Adolfo Villafiorita : SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework. AIMSA 1998 : 377-388 Enrico Giunchiglia , Fausto Giunchiglia , Roberto Sebastiani, Armando Tacchella : More Evaluation of Decision Procedures for Modal Logics. KR 1998 : 626-635 Fausto Giunchiglia , Marco Roveri , Roberto Sebastiani: A New Method for Testing Decision Procedures in Modal Logics. CADE 1997 : 264-267 Alan Bundy , Fausto Giunchiglia , Roberto Sebastiani, Toby Walsh : Computing Abstraction Hierarchies by Numerical Simulation. AAAI/IAAI, Vol. 1 1996 : 523-529 Fausto Giunchiglia , Roberto Sebastiani: Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K. CADE 1996 : 583-597 Fausto Giunchiglia , Roberto Sebastiani, Adolfo Villafiorita , Toby Walsh : A General Purpose Reasoner for Abstraction. Canadian Conference on AI 1996 : 323-335 Fausto Giunchiglia , Marco Roveri , Roberto Sebastiani: A New Method for Testing Decision Procedures in Modal and Terminological Logics. Description Logics 1996 : 119-123 Fausto Giunchiglia , Roberto Sebastiani: An SAT-based Decision Procedure for ALC. Description Logics 1996 : 49-59 Fausto Giunchiglia , Roberto Sebastiani: A SAT-based Decision Procedure for ALC. KR 1996 : 304-314 Alan Bundy , Fausto Giunchiglia , Roberto Sebastiani, Toby Walsh : Calculating Criticalities. Artif. Intell. 88 (1-2): 39-67 (1996) Roberto Sebastiani: Applying GSAT to Non-Clausal Formulas (Research Note). JAIR 1 : 309-314 (1994) 1 [ 24 ] [ 27 ] [ 28 ] 2 [ 27 ] [ 28 ] 3 [ 2 ] [ 8 ] 4 [ 14 ] 5 [ 13 ] [ 14 ] [ 22 ] [ 23 ] [ 24 ] [ 26 ] [ 27 ] [ 28 ] 6 [ 26 ] 7 [ 25 ] [ 29 ] 8 [ 10 ] [ 12 ] [ 15 ] [ 17 ] [ 23 ] [ 26 ] 9 [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 17 ] [ 18 ] [ 19 ] [ 26 ] 10 [ 16 ] 11 [ 24 ] [ 27 ] [ 28 ] 12 [ 21 ] 13 [ 12 ] 14 [ 25 ] [ 29 ] 15 [ 25 ] [ 29 ] 16 [ 16 ] [ 20 ] 17 [ 13 ] 18 [ 22 ] [ 23 ] [ 26 ] 19 [ 14 ] 20 [ 14 ] 21 [ 5 ] [ 9 ] [ 22 ] [ 23 ] [ 26 ] 22 [ 10 ] [ 17 ] [ 23 ] [ 26 ] 23 [ 19 ] 24 [ 30 ] 25 [ 13 ] [ 14 ] 26 [ 6 ] [ 11 ] [ 13 ] [ 14 ] 27 [ 2 ] [ 6 ] [ 8 ]  ©2004 Association for Computing Machinery |
