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

Book

Ahuja, Ravindra K. and Orlin, James B. and Pallottino, Stefano and Scaparra, Maria Paola and Scutellà, Maria Grazia (2002) A multi-exchange heuristic for the single source capacitated facility location problem. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Danelutto, Marco (2002) An operational semantic for skeletons. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Amato, Gianluca and Scozzari, Francesca (2002) Optimality in goal-dependent Analysis of Sharing. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bevilacqua, Roberto and Bozzo, Enrico and Menchi, Ornella (2002) SPECT imaging reconstruction through discretization on a polar grid. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bozzo, Enrico (2002) Recovery of certain displacement matrices. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bozzo, Enrico and Fasino, Dario and Menchi, Ornella (2002) The componentwise conditioning of the DFT. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bruni, Roberto and Laneve, C. and Montanari, Ugo (2002) Centralized and distributed orchestration of transactions in the join calculus. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bruni, Roberto and Meseguer, J. and Montanari, Ugo and Sassone, Vladimiro (2002) Functorial models for contextual pre-nets. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Buscemi, Marzia and Montanari, Ugo (2002) Pi-Calculus Early Observational Equivalence: A First Order Coalgebraic Model. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ciriani, Valentina (2002) A New Approach to Three-Level Logic Synthesis. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

D'ambra, P. and Danelutto, Marco and di Serafino, D. and Lapegna, M. (2002) Advanced Parallel and Distributed Programming Environments. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ferragina, Paolo and Manzini, Giovanni (2002) On compressing and indexing data. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gallo, Giorgio (2002) Operations Research: Responsibility, Sharing and Cooperation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Luccio, Fabrizio and Pagli, Linda (2002) Distributed Construction of Almost-Edge-Disjoint Spanning Trees via. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Montangero, Carlo and Semini, Laura (2002) Distributed States Logic. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Scaparra, Maria Paola and Pallottino, Stefano and Scutellà, Maria Grazia (2002) Large scale local search heuristics for the Capacitated Vertex p-Center Problem. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Vanneschi, Marco (2002) ASSIST: an Environment for Parallel and Distributed Portable Applications. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.