Pubblicazioni

J. SPROSTON; A. TROINA, Simulation and Bisimulation for Probabilistic Timed Automata, in: Proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), Berlin Heidelberg, Springer, 2010, 6246, pp. 213 - 227 (atti di: 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), Klosterneuburg, Austria, 8/09/2010 - 10/09/2010) [Contributo in Atti di convegno]

Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina, Hybrid Calculus of Wrapped Compartments, in: Proceedings 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010, 40, pp. 102 - 120 (atti di: Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010 (MeCBIC 2010), Jena, Germany, 23 August 2010) [Contributo in Atti di convegno]

M. Coppo; F. Damiani; M. Drocco; E. Grassi; A. Troina, Stochastic Calculus of Wrapped Compartments, in: Proceedings of the Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), 2010, 28, pp. 82 - 98 (atti di: Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), Paphos, Cyprus, March 27-28, 2010) [Contributo in Atti di convegno]

Sara Capecchi; Angelo Troina, Types for BioAmbients, in: Proceedings of the Third Workshop From Biology To Concurrency and back, 2010, 19, pp. 103 - 115 (atti di: Third Workshop From Biology To Concurrency and back, Paphos, Cipro, 27 marzo 2011) [Contributo in Atti di convegno]

Ben-El-Kezadri, Ryad; Pau, Giovanni, TimeRemap: Stable and accurate time in vehicular networks, «IEEE COMMUNICATIONS MAGAZINE», 2010, 48, pp. 52 - 57 [Articolo in rivista]

Woodbridge, Jonathan; Lan, Mars; Pau, Giovanni; Gerla, Mario; Sarrafzadeh, Majid, HERO: Hybrid emergency route-opening protocol, in: Woodbridge, Jonathan*, 2010 8th IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM Workshops 2010, 2010, pp. 364 - 369 (atti di: 2010 8th IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM Workshops 2010, Mannheim, deu, 2010) [Contributo in Atti di convegno]

Giordano, Eugenio; Frank, Raphael; Pau, Giovanni; Gerla, Mario, CORNER: A step towards realistic simulations for VANET, in: Giordano, Eugenio, Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOM, 2010, pp. 41 - 50 (atti di: 7th ACM International Workshop on VehiculAr InterNETworking, VANET '10, Chicago, IL, usa, 2010) [Contributo in Atti di convegno]

Cesana, Matteo; Fratta, Luigi; Gerla, Mario; Giordano, Eugenio; Pau, Giovanni, C-VET the UCLA campus vehicular testbed: Integration of vanet and mesh networks, in: 2010 European Wireless Conference, EW 2010, 2010, pp. 689 - 695 (atti di: 2010 European Wireless Conference, EW 2010, Lucca, ita, 2010) [Contributo in Atti di convegno]

Giordano, Eugenio; De Sena, Enzo; Pau, Giovanni; Gerla, Mario, VERGILIUS: A scenario generator for VANET, in: Giordano, Eugenio, IEEE Vehicular Technology Conference, Institute of Electrical and Electronics Engineers Inc., 2010, 2010-, pp. 1 - 5 (atti di: 2010 IEEE 71st Vehicular Technology Conference, VTC 2010-Spring, Taipei, twn, 2010) [Contributo in Atti di convegno]

DEL BIMBO, ALBERTO; DINI, FABRIZIO; LISANTI, GIUSEPPE; PERNICI, FEDERICO, Exploiting Distinctive Visual Landmark Maps in Pan-Tilt-Zoom Camera Networks, «COMPUTER VISION AND IMAGE UNDERSTANDING», 2010, 114, pp. 611 - 623 [Articolo in rivista]

Del Bimbo, Alberto; Lisanti, Giuseppe; Masi, Iacopo; Pernici, Federico, Device tagged feature based localization and mapping of wide areas with a PTZ camera, in: IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops (CVPRW), IEEE, 2010, pp. 39 - 44 (atti di: International Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) SISM, San Francisco (USA), 13/06/2010-18/06/2010) [Contributo in Atti di convegno]

Del Bimbo, Alberto; Lisanti, Giuseppe; Masi, Iacopo; Pernici, Federico, Person Detection Using Temporal and Geometric Context with a Pan Tilt Zoom Camera, in: 20th International Conference on Pattern Recognition (ICPR), IEEE, 2010, pp. 3886 - 3889 (atti di: ICPR, Istanbul (Turkey), 23/08/2010-26/08/2010) [Contributo in Atti di convegno]

Del Bimbo, Alberto; Dini, Fabrizio; Lisanti, Giuseppe; Pernici, Federico, Sensor Fusion for Cooperative Head Localization, in: 20th International Conference on Pattern Recognition (ICPR), IEEE, 2010, pp. 384 - 387 (atti di: ICPR, Istanbul (Turkey), 23/08/2010-26/08/2010) [Contributo in Atti di convegno]

Palazzi, C.E.; Bujari, A., A delay/disruption tolerant solution for mobile-to-mobile file sharing, in: 2010 IFIP Wireless Days, WD 2010, 2010, pp. 1 - 5 (atti di: 2010 IFIP Wireless Days, Venice, Italy, 20-22 Oct. 2010) [Contributo in Atti di convegno]

GRECO GIANLUIGI; MALIZIA E; PALOPOLI LUIGI; SCARCELLO FRANCESCO, Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints, «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH», 2010, 38, pp. 633 - 685 [Articolo in rivista]

Succi G; Morisio M; Nagappan N, Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM'10), Bolzano, Italy — September 16 - 17, 2010, New York, ACM, 2010, pp. 48 . [Curatela]

Petrinja E; Succi G, Trustworthiness of Floss development process, «INTERNATIONAL JOURNAL OF COMPUTER SYSTEMS SCIENCE AND ENGINEERING», 2010, 25, pp. 297 - 304 [Articolo in rivista]

Rossi B; Russo B; Succi G, Download Patterns and Releases in Open Source Software Projects: a Perfect Symbiosis?, in: 6th International Conference on Open Source Systems (OSS2010), 2010, pp. 252 - 267 (atti di: 6th International Conference on Open Source Systems (OSS2010), Notre Dame, IN, USA, June) [Contributo in Atti di convegno]

Petrinja E; Sillitti A; Succi G, Comparing OpenBRR, QSOS, and OMM Assessment Models, in: 6th International Conference on Open Source Systems (OSS2010), 2010, pp. 224 - 238 (atti di: 6th International Conference on Open Source Systems (OSS2010), Notre Dame, IN, USA, June) [Contributo in Atti di convegno]

ROSSI B; RUSSO B; SUCCI G, The Mass Interest in eGovernment, in: Transforming Government Workshop (tGOV 2010), 2010, pp. 1 - 13 (atti di: Transforming Government Workshop (tGOV 2010), London, UK, March) [Contributo in Atti di convegno]