Pubblicazioni

R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, A Calculus of Looping Sequences for Modelling Microbiological Systems, «FUNDAMENTA INFORMATICAE», 2006, 72, pp. 21 - 35 [Articolo in rivista]

R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA, A Classification of Time and/or Probability Dependent Security Properties, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2006, 153, pp. 177 - 193 [Articolo in rivista]

R. LANOTTE; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata, in: Roberto Gorrieri Heike Wehrheim, Formal Methods for Open Object-Based Distributed Systems - 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings, BERLIN HEIDELBERG, Springer-Verlag, 2006, LNCS 4037, pp. 108 - 122 (atti di: International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna, Italy, June 14-16, 2006) [Contributo in Atti di convegno]

R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, Bisimulation Congruences in the Calculus of Looping Sequences, in: Kamel Barkaoui Ana Cavalcanti Antonio Cerone, Theoretical Aspects of Computing - ICTAC 2006 - Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings, BERLIN HEIDELBERG, Springer-Verlag, 2006, 4281, pp. 93 - 107 (atti di: ICTAC 2006 - Third International Colloquium on Theoretical Aspects of Computing, Tunis, Tunisia, November 2006) [Contributo in Atti di convegno]

Kliazovich, Dzmitry*; Granelli, Fabrizio; Pau, Giovanni; Gerla, Mario, APOHN: Subnetwork layering to improve TCP performance over heterogeneous paths, in: Kliazovich, Dzmitry*, 2006 2nd Conference on Next Generation Internet Design and Engineering, NGI 2006, 2006, pp. 160 - 167 (atti di: 2006 2nd Conference on Next Generation Internet Design and Engineering, NGI 2006, Valencia, esp, 2006) [Contributo in Atti di convegno]

Lee, Uichin*; Park, Joon-Sang; Yeh, Joseph; Pau, Giovanni; Gerla, Mario, CodeTorrent: Content distribution using network coding in VANET, in: Lee, Uichin*, MobiShare 2006 - Proceedings of the 1st International Workshop on Decentralized Resource Sharing in Mobile Computing and Networking, 2006, 2006, pp. 1 - 5 (atti di: MobiShare 2006 - 1st International Workshop on Decentralized Resource Sharing in Mobile Computing and Networking, Los Angeles, CA, usa, 2006) [Contributo in Atti di convegno]

Marfia, Gustavo*; Maniezzo, Daniela; Pau, Giovanni, Fast-FMS: Fast multimedia across 3G mobile networks, in: Marfia, Gustavo*, 2006 3rd IEEE Consumer Communications and Networking Conference, CCNC 2006, 2006, 2, pp. 1334 - 1334 (atti di: 2006 3rd IEEE Consumer Communications and Networking Conference, CCNC 2006, Las Vegas, NV, usa, 2006) [Contributo in Atti di convegno]

Mollona E.; Hales D., Knowledge economy, human resource management and enterprise borders. Emerging organizational strategies in agent-based simulation, «SISTEMI INTELLIGENTI», 2006, 18, pp. 283 - 320 [Articolo in rivista]

Roccetti M.; Chan G.; Merabti M.; Moyer S.; Ulema M.; Yu H., Special issue on advances in consumer communications and networking, «MULTIMEDIA TOOLS AND APPLICATIONS», 2006, 29, pp. 209 - 210 [Abstract in rivista]

Bevilacqua A.; Vaccari S., A novel spatio-temporal approach to handle occlusions in vehicle tracking, in: Lecture Notes in Computer Science (LNCS), A. Campilho, M. Kamel, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4141 LNCS, pp. 910 - 921 (atti di: International Conference on Image Analysis and Recognition (ICIAR 2006), Pòvoa de Varzim, Portugal, September 18-20, 2006) [Contributo in Atti di convegno]

Padovani, Luca; S., Zacchiroli, From Notation to Semantics: There and Back Again, in: Proceedings of the 5th international conference on mathematical knowledge management (MKM’06), DEU, Springer, 2006, LNAI 4108, pp. 194 - 207 (atti di: Mathematical Knowledge Management 2006, Wokingham, August 11-12, 2006) [Contributo in Atti di convegno]