You are here

2006

  1. P. Bertoli; A. Cimatti; M. Roveri; P. Traverso,
    Strong Planning under Partial Observability,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 170,
    n. 4-5,
    2006
    , pp. 337 -
    384
  2. Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi A. Junttila; Silvio Ranise; Peter van Rossum; Roberto Sebastiani,
    Efficient theory combination via boolean search,
    in «INFORMATION AND COMPUTATION»,
    vol. 204,
    n. 10,
    2006
    , pp. 1493 -
    1525
  3. A.L. Murphy; G.P. Picco; G.-C. Roman,
    Lime: A Coordination Middleware Supporting Mobility of Hosts and Agents,
    in «ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY»,
    vol. 15,
    n. 3,
    2006
    , pp. 279 -
    328
  4. Alessandro Cimatti; Roberto Sebastiani,
    Formal Methods for Hardware Verification,
    Berlin, Heidelberg,
    Springer,
    2006
    , pp. 144 -
    175
  5. Alessandro Armando; Alessandro Cimatti,
    Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005).
    Elsevier B.V.,
    2006
    , pp. 1 -
    2
  6. Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Anders Franzen; Ziyad Hanna; Zurab Khasidashvili; Amit Palti; Roberto Sebastiani,
    Proceedings of 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning,
    vol.144, issue 2,
    2006
    , pp. 3-
    14
    , (PDPAR 2005 affiliated workshop to CAV'05,
    University of Edinburgh, Scotland, UK,
    12/07/2005)
  7. Richard Banach; Marco Bozzano,
    Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems,
    International Conference on Computer Safety, Security and Reliability,
    n. 4166,
    2006
    , pp. 127-
    141
    , (SAFECOMP 2006,
    Gdansk, Poland,
    26-29/09/2006)
  8. R. Bloem; A. Cimatti; I. Pill; M. Roveri; S. Semprini,
    Symbolic Implementation of Alternating Automata,
    Proceedings of 11th Int. Conference Implementation and Application of Automata,
    Springer,
    vol.4094,
    2006
    , pp. 208-
    218
    , (CIAA,
    Taipei, Taiwan,
    21/08/2006-23/08/2006)
  9. I. Pill; S. Semprini; R. Cavada; M. Roveri; R. Bloem; A. Cimatti,
    Formal analysis of hardware requirements,
    Proceedings of 43rd annual Design Automation Conference,
    New York, NY,
    2006
    , pp. 821-
    826
    , (DAC,
    San Francisco, USA,
    24/07/2006-28/07/2006)
  10. P. Bertoli; A. Cimatti; M. Pistore,
    Strong Cyclic Planning Under Partial Observability,
    Proceedings of 17th European Conference on Artificial Intelligence,
    Amsterdam,
    2006
    , pp. 580-
    584
    , (ECAI 2006,
    Riva del Garda, Italy,
    29/08/2006-01/09/2006)

Pages