You are here

Publications

Primary tabs

  1. Bruno Caprile; Paolo Tonella,
    Restructuring Program Identifier Names,
    Proceedings of the International Conference on Software Maintenance 2000 [ICSM'2000],,
    , pp. 97-
    107
  2. 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],
    , (5th International Workshop on Formal Methods for Industrial Critical Systems [FMICS],
    Berlin, Germany,
    2000)
  3. Enrico Blanzieri; A. Ebranati,
    COOL-TOUR: A Case Based Reasoning System for Tourism Culture Support,
    Advances in Case-Based Reasoning. Proceedings of the 5th European Workshop EWCBR-2000,
  4. Massimo Benerecetti; Fausto Giunchiglia,
    Model Checking Security Protocols Using a Logic of Belief,
    Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems [TACAS2000],
    , pp. 519-
    534
    , (Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems [TACAS2000],
    2000)
  5. Massimo Benerecetti; Fausto Giunchiglia; M. Panti; Luca Spalazzi,
    A Logic of Belief and a Model Checking Algorithm for Security Protocols,
    Formal Methods for Distributed System Development. Proceedings of FORTE/PSTV 2000. IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specificatio...,
    , pp. 393-
    408
    , (Formal Methods for Distributed System Development. Proceedings of FORTE/PSTV 2000. IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX),
    2000)
  6. Pierluigi Bellutti; Maurizio Boscardin; Gian Franco Dalla Betta; Nicola Zorzi; Giovanni Soncini,
    Sensore di colore a tripla giunzione in tecnologia CMOS standard,
    Atti del 6° Convegno Nazionale `Strumentazione e Metodi di Misura Elettroottici` (ELETTROOTTICA 2000),
    , pp. 201-
    204
    , (Atti del 6° Convegno Nazionale `Strumentazione e Metodi di Misura Elettroottici` (ELETTROOTTICA 2000),
    Padova, Italy,
    03/05/2000 - 05/05/2000)
  7. F. Ciravegna; L. Gilardoni; Alberto Lavelli; S. Mazza; W.J. Black; M. Ferraro; Nadia Mana; J. Matiasek; F. Rinaldi,
    Flexible Text Classification for Financial Applications. The FACILE System,
    PAIS-2000, Prestigious Applications of Intelligent Systems, sub-conference of ECAI-2000,
    , pp. 696-
    700
    , (PAIS-2000, Prestigious Applications of Intelligent Systems, sub-conference of ECAI-2000,
    Berlin, Germany,
    2000)
  8. Mauro Cettolo,
    Segmentation, Classification and Clustering of an Italian Broadcast News Corpus,
    RIAO 2000,
    , pp. 372-
    381
    , (RIAO 2000,
    Paris, France,
    12/04/2000 - 14/04/2000)
  9. Enrico Blanzieri; Claudio Eccher; Stefano Forti; Andrea Sboner,
    Exploiting Classifier Combination for Early Melanoma Diagnosis Support,
    11th European Conference on Machine Learning,
    Springer,
    vol.1810,
    , (11th European Conference on Machine Learning,
    Barcelona, Catalonia, Spain,
    31/05/2000 - 02/06/2000)
  10. Fabio Brugnara; Mauro Cettolo; Marcello Federico; Diego Giuliani,
    A System for the Segmentation and Transcription of Italian Radio News,
    RIAO 2000,
    , pp. 364-
    371
    , (RIAO 2000,
    Paris, France,
    12/04/2000 - 14/04/2000)