UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

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

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Item Type | No Grouping
Jump to: A | B | C | F | G | O | Z
Number of items: 33.

A

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

B

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

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.

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.

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 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 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 (2008) Minimization Algorithm for Symbolic Bisimilarity. 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.

C

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.

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 (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 (2008) The roles of System Dynamics in environmental problem solving. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

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 Congiusta, Antonio and Jankowski, Gracjan and Jankowski, Michal and Meyer, Norbert and Krajicek, Ondrej (2008) Grid Infrastructure Architecture: a modular approach from CoreGRID. In: Web Information Systems and Technologies. Lecture Notes in Business Information Processing, 8 . Springer, pp. 72-84. ISBN 978-3-540-68257-8

Ciuffoletti, Augusto and Marchetti, Yari and Papadogiannakis, Antonis and Polychronakis, Michalis (2008) Prototype Implementation Of A Demand Driven Network Monitoring Architecture. In: Grid Computing - Achievements and Prospects. Springer, pp. 85-97. ISBN 978-0-387-09456-4

Ciuffoletti, Augusto and Papadogiannakis, Antonis and Polychronakis, Michalis (2008) Network Monitoring Session Description. In: Grid Middleware and Services - Challenges and Solutions. Springer, pp. 79-93. ISBN 978-0-387-78445-8

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)

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

F

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

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 Zhang, Qinghua (2008) Outer Approximation Algorithms for Canonical DC Problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

G

Galilei, Giacomo A. (2008) Design and implementation of the @Java system. 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.

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 Dec 22 00:01:12 2014 CET.