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

Book

Accettella, Carlo J. and Del Corso, Gianna M. and Manzini, Giovanni (2001) Inversion of two level circulant matrices over Z_p. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ahuja, Ravindra K. and Orlin, James B. and Pallottino, Stefano and Scutellà, Maria Grazia (2001) Dynamic Shortest Paths Minimizing Travel Times and Costs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ambrosino, D. and Scutellà, Maria Grazia (2001) Distribution network design: new problems and related models. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Baldan, Paolo and Corradini, Andrea and Ehrig, H. and Heckel, Reiko (2001) Compositional Semantics of Open Petri Nets based on Deterministic Processes. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Baldan, Paolo and Mancarella, Paolo and Raffaetà, Alessandra and Turini, Franco (2001) MuTACLP: A language for temporal reasoning with multiple theories. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bellia, Marco and Occhiuto, Maria Eugena (2001) New Bounds in Parallel Unification. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bernasconi, Anna and Ciriani, Valentina and Luccio, Fabrizio and Pagli, Linda (2001) Fast Three-Level Logic Minimization Based on Autosymmetry. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bevilacqua, Roberto and Bozzo, Enrico and Menchi, Ornella (2001) SPECT imaging reconstruction Proposal of an algorithm which exploits the matrix structure. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bigi, Giancarlo and Castellani, Marco (2001) K-epiderivatives for Set-Valued Functions and Optimization. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bigi, Giancarlo and Pappalardo, Massimo (2001) What is duality gap in vector optimization ? Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cappanera, Paola and Gallo, Giorgio (2001) On the Airline Crew Rostering Problem. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cappanera, Paola and Trubian, Marco (2001) A local search based heuristic for the demand constrained. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ciriani, Valentina and Ferragina, Paolo and Luccio, Fabrizio and Muthukrishnan, S. (2001) Self-adjusting Data Structures for External Memory String Access. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Coppola, Massimo and Vanneschi, Marco (2001) High-Performance Data Mining with Skeleton-based Structured Parallel Programming. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Corradini, Andrea and Heckel, Reiko and Montanari, Ugo (2001) Compositional SOS and Beyond: A Coalgebraic View of Open Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Dell'Olmo, P. and Hansen, P. and Pallottino, Stefano and Storchi, G. (2001) On uniform k-partition problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Franceschini, Gianni (2001) Some New Results for k-Dense Trees: Graph Theory. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Franceschini, Gianni (2001) Some New Results for k-Dense Trees: NP-Completeness Theory. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gervasi, Vincenzo (2001) The Cico Domain-Based Parser. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gervasi, Vincenzo and Prencipe, Giuseppe (2001) Flocking by a Set of Autonomous Mobile Robots. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Giacobazzi, Roberto and Ranzato, Francesco and Scozzari, Francesca (2001) Optimal Semantics and Domains in Logic Program Analysis. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Luccio, Fabrizio and Mesa Enriquez, Antonio and Olivares Rieumont, P. and Pagli, Linda (2001) Exact Rooted Subtree Matching in Sublinear Time. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pallottino, Stefano and Scutellà, Maria Grazia (2001) A new algorithm for reoptimizing shortest paths when the arc costschange. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pisanti, Nadia and Marangoni, Roberto and Ferragina, Paolo and Frangioni, Antonio and Luccio, Fabrizio and Savona, Antonio (2001) PaTre: a method for Paralogy Trees construction. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Scaparra, Maria Paola and Scutellà, Maria Grazia (2001) Facilities, Locations, Customers: Building Blocks of Location Models. A Survey. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Scutellà, Maria Grazia (2001) An approximation algorithm for computing longest paths. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.