1. Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Stefano Tonetta,
    Boolean Abstraction for Temporal Logic Satisfiability,
    Proceedings of 19th Int. Conference Computer Aided Verification,
    Springer,
    vol. 4590,
    2007
    , pp. 532-
    546
  2. Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Ziyad, Hanna; Alexander, Nadel; Amit, Palti; Sebastiani, Roberto,
    A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems,
    Proceedings of the 19th Int. Conference on Computer aided verification,
    Springer-Verlag,
    vol. 4590,
    2007
    , pp. 547-
    560
  3. Roberto Cavada; Alessandro Cimatti; Anders Franzen; Kalyanasundaram Krishnamani; Marco Roveri; R. K. Shyamasundar,
    Computing Predicate Abstractions by Integrating BDDs and SMT Solvers,
    Proceedings of the Formal Methods in Computer Aided Design,
    2007
    , pp. 69-
    76
  4. Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto,
    A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories,
    Proceedings of the 10th Int. Conference on Theory and Applications of Satisfiability Testing,
    Springer,
    vol. 4501,
    2007
    , pp. 334-
    339
  5. Alessandro Cimatti; Marco Roveri; Stefano Tonetta,
    Syntactic Optimizations for PSL Verification,
    Proceedings of 13th Int. Conference Tools and Algorithms for the Construction and Analysis of Systems,
    Springer,
    vol. 4424,
    2007
    , pp. 505-
    518
  6. Roderick, Bloem; Cimatti, Alessandro; Ingo, Pill; Roveri, Marco,
    Symbolic Implementation of Alternating Automata,
    in «INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE»,
    World Scientific Publishing,
    vol. 18,
    n. 4,
    2007
    , pp. 727-
    743
  7. Bertoli, Piergiorgio; Bozzano, Marco; Cimatti, Alessandro,
    A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis,
    Model Checking and Artificial Intelligence,
    Springer-Verlag,
    vol. 4428,
    2007
    , pp. 1-
    18
  8. Roberto, Bruttomesso; Cimatti, Alessandro; Roberto, Sebasatiani; Griggio, Alberto; Anders, Franzen,
    MathSAT,
    2007
  9. Sebastiani, Roberto; Tonetta, Stefano; Moshe, Vardi,
    Property-driven partitioning for abstraction refinement,
    Proceedings of the 13th Int. Conference on Tools and algorithms for the construction and analysis of systems,
    Springer-Verlag,
    vol. 4424,
    2007
    , pp. 389-
    404
  10. Sebastiani, Roberto; Eli, Singerman; Tonetta, Stefano; Moshe, Vardi,
    GSTE is partitioned model checking,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 31,
    n. 2,
    2007
    , pp. 177-
    196
  11. Marco Bozzano; Adolfo Villafiorita,
    The FSAP/NuSMV-SA Safety Analysis Platform,
    in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER»,
    vol. 9,
    n. 1,
    2007
    , pp. 5-
    24
  12. Brutti, Alessio; Omologo, Maurizio; Svaizer, Piergiorgio; Zieger, Christian,
    Classification of Acoustic Maps to determine speaker position and orientation from a Distributed Microphone Network,
    32nd IEEE International Conference on Acoustics, Speech, and Signal Processing ICASSP,
    IEEE,
    2007
  13. Brutti, Alessio; Omologo, Maurizio; Svaizer, Piergiorgio,
    Localizzazione di parlatori con una rete distribuita di microfoni,
    34° Convegno Nazionale dell’Associazione Italiana di Acustica,
    Associazione Italiana di Acustica,
    2007
  14. Alessio Brutti; Maurizio Omologo; Piergiorgio Svaizer,
    A pattern classification approach to sound source localization,
    Workshop Toni Mian,
    no publisher,
    2007
  15. Mana, Nadia; Lepri, Bruno; Chippendale, Paul Ian; Cappelletti, Alessandro; Pianesi, Fabio; Svaizer, Piergiorgio; Zancanaro, Massimo,
    Multimodal Corpus of Multi-Party Meetings for Automatic Social Behavior Analysis and Personality Traits Detection,
    2007
  16. Roderick Bloem; Roberto Cavada; Ingo Pill; Marco Roveri; Andrei Tchaltsev,
    Rat: A tool for the formal analysis of requirements,
    Proceedings of 19th Int. Conference Computer Aided Verification,
    Springer,
    vol. 4590,
    2007
    , pp. 263-
    267
  17. Roderick, Bloem; Roveri, Marco; Fabio, Somenzi,
    Preface,
    in «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE»,
    vol. 174,
    2007
    , pp. 1-
  18. Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Ziyad, Hanna; Zurab, Khasidashvili; Amit, Palti; Sebastiani, Roberto,
    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
  19. Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo,
    Strong Planning under Partial Observability,
    in «ARTIFICIAL INTELLIGENCE»,
    Elsevier,
    vol. 170,
    n. 4-5,
    2006
    , pp. 337-
    384
  20. Marco, Bernardo; Cimatti, Alessandro,
    Formal Methods for Hardware Verification,
    Springer,
    vol. 3965,
    2006