| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Roberto Sebastiani 24 Gilles Audemard , Piergiorgio Bertoli , Alessandro Cimatti , Artur Kornilowicz , Roberto Sebastiani: Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. AISC 2002 : 231-245 23 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 22 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 21 Paolo Giorgini , John Mylopoulos , Eleonora Nicchiarelli , Roberto Sebastiani: Reasoning with Goal Models. ER 2002 : 167-181 20 Gilles Audemard , Alessandro Cimatti , Artur Kornilowicz , Roberto Sebastiani: Bounded Model Checking for Timed Systems. FORTE 2002 : 243-259 19 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 18 Alessandro Cimatti , Marco Pistore , Marco Roveri , Roberto Sebastiani: Improving the Encoding of LTL Model Checking into SAT. VMCAI 2002 : 196-207 17 Steve Linton , Roberto Sebastiani: Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. JSC 34 (4): 239 (2002) 16 Peter F. Patel-Schneider , Roberto Sebastiani: A New System and Methodology for Generating Random Modal Formulae. IJCAR 2001 : 464-468 15 Roberto Sebastiani, Alessandro Tomasi , Fausto Giunchiglia : Model Checking Syllabi and Student Carreers. TACAS 2001 : 128-142 14 Fausto Giunchiglia , Roberto Sebastiani: Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m). Information and Computation 162 (1-2): 158-178 (2000) 13 Enrico Giunchiglia , Roberto Sebastiani: Applying the Davis-Putnam Procedure to Non-clausal Formulas. AI*IA 1999 : 84-94 12 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 11 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 10 Enrico Giunchiglia , Alessandro Massarotto , Roberto Sebastiani: Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability. AAAI/IAAI 1998 : 948-953 9 Roberto Sebastiani, Adolfo Villafiorita : SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework. AIMSA 1998 : 377-388 8 Enrico Giunchiglia , Fausto Giunchiglia , Roberto Sebastiani, Armando Tacchella : More Evaluation of Decision Procedures for Modal Logics. KR 1998 : 626-635 7 Fausto Giunchiglia , Marco Roveri , Roberto Sebastiani: A New Method for Testing Decision Procedures in Modal Logics. CADE 1997 : 264-267 6 Alan Bundy , Fausto Giunchiglia , Roberto Sebastiani, Toby Walsh : Computing Abstraction Hierarchies by Numerical Simulation. AAAI/IAAI, Vol. 1 1996 : 523-529 5 Fausto Giunchiglia , Roberto Sebastiani: Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K. CADE 1996 : 583-597 4 Fausto Giunchiglia , Roberto Sebastiani, Adolfo Villafiorita , Toby Walsh : A General Purpose Reasoner for Abstraction. Canadian Conference on AI 1996 : 323-335 3 Fausto Giunchiglia , Roberto Sebastiani: A SAT-based Decision Procedure for ALC. KR 1996 : 304-314 2 Alan Bundy , Fausto Giunchiglia , Roberto Sebastiani, Toby Walsh : Calculating Criticalities. Artificial Intelligence 88 (1-2): 39-67 (1996) 1 Roberto Sebastiani: Applying GSAT to Non-Clausal Formulas (Research Note). JAIR 1 : 309-314 (1994)  DiSC'03 © 2003 Association for Computing Machinery |
