Pubblicazioni

  • K. R. Chowdhury; M. Di Felice; I.F. Akyildiz, TP-CRAHN: A Transport Protocol for Cognitive Radio Ad hoc Networks, in: Proceedings of the 28th Conference on Computer Communications (INFOCOM 2009), PISCATAWAY, NJ, IEEE Press, 2009, pp. 2482 - 2490 (atti di: INFOCOM 2009. 28th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, Rio de Janeiro, Brazil, April 19-25, 2009) [Contributo in Atti di convegno]

  • K. Chowdury; M. Di Felice, SEARCH: A Routing Protocol for Mobile Cognitive Radio Ad-hoc Networks, in: Proceedings of the 32nd international conference on Sarnoff Symposium (Sarnoff 2009), PISCATAWAY, NJ, IEEE, 2009, pp. 392 - 397 (atti di: 32nd international conference on Sarnoff Symposium (Sarnoff 2009), Princeton, NJ, USA, March 30-31, April 1 2009) [Contributo in Atti di convegno]

  • P. Bellavista; C. Giannelli, Middleware Solutions for Self-Organizing Multi-hop Multi-path Internet Connectivity based on Bluetooth, in: Mobile Wireless Middleware, BERLIN, Springer, «LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING», 2009, 7, pp. 58 - 71 (atti di: 2nd International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications (Mobilware 2009), Berlino, Germania, 28-29 Aprile 2009) [Contributo in Atti di convegno]

  • P. Bellavista; C. Giannelli, Social Sharing of Connectivity Resources: Control and Encouragement of Unselfishness in Mobile Environments, in: Proceedings of the 5th International Mobile Multimedia Communications Conference (Mobimedia’09), NEW YORK, ACM, 2009, pp. 1 - 8 (atti di: 5th International Mobile Multimedia Communications Conference (Mobimedia 2009), Londra, UK, Settembre 2009) [Contributo in Atti di convegno]

  • Vitali F.; Rossi D., Special Track on Web technologies, in: SAC '09 The 2009 ACM Symposium on Applied Computing, NEW YORK, ACM, 2009, pp. 623 - 624 [Breve introduzione]

  • Damiano Piovesan; Pietro Di Lena; Marco Vassura, Unconventional training for neural network predictions of inter-residue contacts, in: CompBio '09 Proceedings of the 1st ACM workshop on Breaking frontiers of computational biology, New York, NY, ACM, 2009, pp. 19 - 26 (atti di: ACM International Conference on Computing Frontiers, Ischia, Italy, May 14-16, 2009) [Contributo in Atti di convegno]

  • Ivan Lanese;Jorge A. Perez;Davide Sangiorgi;Alan Schmitt, On the Expressiveness of Polyadicity in Higher-Order Process Calculi, in: Theoretical Computer Science, 11th Italian Conference, 2009, pp. 143 - 149 (atti di: Theoretical Computer Science, 11th Italian Conference, Cremona, September 28-30, 2009) [Contributo in Atti di convegno]

  • Abu-Ghazaleh, Nael; Bononi, Luciano, Proceedings of the 12th ACM International Conference on Modeling, Analysis, and Simulation of Wireless and Mobile Systems, MSWiM'09, New York, ACM, 2009, pp. 1 . [Curatela]

  • Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina, A Type System for a Stochastic CLS, in: Proceedings 3rd Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009, 11, pp. 91 - 105 (atti di: 3rd International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'09), Bologna, Italy, September 2009) [Contributo in Atti di convegno]

  • R. Barbuti; A. Maggiolo-Schettini; P. Milazzo; A. Troina, A Methodology for the Stochastic Modelling and Simulation of Sympatric Speciation by Sexual Selection, «JOURNAL OF BIOLOGICAL SYSTEMS», 2009, 17, pp. 349 - 376 [Articolo in rivista]

  • Mariangiola Dezani; Paola Giannini; Angelo Troina, A Type System for Required/Excluded Elements in CLS, in: Proceedings 5th International Workshop on Developments of Computational Methods, 2009, 9, pp. 38 - 48 (atti di: 5th Workshop on Developments in Computational Models (DCM'09), Rhodes, Greece, July 2009) [Contributo in Atti di convegno]

  • Mario Coppo; Ferruccio Damiani; Elena Grassi; Mike Guether; Angelo Troina, Modelling an Ammonium Transporter with SCLS, in: Proceedings of the Second International Workshop on Computational Models for Cell Processes, 2009, 6, pp. 77 - 92 (atti di: Second International Workshop on Computational Models for Cell Processes (COMPMOD 2009), Eindhoven, the Netherlands, November 3, 2009) [Contributo in Atti di convegno]

  • Bogdan Aman; Mariangiola Dezani; Angelo Troina, Type Disciplines for Analysing Biologically Relevant Properties, in: Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2008), 2009, 227, pp. 97 - 111 (atti di: MecBic 2008, Iasi, 3–4 September 2008) [Contributo in Atti di convegno]

  • Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo, Verification of choreographies during execution using the reactive event calculus, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5387, pp. 55 - 72 (atti di: 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, Milan, ita, 2008) [Contributo in Atti di convegno]

  • Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo, A REC-based commitment tracking tool, in: 10th Workshop on Objects and Agents, WOA'09, 2009, pp. 1 - 4 (atti di: 10th Workshop on Objects and Agents, WOA 2009, Parma, ita, 2009) [Contributo in Atti di convegno]

  • Giordano, Eugenio; Frank, Raphael; Ghosh, Abhishek; Pau, Giovanni; Gerla, Mario, Two ray or not two ray this is the price to pay, in: 2009 IEEE 6th International Conference on Mobile Adhoc and Sensor Systems, MASS '09, 2009, pp. 603 - 608 (atti di: 2009 IEEE 6th International Conference on Mobile Adhoc and Sensor Systems, MASS '09, Macau, chn, 2009) [Contributo in Atti di convegno]

  • Pau, Giovanni, Vehicles and the environment: The long journey from today's liabilities into tomorrow's assets, in: Asian Internet Engineeering Conference, AINTEC 2009, 2009, pp. 42 - 43 (atti di: Asian Internet Engineeering Conference, AINTEC 2009, Bangkok, tha, 2009) [Riassunto (Abstract)]

  • Sentinelli, Alexandro; Celetto, Luca; Lefol, Damien; Palazzi, Claudio; Pau, Giovanni; Zahariadis, Theodore; Jari, Ahola, Survey on P2P Overlay streaming clients, in: Towards the Future Internet, Amsterdam, IOS Press is an independent, international STM, 2009, pp. 273 - 282 [Capitolo/Saggio in libro]

  • Zahariadis, Theodore; Pau, Giovanni; Celetto, Luca; Daras, Petros, Seamless content delivery in the future mobile internet - Guest editorial, «IEEE WIRELESS COMMUNICATIONS», 2009, 16, pp. 10 - 12 [Recensione in rivista]

  • Sentinelli, Alexandro; Marfia, Gustavo; Pau, Giovanni; Celetto, Luca, IPTV-P2P clients at home, in: 2009 16th International Conference on Systems, Signals and Image Processing, IWSSIP 2009, 2009, pp. 1 - 4 (atti di: 2009 16th International Conference on Systems, Signals and Image Processing, IWSSIP 2009, Chalkida, grc, 2009) [Contributo in Atti di convegno]