Pubblicazioni

Matteo Casadei; Mirko Viroli, Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems, in: Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC 2009), NEW YORK, ACM, 2009, III, pp. 2103 - 2104 (atti di: 24th Annual ACM Symposium on Applied Computing (SAC 2009), Honolulu, Hawai'i, USA, 8-12 March 2009) [Contributo in Atti di convegno]

M. Viroli; F. Zambonelli; M. Casadei; S. Montagna, A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems, in: Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC 2009), NEW YORK, ACM, 2009, II, pp. 1221 - 1222 (atti di: 24th Annual ACM Symposium on Applied Computing (SAC 2009), Honolulu, Hawai'i, USA, 8-12 March 2009) [Contributo in Atti di convegno]

S. Montagna; M. Viroli, A computational framework for modelling multicellular biochemistry, in: S.A., IEEE Congress on Evolutionary Computation, 2009. CEC '09., PISCATAWAY, NJ, IEEE, 2009, pp. 2223 - 2240 (atti di: IEEE Congress on Evolutionary Computation, 2009. CEC '09., Trondheim, Norway, 18-21 May 2009) [Contributo in Atti di convegno]

M. Casadei; M. Viroli, An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems, in: S.A., IEEE Congress on Evolutionary Computation, 2009 (CEC 2009)., PISCATAWAY, NJ, IEEE, 2009, pp. 1538 - 1545 (atti di: IEEE Congress on Evolutionary Computation, 2009 (CEC 2009)., Trondheim, Norway, 18-21 May 2009) [Contributo in Atti di convegno]

M. Viroli; M. Casadei, Biochemical Tuple Spaces for Self-Organising Coordination, in: null, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5521, pp. 143 - 162 (atti di: COORDINATION 2009, Lisbon, Portugal, 9-12 June, 2009) [Contributo in Atti di convegno]

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]