You are here

Publications

Primary tabs

  1. 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),
  2. Oliviero Stock,
    Multimodal Communication With and Without Agenthood´,
    Proceedings of the Second International Conference on Cooperative Multimodal Communication,
  3. L. Tovena; J. Jayez,
    Any: from scalarity to arbitrariness,
    Selected papers from the Colloque de Syntaxe et Semantique de Paris II,
  4. 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)
  5. 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)
  6. 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)
  7. 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)
  8. 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
  9. Maurizio Boscardin; Luciano Bosisio; N. Carmel-Barnea; Gian Franco Dalla Betta; Lorenza Ferrario; Giorgio Umberto Pignatel; Mario Zen; Nicola Zorzi,
    First results on double-sided AC-coupled Si strip detectors,
    MIDEM’98,
    , pp. 205-
    210
    , (MIDEM’98,
    Rogavska Slatina, Slovenia,
    09/1998)
  10. R. Fiutem; G. Antoniol,
    Identifying Design-Code Inconsistencies in Object-Oriented Software: a Case Study,
    Proceedings of International Conference on Software Maintenance [ICSM 98],
    , pp. 94-
    102