2002

1. Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio,
   An effective fixpoint semantics for linear logic programs,
   in «THEORY AND PRACTICE OF LOGIC PROGRAMMING»,
   vol. 2,
   n. 01,
   2002
   , pp. 85 -
   122
2. Alessandro Cimatti; Marco Pistore; Marco Roveri; Roberto Sebastiani,
   Improving the encoding of LTL Model Checking into SAT,
   VMCAI-2002 Workshop on Verification Model Checking and Abstract Interpretation,
   Springer,
   vol.2294,
   2002
   , pp. 196-
   207
   , (VMCAI-2002 Workshop on Verification Model Checking and Abstract Interpretation,
   2002)
3. Gilles Audemard; Alessandro Cimatti; Artur Kornilowicz; Roberto Sebastiani,
   Bounded Model Checking for Timed Systems,
   Formal Techniques for Networked and Distributed Systems - FORTE 2002. Proceedings of the 22nd IFIP TC6 WG 6.1 International Conference,
   Springer,
   2002
   , pp. 243-
   259
   , (Formal Techniques for Networked and Distributed Systems - FORTE 2002. Proceedings of the 22nd IFIP TC6 WG 6.1 International Conference,
   Houston, Texas, USA,
   2002)
4. Alessandro Cimatti; E. Giunchiglia; Marco Roveri; Marco Pistore; Roberto Sebastiani; A. Tacchella,
   Integrating BDD-based and SAT-based Symbolic Model Checking,
   Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002,
   Springer,
   vol.2309,
   2002
   , pp. 49-
   56
   , (Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002,
   Santa Margherita Ligure, Italy,
   2002)
5. Piergiorgio Bertoli; Alessandro Cimatti; J. Slaney; S. Thiebaux,
   Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking,
   15th Eureopean Conference on Artificial Intelligence (ECAI 2002),
   IOS Press,
   2002
   , pp. 576-
   580
   , (15th Eureopean Conference on Artificial Intelligence (ECAI 2002),
   Lyon, France,
   2002)
6. Gilles Audemard; Piergiorgio Bertoli; Alessandro Cimatti; Artur Kornilowicz; Roberto Sebastiani,
   A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions,
   CADE-18 Conference on Automated Deduction,
   Springer,
   2002
   , pp. 195-
   210
   , (CADE-18 Conference on Automated Deduction,
   Copenhagen, Denmark,
   2002)
7. Gilles Audemard; Piergiorgio Bertoli; Alessandro Cimatti; Artur Kornilowicz; Roberto Sebastiani,
   Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements,
   CALCULEMUS-2002, 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning,
   2002
   , pp. 157-
   192
   , (CALCULEMUS-2002, 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning,
   Marseille, France,
   2002)
8. Marco Bozzano; G. Delzanno,
   Automated Protocol Verification in Linear Logic,
   Proceedings of the Fourth International Conference on Principles and Practice of Declarative Programming [PPDP 2002],
   2002
9. Alessandro Cimatti; E.M. Clarke; Enrico Giunchiglia; Fausto Giunchiglia; Marco Pistore; Marco Roveri; Roberto Sebastiani; A. Tacchella,
   NuSMV 2: An OpenSource Tool for Symbolic model Checking,
   CAV 2002, Conference on Computer-Aided Verification,
   Springer,
   vol.2404,
   2002
   , pp. 359-
   364
   , (CAV 2002, Conference on Computer-Aided Verification,
   Copenhagen, Denmark,
   2002)
10. Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore; Paolo Traverso,
    Plan Validation for Extended Goals under Partial Observability (preliminary report),
    Electronic Proceedings of AIPS`02 Workshop on Planning via Model Checking,
    2002
    , (Electronic Proceedings of AIPS`02 Workshop on Planning via Model Checking,
    2002)

Pages