1. Brunelli, Roberto; Brutti, Alessio; Chippendale, Paul Ian; Lanz, Oswald; Omologo, Maurizio; Svaizer, Piergiorgio; Tobia, Francesco,
    A Generative Approach to Audio-Visual Person Tracking,
    Multimodal Technologies for Perception,
    Springer,
    vol. 4122/2007,
    2006
  2. Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; Rossum Peter, Van; S. P., Schulz; Sebastiani, Roberto,
    An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic,
    Proceedings of 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems,
    Springer,
    vol. 3440,
    2005
    , pp. 317-
    333
  3. Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi A. Junttila; Peter van Rossum; Stephan Peter Schulz; Roberto Sebastiani,
    The Mathsat3 System,
    Proceedings of 20th Int. Conference on Automated Deduction,
    Springer,
    vol. 3632,
    2005
    , pp. 315-
    321
  4. Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T., Antero Junttila; Ranise, Silvio; Rossum Peter, Van; Sebastiani, Roberto,
    Efficient Theory Combination via Boolean Search,
    2005
  5. Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; R., Peter van; S. P., Schulz; Sebastiani, Roberto,
    MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures,
    2005
  6. Bozzano, Marco; R., Brutomesso; Cimatti, Alessandro; T. A., Junttila; Ranise, Silvio; Rossen Peter, Van; Sebastiani, Roberto,
    Efficient Satisfiability Modulo Theories via Delayed Theory Combination,
    2005
  7. Gilles, Audemard; Bozzano, Marco; Cimatti, Alessandro; Sebastiani, Roberto,
    Verifying Industrial Hybrid Systems with MathSAT,
    Proceedings of 2nd Int. Workshop on Bounded Model Checking,
    Elsevier B.V.,
    vol. 119, issue 2,
    2005
    , pp. 17-
    32
  8. Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi, Junttila; Peter van, Rossum; Stephan, Schulz; Sebastiani, Roberto,
    Mathsat: Tight Integration of SAT and Mathematical Decision Procedures,
    in «JOURNAL OF AUTOMATED REASONING»,
    vol. 35,
    n. 1-3,
    2005
    , pp. 265-
    293
  9. Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi, Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto,
    Efficient Satisfiability Modulo Theories via Delayed Theory Combination,
    Proceeding of 17th Int. Conference on Computer Aided Verification,
    Springer,
    vol. 3576,
    2005
    , pp. 335-
    349
  10. Marco Roveri; Alessandro Cimatti; Andrei Tchaltsev; Roberto Cavada; Simone Semprini; Roderick Bloem; Ingo Pill,
    RAT,
    2005
  11. Roberto Sebastiani; Stefano Tonetta; Moshe Vardi,
    Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking,
    In proc. of the 17th Int. Conference on Computer-Aided Verification,
    Springer-Verlag,
    vol. 3576,
    2005
    , pp. 100-
    246
  12. Brutti, Alessio; P., Coletti; Cristoforetti, Luca; P., Geutner; A., Giacomini; M., Maistrello; Matassoni, Marco; Omologo, Maurizio; F., Steffens; Svaizer, Piergiorgio,
    Use of Multiple Speech Recognition Units in a In-car Assistance System,
    Digital Signal Processing for In-Vehicle and Mobil,
    Springer,
    2005
  13. Brutti, Alessio; Omologo, Maurizio; Svaizer, Piergiorgio,
    Oriented Global coherence field for the estimation of the head orientation in smart rooms equipped with distributed microphone arrays,
    Interspeech 2005,
    2005
    , pp. 2337-
    2340
  14. L., Brayda; C., Bertotti; Cristoforetti, Luca; Omologo, Maurizio; Svaizer, Piergiorgio,
    Modifications on NIST MarkIII array to improve coherence properties among input signals,
    AES, 118th Audio Engineering Society Convention,
    2005
  15. L., Brayda; C., Bertotti; Cristoforetti, Luca; Omologo, Maurizio; Svaizer, Piergiorgio,
    On calibration and coherence signal analysis of the CHIL microphone network at IRST,
    Joint Workshop on Hands-Free Speech Communication and Microphone Arrays,
    2005
  16. D., Macho; J., Padrell; A., Abad; C., Nadeu; J., Hernando; J., Mcdonough; U., Klee; M., Wölfel; Omologo, Maurizio; Brutti, Alessio; Svaizer, Piergiorgio; G., Potamianos; S. M., Chu,
    Automatic Speech Activity Detection, Source Localization, and Speech Recognition on the CHIL Seminar Corpus,
    2005
  17. Bertoli, Piergiorgio; Cimatti, Alessandro; Traverso, Paolo,
    Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains,
    Proceedings of 16th Eureopean Conference on Artificial Intelligence,
    2004
    , pp. 657-
    661
  18. Cimatti, Alessandro; Roveri, Marco; Bertoli, Piergiorgio,
    Conformant Planning via Symbolic Model Checking and Heuristic Search,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 159,
    n. 1-2,
    2004
    , pp. 127-
    206
  19. A. Cimatti; M. Roveri; D. Sheridan,
    Bounded Verification of Past LTL,
    Proceedings of 5th Int. Conference on Formal Methods in Computer-Aided Design,
    Springer,
    vol. 3312,
    2004
    , pp. 245-
    259
  20. Bozzano, Marco; Cimatti, Alessandro; G., Colombini; V., Kirov; Sebastiani, Roberto,
    The MAthSAT Solver. A progress report,
    2004