You are here

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,
    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,
    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,
    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