1. Matassoni, Marco; Omologo, Maurizio; Giuliani, Diego; Svaizer, Piergiorgio,
    Training of HMM with Contaminated Speech Material for Hands-Free Speech Recognition,
    2000
  2. Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio,
    A Baseline System for Hands-Free Speech Recognition in car environment,
    2000
  3. Marco Roveri,
    Abstraction in Model Checking for Bug Hunting,
    Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000,
    2000
    , pp. 219-
    223
  4. Cimatti, Alessandro; E. M., Clarke; Fausto, Giunchiglia; Roveri, Marco,
    NuSMV: a New Symbolic Model Verifier,
    11th International Conference on Computer Aided Verification (CAV`99), Proceedings,
    Springer,
    1999
  5. Cimatti, Alessandro; P. L., Pieraccini; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo,
    Formal Specification and validation of a Vital Communication Protocol,
    FM`99-Formal Methods, World Congress on Formal methods in the Development of Computing Systems,
    1999
    , pp. 1584-
    1604
  6. A., Chiappini; Cimatti, Alessandro; C., Porzia; G., Rotondo; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo,
    Formal Specification and Development of a Safety-Critical Train Management,
    18th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1999),
    Springer,
    vol. 1698,
    1999
    , pp. 410-
    419
  7. Alessandro Cimatti; Marco Roveri,
    Conformant Planning via Model Checking,
    Fifth European Conference on Planning [ECP`99],
    Springer,
    1999
  8. Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo; Villafiorita Monteleone, Adolfo,
    Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study,
    FLoC`99 Workshop on Run-Time Result Verification,
    1999
  9. Giuliani, Diego; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio,
    Training of HMM with filtered speech material for hands-free recognition,
    IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP),
    1999
    , pp. 449-
    452
  10. Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio; Giuliani, Diego,
    Filtering Clean Speech for Training a HMM-based Hands-Free Recognizer,
    1999
  11. Giuliani, Diego; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio,
    Use of Filtered Clean Speech for Robust HMM Training,
    Workshop on Robust Methods for Speech Recognition in Adverse Conditions,
    1999
    , pp. 99-
    102
  12. Giuliani, Diego; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio,
    Robust HMM training and adaptation in hands-free speech recognition,
    IEEE Workshop on Automatic Speech Recognition and Understanding,
    1999
    , pp. 51-
    54
  13. Matassoni, Marco; Omologo, Maurizio; Cristoforetti, Luca; Giuliani, Diego; Svaizer, Piergiorgio; Trentin, Edmondo; E., Zovato,
    Some results on the development of a hands-free speech recognizer for car-environment,
    IEEE Workshop on Automatic Speech Recognition and Understanding,
    1999
  14. Omologo, Maurizio; Svaizer, Piergiorgio,
    Special purpose recordings,
    1999
  15. Cimatti, Alessandro; Giunchiglia, Fausto; R. W., Weyhrauch,
    A Many Sorted Natural Deduction,
    in «COMPUTATIONAL INTELLIGENCE»,
    Blackwell Publishing,
    vol. 1,
    n. 14,
    1998
    , pp. 135-
    150
  16. Alessandro Cimatti; E.M. Clarke; Fausto Giunchiglia; Marco Roveri,
    NuSMV: A Reimplementation of SMV,
    International Workshop on Software Tools for Technology Transfer (STTT-98),
    vol. NS-98-4,
    1998
    , pp. 25-
    31
  17. Alessandro Cimatti; Marco Roveri; Paolo Traverso,
    Strong Planning in Non-Deterministic Domains via Model Checking,
    Fourth International Conference on Artificial Intelligence Planning Systems [AIPS-98],
    1998
  18. Alessandro Cimatti; Marco Roveri; Paolo Traverso,
    Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains,
    Fifteenth National Conference on Artificial Intelligence [AAAI 98],
    AAAI Press,
    1998
    , pp. 875-
    881
  19. Cimatti, Alessandro; Sebastiani, Roberto,
    Servizi forniti dagli strati Safety Layer e Connection Manager,
    1998
  20. Cimatti, Alessandro; Sebastiani, Roberto,
    Specifica formale dei protocolli Safety Layer e Connection Manager,
    1998