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,
   Building Efficient Decision Procedures on top of SAT solvers,
   Formal Methods for Hardware Verification,
   Berlin, Heidelberg,
   Springer,
   2006
   , pp. 144 -
   175
5. Alessandro Armando; Alessandro Cimatti,
   Preface. Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005),
   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,
   Encoding RTL Constructs for Mathsat: A preliminary report,
   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