Previous TR...   1995    1996    1997    1998    1999    2000    2001    2002    2003    2004    2005    2006    2007    2008   2009    2010    2011    2012    2013    2014    2015    2016    2017    2018    2019    2020    2021    2022  

Ricerca:

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