You are here

Publications

Primary tabs

  1. G. Antoniol; R. Fiutem; E. Merlo; Paolo Tonella,
    Application and User Interface Migration From Basic and Visual C++,
    Proceedings of the International Conference on Software Maintenance [ICSM 95],
    , pp. 76-
    85
  2. Fausto Giunchiglia; Paolo Bouquet,
    Reasoning about Theory Formulation and Reformulation. A New Solution to the Qualification Problem,
    2nd World Conference on the Fundamentals of Artificial Intelligence [WOCFAI 95],
    , pp. 39-
    50
    , (2nd World Conference on the Fundamentals of Artificial Intelligence [WOCFAI 95],
    Paris, France,
    1995)
  3. Paolo Traverso; Luca Spalazzi; Fausto Giunchiglia,
    Reasoning About Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World,
    Intelligent Agents II - Agent Theories, Architectures, and Languages (ATAL-95),
    Springer,
    vol.1037,
    , pp. 65-
    78
    , (Intelligent Agents II - Agent Theories, Architectures, and Languages (ATAL-95),
    Montreal, Canada,
    1995)
  4. Alessandro Cimatti; Luciano Serafini,
    Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study,
    Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages,
    Springer,
    vol.890,
    , pp. 71-
    85
    , (Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages,
    Amsterdam, The Netherlands,
    1994)
  5. Alessandro Cimatti; Luciano Serafini,
    Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance,
    First International Conference on Multiagent Systems,
    MIT Press,
    , pp. 57-
    64
    , (First International Conference on Multiagent Systems,
    San Francisco, California,
    1995)
  6. Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini,
    Agents as Reasoners, Observers, or Arbitrary Believers,
    First International Conference on Multiagent Systems,
    MIT Press,
    , pp. 448-
    , (First International Conference on Multiagent Systems,
    San Francisco, California,
    1995)
  7. M. Conti; S. Orcioni; C. Turchetti; Pierluigi Bellutti; Mario Zen; Nicola Zorzi; Giovanni Soncini,
    An efficient method to predict drain current dispersion in MOS transistors from technological parameters fluctuations,
    IEEE International Conference on Microelectronics Test Structures ICMTS 95,
    vol.8,
    , pp. 209-
    214
    , (IEEE International Conference on Microelectronics Test Structures ICMTS 95,
    Nara, Japan,
    03/1995)
  8. Pierluigi Bellutti; Maurizio Boscardin; Giovanni Soncini; Mario Zen; Nicola Zorzi,
    On the choice of the optimum silicon substrate for CCD/CMOS technology,
    Proceedings of the 4th International Conference on Solid-State and Integrated-Circuit Technology,
    , pp. 176-
    178
    , (Proceedings of the 4th International Conference on Solid-State and Integrated-Circuit Technology,
    Beijing, China,
    24/10/1995 - 28/10/1995)
  9. G. Antoniol; Fabio Brugnara; Mauro Cettolo; Marcello Federico,
    Language Model Representations for Beam-Search Decoding,
    ICASSP `95,
    , pp. 588-
    591
    , (ICASSP `95,
    Detroit, MI,
    08/05/1995 - 12/05/1995)
  10. Adolfo Villafiorita,
    Reasoning by Analogy via Abstraction,
    Proceedings of the Symposium on Abstraction, Reformulation and Approximation, SARA-95,
    , pp. 156-
    162
    , (Proceedings of the Symposium on Abstraction, Reformulation and Approximation, SARA-95,
    Ville d Esterel, Canada,
    16/08/1995 - 19/08/1995)