List of technical reports of year 2008

Bonchi, Filippo; Montanari, Ugo. Minimization Algorithm for Symbolic Bisimilarity , December 17, 2008 abstract. TR-08-27 - 379 kb
Cioni, Lorenzo. Using a hierarchical properties ranking with AHP for the ranking of electoral systems , September 29, 2008 abstract. TR-08-26 - 268 kb
Cherubini, Davide; Fanni, Alessandra; Frangioni, Antonio; Murgia, Cristian; Scutellà, Maria Grazia; Zuddas, Paola. A Linear Programming Model for Traffic Engineering in 100% Survivable Networks under combined IS-IS/OSPF and MPLS-TE Protocols , September 23, 2008 abstract. TR-08-24 - 566 kb
Cioni, Lorenzo. Participative methods and consensus theory , September 22, 2008 abstract. TR-08-23 - 516 kb
Occhiuto, M. Eugenia; Bellia, Marco. Java$\Omega$: The Structures and the Implementation of a Preprocessor for Java with m\_parameters , August 12, 2008 abstract. TR-08-22 - 419 kb
Felicioli, C.; Marangoni, Roberto. BpMatch: an efficient algorithm for segmenting sequences, calculating genomic distance and counting repeats. , July 26, 2008 abstract. TR-08-21 - 205 kb
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina. Labeled Transitions for Mobile Ambients , July 14, 2008 abstract. TR-08-20 - 690 kb
Galilei, Giacomo A.. Design and implementation of the @Java system , July 08, 2008 abstract. TR-08-19 - 937 kb
Battaglia, Giovanni; Cangelosi, Davide; Grossi, Roberto; Pisanti, Nadia. Masking Patterns in Sequences: a New Class of Motif Discovery with Don't Cares , July 04, 2008 abstract. TR-08-18 - 254 kb
Bernasconi, Anna; Ciriani, Valentina; Cordone, Roberto. An Approximation Algorithm for Generalized EXOR Projected Sum of Products , July 04, 2008 abstract. TR-08-17 - 313 kb
Frangioni, Antonio; Gentile, Claudio. A Computational Comparison of Reformulations of the Perspective Relaxation: SOCP vs. Cutting Planes , June 25, 2008 abstract. TR-08-16 - 138 kb
Corradini, Andrea; Gadducci, Fabio. Preliminary proceedings of WADT 2008 , June 09, 2008 abstract. TR-08-15 - 1281 kb
Cioni, Lorenzo. The roles of System Dynamics in environmental problem solving , June 09, 2008 abstract. TR-08-14 - 375 kb
Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gianluigi; Zunino, Roberto. Hard life with weak binders , June 08, 2008 abstract. TR-08-13 - 432 kb
Cioni, Lorenzo. Models of interaction , June 04, 2008 abstract. TR-08-12 - 298 kb
Ciancia, Vincenzo; Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele. Global Coordination Policies for Services , May 30, 2008 abstract. TR-08-11 - 455 kb
Bini, Dario A.; Del Corso, Gianna M.; Romani, Francesco. A combined approach for evaluating papers, authors and scientific journals , May 30, 2008 abstract. TR-08-10 - 684 kb
Chessa, Stefano; Albano, Michele. Replication vs Erasure Coding in Data Centric Storage for Sensor Networks , May 21, 2008 abstract. TR-08-09 - 250 kb
Aldinucci, Marco; Tuosto, Emilio. Toward a Formal Semantics for Autonomic Components , April 22, 2008 abstract. TR-08-08 - 475 kb
Bartoletti, Massimo; Zunino, Roberto. LocUsT: a tool for checking usage policies , April 04, 2008 abstract. TR-08-07 - 98 kb
Zunino, Roberto; Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gianluigi. Model checking usage policies , April 04, 2008 abstract. TR-08-06 - 347 kb
Bruni, Roberto; Mezzina, Leonardo Gaetano. Types and deadlock free sessions for SCC , April 03, 2008 abstract. TR-08-05 - 166 kb
Frangioni, Antonio; Zhang, Qinghua. Outer Approximation Algorithms for Canonical DC Problems , March 26, 2008 abstract. TR-08-04 - 212 kb
Bodei, Chiara; Gao, Han; Degano, Pierpaolo. A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. , March 10, 2008 abstract. TR-08-03 - 285 kb
Bini, Dario A.; Del Corso, Gianna M.; Romani, Francesco. Evaluating scientific products by means of citation-based models: a first analysis and validation , January 31, 2008 abstract. TR-08-02 - 218 kb
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio. Compositional Specification of Web Services via Behavioural Equivalence of Nets: A Case Study , January 10, 2008 abstract. TR-08-01 - 820 kb

Bonchi, Filippo; Montanari, Ugo. Minimization Algorithm for Symbolic Bisimilarity , December 17, 2008 abstract.
TR-08-27 - 379 kb

Cioni, Lorenzo. Using a hierarchical properties ranking with AHP for the ranking of electoral systems , September 29, 2008 abstract.
TR-08-26 - 268 kb

Cherubini, Davide; Fanni, Alessandra; Frangioni, Antonio; Murgia, Cristian; Scutellà, Maria Grazia; Zuddas, Paola. A Linear Programming Model for Traffic Engineering in 100% Survivable Networks under combined IS-IS/OSPF and MPLS-TE Protocols , September 23, 2008 abstract.
TR-08-24 - 566 kb

Cioni, Lorenzo. Participative methods and consensus theory , September 22, 2008 abstract.
TR-08-23 - 516 kb

Occhiuto, M. Eugenia; Bellia, Marco. Java$\Omega$: The Structures and the Implementation of a Preprocessor for Java with m\_parameters , August 12, 2008 abstract.
TR-08-22 - 419 kb

Felicioli, C.; Marangoni, Roberto. BpMatch: an efficient algorithm for segmenting sequences, calculating genomic distance and counting repeats. , July 26, 2008 abstract.
TR-08-21 - 205 kb

Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina. Labeled Transitions for Mobile Ambients , July 14, 2008 abstract.
TR-08-20 - 690 kb

Galilei, Giacomo A.. Design and implementation of the @Java system , July 08, 2008 abstract.
TR-08-19 - 937 kb

Battaglia, Giovanni; Cangelosi, Davide; Grossi, Roberto; Pisanti, Nadia. Masking Patterns in Sequences: a New Class of Motif Discovery with Don't Cares , July 04, 2008 abstract.
TR-08-18 - 254 kb

Bernasconi, Anna; Ciriani, Valentina; Cordone, Roberto. An Approximation Algorithm for Generalized EXOR Projected Sum of Products , July 04, 2008 abstract.
TR-08-17 - 313 kb

Frangioni, Antonio; Gentile, Claudio. A Computational Comparison of Reformulations of the Perspective Relaxation: SOCP vs. Cutting Planes , June 25, 2008 abstract.
TR-08-16 - 138 kb

Corradini, Andrea; Gadducci, Fabio. Preliminary proceedings of WADT 2008 , June 09, 2008 abstract.
TR-08-15 - 1281 kb

Cioni, Lorenzo. The roles of System Dynamics in environmental problem solving , June 09, 2008 abstract.
TR-08-14 - 375 kb

Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gianluigi; Zunino, Roberto. Hard life with weak binders , June 08, 2008 abstract.
TR-08-13 - 432 kb

Cioni, Lorenzo. Models of interaction , June 04, 2008 abstract.
TR-08-12 - 298 kb

Ciancia, Vincenzo; Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele. Global Coordination Policies for Services , May 30, 2008 abstract.
TR-08-11 - 455 kb

Bini, Dario A.; Del Corso, Gianna M.; Romani, Francesco. A combined approach for evaluating papers, authors and scientific journals , May 30, 2008 abstract.
TR-08-10 - 684 kb

Chessa, Stefano; Albano, Michele. Replication vs Erasure Coding in Data Centric Storage for Sensor Networks , May 21, 2008 abstract.
TR-08-09 - 250 kb

Aldinucci, Marco; Tuosto, Emilio. Toward a Formal Semantics for Autonomic Components , April 22, 2008 abstract.
TR-08-08 - 475 kb

Bartoletti, Massimo; Zunino, Roberto. LocUsT: a tool for checking usage policies , April 04, 2008 abstract.
TR-08-07 - 98 kb

Zunino, Roberto; Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gianluigi. Model checking usage policies , April 04, 2008 abstract.
TR-08-06 - 347 kb

Bruni, Roberto; Mezzina, Leonardo Gaetano. Types and deadlock free sessions for SCC , April 03, 2008 abstract.
TR-08-05 - 166 kb

Frangioni, Antonio; Zhang, Qinghua. Outer Approximation Algorithms for Canonical DC Problems , March 26, 2008 abstract.
TR-08-04 - 212 kb

Bodei, Chiara; Gao, Han; Degano, Pierpaolo. A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. , March 10, 2008 abstract.
TR-08-03 - 285 kb

Bini, Dario A.; Del Corso, Gianna M.; Romani, Francesco. Evaluating scientific products by means of citation-based models: a first analysis and validation , January 31, 2008 abstract.
TR-08-02 - 218 kb

Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio. Compositional Specification of Web Services via Behavioural Equivalence of Nets: A Case Study , January 10, 2008 abstract.
TR-08-01 - 820 kb