UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

Items where Subject is "Area01 - Scienze matematiche e informatiche > INF/01 - Informatica"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type
Jump to: A | B | C | D | F | G | H | L | M | N | O | P | R | S | T | V | Z
Number of items at this level: 436.

A

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 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.

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.

Ahuja, Ravindra K. and Orlin, James B. and Pallottino, Stefano and Scutellà, Maria Grazia (1999) Minimum time and minimum cost path problems in street networks with traffic lights. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Albano, Michele and Chessa, Stefano and Nidito, Francesco and Pelagatti, Susanna (2006) Q-NiGHT: Adding QoS to Data Centric Storage in Non-Uniform Sensor Networks. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Anardu, L and Danelutto, Marco and Kilpatrick, Peter and Torquati, Massimo (2011) Targeting multi cores by structured programming and data flow. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Bertolli, Carlo and Campa, Sonia and Coppola, Massimo and Vanneschi, Marco and Veraldi, Luca and Zoccolo, Corrado (2006) Self-Configuring and Self-Optimising Grid Components in the GCM model and their ASSIST Implementation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Bracciali, Andrea and Liò, Pietro and Sorathiya, Anil and Torquati, Massimo (2010) StochKit-FF: Efficient Systems Biology on Multicore Architectures. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Campa, Sonia and Danelutto, Marco and Kilpatrick, Peter and Dazzi, Patrizio and Laforenza, Domenico and Tonellotto, Nicola (2007) Behavioural skeletons for component autonomic management on grids. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Coppola, Massimo and Danelutto, Marco and Vanneschi, Marco and Zoccolo, Corrado (2004) ASSIST as a Research Framework for High-performance Grid Programming Environments. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Danelutto, Marco (2006) The cost of security in skeletal systems. 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.

Aldinucci, Marco and Danelutto, Marco and Giaccherini, Gianni and Torquati, Massimo and Vanneschi, Marco (2005) Towards a distributed scalable data service for the Grid. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Danelutto, Marco and Kilpatrick, Peter (2009) Handling multiple non functional concerns in behavioural skeletons. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Danelutto, Marco and Kilpatrick, Peter (2007) Management in distributed systems: a semi-formal approach. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Danelutto, Marco and Kilpatrick, Peter (2007) Orc + metadata supporting grid programming. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Danelutto, Marco and Kilpatrick, Peter and Meneghin, Massimiliano and Torquati, Massimo (2010) Accelerating sequential programs using FastFlow and self-offloading. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Danelutto, Marco and Kilpatrick, Peter and Xhagjika, Vamis (2010) LIBERO: a LIghtweight BEhaviouRal skeletOn framework. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Danelutto, Marco and Paternesi, Andrea and Ravazzolo, Roberto and Vanneschi, Marco (2005) Building Interoperable Grid-aware ASSIST Applications via Web Services. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Danelutto, Marco and Torquati, Massimo (2012) FastFlow tutorial. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Meneghin, Massimiliano and Torquati, Massimo (2009) FastFlow: Efficient Parallel Streaming Applications on Multi-core. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Petrocelli, Alessandro and Pistoletti, Edoardo and Torquati, Massimo and Vanneschi, Marco and Veraldi, Luca and Zoccolo, Corrado (2005) Dynamic reconfiguration of Grid-aware applications in ASSIST. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Ruggieri, Salvatore and Torquati, Massimo (2010) Porting Decision Tree Algorithms to Multicore using FastFlow. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Ruggieri, Salvatore and Torquati, Massimo (2011) Porting Decision Tree Building and Pruning Algorithms to Multicore using FastFlow. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Torquati, Massimo (2004) Accelerating Apache farms through ad-HOC distributed scalable objects repository. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Torquati, Massimo and Vanneschi, Marco and Alessandro, Gervaso and Zuccato, Pierfrancesco and cacitti, Manuel (2007) VirtuaLinux Design Principles. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Tuosto, Emilio (2008) Toward a Formal Semantics for Autonomic Components. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

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.

Amato, Gianluca and Coppola, Massimo and Gnesi, Stefania and Scozzari, Francesca and Semini, Laura (2005) Modeling Web Applications by the Multiple Levels of Integrity Policy. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Amato, Gianluca and Scozzari, Francesca (2005) On abstract unification for variable aliasing. 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.

Ambriola, Vincenzo and Cignoni, Giovanni A. (1997) Il monitoraggio dei contratti di grande rilievo. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ambriola, Vincenzo and Cignoni, Giovanni A. (1996) Il monitoraggio del processo software: una soluzione dal punto di vista del committente. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ambriola, Vincenzo and Gervasi, Vincenzo (2003) The Circe approach to the systematic analysis of NL requirements. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ambriola, Vincenzo and Telmon, Claudio (1996) Sistema di protezione per il Dipartimento di Informatica. 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.

Anderegg, Luzi and Cieliebak, Mark and Prencipe, Giuseppe (2003) The Weber Point can be Found in Linear Time for Points in Biangular Configuration. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Andreozzi, Sergio and Ciuffoletti, Augusto and Ghiselli, Antonia and Vistoli, Cristina (2005) GlueDomains: Organization and Accessibility of Network Monitoring Data in a Grid. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aringhieri, R. and Hansen, P. and Malucelli, Federico (1999) Chemical Tree Enumeration Algorithms. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aringhieri, R. and Hansen, P. and Malucelli, Federico (1999) A Linear Algorithm for the Hyper-Wiener Number of Chemical Trees. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Astorino, Annabella and Frangioni, Antonio and Fuduli, Antonio and Gorgone, Enrico (2012) A Nonmonotone Proximal Bundle Method With (Potentially) Continuous Step Decisions. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Astorino, Annabella and Frangioni, Antonio and Gorgone, Enrico and Manca, Benedetto (2021) Ellipsoidal Classification via SemiDefinite Programming. Technical Report del Dipartimento di Informatica . University of Pisa, Pisa, IT. (Submitted)

Attardi, Giuseppe and Esuli, Andrea and Simi, Maria (2004) Best Bets: Thousands Queries in Search of a Client. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Attardi, Giuseppe and Simi, Maria and Tanganelli, Filippo and Tommasi, Alessandro (1999) Learning conceptual descriptions of categories. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Attardi, Giuseppe and Baronti, Luca (2014) Experiments in Identification of Italian Temporal Expressions. In: Proceedings of the First Italian Conference on Computational Linguistics CLiC-it 2014 & and of the Fourth International Workshop EVALITA 2014, 9-11 December 2014, Pisa.

Attardi, Giuseppe and Cozza, Vittoria and Sartiano, Daniele (2014) Adapting Linguistic Tools for the Analysis of Italian Medical Records. In: Proceedings of the First Italian Conference on Computational Linguistics CLiC-it 2014 & and of the Fourth International Workshop EVALITA 2014 9-11 December 2014, Pisa, 9-11 December 2014, Pisa .

Attardi, Giuseppe and Simi, Maria (2014) Dependency Parsing Techniques for Information Extraction. In: Proceedings of the First Italian Conference on Computational Linguistics CLiC-it 2014 & and of the Fourth International Workshop EVALITA 2014, 9-11 December 2014, Pisa.

Augusto, Ciuffoletti (2005) The Wandering Token: Congestion Avoidance of a Shared Resource. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Augusto, Ciuffoletti and Merola, L. and Palmieri, F. and Pardi, Silvio and Russo, G. (2010) Optimizing bulk data transfers using network measurements: a practical case. Journal of Physics - Conference series, 219 (6). ISSN 1742-6588

B

Bacci, Bruno and Cantalupo, Barbara and Guerrini, Nicola and Pelagatti, Susanna (1995) L'Ambiente di Programmazione P3L nel sistema di supporto PVM su Rete di Calcolatori Eterogenei. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bacci, Bruno and Pelagatti, Susanna (1995) On the implementation of the MAP paradigm on a 2D-mesh. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bacciu, Davide and Buscemi, Maria Grazia and Mkrtchyan, Lusine (2009) Adaptive Service Selection - A Fuzzy-valued Matchmaking Approach. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bacciu, Davide and Micheli, Alessio and Sperduti, Alessandro (2010) A Bottom-up Hidden Tree Markov Model. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bacciu, Davide and Micheli, Alessio and Starita, Antonina (2007) Feature-wise Competitive Repetition Suppression Learning for Gene Data Clustering and Feature Ranking. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Baglioni, Miriam and Ratti, Elena and Turini, Franco (2009) Sequential Pattern Mining with Temporal and Content Constraints. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bagnara, Roberto (1996) A Reactive Implementation of \textit{Pos} Using ROBDDs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bagnara, Roberto (1996) A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Baiardi, Fabrizio and Sgandurra, Daniele and Telmon, Claudio (2009) Hierarchical, model-based risk management of critical infrastructures. Reliability Engineering & System Safety, 94/200 (9). pp. 1403-1415. ISSN 0951-8320

Baldan, Paolo and Bracciali, Andrea and Bruni, Roberto (2007) A Semantic Framework for Open Processes. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Baldan, Paolo and Bracciali, Andrea and Bruni, Roberto (2003) Symbolic Equivalences for Open Systems. 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.

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 Corradini, Andrea and Montanari, Ugo (1999) Contextual Petri nets, Asymmetric Event Structures and 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.

Baldassarri, Monica and Mogorovich, Paolo and Salvatori, Enrica (2009) Database, WebGIS, storia ed archeologia: riflessioni metodologiche dietro un progetto sulla Lunigiana medievale. In: Geografie del popolamento: casi di studio, metodi e teorie. Università degli Studi di Siena, Siena. (In Press)

Baragatti, Alberto and Bruni, Roberto and Melgratti, Hernan and Montanari, Ugo (2004) A prototype implementation of distributed agreements. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Barbuti, Roberto and Caravagna, Giulio and Maggiolo-Schettini, Andrea and Milazzo, Paolo (2008) An Intermediate Language for Stochastic Simulation of Biological Systems. Theoretical Computer Science . ISSN 0304-3975 (In Press)

Bartoletti, Massimo and Degano, Pierpaolo and Ferrari, Gianluigi (2007) Planning and Verifying Service Composition. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bartoletti, Massimo and Degano, Pierpaolo and Ferrari, Gianluigi and Zunino, Roberto (2008) Hard life with weak binders. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bartoletti, Massimo and Zunino, Roberto (2008) LocUsT: a tool for checking usage policies. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bartoloni, Leonardo and Canciani, Andrea and Cisternino, Antonio and Morelli, Davide (2013) Extending a probabilistic language based upon Sampling Functions to model correlation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bartoloni, Leonardo and Brogi, Antonio and Ibrahim, Ahmad (2015) Predicting the QoS of service orchestrations. Technical Report del Dipartimento di Informatica, TR . University of Pisa, Pisa, IT. (Submitted)

Battaglia, Giovanni and Cangelosi, Davide and Grossi, Roberto and Pisanti, Nadia (2008) Masking Patterns in Sequences: a New Class of Motif Discovery with Don't Cares. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Battaglia, Giovanni and Grossi, Roberto and Cangelosi, Davide and Pisanti, Nadia (2009) Masking Patterns in Sequences: A New Class of Motif Discovery with Don't Cares. Theoretical Computer Science, 410 (43). pp. 4327-4340. ISSN 0304-3975

Belazzougui, Djamal and Venturini, Rossano (2012) Compressed static functions with applications to other dictionary problems\vspace. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bellia, Marco and Occhiuto, Maria Eugena (1999) Another PRAM algorithm for finding connected components of sparse graphs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bellia, Marco and Occhiuto, Maria Eugena (2012) The Equivalence of Reduction and Translation Semantics of Java Simple Closures (Extended Version). Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bellia, Marco and Occhiuto, Maria Eugena (2006) From Object Calculus to Java with Passing and Extraction of Methods. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bellia, Marco and Occhiuto, Maria Eugena (2013) Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types (Extended Version). Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bellia, Marco and Occhiuto, Maria Eugena (2009) Java$\Omega$: Preprocessing Closures in Java. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bellia, Marco and Occhiuto, Maria Eugena (2006) Methods Passed as Parameters in Java: A Pre-processing Approach. 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.

Bellia, Marco and Occhiuto, Maria Eugena (2011) Proving Translation and Reduction Semantics Equivalent for Java Simple Closures: Extended Version. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bernasconi, Anna and Ciriani, Valentina (2006) DRedSOP: Synthesis of a new class of regular functions. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bernasconi, Anna and Ciriani, Valentina and Cordone, Roberto (2008) An Approximation Algorithm for Generalized EXOR Projected Sum of Products. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bernasconi, Anna and Ciriani, Valentina and Cordone, Roberto (2006) EXOR Projected Sum of Products. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bernasconi, Anna and Ciriani, Valentina and Drechsler, Rolf and Villa, Tiziano (2005) Efficient Minimization of Fully Testable 2-SPP Networks. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bernasconi, Anna and Ciriani, Valentina and Luccio, Fabrizio and Pagli, Linda (2010) Compact DSOP Forms Derived from SOP Expressions. 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.

Bernazzani, L. and Duce, C. and Micheli, Alessio and Mollica, V. and Sperduti, Alessandro and Starita, Antonina and Tinè, M.R. (2004) Predicting Thermodynamic Properties from Molecular Structures by Recursive Neural Networks. Comparison with Classical Group Contributions Methods. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bertolli, Carlo and Buono, Daniele and Mencagli, Gabriele and Vanneschi, Marco (2009) An approach to Mobile Grid platforms for the development and support of complex ubiquitous applications. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bettina, Klinz and Scutellà, Maria Grazia (1999) A strongly polynomial algorithm for the Balanced network flow problem. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bevilacqua, Roberto and Bozzo, Enrico (2005) Generalized inverses of band matrices. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bevilacqua, Roberto and Bozzo, Enrico (2007) The Sylvester-Kac matrix space. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bevilacqua, Roberto and Bozzo, Enrico and Del Corso, Gianna M. (2010) Qd-type methods for quasiseparable matrices. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bevilacqua, Roberto and Bozzo, Enrico and Del Corso, Gianna M. (2004) Transformations to rank structures by unitary similarity. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bevilacqua, Roberto and Bozzo, Enrico and Del Corso, Gianna M. and Fasino, Dario (2005) Rank structure of generalized inverses of rectangular banded matrices. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bevilacqua, Roberto and Bozzo, Enrico and Menchi, Ornella (2004) SPECT imaging reconstruction through natural pixel discretization. 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.

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.

Bevilacqua, Roberto and Del Corso, Gianna M. (2012) A Condensed Representation of Almost Normal Matrices. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bevilacqua, Roberto and Del Corso, Gianna M. (2003) Existence, Uniqueness and Algorithms for Matrix Unitary Reduction to Semiseparable Form. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bigi, Giancarlo (2004) Componentwise versus global approaches to nonsmooth multiobjective optimization. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bigi, Giancarlo and Adela, Capata and Gabor, Kassay (2010) Existence results for strong vector equilibrium problems and their applications. 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 Castellani, Marco (2000) Uniqueness of KKT Multipliers in Multiobjective Programming. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bigi, Giancarlo and Castellani, Marco and Pappalardo, Massimo and Passacantando, Mauro (2012) Existence and solution methods for equilibria. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bigi, Giancarlo and Frangioni, Antonio and Zhang, Qinghua (2011) Beyond canonical DC programs: the single reverse polar problem. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bigi, Giancarlo and Frangioni, Antonio and Zhang, Qinghua (2007) Outer Approximation Algorithms for Canonical DC Problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bigi, Giancarlo and Frangioni, Antonio and Zhang, Qinghua (2007) Outer Approximation Algorithms for Canonical Reverse-Polar Problems. 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.

Bigi, Giancarlo and Passacantando, Mauro (2013) D-gap functions and descent techniques for solving quilibrium problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bigi, Giancarlo and Passacantando, Mauro (2012) Descent and Penalization Techniques for Equilibrium Problems with Nonlinear Constraints. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bigi, Giancarlo and Passacantando, Mauro (2011) Gap functions and penalization for solving equilibrium problems with nonlinear constraints. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bigi, Giancarlo and Passacantando, Mauro (2013) Twelve monotonicity conditions arising from algorithms for equilibrium problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bigi, Giancarlo and Passacantando, Mauro (2017) Differentiated oligopolistic markets with concave cost functions via Ky Fan inequalities. Technical Report del Dipartimento di Informatica, TR . Università di Pisa, Pisa, IT. (Submitted)

Billi, Carolina and Gentile, G. and Nguyen, S. and Pallottino, Stefano (2003) Ripensando all'attesa alle fermate. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bini, D. A. and Gemignani, Luca (1997) Fast fraction-free triangularization of Bezoutians with applications to sub-resultant chain computation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bini, D. A. and Gemignani, Luca and Meini, B. (1998) Factorization of Analytic Functions by means of Koenig's Theorem and Toeplitz Computations. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bini, Dario A. and Del Corso, Gianna M. and Romani, Francesco (2008) Evaluating scientific products by means of citation-based models: a first analysis and validation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bini, Dario A. and Del Corso, Gianna M. and Romani, Francesco (2008) A combined approach for evaluating papers, authors and scientific journals. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bodei, Chiara and Degano, Pierpaolo and Gao, Han and Brodo, Linda (2007) Detecting and Preventing Type flaws: a Control Flow Analysis with tags. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bodei, Chiara and Dung, Dinh and Gian Luigi, Ferrari (2010) Safer in the Clouds. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bodei, Chiara and Gao, Han and Degano, Pierpaolo (2008) A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bonchi, Filippo and Brogi, Antonio and Corfini, Sara and Gadducci, Fabio (2008) Compositional Specification of Web Services via Behavioural Equivalence of Nets: A Case Study. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bonchi, Filippo and Gadducci, Fabio and Koenig, Barbara (2006) Process Bisimulation via a Graphical Encoding. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bonchi, Filippo and Gadducci, Fabio and Monreale, Giacoma Valentina (2008) Labeled Transitions for Mobile Ambients. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bonchi, Filippo and Montanari, Ugo (2006) A Coalgebraic Theory of Reactive Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bonchi, Filippo and Montanari, Ugo (2008) Minimization Algorithm for Symbolic Bisimilarity. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bonchi, Filippo and Di Giorgio, Alessandro and Santamaria, Alessio (2022) Tape diagrams for rig categories with finite biproducts. Technical Report del Dipartimento di Informatica, TR . University of Pisa, Pisa, IT. (Unpublished)

Boraso, M. and Montangero, Carlo and Sedehi, H. (1996) Software Cost Estimation: an experimental study of model performances. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bosco, Cristina and Dell’Orletta, Felice and Montemagni, Simonetta and Sanguinetti, Manuela and Simi, Maria (2014) The Evalita 2014 Dependency Parsing task. In: Proceedings of the First Italian Conference on Computational Linguistics CLiC-it 2014 & and of the Fourth International Workshop EVALITA 2014, 9-11 December 2014, Pisa.

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.

Brandano, S. (1998) A Logic-Based Calculus of Fluents. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Brodo, Linda and Bruni, Roberto and Falaschi, Moreno (2019) Enhancing reaction systems: a process algebraic approach. Technical Report del Dipartimento di Informatica, TR . University of Pisa, Pisa, IT. (Unpublished)

Brogi, Antonio and Contiero, Simone (1996) A Program Specialiser for Meta-level Compositions of Logic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Brogi, Antonio and Contiero, Simone and Turini, Franco (1997) Programming by Combining General Logic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Brogi, Antonio and Corfini, Sara (2006) Behaviour-aware discovery of Web service compositions. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Brogi, Antonio and Popescu, Razvan (2006) BPEL2YAWL: Transalating BPEL processes into YAWL workflows. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Brogi, Antonio and Popescu, Razvan (2006) Contract-based Service Aggregation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Brogi, Antonio and Popescu, Razvan and Tanca, Matteo (2006) Design and implementation of SATOR: a Web service aggregator. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Brogi, Antonio and Canciani, Andrea and Soldani, Jacopo (2015) Modelling the behaviour of management operations in TOSCA. Technical Report del Dipartimento di Informatica, TR . Università di Pisa, Pisa, IT.

Brogi, Antonio and Forti, Stefano (2016) QoS-aware Deployment of IoT Applications Through the Fog. Technical Report del Dipartimento di Informatica, TR . University of Pisa, Pisa, IT. (Submitted)

Brogi, Antonio and Forti, Stefano and Ibrahim, Ahmad (2017) Human-driven application management at the Edge. Technical Report del Dipartimento di Informatica, TR . University of Pisa, Pisa, IT. (Submitted)

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 Lluch Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio (2007) Style-Based Architectural Reconfigurations. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bruni, Roberto and Meseguer, J. and Montanari, Ugo (1998) Process and Term Tile Logic. 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.

Bruni, Roberto and Mezzina, Leonardo Gaetano (2008) Types and deadlock free sessions for SCC. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bruni, Roberto and Montanari, Ugo and Lanese, Ivan (2005) Normal Forms for Stateless Connectors. 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.

Bucchioni, Cinzia (2005) Dentro gli openUrl resolver: magie e limiti. In: [Seminario Annuale del Caspur], 10-11 Nov 2005, Napoli, Italia. (Unpublished)

Bucchioni, Cinzia (2006) Lo standard Openurl: evoluzioni e applicazioni. In: Seminario monografico AIB-Lazio, 3 Marzo 2006, Roma, Italia. (Unpublished)

Buono, Daniele and De Matteis, Tiziano and Mencagli, Gabriele and Vanneschi, Marco (2013) Towards a Methodology for Parallel Data Stream Processing: application to Parallel Stream Join. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Buscemi, Maria Grazia and Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Montanari, Ugo (2011) Constraints for Service Contracts. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Buscemi, Marzia and Montanari, Ugo (2005) A Compositional Coalgebraic Model of Monadic Fusion Calculus. 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

Cacchiani, Valentina and Galli, Laura and Toth, Paolo (2013) A Tutorial on Train Timetabling and Train Platforming Problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Calamoneri, Tiziana and Frangioni, Antonio and Sinaimeri, Blerina (2013) Pairwise Compatibility Graphs of Caterpillars. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cambini, Riccardo and Gallo, Giorgio and Scutellà, Maria Grazia (1996) Flows on hypergraphs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cappanera, Paola (1999) A Survey on Obnoxious Facility Location Problems. 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 Frangioni, Antonio (1996) Symmetric and Asymmetric Parallelization of a Cost-Decomposition Algorithm for Multi-Commodity Flow Problems. 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 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.

Cappanera, Paola and Scutellà, Maria Grazia (2007) Color-coding algorithms to the balanced path problem: computational issues. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cappanera, Paola and Scutellà, Maria Grazia (2013) Joint assignment, scheduling and routing models to Home Care optimization: a pattern based approach. 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.

Carboni, Marilisa and Giannotti, Fosca and Manco, Giuseppe and Pedreschi, Dino (1996) A Logic Abstract Machine for Active Object-Oriented Databases. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cardillo, Franco Alberto and Masulli, Francesco (2009) Image Analysis Methods in MRI Examinations of the Breast. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Carraresi, Paolo and Farinaccio, Fernanda and Malucelli, Federico (1996) Testing Optimality for Quadratic 0-1 Problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Carraresi, Paolo and Frangioni, Antonio and Nonato, Maddalena (1995) Applying Bundle Methods to the Optimization of Polyhedral Functions: An Applications-Oriented Development. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cherubini, Davide and Fanni, Alessandra and Frangioni, Antonio and Murgia, Cristian and Scutellà, Maria Grazia and Zuddas, Paola (2008) A Linear Programming Model for Traffic Engineering in 100% Survivable Networks under combined IS-IS/OSPF and MPLS-TE Protocols. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Chessa, Stefano and Albano, Michele (2008) Replication vs Erasure Coding in Data Centric Storage for Sensor Networks. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ciancia, Vincenzo and Ferrari, Gianluigi and Guanciale, Roberto and Strollo, Daniele (2008) Global Coordination Policies for Services. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ciancia, Vincenzo and Kurz, Alexander and Montanari, Ugo (2009) Minimal support and families for the semantics of calculi with structured resources. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cioni, Lorenzo (2009) Auctions and barters. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cioni, Lorenzo (2010) Introduzione alla System Dynamics. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cioni, Lorenzo (2012) Merawti: a method for the ranking of the alternatives with ties. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cioni, Lorenzo (2008) Models of interaction. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cioni, Lorenzo (2008) Participative methods and consensus theory. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cioni, Lorenzo (2012) Particular order. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cioni, Lorenzo (2008) Using a hierarchical properties ranking with AHP for the ranking of electoral systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cioni, Lorenzo (2010) A few notes on the Borda and Condorcet methods. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cioni, Lorenzo (2010) An inverse or negative auction. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cioni, Lorenzo (2013) An iterative procedure for the Paretian ranking of competing projects. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cioni, Lorenzo (2013) A multicriteria method for a pluarality of deciders. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cioni, Lorenzo (2010) A purely probabilistic candle auction. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cioni, Lorenzo (2008) The roles of System Dynamics in environmental problem solving. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ciriani, Valentina (1999) Multipliers based on Wallace trees and pseudo-products. 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.

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

Ciriani, Valentina and Bernasconi, Anna and Drechsler, Rolf (2005) Testability of SPP Three-Level Logic Networks in Static Fault Models. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ciriani, Valentina and Cordone, Roberto (2007) An Approximation Algorithm for Fully Testable kEP-SOP Networks. 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.

Cisternino, Antonio and Ferragina, Paolo and Morelli, Davide and Coppola, Massimo (2010) Information processing at work: On a theory for experimental algorithm complexity. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cisternino, Antonio and Laganà, Maria Rita (1998) The YALL language. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ciuffoletti, Augusto (2005) Packet Delay Monitoring without a GPS. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ciuffoletti, Augusto (2006) Scalable accessibility of a recoverable database using wandering tokens. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ciuffoletti, Augusto (2009) Collision avoidance for Delay_Req messages in broadcast media. In: International IEEE Symposium on Precision Clock Synchronization, 12-16 ottobre 2009, Brescia, Italia.

Ciuffoletti, Augusto (2014) A simple and generic interface for a Cloud Monitoring System. In: CLOSER 2014 - 4th International Conference on Cloud Computing and Services Science, April 2-5 2014, Barcelona.

Ciuffoletti, Augusto (2009) The wandering token: Congestion avoidance of a shared resource. Future Generation Computer Systems . ISSN 0167-739X (In Press)

Ciuffoletti, Augusto (2010) The wandering token: Congestion avoidance of a shared resource. Future Generation Computer Systems, 2010 (26). pp. 473-478. ISSN 0167-739X

Ciuffoletti, Augusto and Alari, Gianluigi (1997) Implementing a probabilistic clock synchronization algorithm. Real-Time Systems, 13 (1). pp. 25-46. ISSN 0922-6443

Ciuffoletti, Augusto and Asim, Ali (2009) Scalable concurrency control in a dynamic membership. In: Grid and Services Evolution. Springer, pp. 205-214. ISBN 978-0-387-85965-1

Ciuffoletti, Augusto and Bustos-Jimenez, Javier and Bersano, Nicolas and Schaeffer, Satu Elisa and Piquer, Jose Miguel and Iosup , Alexandru (2008) Estimating The Size Of Peer-To-Peer Networks Using Lambert’s W Function. In: Grid Computing - Achievements and Prospects. Springer, pp. 61-72. ISBN 978-0-387-09456-4

Ciuffoletti, Augusto and Polychronakis, Michalis (2007) Architecture of a Network Monitoring Element. In: Euro-Par 2006 Workshops: Parallel Processing - Selected papers. Springer, pp. 5-14. ISBN 978-3-540-72226-7

Colazzo, Dario and Sartiani, Carlo (2007) Efficient Subtyping for Unordered XML Types. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Colazzo, Dario and Ghelli, Giorgio and Sartiani, Carlo (2008) Efficient inclusion for a class of XML types with interleaving and counting. Information Systems, Availa (Availa). ISSN 0306-4379 (In Press)

Conti, Marco and Passarella, Andrea and Marzini , Emanuel and Mascitti, Davide (2012) Services selection and composition in Opportunistic Networks. 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 (2009) TERMGRAPH 2009 Preliminary Proceedings. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Corradini, Andrea and Drewes, Frank (1997) (Cyclic) Term Graph Rewriting is adequate for Rational Parallel Term Rewriting. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Corradini, Andrea and Gadducci, Fabio (2008) Preliminary proceedings of WADT 2008. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Corradini, Andrea and Gadducci, Fabio (1998) Rewriting on cyclic structures. 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.

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.

Corradini, Andrea and Montanari, Ugo and Rossi, Francesca and Ehrig, H. and Heckel, Reiko and Loewe, M. (1996) Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Crescenzi, Pierluigi and Dardini, Leandro and Grossi, Roberto (1999) IP Address Lookup Made Fast and Simple. 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.

Danelutto, Marco (1999) Dynamic Run Time Support for Skeletons. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Danelutto, Marco and Migliore, Castrenze and Pantaleo, Cosimino (2005) A dataflow-like implementation of ASSIST parmod. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Danelutto, Marco and Vanneschi, Marco (2005) A RISC approach to GRID. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

De Francesco, Nicoletta and Lettieri, Giuseppe and Vaglini, Gigliola and Martini, Luca (2010) Partial model checking via abstract interpretation. Information Processing Letters, 110 (3). pp. 99-103. ISSN 0020-0190

Degano, Pierpaolo (1996) Venticinque anni di informatica. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Degano, Pierpaolo and Gorrieri, Roberto (2009) Computational Methods in Systems Biology '09 -- Abstracts of the Posters. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Degano, Pierpaolo and Mezzetti, Gianluca and Ferrari, Gianluigi (2011) Nominal models and resource usage control. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Degano, Pierpaolo and Priami, Corrado (1996) Compact Transition Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Del Corso, Gianna M. and Gullì, Antonio and Romani, Francesco (2005) Comparison of Krylov Subspace Methods on the PageRank Problem. 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.

Del Corso, Gianna M. and Romani, Francesco (2009) Versatile weighting strategies for a citation-based research evaluation model. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Dell'Acqua, Pietro and Frangioni, Antonio and Serra Capizzano, Stefano (2010) Multi-iterative techniques of Multigrid type for solving large linear systems with structure of graph. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Dell'Olmo, P. and Hansen, P. and Pallottino, Stefano and Storchi, G. (2003) On uniform $k$-partition problems. 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.

Denard, Hugh and Salvatori, Enrica and Simi, Maria (2011) Learning by Building in SL: A Reflection on an Interdisciplinary and International Experience. In: Multi-User Virtual Environments for the Classroom: Practical Approaches to Teaching in Virtual Worlds. IGI Global, Hershey PA, pp. 134-158. ISBN 978-1-60960-545-2

Di Francesco Maesa, Damiano (2017) Bitcoin Protocol Main Threats. Technical Report del Dipartimento di Informatica, TR . University of Pisa, Pisa, IT. (Unpublished)

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

Dittamo, Cristian and Gervasi, Vincenzo and Boerger, Egon and Cisternino, Antonio (2011) A formal specification of the semantics of ECMAScript. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Dobrev, Stefan and Flocchini, Paola and Prencipe, Giuseppe and Santoro, Nicola (2004) Optimal Mobile Agent Protocols for Searching a Black Hole in Arbitrary Networks. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

F

Fabrizio, Luccio (2018) The MPA graph problem. Dipartimento di Informatica. (Unpublished)

Falaschi, M. and Gabbrielli, M. and Marriott, K. and Palamidessi, C. (1996) Confluence in Concurrent Constraint Programming. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Fantini, Paola and Montangero, Carlo and Palasciano, Claudio and Reiff-Marganiec, Stephan and Semini, Laura (2008) Supporting user-friendly design of flexible Business Processes in StPowla. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Farinaccio, Fernanda and Gallo, Giorgio and Sandi, Claudio (1999) Valutazioni di produttività e misure di efficienza con applicazioni al settore del trasporto pubblico. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Farinaccio, Fernanda and Ostanello, Anna (1999) Evaluation of DEA validity as a MCDA/M tool: some problems and issues. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Federico, Maria and Pisanti, Nadia (2009) Suffix tree characterization of maximal motifs in biological sequences. Theoretical Computer Science, 410 (43). pp. 4391-4410. ISSN 0304-3975

Felicioli, C. (2004) Fast calculation of a segment mutation distance between long sequences. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Felicioli, C. and Marangoni, Roberto (2008) BpMatch: an efficient algorithm for segmenting sequences, calculating genomic distance and counting repeats. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ferragina, Paolo and Gullì, Antonio (2004) The anatomy of a Clustering Engine for Web Snippets. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ferragina, Paolo and Gullì, Antonio (2004) A personalized search engine based on web-snippet hierarchical clustering. 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.

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 Manzini, Giovanni (2003) Optimal compression boosting in optimal linear time using the Burrows-Wheeler Trasform. 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.

Ferragina, Paolo and Nitto, Igor and Venturini, Rossano (2007) Succinct Oracles for Exact Distances in Undirected Unweighted Graphs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ferragina, Paolo and Venturini, Rossano (2006) On a simple storage scheme for strings achieving entropy bounds. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ferrari, Gianluigi (2009) Choreography Rehearsal. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ferrari, Gianluigi and Montangero, Carlo and Semini, Laura and Semprini, Simone (2003) The Mob-adtl Model and Method to Design Network Aware Applications. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ferrari, Gianluigi and Tuosto, Emilio (2004) Resources Negotiation in Systems of Mobile Components. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Flocchini, Paola and Pagli, Linda and Prencipe, Giuseppe and Santoro, Nicola and Widmayer, P. and Zuva, T. (2004) Computing All the Best Swap Edges Distributively. 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.

Franceschini, Gianni (2003) An in-place sorting algorithm performing $O(n\log n)$ comparisons and $O(n)$ data moves. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Franceschini, Gianni and Grossi, Roberto (2003) Optimal Space-Time Dictionaries over an Unbounded Universe with Flat Implicit Trees. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio (2004) About Lagrangian Methods in Integer Optimization. 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 (1998) Generalized Bundle Methods. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio (1995) Solving Semidefinite Quadratic Problems Within Nonsmooth Optimization Algorithms. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Furini, Fabio and Gentile, Claudio (2013) Approximated Perspective Relaxations: a Project&Lift Approach. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Galli, Laura and Scutellà, Maria Grazia (2013) Delay-Constrained Shortest Paths: Approximation Algorithms and Second-Order Cone Models. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Galli, Laura and Stea, Giovanni (2015) QoS Routing with worst-case delay constraints: models, algorithms and performance analysis. Technical Report del Dipartimento di Informatica, TR . Dipartimento di Informatica, Università di Pisa, Pisa, IT. (Submitted)

Frangioni, Antonio and Gallo, Giorgio (1996) A Bundle type Dual-ascent Approach to Linear Multi-Commodity Min Cost Flow Problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Gentile, Claudio (2008) A Computational Comparison of Reformulations of the Perspective Relaxation: SOCP vs. Cutting Planes. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Gentile, Claudio (2004) Experiments with "extended crossover" approaches for network flow problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Gentile, Claudio (2006) SDP Diagonalizations and Perspective Cuts for a Class of Nonseparable MIQP. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Gorgone, Enrico (2011) Generalized Bundle Methods for Sum-Functions with ''Easy'' Components: Applications to Multicommodity Network Design. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Manca, Antonio (2003) A Computational Study of Cost Reoptimization for Min Cost Flow Problems. 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.

Frangioni, Antonio and Pascali, Fausto and Scutellà, Maria Grazia (2009) Static and dynamic routing under the single-source Hose model. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Perez Sanchez, Luis (2009) Artificial Intelligence Techniques for Automatic Reformulation of Complex Problems: the I-DARE Project. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Perez Sanchez, Luis (2009) Searching the Best (Formulation, Solver, Configuration) for Structured Problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Pretolani, Daniele and Scutellà, Maria Grazia (1999) Fast Lower Bounds for the Capacitated Minimum Spanning Tree Problem. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Scutellà, Maria Grazia and Necciari, Emiliano (1999) Multi-exchange algorithms for the minimum makespan machine. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Serra Capizzano, Stefano (1999) Matrix-Valued Linear Positive Operators and Applications to Graph Optimization. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Zhang, Qinghua (2008) Outer Approximation Algorithms for Canonical DC Problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and d'Antonio, Giacomo (2007) Deflected Conditional Approximate Subgradient Methods. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

G

Gadducci, Fabio and Montanari, Ugo (1996) The Tile Model. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Galilei, Giacomo A. (2008) Design and implementation of the @Java system. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Galli, Laura and Letchford, Adam N. (2013) A Compact Variant of the QCR Method for 0-1 Quadratically Constrained Quadratic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gallicchio, Claudio and Micheli, Alessio (2009) On the Predictive Effects of Markovian and Architectural Factors of Echo State Networks. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gallicchio, Claudio and Micheli, Alessio (2014) A Preliminary Application of Echo State Networks to Emotion Recognition. In: Proceedings of the First Italian Conference on Computational Linguistics CLiC-it 2014 & and of the Fourth International Workshop EVALITA 2014, 9-11 December 2014, Pisa.

Gallicchio, Claudio and Micheli, Alessio and Barsocchi, Paolo and Chessa, Stefano (2011) Reservoir Computing Forecasting of User Movements from RSS Mote-Class Sensors Measurement. 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.

Gallo, Giorgio and Scaparra, Maria Paola (1998) Routing with Minimum Fragmentation Cost. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gallo, Giorgio and Scutellà, Maria Grazia (1999) Directed Hypergraphs as a Modelling Paradigm. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gallo, Giorgio and Scutellà, Maria Grazia (1996) Hyperflow Models. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gallo, Giorgio and Scutellà, Maria Grazia (1998) Minimum Makespan Assembly Plans. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gallo, Giorgio and Sodini, Claudia (2005) Operations Research Methods and Models for Crisis Prevention and Early Warning. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1996) A Fast Iterative Method for Determining the Stability of a Polynomial. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1996) A Fast Algorithm for Hankel Matrices Represented in Orthogonal Polynomial Bases. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1996) Fast QR Factorization of Vandermonde-like matrices involving orthogonal polynomials. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1997) GCD of polynomials and Bezout matrices. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1996) MANIPULATING POLYNOMIALS IN GENERALIZED FORM. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1996) POLYNOMIAL ROOT COMPUTATION BY MEANS OF THE LR ALGORITHM. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1996) RATIONAL INTERPOLATION AT CHEBYSHEV POINTS. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1997) A hybrid approach to some stability problems for bivariate polynomials. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gentile, G. and Nguyen, S. and Pallottino, Stefano (2003) Route choice on transit networks with on-line information at stops. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Geraci, Filippo and Grossi, Roberto (2005) Distilling Router Data Analysis for Faster and Simpler Dynamic IP Lookup Algorithms. 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.

Gervasi, Vincenzo and Raffaetà, Alessandra (1997) Active-U-Datalog: integrating active rules in a deductive database. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ghelli, Giorgio and Colazzo, Dario and Sartiani, Carlo (2007) Efficient Inclusion for a Class of XML Types with Interleaving and Counting. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ghelli, Giorgio and Conforti, Giovanni (2003) Decidability of Freshness, Undecidability of Revelation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Giacobazzi, Roberto (1997) Abductive analysis of modular logic programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Giacobazzi, Roberto and Ranzato, Francesco (1997) Functional Compositions of Abstract Interpretations. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Giacobazzi, Roberto and Ranzato, Francesco (1997) Lifting complete orders to achieve co-additivity of closure operators. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Giacobazzi, Roberto and Ranzato, Francesco (1997) Making abstract interpretations complete. 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.

Gorgone, Enrico (2012) Generalized Bundle Methods for Sum-Functions with "Easy" Components: Applications to Multicommodity Network Design. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gorlatch, Sergei and Danelutto, Marco (2005) Proceedings of the CoreGRID Integration Workshop (CGIW'2005). 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.

Guerrini, S. and Masini, A. (1996) Parsing MELL Proof Nets. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

H

Hammer, B. and Micheli, Alessio and Sperduti, Alessandro (2003) A General Framework for Self-Organizing Structure Processing Neural Networks. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

L

Leoni, Gualtiero and Perugini, Angela (2004) PB_Cube: a join algorithm on Hypercube Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Luccio, Fabrizio (2009) Soluzione di ricorrenze nell'analisi di algoritmi. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Luccio, Fabrizio and Mahafzah, M. and Omari, M. and Pagli, Linda (1997) Masked Interval Routing: a New Routing Scheme. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Luccio, Fabrizio and Mesa Enriquez, Antonio and Olivares Rieumont, P. and Pagli, Linda (2004) Bottom-up Subtree Isomorphism for Unordered Labeled Trees. 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.

Luccio, Fabrizio and Mesa Enriquez, Antonio and Pagli, Linda (2010) Lower Bounds on the Rotation Distance of Binary Trees. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Luccio, Fabrizio and Mesa Enriquez, Antonio and Pagli, Linda (2005) k-Restricted Rotation with an Application to Search Tree Rebalancing. 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.

Luccio, Fabrizio and Pagli, Linda (2004) General Restricted Rotation Distance. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Luccio, Fabrizio and Pagli, Linda (1996) An Insight on PRAM Computational Bounds. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Luccio, Fabrizio and Pagli, Linda (1995) Introducing Spacial Graphs (updated version). Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Luccio, Fabrizio and Pagli, Linda (1996) The Nice Properties of a New Boolean Function. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Luccio, Fabrizio The MPA Graph Problem. Dipartimento di Informatica, Pisa. (Unpublished)

Luong, Binh Thanh and Ruggieri, Salvatore and Turini, Franco (2011) k-NN as an Implementation of Situation Testing for Discrimination Discovery and Prevention. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Lùperi, Patrizia and Gullà, Valentina (2010) Integrated library services within the web 2.0 context: from the development of tools for e-learning to open access repositories. In: International Tecnology, Education and Development Conference, INTED 2010, 8-10 marzo 2010, Valencia, Spagna.

M

Manca, Vincenzo (1997) Logical Formalizations of Syntactical Properties (Extended Abstract). Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Manca, Vincenzo and Martino, D. M. (1997) From string rewriting to logical metabolic systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Manconi, Carlo and Cantalupo, Barbara (1997) Using MPI for P3L Implementation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Marco, Bellia and Occhiuto, Maria Eugena (2011) {Java$\Omega$: Higher Order Programming in Java -- The Technical Complements. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Mencagli, Gabriele and Vanneschi, Marco (2011) Performance Analysis of Computation Graphs of Parallel Modules. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Menconi, Giulia and Felicioli, Claudio and Marangoni, Roberto (2009) About LTR recurrence in yeast strains. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Menconi, Giulia and Marangoni, Roberto (2005) A compression-based approach for coding sequences identification in prokaryotic genomes. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Menconi, Giulia and Puliti, Aldamaria and Sbrana, Isabella and Conti, Valerio and Marangoni, Roberto (2009) What a top-down linguistic analysis can tell about genomic sequences. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Meneghin, Massimiliano and Vanneschi, Marco (2009) Minimizing Communications with Q-transformations in Uniform and Affine Stencils. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Micheli, Alessio and Sona, Diego and Sperduti, Alessandro (2004) A Note on Formal Determination of Context in Contextual Recursive Cascade Correlation Networks. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Monreale, Anna and Nanni, Mirco and Grossi, Valerio and Trasarti, Roberto and Pedreschi, Dino (2013) Privacy in Distributed Monitoring. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Monreale, Anna and Wang, Wendy and Pratesi, Francesca and Rinzivillo, Salvatore and Pedreschi, Dino and Andrienko, Gennady and Andrienko, Natalia (2013) Differential Privacy in Distributed Mobility Analytics. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Montanari, Ugo and Pistore, Marco (1998) History-Dependent Automata. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Montanari, Ugo and Sammartino, Matteo (2012) Network Conscious pi-calculus. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Montanari, Ugo and Tuosto, Emilio (2004) A Logical Framework for the spi-calculus. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Montangero, Carlo and Semini, Laura (1996) Applying Refinement Calculi to Software Process Modelling. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Montangero, Carlo and Semini, Laura (1998) Composing specifications for coordination. 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.

Mukala, Patrick (2016) Decision Point Analysis on Learning Process Models in FLOSS mailing Archives. Technical Report del Dipartimento di Informatica, TR . Università di Pisa, Pisa, IT. (Submitted)

Mukala, Patrick (2016) Mining Educational Social Network Structures from FLOSS Repositories. Technical Report del Dipartimento di Informatica, TR . Università di Pisa, Pisa, IT. (Submitted)

Mukala, Patrick (2016) A Temporal Visual Distribution of Learning Activities in FLOSS Repositories. Technical Report del Dipartimento di Informatica, TR . Università di Pisa, Pisa, IT. (Submitted)

Mukala, Patrick and Cerone, Antonio and Turini, Franco (2015) An Exploration of Learning Processes as Process Maps in FLOSS Repositories. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

N

Nanni, Mirco and Trasarti, Roberto and Monreale, Anna and Grossi, Valerio and Pedreschi, Dino (2013) Distributed monitoring of cluster quality for car insurance customer segmentation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Nguyen, S. and Pallottino, Stefano and Malucelli, Federico (1998) A modeling framework for the passenger assignment on a transport network with time-tables. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Nguyen, S. and Pallottino, Stefano and Scutellà, Maria Grazia (1999) A new dual algorithm for shortest path reoptimization. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Nicotra, Luca and Micheli, Alessio and Starita, Antonina (2007) A Comparative Study of Tree Generative Kernels for Gene Function Prediction. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Nonato, Maddalena and Pallottino, Stefano and Xuewen, B. (1999) SPT_L shortest path algorithms: review, new proposals and some experimental results. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

O

Occhiuto, Maria Eugena and Bellia, Marco (2008) Java$\Omega$: The Structures and the Implementation of a Preprocessor for Java with m\_parameters. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

P

PIsanti, Nadia and Soldano, Henry and Carpentier, Mathilde and Pothier, Joel (2005) Implicit and Explicit Representation of Approximated Motifs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pagli, Linda and Viglietta, Giovanni (2012) Getting Close Without Touching. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Paiano, Pietro and Pallottino, Stefano (1997) Motivazioni comportamentali e insiemi attrattivi nei modelli stocastici per il trasporto collettivo. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pallotta, Vincenzo and Turini, Franco (1998) Towards a Fluent Logic Programming. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pallottino, Stefano and Schettino, Alberta (1996) Assegnazione dei passeggeri a una rete pubblica interurbana mediante l'enumerazione dei cammini attivi. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pallottino, Stefano and Scutellà, Maria Grazia (1996) Dual Algorithms for the Shortest Path Tree Problem. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pallottino, Stefano and Scutellà, Maria Grazia (1997) Shortest Path Algorithms in Transportation models: classical and innovative aspects. 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.

Pallottino, Stefano and Sechi, G. M. and Zuddas, Paola (2003) A DSS for Water Resources Management Under Uncertainty by Scenario Analysis. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pasetto, Davide and Vanneschi, Marco (1996) Design and evaluation of parallel applications using a structured parallel language. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pasetto, Davide and Vanneschi, Marco (1996) Machine independent Analytical models for cost evaluation of template--based programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pedreschi, Dino and Ruggieri, Salvatore (1996) Modular Verification of Logic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pedreschi, Dino and Ruggieri, Salvatore (1997) On logic programs that do not fail. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pedreschi, Dino and Ruggieri, Salvatore (1997) Verification of Logic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pedreschi, Dino and Ruggieri, Salvatore (1996) Verification of Meta-interpreters. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pedreschi, Dino and Ruggieri, Salvatore and Turini, Franco (2007) Discrimination-aware data mining. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pedrotti, Alberto (1996) Combinatorial algorithms in the presence of random errors - II. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Peterlongo, Pierre and Pisanti, Nadia and Pereira do Lago, Alair and Sagot, Marie-France (2006) Lossless Filter for Long Multiple Repetitions with Edit Distance. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Petrini, Fabrizio and Vanneschi, Marco (1995) K-ary N-trees: High Performance Networks for Massively Parallel Architectures. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Petrini, Fabrizio and Vanneschi, Marco (1996) Latency and Bandwidth Requirements of Massively Parallel Programs: FFT as a Case Study. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pisanti, Nadia (1997) A survey on DNA computing. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pisanti, Nadia and Crochemore, Maxime and Grossi, Roberto and Sagot, Marie-France (2003) Bases of Motifs for Generating Repeated Patterns with Don't Cares. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pisanti, Nadia and Crochemore, Maxime and Grossi, Roberto and Sagot, Marie-France (2004) A Comparative Study of Bases for Motif Inference. 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.

Pisanti, Nadia and Soldano, Henry and Carpentier, Mathilde and Pothier, Joel (2006) Inference of Approximated Motifs with Conserved Relations. 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.

Priami, Corrado (1996) DEMOS at CONCUR96. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

R

Recchia, Raffaella and Scutellà, Maria Grazia (2010) Experiments with robust asset allocation strategies: classical versus relaxed robustness. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Recchia, Raffaella and Scutellà, Maria Grazia (2009) Robust Portfolio Asset Allocation: models and algorithmic approaches. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Romani, Francesco (2003) MAJA: Matrix Computation in Java. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Romei, Andrea and Ruggieri, Salvatore (2011) A multidisciplinary survey on discrimination analysis. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Romei, Andrea and Turini, Franco (2011) Programming the KDD process using XQuery. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Romei, Andrea and Turini, Franco (2009) XML Data Mining. 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.

Ruggieri, Salvatore (2013) Learning from Polyhedral Sets. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ruggieri, Salvatore (1998) $\exists$-universal termination of logic programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

S

Salvatori, Enrica (2009) Hardcore history: ovvero la storia in podcast. Analisi del podcasting dedicato ad argomenti storici in lingua inglese, francese, italiana e spagnola. Memoria e Ricerca, 30/200 (1). pp. 171-187. ISSN 1127-0195

Salvatori, Enrica (2010) La trasmissione della memoria da Guccini ad Avatar: un ritorno al futuro. In: 2060: WHAT WILL BE THE SOURCES FOR THE HISTORY OF OUR TIMES? A coming together of techniques, practices and the social sciences, 8-9 aprile 2010, Torino, Italia. (In Press)

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.

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.

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

Scutellà, Maria Grazia (2010) Hardness of some optimal oblivious routing generalizations. 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.

Semini, Laura and Montangero, Carlo (1999) A Logic with Modalities for Asynchronous Distributed Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Semini, Laura and Montangero, Carlo (1999) Modalities for Asynchronous Distributed Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Semini, Laura and Montangero, Carlo (1997) A Refinement Calculus for Tuple Spaces. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Serban, Tudor and Coppola, Massimo (2013) Data parallel patterns on CPU/GPU mix. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Serra Capizzano, Stefano and Tilli, P. (1999) From Partial Differential Equations to generalized Locally Toepliz sequences. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Sgandurra, Daniele and Maggiari, Dario and Tamberi, Francesco and Baiardi, Fabrizio (2009) Transparent Process Monitoring in a Virtual Environment. Electronic Notes in Theoretical Computer Science, Volume (2). pp. 85-100.

Soldani, Jacopo and Binz, Tobias and Breitenbücher, Uwe and Leymann, Frank and Brogi, Antonio (2015) TOSCA-MART: A Method for Adapting and Reusing Cloud Applications. Technical Report del Dipartimento di Informatica, TR . University of Pisa, Pisa, IT. (Submitted)

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

Sperduti, Alessandro and Starita, Antonina (1995) Dynamical Neural Networks Construction for Processing of Labeled Structures. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

T

Tahanan, Milad and van Ackooij, Wim and Frangioni, Antonio and Lacalandra, Fabrizio (2014) Large-scale Unit Commitment under uncertainty: a literature survey. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Torquati, Massimo (2010) Single-Producer/Single-Consumer Queues on Shared Cache Multi-Core Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Tulone, D. (2004) A Secure and Scalable Digital Time-stamping Service. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Tuosto, Emilio and Vieira, Hugo Torres (2004) An Observational Model for Spatial Logics. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

V

Vandebril, Raf and Del Corso, Gianna M. (2010) An implicit multishift $QR$-algorithm for Hermitian plus low rank matrices. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Vandebril, Raf and Del Corso, Gianna M. (2009) An implicit multishift QR-algorithm for Hermitian plus low rank matrices. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Vandebril, Raf and Del Corso, Gianna M. (2010) A unification of unitary similarity transforms to compressed representations. 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.

Vanneschi, Marco (2006) La Ricerca su Grid di prossima generazione. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Vanneschi, Marco and Mencagli, Gabriele (2011) QoS-control of Structured Parallel Computations: a Predictive Control Approach. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Viry, Patrick (1995) Elimination of Conditions. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Viry, Patrick (1996) A Rewriting Implementation of pi-calculus. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Viry, Patrick (1995) Rewriting modulo a rewrite system. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

van Breugel, Franck (1997) Failures, Finiteness, and Full Abstraction. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

van Breugel, Franck (1997) A Labelled Transition System for pi_epsilon-Calculus. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

van Breugel, Franck (1997) Terminal Metric Spaces of Finitely Branching and Image Finite Linear processes. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Z

Zunino, Roberto and Bartoletti, Massimo and Degano, Pierpaolo and Ferrari, Gianluigi (2008) Model checking usage policies. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

This list was generated on Mon Mar 18 18:57:45 2024 CET.