You are here

Publications

Primary tabs

  1. M. Daniele; Fausto Giunchiglia; M.Y. Vardi,
    Improved Automata Generation for Linear Temporal Logic,
    Proceedings of CAV'99,
  2. E. Giunchiglia; Fausto Giunchiglia; A. Tacchella,
    *SAT, KsatC, DLP and TA: a comparative analysis,
    Proceedings of 1999 International Workshop on Description Logics [DL'99],
  3. J. Haas; V. Warnke; H. Niemann; Mauro Cettolo; A. Corazza; Giuseppe Falavigna; Gianni Lazzari,
    Semantic Boundaries in Multiple Languages,
    Eurospeech `99,
    , pp. 535-
    538
    , (Eurospeech `99,
    Budapest, Hungary,
    05/09/1999 - 09/09/1999)
  4. D. Petrelli; Elena Not; M. Sarini; Oliviero Stock; Carlo Strapparava; Massimo Zancanaro,
    HyperAudio: Location Awareness + Adaptivity,
    Proceedings of CHI ’99 – International Conference on Human Factors in Computing Systems,
  5. G. Benelli; A. Bianchi; P. Marti; Elena Not; D. Sennati,
    HIPS: Hyper-Interaction within the Physical Space,
    Proceedings of IEEE Multimedia System '99,
  6. Chiara Ghidini; Luciano Serafini,
    A Context-based Logic for Distribution Knowledge Representation and Reasoning,
    Second International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT`99),
    Springer,
    vol.1688,
    , pp. 159-
    172
    , (Second International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT`99),
    Trento, Italy,
    09/1999)
  7. D. Petrelli; Elena Not; Massimo Zancanaro,
    Getting Engaged and Getting Tired: What Is in a Museum Experience,
    Proceedings of the Workshop on 'Attitude, p Personality and Emotions in User-Adapted Interaction',
  8. A. De Angeli; W. Gerbino; E. Nodari; D. Petrelli,
    From Tools to Friends: Where Is the Borderline?,
    The Second Workshop on Attitude, Personality and Emotions in User-Adapted Interaction,
  9. Roldano Cattoni; Alessandra Potrich; P. Charlton; E. Mamdani,
    Evaluating the FIPA Standards on the field: an Audio Video Entertainment Application,
    First Asia-Pacific Conference on Intelligent Agent Technology,
    World Scientific Publishing,
    , (First Asia-Pacific Conference on Intelligent Agent Technology,
    Hong Kong,
    14/12/1999 - 17/12/1999)
  10. Flavio Giacomozzi; Vittorio Guarnieri; Benno Margesin; A. Muller; Mario Zen; F. Riesz,
    Micromachined dielectric membranes for microwave applications,
    MEMSWAVE,
    , pp. 11-
    , (MEMSWAVE,
    Sinaia, Romania,
    09/10/1999 - 11/10/1999)