You are here

Publications

Primary tabs

  1. Fausto Giunchiglia; Paolo Traverso,
    A Metatheory of a Mechnized Object Theory,
    The goal of this paper is to propose a metatheory, MT which describes the computation which carries out deduction in the object theory. MT is proved to have some `standard` properties, eg. it is consistent and is is such that theoremhood of the name of a,
  2. Mario Zen; Franco Moscon; Alberto Lui; Nicola Zorzi; Giovanni Soncini,
    Photosensors modelling and characterization,
  3. Maurizio Dapor,
    Monte Carlo simulation of the energy deposited by few keV electrons penetrating in thick targets,
    in «PHYSICS LETTERS A»,
    vol. 158,
    , pp. 425 -
    430
  4. Maurizio Dapor,
    Penetration of an electron beam in a thin solid film: The influence of backscattering from the substrate,
    in «PHYSICAL REVIEW. B, CONDENSED MATTER»,
    vol. 42,
    , pp. 10118 -
    10123
  5. Fausto Giunchiglia; Paolo Traverso; Luciano Serafini,
    La deduzione automatica,
    in «SISTEMI INTELLIGENTI»,
    vol. 1,
  6. A. Tiziani; A. Molinari; Mariano Anderle; Roberto Canteri,
    Correlation between Microstructural and SIMS Analysis of Cast Irons Inoculated with CG Alloy,
    in «JOURNAL OF MATERIALS SCIENCE»,
    vol. 25,
    , pp. 1018 -
    1024
  7. R. Nipoti; M. Bianconi; R. Fabbri; M. Servidori; S. Nicoletti; Roberto Canteri,
    Electrical and Structural Characterization of Silicon Layers Directly Doped with Boron by Excimer Laser Irradiation,
    in «APPLIED SURFACE SCIENCE»,
    vol. 43,
    , pp. 321 -
    324
  8. L. Meda; G.F. Cerofolini; G. Ottaviani; R. Tonini; F. Corni; R. Balboni; Mariano Anderle; Roberto Canteri; R. Dierckx,
    Evidence for Molecular Hydrogen in Single Crystal Silicon,
    in «PHYSICA. B, CONDENSED MATTER»,
    vol. 170,
    , pp. 259 -
    264
  9. G. Queirolo; C. Bresolin; D. Robba; Mariano Anderle; Roberto Canteri; A. Armigliato; G. Ottaviani; S. Frabboni,
    Low Temperature Dopant Activation of BF2 Implanted Silicon,
    in «JOURNAL OF ELECTRONIC MATERIALS»,
    vol. 20,
    n. 5,
    , pp. 373 -
    378
  10. R., Fabbri; M., Servidori; S., Solmi; S., Frabboni; G., Ottaviani; Rita, Tonini; Canteri, Roberto,
    in «APPLIED PHYSICS. A, SOLIDS AND SURFACES»,
    vol. 53,
    , pp. 222 -
    226