1. Cimatti, Alessandro; E., Giunchiglia; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; A., Tacchella,
    NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking,
    Proceedings of the IJCAR Workshop `Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics`,
    no publisher,
    2001
  2. Piergiorgio Bertoli; Alessandro Cimatti; Marco Roveri,
    Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space,
    Sixth European Conference on Planning [ECP-01],
    Springer,
    2001
    , pp. 379-
    384
  3. Massimo, Benerecetti; Cimatti, Alessandro,
    Symbolic model checking for multi-agent systems,
    Second Workshop on Computational Logic in Multi-Agent Systems (CLIMA`01),
    2001
  4. Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore; Marco Roveri; Paolo Traverso,
    MBP: a Model Based Planner,
    IJCAI-2001 Workshop on Planning under Uncertainty and Incomplete Information (PRO-2),
    2001
  5. Bertoli, Piergiorgio; Cimatti, Alessandro,
    Improving Heuristics for Planning and Search in Belief Space,
    2001
  6. Piergiorgio Bertoli; Alessandro Cimatti; Marco Roveri; Paolo Traverso,
    Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking,
    Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01), Proceedings,
    Morgan Kaufmann,
    2001
    , pp. 473-
    478
  7. Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio,
    On the Relations between Disjunctive and Linear Logic Programming,
    in «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE»,
    vol. 48,
    2001
    , pp. 65-
    89
  8. Luca Cristoforetti; Marco Matassoni; Maurizio Omologo; Piergiorgio Svaizer; E. Zovato,
    Un riconoscitore vocale per la telefonia viva-voce in automobile,
    Multimodalità e Multimedialità nella Comunicazione. Atti delle XI Giornate di Studio del Gruppo di Fonetica Sperimentale (A.I.A.),
    2001
    , pp. 209-
    214
  9. Maurizio Omologo; Marco Matassoni; Piergiorgio Svaizer,
    Speech Recognition with Microphone Arrays,
    Microphone Arrays,
    Springer Verlag,
    2001
    , pp. 331-
    353
  10. Marco Matassoni; Maurizio Omologo; Piergiorgio Svaizer,
    Use of real and contaminated speech for training of hands-free in-car speech recognizer,
    7th European Conference on Speech Communication and Technology,
    2001
    , pp. 1569-
    1572
  11. M. Matassoni; G. A. Mian; M. Omologo; A. Santarelli; P. Svaizer,
    Some experiments on the use of one-channel noise reduction techniques with the Italian SpeechDatCar database,
    IEEE Workshop on Automatic Speech Recognition and Understanding, 2001,
    IEEE,
    2001
    , pp. 139-
    142
  12. Piergiorgio Bertoli; Alessandro Cimatti; Paolo Traverso,
    Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System,
    5th International Workshop on Formal Methods for Industrial Critical Systems [FMICS],
    2000
  13. Alessandro Cimatti; Marco Roveri,
    Conformant Planning via Symbolic Model Checking,
    in «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH»,
    AAAI Press,
    vol. 13,
    2000
    , pp. 305-
    338
  14. Alessandro Cimatti; Marco Roveri,
    Forward Conformant Planning via Symbolic Model Checking,
    AIPS 2000 Workshop on Model-Theoretic Approaches to Planning,
    2000
  15. Cimatti, Alessandro; Serafini, Luciano,
    A Context-Based Mechanization of Multi-Agent Reasoning,
    Formal Aspects of Context,
    Kluwer,
    vol. 20,
    2000
    , pp. 65-
    83
  16. V., Hartonas Garmhausen; E. M., Clarke; S., Campos; Cimatti, Alessandro; Giunchiglia, Fausto,
    Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints,
    in «SCIENCE OF COMPUTER PROGRAMMING»,
    Elsevier,
    vol. 36,
    2000
    , pp. 53-
    64
  17. Alessandro Cimatti; E.M. Clarke; Fausto Giunchiglia; Marco Roveri,
    NuSMV: a new symbolic model checker,
    in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER»,
    Springer,
    2000
    , pp. 410-
    425
  18. Alessandro Cimatti; Marco Roveri,
    Conformant Planning via Model Checking,
    Fifth European Conference on Planning [ECP`99],
    Springer,
    2000
    , pp. 21-
    34
  19. Luca Cristoforetti; Marco Matassoni; Maurizio Omologo; Piergiorgio Svaizer; Enrico Zovato,
    Annotation of a multichannel noisy speech corpus,
    International Conference on Language Resources and Evaluation (LREC 2000),
    2000
    , pp. 1547-
    1550
  20. E. Zovato; Piergiorgio Svaizer; Maurizio Omologo; Marco Matassoni,
    Un sistema di riconoscimento vocale automatico operante in automobile,
    Proceedings of the 28° Convegno Nazionale Associazione Italiana di Acustica [AIA],
    2000
    , pp. 271-
    274