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  

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