UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

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

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 | P | R | S
Number of items: 19.

A

Alessi, F. and Baldan, Paolo and Honsell, F. (2000) A category of compositional domain-models for separable Stone spaces. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

B

Baldan, Paolo and Busi, N. and Corradini, Andrea and Pinna, G.M. (2000) Domain and Event Structure Semantics for Petri Nets with Read and Inhibitors arcs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bigi, Giancarlo and Castellani, Marco (2000) Uniqueness of KKT Multipliers in Multiobjective Programming. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bruni, Roberto and de Frutos-Escrig, D. and Marti-Oliet, N. and Montanari, Ugo (2000) Tile Bisimilarity Congruences for Open Terms and Term Graphs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

C

Cappanera, Paola and Frangioni, Antonio (2000) Embedding a Bundle Method in a Branch and Bound Framework: an Application-Oriented Development. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cappanera, Paola and Gallo, Giorgio and Maffioli, Francesco (2000) Discrete Facility Location and Routing of Obnoxious Activities. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ciriani, Valentina (2000) The characterization of the sub-pseudocubes of a pseudocube. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Corradini, Andrea and Gadducci, Fabio and Kahl, W. (2000) Term Graph Syntax for Multi-Algebras. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

D

Del Corso, Gianna M. and Romani, Francesco (2000) Heuristic Spectral Techniques for the Reduction of Bandwidth and Work-Bound of Sparse. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Di Miele, Federico and Gallo, Giorgio (2000) On the Dispatching Problem. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

F

Ferragina, Paolo and Manzini, Giovanni (2000) Opportunistic data structures with applications. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ferragina, Paolo and Muthukrishnan, S. (2000) On 2-Tuple String Matching. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio (2000) Generalized Bundle Method. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Necciari, Emiliano and Scutellà, Maria Grazia (2000) A multi-exchange neighborhood for minimum makespan machine. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

G

Grossi, Roberto and Italiano, Giuseppe F. (2000) Revised version of ``Efficient Cross-Trees for External Memory''. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

P

Prencipe, Giuseppe (2000) Achievable Patterns by an Even Number of Autonomous Mobile Robots. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Prencipe, Giuseppe (2000) A New Distributed Model to Control and Coordinate a Set of Autonomous Mobile Robots: The CORDA Model. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

R

Ruggieri, Salvatore (2000) Efficient C4.5. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

S

Spadafora, Ippolito (2000) Filosofia del Computer: aspetti e implicazioni. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

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