Pubblicazioni

Di Matteo N.; Peroni S.; Tamburini F.; Vitali F., A parametric architecture for tags clustering in folksonomic search engines, in: Intelligent Systems Design and Applications, 2009. ISDA '09. Ninth International Conference on, s.l, IEEE, 2009, pp. 279 - 282 (atti di: Ninth International Conference on Intelligent Systems Design and Applications, 2009. ISDA '09., Pisa, Italy, November 30 - December 2, 2009) [Contributo in Atti di convegno]

Blesa, M. J.; Blum, C.; Di Gaspero, L.; Roli, Andrea; Sampels, M.; Schaerf, A., Hybrid Metaheuristics - 6th International Workshop, HM 2009, BERLIN, Springer, 2009, pp. 187 (Lecture Notes in Computer Science). [Curatela]

M.J. Blesa; C. Blum; L. Di Gaspero; A. Roli; M. Sampels; A. Schaerf, Preface to Hybrid Metaheuristics - 6th International Workshop, HM 2009, in: Hybrid Metaheuristics - 6th International Workshop, HM 2009, BERLIN, Springer, 2009, pp. IV - IV [Breve introduzione]

S. Mattoccia, A locally global approach to stereo correspondence, in: ADRIAN HILTON, TAKESHI MASUDA, CHANG SHU, GUY GODIN, 2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV Workshops, PISCATAWAY, NJ, IEEE, 2009, 1, pp. 1763 - 1770 (atti di: The 2009 IEEE International Workshop on 3-D Digital Imaging and Modeling (3DIM2009), Kyoto, JapanSaturday, October 3, 9:30-18:00, Sunday, October 4, 9:30-17:20, 3-4 October, 2009) [Contributo in Atti di convegno]

Bononi L.; Guérin-Lassous I. (a cura di): AA.VV., Performance Evaluation Journal: Special Issue on “Performance Evaluation of Wireless Ad Hoc, Sensor and Ubiquitous Networks”, AMSTERDAM, Elsevier, 2009, pp. 2 (Performance Evaluation). [Curatela]

N. Busi; G. Zavattaro, Deciding reachability problems in Turing-complete fragments of Mobile Ambients, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19(6), pp. 1223 - 1263 [Articolo in rivista]

N. Busi; M. Gabbrielli; G. Zavattaro, On the expressive power of recursion, replication and iteration in process calculi, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19(6), pp. 1191 - 1222 [Articolo in rivista]

M. Bravetti; G. Zavattaro, A theory of contracts for strong service compliance, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19(3), pp. 601 - 638 [Articolo in rivista]

M. Bravetti; G. Zavattaro, On the expressive power of process interruption and compensation, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19, pp. 565 - 599 [Articolo in rivista]

C. Laneve; S. Pradalier; G. Zavattaro, From Biochemistry to Stochastic Processes, in: null, 2009, 253(3), pp. 167 - 185 (atti di: Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009), York, UK, March 28-29, 2009) [Contributo in Atti di convegno]

M. Bravetti; G. Zavattaro, Contract-Based Discovery and Composition of Web Services, in: Formal Methods for Web Services, Advanced Lectures, HEIDELBERG, Springer, 2009, pp. 261 - 295 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

I. Lanese; G. Zavattaro, Programming Sagas in SOCK, in: Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, LOS ALAMITOS, CA, IEEE Computer Society Press, 2009, pp. 189 - 198 (atti di: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November, 2009) [Contributo in Atti di convegno]

C. Di Giusto; J. A. Pérez; G. Zavattaro, On the Expressiveness of Forwarding in Higher-Order Communication, in: Theoretical Aspects of Computing - ICTAC 2009. Proceedings, BERLIN, Springer, 2009, 5684, pp. 155 - 169 (atti di: 6th International Colloquium on Theoretical Aspects of Computing - ICTAC 2009, Kuala Lumpur, Malaysia, August 16-20, 2009) [Contributo in Atti di convegno]

G. Delzanno; C. Di Giusto; M. Gabbrielli; C. Laneve; G. Zavattaro, The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages, in: Computational Methods in Systems Biology. Proceedings, BERLIN, Springer, 2009, 5688, pp. 158 - 172 (atti di: 7th International Conference on Computational Methods in Systems Biology, CMSB 2009, Bologna, Italy, August 31-September 1, 2009) [Contributo in Atti di convegno]

M. Bernardo; L. Padovani; G. Zavattaro, Formal Methods for Web Services, Advanced Lectures, HEIDELBERG, Springer, 2009, pp. 340 (Lecture Notes in Computer Science). [Curatela]

M. Bravetti; G. Zavattaro (a cura di): AUTORI VARI, CONCUR 2009 - Concurrency theory, HEIDELBERG, Springer, 2009, pp. 638 (Lecture Notes in Computer Science). [Curatela]

A. Lanza; L. Di Stefano; L. Soffritti, Bayesian Order-Consistency Testing with Class Priors Derivation for Robust Change Detection, in: Proceedings of the 2009 Sixth IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS), WASHINGTON, IEEE Computer Society, 2009, pp. 460 - 465 (atti di: Sixth IEEE International Conference on Advanced Video and Signal Based Surveillance, Genova, September 02-04 2009) [Contributo in Atti di convegno]

S. Carpineti; C. Laneve; L. Padovani, PiDuce - A project for experimenting Web services technologies, «SCIENCE OF COMPUTER PROGRAMMING», 2009, 74/10, pp. 777 - 811 [Articolo in rivista]

A. Carbonaro, Building a Collaborative Semantic-Aware Framework for Search, in: Visioning and engineering the knowledge society, BERLIN, Springer, 2009, pp. 268 - 275 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

A. Carbonaro, Un ambiente semantico per la gestione e il reperimento di video, «JE-LKS. JOURNAL OF E-LEARNING AND KNOWLEDGE SOCIETY», 2009, 5, pp. 87 - 97 [Articolo in rivista]