List of technical reports of year 2001

Bernasconi, Anna; Ciriani, Valentina; Luccio, Fabrizio; Pagli, Linda. Fast Three-Level Logic Minimization Based on Autosymmetry , December 07, 2001 abstract. TR-01-27 - 153 kb
Ciriani, Valentina; Ferragina, Paolo; Luccio, Fabrizio; Muthukrishnan, S.. Self-adjusting Data Structures for External Memory String Access , November 20, 2001 abstract. TR-01-26 - 179 kb
Gervasi, Vincenzo. The Cico Domain-Based Parser , November 02, 2001 abstract. TR-01-25 - 232 kb
Gervasi, Vincenzo; Prencipe, Giuseppe. Flocking by a Set of Autonomous Mobile Robots , October 30, 2001 abstract. TR-01-24 - 226 kb
Ahuja, Ravindra K.; Orlin, James B.; Pallottino, Stefano; Scutellà, Maria Grazia. Dynamic Shortest Paths Minimizing Travel Times and Costs , October 30, 2001 abstract. TR-01-23 - 109 kb
Baldan, Paolo; Mancarella, Paolo; Raffaetà, Alessandra; Turini, Franco. MuTACLP: A language for temporal reasoning with multiple theories , October 23, 2001 abstract. TR-01-22 - 246 kb
Baldan, Paolo; Corradini, Andrea; Ehrig, H.; Heckel, Reiko. Compositional Semantics of Open Petri Nets based on Deterministic Processes , September 28, 2001 abstract. TR-01-21 - 556 kb
Pisanti, Nadia; Marangoni, Roberto; Ferragina, Paolo; Frangioni, Antonio; Luccio, Fabrizio; Savona, Antonio. PaTre: a method for Paralogy Trees construction , September 24, 2001 abstract. TR-01-20 - 120 kb
Franceschini, Gianni. Some New Results for k-Dense Trees: NP-Completeness Theory , September 14, 2001 abstract. TR-01-19 - 240 kb
Scaparra, Maria Paola; Scutellà, Maria Grazia. Facilities, Locations, Customers: Building Blocks of Location Models. A Survey. , September 14, 2001 abstract. TR-01-18 - 153 kb
Accettella, Carlo J.; Del Corso, Gianna M.; Manzini, Giovanni. Inversion of two level circulant matrices over Z_p , September 14, 2001 abstract. TR-01-17 - 277 kb
Franceschini, Gianni. Some New Results for k-Dense Trees: Graph Theory , September 04, 2001 abstract. TR-01-16 - 286 kb
Bigi, Giancarlo; Pappalardo, Massimo. What is duality gap in vector optimization ? , July 18, 2001 abstract. TR-01-15 - 142 kb
Luccio, Fabrizio; Mesa Enriquez, A.; Olivares Rieumont, P.; Pagli, Linda. Exact Rooted Subtree Matching in Sublinear Time , July 09, 2001 abstract. TR-01-14 - 110 kb
Bigi, Giancarlo; Castellani, Marco. K-epiderivatives for Set-Valued Functions and Optimization , June 26, 2001 abstract. TR-01-13 - 135 kb
Bevilacqua, Roberto; Bozzo, Enrico; Menchi, Ornella. SPECT imaging reconstruction Proposal of an algorithm which exploits the matrix structure , June 15, 2001 abstract. TR-01-12 - 150 kb
Pallottino, Stefano; Scutellà, Maria Grazia. A new algorithm for reoptimizing shortest paths when the arc costschange , June 04, 2001 abstract. TR-01-11 - 163 kb
Cappanera, Paola; Trubian, Marco. A local search based heuristic for the demand constrained , June 01, 2001 abstract. TR-01-10 - 189 kb
Giacobazzi, Roberto; Ranzato, Francesco; Scozzari, Francesca. Optimal Semantics and Domains in Logic Program Analysis , May 28, 2001 abstract. TR-01-09 - 186 kb
Cappanera, Paola; Gallo, Giorgio. On the Airline Crew Rostering Problem , May 26, 2001 abstract. TR-01-08 - 189 kb
Dell'Olmo, P.; Hansen, P.; Pallottino, Stefano; Storchi, G.. On uniform k-partition problems , May 16, 2001 abstract. TR-01-07 - 125 kb
Coppola, Massimo; Vanneschi, Marco. High-Performance Data Mining with Skeleton-based Structured Parallel Programming , May 08, 2001 abstract. TR-01-06 - 177 kb
Ambrosino, D.; Scutellà, Maria Grazia. Distribution network design: new problems and related models , February 14, 2001 abstract. TR-01-05 - 87 kb
Scutellà, Maria Grazia. An approximation algorithm for computing longest paths , January 24, 2001 abstract. TR-01-04 - 91 kb
Bellia, Marco; Occhiuto, M. Eugenia. New Bounds in Parallel Unification , January 23, 2001 abstract. TR-01-03 - 79 kb
Corradini, Andrea; Heckel, Reiko; Montanari, Ugo. Compositional SOS and Beyond: A Coalgebraic View of Open Systems , January 11, 2001 abstract. TR-01-01 - 159 kb

Bernasconi, Anna; Ciriani, Valentina; Luccio, Fabrizio; Pagli, Linda. Fast Three-Level Logic Minimization Based on Autosymmetry , December 07, 2001 abstract.
TR-01-27 - 153 kb

Ciriani, Valentina; Ferragina, Paolo; Luccio, Fabrizio; Muthukrishnan, S.. Self-adjusting Data Structures for External Memory String Access , November 20, 2001 abstract.
TR-01-26 - 179 kb

Gervasi, Vincenzo. The Cico Domain-Based Parser , November 02, 2001 abstract.
TR-01-25 - 232 kb

Gervasi, Vincenzo; Prencipe, Giuseppe. Flocking by a Set of Autonomous Mobile Robots , October 30, 2001 abstract.
TR-01-24 - 226 kb

Ahuja, Ravindra K.; Orlin, James B.; Pallottino, Stefano; Scutellà, Maria Grazia. Dynamic Shortest Paths Minimizing Travel Times and Costs , October 30, 2001 abstract.
TR-01-23 - 109 kb

Baldan, Paolo; Mancarella, Paolo; Raffaetà, Alessandra; Turini, Franco. MuTACLP: A language for temporal reasoning with multiple theories , October 23, 2001 abstract.
TR-01-22 - 246 kb

Baldan, Paolo; Corradini, Andrea; Ehrig, H.; Heckel, Reiko. Compositional Semantics of Open Petri Nets based on Deterministic Processes , September 28, 2001 abstract.
TR-01-21 - 556 kb

Pisanti, Nadia; Marangoni, Roberto; Ferragina, Paolo; Frangioni, Antonio; Luccio, Fabrizio; Savona, Antonio. PaTre: a method for Paralogy Trees construction , September 24, 2001 abstract.
TR-01-20 - 120 kb

Franceschini, Gianni. Some New Results for k-Dense Trees: NP-Completeness Theory , September 14, 2001 abstract.
TR-01-19 - 240 kb

Scaparra, Maria Paola; Scutellà, Maria Grazia. Facilities, Locations, Customers: Building Blocks of Location Models. A Survey. , September 14, 2001 abstract.
TR-01-18 - 153 kb

Accettella, Carlo J.; Del Corso, Gianna M.; Manzini, Giovanni. Inversion of two level circulant matrices over Z_p , September 14, 2001 abstract.
TR-01-17 - 277 kb

Franceschini, Gianni. Some New Results for k-Dense Trees: Graph Theory , September 04, 2001 abstract.
TR-01-16 - 286 kb

Bigi, Giancarlo; Pappalardo, Massimo. What is duality gap in vector optimization ? , July 18, 2001 abstract.
TR-01-15 - 142 kb

Luccio, Fabrizio; Mesa Enriquez, A.; Olivares Rieumont, P.; Pagli, Linda. Exact Rooted Subtree Matching in Sublinear Time , July 09, 2001 abstract.
TR-01-14 - 110 kb

Bigi, Giancarlo; Castellani, Marco. K-epiderivatives for Set-Valued Functions and Optimization , June 26, 2001 abstract.
TR-01-13 - 135 kb

Bevilacqua, Roberto; Bozzo, Enrico; Menchi, Ornella. SPECT imaging reconstruction Proposal of an algorithm which exploits the matrix structure , June 15, 2001 abstract.
TR-01-12 - 150 kb

Pallottino, Stefano; Scutellà, Maria Grazia. A new algorithm for reoptimizing shortest paths when the arc costschange , June 04, 2001 abstract.
TR-01-11 - 163 kb

Cappanera, Paola; Trubian, Marco. A local search based heuristic for the demand constrained , June 01, 2001 abstract.
TR-01-10 - 189 kb

Giacobazzi, Roberto; Ranzato, Francesco; Scozzari, Francesca. Optimal Semantics and Domains in Logic Program Analysis , May 28, 2001 abstract.
TR-01-09 - 186 kb

Cappanera, Paola; Gallo, Giorgio. On the Airline Crew Rostering Problem , May 26, 2001 abstract.
TR-01-08 - 189 kb

Dell'Olmo, P.; Hansen, P.; Pallottino, Stefano; Storchi, G.. On uniform k-partition problems , May 16, 2001 abstract.
TR-01-07 - 125 kb

Coppola, Massimo; Vanneschi, Marco. High-Performance Data Mining with Skeleton-based Structured Parallel Programming , May 08, 2001 abstract.
TR-01-06 - 177 kb

Ambrosino, D.; Scutellà, Maria Grazia. Distribution network design: new problems and related models , February 14, 2001 abstract.
TR-01-05 - 87 kb

Scutellà, Maria Grazia. An approximation algorithm for computing longest paths , January 24, 2001 abstract.
TR-01-04 - 91 kb

Bellia, Marco; Occhiuto, M. Eugenia. New Bounds in Parallel Unification , January 23, 2001 abstract.
TR-01-03 - 79 kb

Corradini, Andrea; Heckel, Reiko; Montanari, Ugo. Compositional SOS and Beyond: A Coalgebraic View of Open Systems , January 11, 2001 abstract.
TR-01-01 - 159 kb