Pubblicazioni

Mirri, S.; Muratori, L. A.; Roccetti, M.; Salomoni, P., Metrics for accessibility on the Vamolà project, in: W4A 2009 - International Cross Disciplinary Conference on Web Accessibility, Association for Computing Machinery, Inc, 2009, pp. 142 - 145 (atti di: 6th International Cross Disciplinary Conference on Web Accessibility, W4A 2009, Spain, 2009) [Contributo in Atti di convegno]

Amoroso A.; Roccetti M.; Nanni M.; Prati L., VANETS without limitations: An optimal distributed algorithm for multi-hop communications, in: 2009 6th IEEE Consumer Communications and Networking Conference, CCNC 2009, IEEE, 2009, pp. 1 - 5 (atti di: 2009 6th IEEE Consumer Communications and Networking Conference, CCNC 2009, Las Vegas, NV, usa, 2009) [Contributo in Atti di convegno]

Bevilacqua A.; Gherardi A.; Carozza L., High accuracy estimation of vehicle trajectory using a real time stereo tracking system, in: IEEE International Symposium on Industrial Electronics, 2009, pp. 2230 - 2235 (atti di: IEEE International Symposium on Industrial Electronics, IEEE ISIE 2009, Seoul, kor, 2009) [Contributo in Atti di convegno]

Delzanno, G; Di Giusto, C; Gabbrielli, M; Laneve, C; Zavattaro, G, The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages, in: Computational Methods in Systems Biology, 7th International Conference, {CMSB} 2009, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY, SPRINGER-VERLAG BERLIN, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2009, 5688, pp. 158 - 178 (atti di: Computational Methods in Systems Biology, 7th International Conference, {CMSB} 2009, Bologna, August 31-September 1, 2009) [Contributo in Atti di convegno]

Padovani, Luca, Session Types at the Mirror, in: Proceedings of the 2nd Workshop on Interaction and Concurrency Experience, Waterloo, Open Publishing Association, 2009, 12, pp. 71 - 86 (atti di: 2nd Workshop on Interaction and Concurrency Experience, Bologna, Italy, 31 august 2009) [Contributo in Atti di convegno]

G., Castagna; Padovani, Luca, Contracts for Mobile Processes, in: CONCUR 2009 - Concurrency Theory, DEU, Springer, 2009, LNCS 5710, pp. 211 - 228 (atti di: 20th International Conference on Concurrency Theory, Bologna, Italy, 31 August - 5 september 2009) [Contributo in Atti di convegno]