Pubblicazioni

Davide Sangiorgi;Jan Rutten, Advanced Topics in Bisimulation and Coinduction, Cambridge, CAMBRIDGE UNIVERSITY PRESS, 2012, pp. 340 . [Curatela]

F. De Paoli; E. Pimentel; G. Zavattaro, Proceedings of European Conference on Service-Oriented, ESOCC 2012, Berlin, Springer, 2012, pp. 2 (LECTURE NOTES IN COMPUTER SCIENCE). [Curatela]

Michela Milano (a cura di): Michela Milano, Principles and Practice of Constraint Programming, Berlin, Springer, 2012, pp. 1016 (LECTURE NOTES IN COMPUTER SCIENCE). [Curatela]

D. Aspinall; C. Sacerdoti Coen, Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10), Amsterdam, Academic Press (Elsevier), 2012, pp. 120 . [Curatela]

Bononi, L.; Di Felice, M.; Chowdhury, R. K., Proceedings of the 1st IEEE International Workshop on Emerging COgnitive Radio Applications and aLgorithms (IEEE CORAL 2012), New York, ieee, 2012, pp. 1 . [Curatela]

Yang, Kun; Cheng, Xueqi; Pau, Giovanni, Special Issue on: Interdisciplinary and cross-layer design of mobile social networks and wireless networks, new york, John Wiley & Sons, 2012, pp. 2 . [Curatela]

Andrea Omicini; Sebastian Sardina; Wamberto Vasconcelos, Declarative Agent Languages and Technologies VIII, HEIDELBERG, Springer, 2011, pp. 217 (LECTURE NOTES IN COMPUTER SCIENCE). [Curatela]

G. D'Angelo; S. Ferretti, Proceedings of 2nd ICST/CREATE-NET Workshop on DIstributed SImulation and Online gaming (DISIO 2011), BRUSSELS, ICST, 2011, pp. 133 . [Curatela]

Ana García-Fornes; Jomi F. Hübner; Andrea Omicini; Juan A. Rodríguez-Aguilar; Vicent Botti, Special Issue "Infrastructures and Tools for Multiagent Systems", AMSTERDAM, Elsevier, 2011, pp. 67 . [Curatela]

G.S. Banavar; P. Bellavista; R. Kothari; N. Venkatasubramanian, Communications Middleware for Mobile Devices and Applications (Guest Editorial), New York, IEEE, 2011, pp. 42 . [Curatela]

J. Leite; P. Torroni; T. Agotnes; G. Boella; L. van der Torre, Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, HEIDELBERG, Springer-Verlag, 2011, pp. 398 (LECTURE NOTES IN COMPUTER SCIENCE). [Curatela]

Helmy A.; Landfeldt B.; Bononi L., Proceedings of the 14th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2011, Miami, Florida, USA, October 31 - November 4, 2011 ACM 2011, NEW YORK, ACM, 2011, pp. 448 . [Curatela]

Banchs A.; Bononi L., 2011 Workshops Proceedings of the IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (IEEE WoWMoM 2011 Workshops), Piscataway NY, IEEE Press, 2011, pp. 2 . [Curatela]

A. Aldini; R. Gorrieri, Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures, HEIDELBERG, Springer-Verlag, 2011, pp. 285 (LECTURE NOTES IN COMPUTER SCIENCE). [Curatela]

M. Bravetti; T. Bultan, Web Services and Formal Methods - 7th International Workshop (WS-FM 2010), Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers, HEIDELBERG, Springer, 2011, pp. 191 (LECTURE NOTES IN COMPUTER SCIENCE). [Curatela]

M. Milano; P. van Hentenryck, Hybrid Optimization: The ten years of CPAIOR, NEW YORK, Springer, 2011, pp. 559 . [Curatela]

M. Bravetti; G. Zavattaro, Special Issue of the journal of "Information and Computation" dedicated to Concurrency Theory, AMSTERDAM, Elsevier, 2011, pp. 1 . [Curatela]

Baranovic M; Golfarelli M; Vrdolijak B; Sandri R, Proceedings of the 34th INTERNATIONAL CONFERENCE ON BUSINESS INTELLIGENCE SYSTEMS (miproBIS), REJEKA, Croatian Society of Information and Communication, 2011, pp. 482 . [Curatela]

Ulf Schreier; Gianluigi Zavattaro, Proceedings of the 9th IEEE European Conference on Web Services, ECOWS'11, IEEE, 2011, pp. 1 . [Curatela]

Zahariadis, Theodore; Pau, Giovanni; Camarilo, Gonzalo, Future media Internet, New York, IEEE, 2011, pp. 2 . [Curatela]