1. 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
  2. I. Pill; S. Semprini; R. Cavada; M. Roveri; R. Bloem; A. Cimatti,
    Formal analysis of hardware requirements,
    Proceedings of 43rd annual Design Automation Conference,
    2006
    , pp. 821-
    826
  3. Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco,
    Strong Cyclic Planning Under Partial Observability,
    Proceedings of 17th European Conference on Artificial Intelligence,
    2006
    , pp. 580-
    584
  4. Armando, Alessandro; Cimatti, Alessandro,
    Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning,
    in «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE»,
    Electronic Notes in Theoretical Computer Science -- Elsevier,
    vol. 144,
    n. 2,
    2006
  5. Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi A., Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto,
    Efficient theory combination via boolean search,
    in «INFORMATION AND COMPUTATION»,
    vol. 204,
    n. 10,
    2006
    , pp. 1493-
    1525
  6. Roderick Bloem; Alessandro Cimatti; Ingo Pill; Marco Roveri; Simone Semprini; Andrei Tchaltsev,
    RAT: A tool for formal analysis of requirements,
    Demo Session of the 17th European Conference on Artificial Intelligence,
    2006
  7. Alessandro Cimatti; Marco Roveri; Simone Semprini; Stefano Tonetta,
    From PSL to NBA: a Modular Symbolic Encoding,
    Proceedings of 6th Int. Conference on Formal Methods in Computer Aided Design,
    2006
    , pp. 125-
    133
  8. Cimatti, Alessandro; Sebastiani, Roberto,
    Building Efficient Decision Procedures on top of SAT solvers,
    Formal Methods for Hardware Verification,
    Springer,
    vol. 3965,
    2006
    , pp. 144-
    175
  9. Armando, Alessandro; Cimatti, Alessandro,
    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.,
    vol. Volume 144, Issue 2,
    2006
    , pp. 1-
    2
  10. Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore,
    Towards strong cyclic planning under partial observability,
    Proceedings of the 16th Int. Conference on Automated Planning and Scheduling,
    2006
    , pp. 354-
    357
  11. Roberto, Bruttomesso; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Alessandro, Santuari; Sebastiani, Roberto,
    To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T),
    Proceedings of the 13th Int. Conference on 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning,
    2006
    , pp. 557-
    571
  12. Roberto, Bruttomesso; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto,
    Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis,
    Springer Verlag,
    vol. 4246,
    2006
    , pp. 527-
    541
  13. Stefano Tonetta; Natasha Sharygina,
    A Uniform Framework for Predicate Abstraction Approximation,
    Proceedings of the 4th Int. Workshop on Software Verification and Validation,
    2006
  14. Richard, Banach; Bozzano, Marco,
    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
  15. O., Akerlund; P., Bieber; E., Boede; Bozzano, Marco; M., Bretschneider; C., Castel; A., Cavallo; M., Cifaldi; J., Gauthier; A., Griffault; O., Lisagor; A., Luedtke; S., Metge; C., Papadopoulos; T., Peikenkamp; L., Sagaspe; C., Seguin; H., Trivedi; L., Valacca,
    ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects.,
    2006
  16. Brutti, Alessio; Omologo, Maurizio; Svaizer, Piergiorgio,
    Speaker Localiztion Based on Oriented Global Coherence Field,
    Interspeech 2006,
    ISCA,
    2006
    , pp. 2606-
    2609
  17. Brutti, Alessio; Omologo, Maurizio; Svaizer, Piergiorgio,
    Estimation of talker`s head orientation based on Oriented Global Coherence Field,
    120th AES Pro Audio Expo & Convention,
    Audio Engineering Society,
    2006
  18. Matassoni, Marco; Svaizer, Piergiorgio,
    Efficient time delay estimation based on cross-power spectrum phase,
    14th European Signal Processing Conference,
    2006
  19. A., Potamianos; G., Bouselmi; D., Dimitriadis; D., Fohr; R., Gemello; I., Illina; F., Mana; P., Maragos; Matassoni, Marco; V., Pitsikalis; J., Ramirez; E., Sanchez Soto; J., Segura; Svaizer, Piergiorgio,
    Towards Speaker and Environmental Robustness in ASR: the HIWIRE project,
    Speech Recognition and Intrinsic Variation Workshop,
    2006
    , pp. 135-
    142
  20. M. Omologo; P. Svaizer; A. Brutti; L. Cristoforetti,
    Speaker Localization in CHIL Lectures: Evaluation Criteria and Results,
    Machine Learning for Multimodal Interaction,
    Springer Verlag,
    vol. 4299,
    2006