Vai alla Homepage del Portale
Dipartimento di Informatica - Scienza e Ingegneria

Pubblicazioni

2009 Elimina filtro
Contributo in atti di convegno Elimina filtro

220 pubblicazioni

  • 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]

  • 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]

  • 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]

  • 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; 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]

  • Del Bimbo, Alberto; Lisanti, Giuseppe; Pernici, Federico, Scale Invariant 3D Multi-Person Tracking using a Base Set of Bundle Adjusted Visual Landmarks, in: 12th International Conference on Computer Vision Workshops (ICCV Workshops), IEEE, 2009, pp. 1121 - 1128 (atti di: Ninth IEEE International Workshop on Visual Surveillance 2009 - 12th International Conference on Computer Vision, Kyoto (Japan), 27/09/2009-04/10/2009) [Contributo in Atti di convegno]

  • Del Bimbo, Alberto; Dini, Fabrizio; Lisanti, Giuseppe, A real time solution for face logging, in: 3rd International Conference on Crime Detection and Prevention (ICDP 2009), IET, 2009, pp. 10 - 15 (atti di: ICDP, London (UK), 03/12/2009) [Contributo in Atti di convegno]

  • Del Bimbo, Alberto; Dini, Fabrizio; Lisanti, Giuseppe; Pernici, Federico, Multitarget tracking in 3D con reti di telecamere PTZ, in: eBIS Workshop SICUREZZA E IDENTIFICAZIONE PERSONALE, Editrice Bibliografica, 2009, pp. 1 - 10 (atti di: Congresso Nazionale AICA, Roma (Italia), 05/11/2009) [Contributo in Atti di convegno]

  • Palazzi, C.E.; Bujari, A.; Cervi, E., P2P file sharing on mobile phones: Design and implementation of a prototype, in: Proceedings - 2009 2nd IEEE International inproceedings on Computer Science and Information Technology, ICCSIT 2009, 2009, pp. 136 - 140 (atti di: 2009 2nd IEEE International Conference on Computer Science and Information Technology, Beijing, China, 8-11 Aug. 2009) [Contributo in Atti di convegno]

  • GRECO GIANLUIGI; MALIZIA E; PALOPOLI LUIGI; SCARCELLO FRANCESCO, On the Complexity of Compact Coalitional Games, in: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), 2009, pp. 147 - 152 (atti di: IJCAI-09, Pasadena, CA, USA, 11/07/2009 - 17/07/2009) [Contributo in Atti di convegno]

  • GRECO GIANLUIGI; MALIZIA E; PALOPOLI LUIGI; SCARCELLO FRANCESCO, Constrained Coalitional Games: Formal Framework, Properties, and Complexity Results (Extended Abstract), in: Proceedings of 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009, pp. 1295 - 1296 (atti di: AAMAS 2009, Budapest, Hungary, 10/05/2009 - 15/05/2009) [Riassunto (Abstract)]