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] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Item Type
Number of items at this level: 272.

Article

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

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

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)

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

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

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)

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

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

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

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.

Book

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

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.

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

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 Gervasi, Vincenzo (2003) The Circe approach to the systematic analysis of NL requirements. 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.

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.

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.

Augusto, Ciuffoletti (2005) The Wandering Token: Congestion Avoidance of a Shared Resource. 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.

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

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.

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.

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.

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

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

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

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.

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.

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

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.

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.

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.

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.

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 (2002) A New Approach to Three-Level Logic Synthesis. 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.

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.

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

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.

Corradini, Andrea (2009) TERMGRAPH 2009 Preliminary Proceedings. 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.

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

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.

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

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.

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.

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

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

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.

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.

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.

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.

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

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.

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 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 (2002) Distributed States Logic. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

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.

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.

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.

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.

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.

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.

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

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 (2013) Learning from Polyhedral Sets. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

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

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.

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

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.

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.

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.

Book Section

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)

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

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

Conference or Workshop Item

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)

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.

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.

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)

This list was generated on Mon Dec 22 00:00:53 2014 CET.