1. Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo,
    Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System,
    17th International Conference on Computer Safety, Reliability and Security [SAFECOMP ‘98],
    Springer,
    vol. 1516,
    1998
    , pp. 284-
    295
  2. Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo,
    Formal Verification of a Railway Interlocking System Using Model Checking,
    in «FORMAL ASPECTS OF COMPUTING»,
    Springer,
    1998
    , pp. 361-
    380
  3. Giuliani, Diego; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio,
    HMM Adaptation for Hands-Free Connected Digit Recognition,
    1998
    , pp. 473-
    476
  4. Omologo, Maurizio; Svaizer, Piergiorgio; Matassoni, Marco,
    Environmental Conditions and Acoustic Transduction in Hands-Free Recognition,
    in «SPEECH COMMUNICATION»,
    Elsevier,
    vol. 25,
    1998
    , pp. 75-
    95
  5. Giuliani, Diego; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio,
    Experiments of HMM Adaptation for Hands-free Connected Digit Recognition,
    Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing [ICASSP98],
    IEEE,
    vol. 1,
    1998
    , pp. 473-
    476
  6. Omologo, Maurizio; Svaizer, Piergiorgio; De Mori, Renato,
    Acoustic Transduction,
    Spoken Dialogues with Computers,
    Academic Press,
    1998
    , pp. 23-
    67
  7. Alessandro Cimatti; Enrico Giunchiglia; Fausto Giunchiglia; Paolo Traverso,
    Planning via Model Checking: A Decision Procedure for AR,
    4th European Conference on Planning [ECP`97],
    Springer,
    vol. 1348,
    1997
    , pp. 130-
    142
  8. Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; B., Pietra; D., Romano; F., Torielli; Traverso, Paolo,
    Formal Validation of an Interlocking System for Large Railway Stations: A Case Study,
    1997
  9. Cimatti, Alessandro; Giunchiglia, Fausto; P., Pecchiari; B., Pietra; J., Profeta; D., Romano; Traverso, Paolo; B., Yu,
    A Provably Correct Embedded Verifier for the Certification of Safety Critical Software,
    Computer Aided Verification - 9th International Conference (CAV 1997),
    Springer,
    vol. 1254,
    1997
    , pp. 202-
    213
  10. Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo,
    A Model Based Decision Procedure for Common Sense Temporal Reasoning,
    1997
  11. Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo,
    Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System,
    Third International SPIN Workshop [SPIN97],
    1997
  12. Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; B., Pietra; D., Romano; F., Torielli; Traverso, Paolo,
    Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO,
    World Congress on Railway Research [WCRR`97],
    1997
    , pp. 467-
    473
  13. Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo,
    Certification of Translators via Off-line and On-line Proof Logging and Checking,
    1997
  14. Omologo, Maurizio; Svaizer, Piergiorgio,
    Use of the CrossPower-Spectrum Phase in Acoustic Event Location,
    in «IEEE TRANSACTIONS ON SPEECH AND AUDIO PROCESSING»,
    vol. 5,
    1997
    , pp. 288-
    292
  15. Svaizer, Piergiorgio; Omologo, Maurizio; Matassoni, Marco,
    Acoustic Source Location in a Three-Dimensional Space using Crosspower Spectrum Phase,
    IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 1997),
    1997
    , pp. 231-
    234
  16. Omologo, Maurizio; Matassoni, Marco; Svaizer, Piergiorgio; Giuliani, Diego,
    Microphone Array based Speech Recognition with Different Talker-Array Positions,
    IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 1997),
    1997
    , pp. 227-
    230
  17. Omologo, Maurizio; Matassoni, Marco; Svaizer, Piergiorgio; Giuliani, Diego,
    Hands-Free Speech Recognition in a Noisy and Reverberant Environment,
    Tutorial and Research Workshop on Robust speech recognition for unknown communication channels,
    1997
    , pp. 195-
    198
  18. Giuliani, Diego; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio,
    Use of Different Microphone Array Configurations for Hands-Free Speech Recognition in Noisy and Reverberant Environment,
    European Conference on Speech Communication and Technology (EUROSPEECH `97),
    ISCA,
    1997
    , pp. 347-
    350
  19. Omologo, Maurizio; Matassoni, Marco; Svaizer, Piergiorgio; Giuliani, Diego,
    Experiments of Hands-Free Connected Digit Recognition Using a Microphone Array,
    IEEE Workshop on Automatic Speech Recognition and Understanding 1997,
    IEEE,
    1997
    , pp. 490-
    497
  20. Cimatti, Alessandro; Traverso, Paolo,
    Computational Reflection via Mechanized Logical Deduction,
    in «INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS»,
    Wiley,
    vol. 11,
    n. 5,
    1996
    , pp. 279-
    293