Pubblicazioni

D. Rossi; F. Vitali, Editorial Message: Special Track on Web Technologies, in: Proceedings of the 2010 ACM Symposium on Applied Computing, New York, ACM Press, 2010, pp. 797 - 798 [Breve introduzione]

P. Di Lena; L. Margara, On the undecidability of the limit behavior of Cellular Automata, «THEORETICAL COMPUTER SCIENCE», 2010, 411, pp. 1075 - 1084 [Articolo in rivista]

Pietro Di Lena; Luciano Margara, Optimal global alignment of signals by maximization of Pearson correlation, «INFORMATION PROCESSING LETTERS», 2010, 110, pp. 679 - 686 [Articolo in rivista]

R. Lanotte; A. Maggiolo-Schettini; A. Troina, Weak Bisimulation for Probabilistic Timed Automata, «THEORETICAL COMPUTER SCIENCE», 2010, 411, pp. 4291 - 4322 [Articolo in rivista]

Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina, Reachability results for timed automata with unbounded data structures, «ACTA INFORMATICA», 2010, 47, pp. 279 - 311 [Articolo in rivista]

R. Lanotte; A. Maggiolo-Schettini; A. Troina, Time and Probability-Based Information Flow Analysis, «IEEE TRANSACTIONS ON SOFTWARE ENGINEERING», 2010, 36, pp. 719 - 734 [Articolo in rivista]

Roberto Barbuti; Mariangiola Dezani; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina, A Formalism for the Description of Protein Interaction, «FUNDAMENTA INFORMATICAE», 2010, XX, pp. 1 - 29 [Articolo in rivista]

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 realistic urban propagation model for VANET, in: WONS 2010 - 7th International Conference on Wireless On-demand Network Systems and Services, 2010, pp. 57 - 60 (atti di: 7th International Conference on Wireless On-demand Network Systems and Services, WONS 2010, Kranjska Gora, svn, 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]