Pubblicazioni

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]

Massimo Cossentino, Ambra Molesini, Andrea Omicini, Valeria Seidita, Special track on: Agent-oriented software engineering methodologies and systems, in: Proceedings of the ACM Symposium on Applied Computing, New York, NY, ACM Press, 2009, pp. 697 - 698 [Breve introduzione]

Capone, A; Elias, J; Martignon, F, Routing and resource optimization in service overlay networks, «COMPUTER NETWORKS», 2009, 53, pp. 180 - 190 [Articolo in rivista]

Bernardo, M.; Padovani, L.; Zavattaro, G., Formal Methods for Web Services, DEU, Springer, 2009, pp. 341 . [Curatela]

Giuseppe, Castagna; Nils, Gesbert; Padovani, Luca, A Theory of Contracts for Web Services, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2009, 31(5), pp. 92 - 153 [Articolo in rivista]

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]

Padovani, Luca, Contract-based Discovery and Adaptation of Web Services, in: Formal Methods for Web Services, DEU, Springer, 2009, pp. 213 - 260 [Capitolo/Saggio in libro]