Previous TR...   1995    1996    1997   1998    1999    2000    2001    2002    2003    2004    2005    2006    2007    2008    2009    2010    2011    2012    2013    2014    2015    2016    2017    2018    2019    2020    2021    2022    2023    2024  

Ricerca:

List of technical reports of year 1997


Semini, Laura; Montangero, Carlo. A Refinement Calculus for Tuple Spaces , March 15, 1997 abstract.
TR-99-10 - 212 kb

Luccio, Fabrizio; Mahafzah, M.; Omari, M.; Pagli, Linda. Masked Interval Routing: a New Routing Scheme , December 05, 1997 abstract.
TR-97-23 - 99 kb

Giacobazzi, Roberto; Ranzato, Francesco. Making abstract interpretations complete , November 03, 1997 abstract.
TR-97-22 - 245 kb

Pedreschi, Dino; Ruggieri, Salvatore. On logic programs that do not fail , October 08, 1997 abstract.
TR-97-21 - 102 kb

Ambriola, Vincenzo; Cignoni, Giovanni A.. Il monitoraggio dei contratti di grande rilievo , September 30, 1997 abstract.
TR-97-20 - 794 kb

Gervasi, Vincenzo; Raffaetà, Alessandra. Active-U-Datalog: integrating active rules in a deductive database , July 15, 1997 abstract.
TR-97-19 - 178 kb

van Breugel, Franck. Failures, Finiteness, and Full Abstraction , September 09, 1997 abstract.
TR-97-18 - 88 kb

van Breugel, Franck. Terminal Metric Spaces of Finitely Branching and Image Finite Linear processes , September 09, 1997 abstract.
TR-97-17 - 71 kb

van Breugel, Franck. A Labelled Transition System for pi_epsilon-Calculus , September 09, 1997 abstract.
TR-97-16 - 90 kb

Bini, D. A.; Gemignani, Luca. Fast fraction-free triangularization of Bezoutians with applications to sub-resultant chain computation , September 05, 1997 abstract.
TR-97-15 - 110 kb

Corradini, Andrea; Drewes, Frank. (Cyclic) Term Graph Rewriting is adequate for Rational Parallel Term Rewriting , July 16, 1997 abstract.
TR-97-14 - 178 kb

Giacobazzi, Roberto; Ranzato, Francesco. Functional Compositions of Abstract Interpretations , July 02, 1997 abstract.
TR-97-13 - 239 kb

Giacobazzi, Roberto; Ranzato, Francesco. Lifting complete orders to achieve co-additivity of closure operators , June 25, 1997 abstract.
TR-97-12 - 113 kb

Giacobazzi, Roberto. Abductive analysis of modular logic programs , June 25, 1997 abstract.
TR-97-11 - 181 kb

Manca, Vincenzo. Logical Formalizations of Syntactical Properties (Extended Abstract) , June 23, 1997 abstract.
TR-97-10 - 85 kb

Paiano, Pietro; Pallottino, Stefano. Motivazioni comportamentali e insiemi attrattivi nei modelli stocastici per il trasporto collettivo , May 22, 1997 abstract.
TR-97-09 - 87 kb

Gemignani, Luca. A hybrid approach to some stability problems for bivariate polynomials , May 02, 1997 abstract.
TR-97-08 - 99 kb

Pisanti, Nadia. A survey on DNA computing , April 16, 1997 abstract.
TR-97-07 - 203 kb

Pallottino, Stefano; Scutellà, Maria Grazia. Shortest Path Algorithms in Transportation models: classical and innovative aspects , April 14, 1997 abstract.
TR-97-06 - 114 kb

Pedreschi, Dino; Ruggieri, Salvatore. Verification of Logic Programs , February 10, 1997 abstract.
TR-97-05 - 196 kb

Manconi, Carlo; Cantalupo, Barbara. Using MPI for P3L Implementation , February 06, 1997 abstract.
TR-97-04 - 93 kb

Gemignani, Luca. GCD of polynomials and Bezout matrices , January 13, 1997 abstract.
TR-97-03 - 82 kb

Brogi, Antonio; Contiero, Simone; Turini, Franco. Programming by Combining General Logic Programs , January 13, 1997 abstract.
TR-97-02 - 88 kb

Manca, Vincenzo; Martino, D. M.. From string rewriting to logical metabolic systems , January 13, 1997 abstract.
TR-97-01 - 100 kb