You are here

Publications

Primary tabs

  1. Pierluigi Bellutti; Maurizio Boscardin; Alberto Lui; Giovanni Soncini; Mario Zen; Nicola Zorzi,
    Bird`s Beak Reduction by Dry LOCOS Technique,
    Proceedings of the 22nd International Conference on Microelectronics (MIEL `94) and of the 30th Symposium on Devices and Materials (SD `94),
    , pp. 127-
    131
    , (Proceedings of the 22nd International Conference on Microelectronics (MIEL `94) and of the 30th Symposium on Devices and Materials (SD `94),
    Terme Zrece-Rogla, Slovenia,
    28/09/1994 - 30/09/1994)
  2. A. Artale; E. Franconi,
    Persistent Properties in a Description Logic of Time and Action,
    Proceedings of IV Convegno dell'Associazione Italiana per l'Intelligenza Artificiale [AIIA'94],
    , pp. 9-
    12
  3. Fausto Giunchiglia; Paolo Traverso,
    Program Tactics and Logic Tactics,
    Logic Programming and Automated Reasoning, 5th International Conference (LPAR 1994),
    Springer,
    vol.822,
    , pp. 16-
    30
    , (Logic Programming and Automated Reasoning, 5th International Conference (LPAR 1994),
    Kiev, Ukraine,
    1994)
  4. Fausto Giunchiglia; Alessandro Armando; Alessandro Cimatti; Paolo Traverso,
    First steps towards provably correct system synthesis of system code,
    CADE-12 Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems,
    , pp. 28-
    30
    , (CADE-12 Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems,
    Nancy, France,
    1994)
  5. Mauro Di Manzo; Enrico Giunchiglia; Paolo Traverso,
    A three level architecture for the modular specification of knowledge and reasoning strategies,
    ECAI-94 Workshop on Formal Specification Methods for Knowledge-Based Systems,
    , pp. 113-
    127
    , (ECAI-94 Workshop on Formal Specification Methods for Knowledge-Based Systems,
    Amsterdam, The Netherlands,
    1994)
  6. Pierluigi Bellutti; Maurizio Boscardin; Nicola Zorzi; R. Bovo; P. Rossetto; Giovanni Soncini,
    Gettering intrinseco in silicio semiconduttore,
    2° Congresso nazionale sui materiali per Ingegneria - AIMAT 94,
    , pp. 585-
    592
    , (2° Congresso nazionale sui materiali per Ingegneria - AIMAT 94,
    Trento, Italy,
    19/09/1994 - 21/09/1994)
  7. Cristiana Armaroli; Alberto Lui; Benno Margesin; Vittorio Zanini; Mario Zen; Alfredo Maglione; Giovanni Soncini,
    Sensori ChemFET per il controllo ambientale,
    2° Congresso nazionale sui materiali per Ingegneria - AIMAT 94,
    , pp. 577-
    584
    , (2° Congresso nazionale sui materiali per Ingegneria - AIMAT 94,
    Trento, Italy,
    19/09/1994 - 21/09/1994)
  8. Adolfo Villafiorita; Roberto Sebastiani,
    Proof planning by abstraction,
    Proceedings of ECAI94 Workshop: From Theorem Provers to Mathematical Assistants,
    Wiley,
    , pp. 15-
    24
    , (Proceedings of ECAI94 Workshop: From Theorem Provers to Mathematical Assistants,
    Amsterdam, The Netherlands,
    08/08/1994)
  9. A. Schizzerotto,
    Aspetti della diseguaglianza nelle società contemporanee,
    Epidemiologia della diseguaglianza nell'infanzia,
    Roma,
    Istituto Italiano di medicina sociale Editore,
    , pp. 25-
    33
    , (Epidemiologia della diseguaglianza nell'infanzia,
    Roma,
    04/11/1994 a 04/12/1994)
  10. J. K. Tang; L. Li; S.Shanker Saxena; A. Puri; A. U. Falster; W. B. Simmons,
    The effects of arsenic doping on the magnetic-properties of CUCR2SE4,
    in «IEEE TRANSACTIONS ON MAGNETICS»
    , (6th Joint Magnetism and Magnetic Materials-Intermag Conference,
    Albuquerque, NM, USA,
    20-23/06/1994)