You are here

Publications

Primary tabs

  1. P. Lee; A. Sartori; Gian Pietro Tecchiolli; I. Lazzizzera; A. Zorat,
    Advances in the Design of the TOTEM Neurochip,
  2. A. Bundy; Fausto Giunchiglia; Roberto Sebastiani; T. Walsh,
    Calculating Criticalities,
    , pp. 39 -
    67
  3. Cesare Furlanello; Diego Giuliani,
    Reti neurali e trasformazioni spettrali per l`adattamento al parlatore,
    in «RIVISTA ITALIANA DI ACUSTICA»,
    n. 4,
    , pp. 125 -
    129
  4. Fausto Giunchiglia; P. Pecchiari; A. Armando,
    Towards Provably Correct System Synthesis and Extension,
    , pp. 1 -
    15
  5. Roberto Brunelli; Ornella Mich,
    Spot It! An Interactive Indentikit System,
    in «GRAPHICAL MODELS AND IMAGE PROCESSING»,
    vol. 58,
    n. 5,
    , pp. 399 -
    404
  6. Fabio Pianesi; A.C. Varzi,
    Events, Topology and Temporal Relations,
    , pp. 89 -
    116
  7. Paolo Bresciani,
    The Challenge of Integrating Knowledge Representation and Databases,
  8. M. Kaufmann; P. Pecchiari,
    Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem,
    , pp. 181 -
    222
  9. Fausto Giunchiglia; E. Giunchiglia,
    Ideal and Real Belief about Belief: Some Intuitions,
    in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE»,
    vol. 1038,
    , pp. 1 -
    12
  10. Fabio Pianesi; A.C. Varzi,
    Refining Temporal Reference in Event Structures,
    , pp. 17 -
    27