Publications

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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 [Scientific article]

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]

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

D.Bottazzi; A.Corradi; R. Montanari, A context-aware group management middleware to support resource sharing in MANET environments, in: Mobile data management, s.l, ACM Press, 2005, pp. 147 - 151 (atti di: 6th international conference on Mobile data management MDM 2005, Ayia Napa, Cyprus, May 9 - 13, 2005) [Contribution to conference proceedings]

Omicini Andrea; Petta Paolo; Matjaz Gams (a cura di): AA. VV., Hot Topics in European Agent Research I, LJUBLIANA, Slovene Society Informatika, 2005, pp. 377-443 (Informatica). [Editorship]

R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, A Calculus of Looping Sequences for Modelling Microbiological Systems, in: 14th Int. Workshop on Concurrency Specification and Programming (CS&P'05), Varsavia, Warsaw University, 2005, 511/2005, pp. 29 - 40 (atti di: CS&P'05, Ruciane-Nida, Poland, September 2005) [Contribution to conference proceedings]

Roccetti, Marco; Ferretti, Stefano, Adaptive Playout Control Schemes for Speech Transmission over the Internet, in: MEHDI KHOSROW-POUR, Encyclopedia of Information Science and Technology, HERSHEY, Idea Group Publishing, 2005, pp. 53 - 57 [Chapter or essay]

Baldacci, Roberto; Boschetti, MARCO ANTONIO; Maniezzo, Vittorio; Zamboni, M., Scatter Search Methods for the Covering Tour Problem, in: REGO C.; ALIDAEE B., Metaheuristic Optimization via Memory and Evolution: Tabu Search and Scatter Search, Series: Operations Research – Computer Science Interfaces, NORWELL, Kluwer Academic Publishers, 2005, pp. 59 - 91 [Chapter or essay]

Busi, Nadia; Zavattaro, Gianluigi, Prioritized and Parallel Reactions in Shared Data Spaces in Coordination Languages, in: Coordination Models and Languages. Proceedings, BERLIN, Springer, 2005, 3454, pp. 204 - 219 (atti di: 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005) [Contribution to conference proceedings]

BUSI N.; G. ZAVATTARO, Deciding Reachability in Mobile Ambients, in: Programming Languages and Systems. Proceedings, 2005, 3444, pp. 248 - 262 (atti di: 14th European Symposium on Programming, ESOP 2005. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005) [Contribution to conference proceedings]

DRAGONI N; GASPARI M., An Object Based Algebra for Specifying a Fault Tolerant Software Architecture, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2005, 63, pp. 271 - 297 [Scientific article]

TUMMOLINI LUCA; CASTELFRANCHI CRISTIANO; RICCI ALESSANDRO; VIROLI MIRKO; OMICINI ANDREA, “Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages, in: Environments for Multi-Agent Systems, Berlin Heidelberg, Springer, 2005, pp. 215 - 231 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]

RICCI ALESSANDRO; VIROLI MIRKO; OMICINI ANDREA, Environment-Based Coordination Through Coordination Artifacts, in: Environments for Multi-Agent Systems, Berlin Heidelberg, Springer, 2005, pp. 190 - 214 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]

DENTI ENRICO; OMICINI ANDREA; RICCI ALESSANDRO, Multi-paradigm Java-Prolog integration in tuProlog, «SCIENCE OF COMPUTER PROGRAMMING», 2005, 57, pp. 217 - 250 [Scientific article]