UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

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

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Item Type | No Grouping
Jump to: A | B | C | D | F | G | L | M | S | V
Number of items: 17.

A

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.

B

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.

C

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

D

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.

F

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

G

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

L

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.

M

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

S

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.

V

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

This list was generated on Sun Nov 19 00:01:06 2017 CET.