Items where Division is "Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA" and Year is 1997

Ambriola, Vincenzo and Cignoni, Giovanni A. (1997) Il monitoraggio dei contratti di grande rilievo. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bini, D. A. and Gemignani, Luca (1997) Fast fraction-free triangularization of Bezoutians with applications to sub-resultant chain computation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Brogi, Antonio and Contiero, Simone and Turini, Franco (1997) Programming by Combining General Logic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ciuffoletti, Augusto and Alari, Gianluigi (1997) Implementing a probabilistic clock synchronization algorithm. Real-Time Systems, 13 (1). pp. 25-46. ISSN 0922-6443

Corradini, Andrea and Drewes, Frank (1997) (Cyclic) Term Graph Rewriting is adequate for Rational Parallel Term Rewriting. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1997) GCD of polynomials and Bezout matrices. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1997) A hybrid approach to some stability problems for bivariate polynomials. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gervasi, Vincenzo and Raffaetà, Alessandra (1997) Active-U-Datalog: integrating active rules in a deductive database. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Giacobazzi, Roberto (1997) Abductive analysis of modular logic programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Giacobazzi, Roberto and Ranzato, Francesco (1997) Functional Compositions of Abstract Interpretations. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Giacobazzi, Roberto and Ranzato, Francesco (1997) Lifting complete orders to achieve co-additivity of closure operators. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Giacobazzi, Roberto and Ranzato, Francesco (1997) Making abstract interpretations complete. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Luccio, Fabrizio and Mahafzah, M. and Omari, M. and Pagli, Linda (1997) Masked Interval Routing: a New Routing Scheme. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Manca, Vincenzo (1997) Logical Formalizations of Syntactical Properties (Extended Abstract). Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Manca, Vincenzo and Martino, D. M. (1997) From string rewriting to logical metabolic systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Manconi, Carlo and Cantalupo, Barbara (1997) Using MPI for P3L Implementation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Paiano, Pietro and Pallottino, Stefano (1997) Motivazioni comportamentali e insiemi attrattivi nei modelli stocastici per il trasporto collettivo. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pallottino, Stefano and Scutellà, Maria Grazia (1997) Shortest Path Algorithms in Transportation models: classical and innovative aspects. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pedreschi, Dino and Ruggieri, Salvatore (1997) On logic programs that do not fail. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pedreschi, Dino and Ruggieri, Salvatore (1997) Verification of Logic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pisanti, Nadia (1997) A survey on DNA computing. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Semini, Laura and Montangero, Carlo (1997) A Refinement Calculus for Tuple Spaces. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

van Breugel, Franck (1997) Failures, Finiteness, and Full Abstraction. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

van Breugel, Franck (1997) A Labelled Transition System for pi_epsilon-Calculus. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

van Breugel, Franck (1997) Terminal Metric Spaces of Finitely Branching and Image Finite Linear processes. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.