1. Cimatti, Alessandro; Sebastiani, Roberto,
    Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL,
    1998
  2. Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo,
    A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools,
    17th International Conference on Computer Safety, Reliability and Security [SAFECOMP ‘98],
    Springer,
    vol. 1516,
    1998
    , pp. 221-
    230
  3. Alessandro Cimatti; Fausto Giunchiglia; Marco Roveri,
    Abstraction in Planning via Model Checking,
    Symposium on Abstraction, Reformulation and Approximation (SARA 1998),
    1998
    , pp. 37-
    41
  4. 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
  5. 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
  6. Giuliani, Diego; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio,
    HMM Adaptation for Hands-Free Connected Digit Recognition,
    1998
    , pp. 473-
    476
  7. 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
  8. 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
  9. Omologo, Maurizio; Svaizer, Piergiorgio; De Mori, Renato,
    Acoustic Transduction,
    Spoken Dialogues with Computers,
    Academic Press,
    1998
    , pp. 23-
    67
  10. 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
  11. 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
  12. 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
  13. Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo,
    A Model Based Decision Procedure for Common Sense Temporal Reasoning,
    1997
  14. 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
  15. 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
  16. Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo,
    Certification of Translators via Off-line and On-line Proof Logging and Checking,
    1997
  17. 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
  18. 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
  19. 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
  20. 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