You are here

Publications

Primary tabs

  1. Fabio Pianesi; L. Tovena,
    Using the Interchange Format for Encoding Spoken Dialogues,
    Proceedings of AMTA SIG-IL Second Workshop on Interlinguas and Interlingual Approaches,
  2. M. Sarini; Carlo Strapparava,
    Building a User Model for Museum Exploration and Information-Providing Adaptive System,
    Proceedings of the Second Workshop on Adaptive Hypertext and Hypermedia (held in conjunction with the Ninth ACM Conference on Hypertext and Hypermedia - HYPERTEXT ’98),
  3. A. Stefani; Carlo Strapparava,
    Personalizing Access to Web Sites: The SiteIF Project,
    Proceedings of the Second Workshop on Adaptive Hypertext and Hypermedia (held in conjunction with the Ninth ACM Conference on Hypertext and Hypermedia - HYPERTEXT ’98),
  4. Oliviero Stock,
    Multimodal Communication With and Without Agenthood´,
    Proceedings of the Second International Conference on Cooperative Multimodal Communication,
  5. L. Tovena; J. Jayez,
    Any: from scalarity to arbitrariness,
    Selected papers from the Colloque de Syntaxe et Semantique de Paris II,
  6. Massimo Benerecetti; Fausto Giunchiglia; Luciano Serafini,
    1998 European Workshop on Validation and Verification of Knowledge-Based Systems [KR`98],
    , (1998 European Workshop on Validation and Verification of Knowledge-Based Systems [KR`98],
    Trento, Italy,
    06/06/1998 - 08/06/1998)
  7. Piergiorgio Bertoli; Alessandro Cimatti; Fausto Giunchiglia; Paolo Traverso,
    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,
    , pp. 221-
    230
    , (17th International Conference on Computer Safety, Reliability and Security [SAFECOMP ‘98],
    Heidelberg, Germany,
    1998)
  8. Alessandro Cimatti; Fausto Giunchiglia; Marco Roveri,
    Abstraction in Planning via Model Checking,
    Symposium on Abstraction, Reformulation and Approximation (SARA 1998),
    , pp. 37-
    41
    , (Symposium on Abstraction, Reformulation and Approximation (SARA 1998),
    1998)
  9. Alessandro Cimatti; Fausto Giunchiglia; G. Mongardi; D. Romano; F. Torielli; Paolo Traverso,
    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,
    , pp. 284-
    295
    , (17th International Conference on Computer Safety, Reliability and Security [SAFECOMP ‘98],
    Heidelberg, Germany,
    1998)
  10. L. Ravezzi; Gian Franco Dalla Betta; G. Setti,
    A new current-mode programmable cellular neural network,
    Proceedings of the IEEE-CNNA ‘98,
    , pp. 253-
    258