Pubblicazioni
-
M. BARANOVIC; M. GOLFARELLI; B. VRDOLIJAK; R. SANDRI, Proceedings of the 35th INTERNATIONAL CONFERENCE ON BUSINESS INTELLIGENCE SYSTEMS (miproBIS), REJEKA, Croatian Society of Information and Communication, 2012, pp. 72 . [Curatela]
-
Landfeldt B.; Bononi L. (a cura di): AA.VV., Special Section on Wireless Network Behaviour and Design, AMSTERDAM, Elsevier, 2012, pp. 2 . [Curatela]
-
Cristian Borcea; Paolo Bellavista; Carlo Giannelli; Thomas Magedanz; Florian Schreiner, Mobile Wireless Middleware, Operating Systems, and Applications, Berlin, Springer, 2012, pp. 265 (LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING). [Curatela]
-
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]