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

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.

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.

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.

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.

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.

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.

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.

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

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