Pubblicazioni

Montesi, F.; Guidi, C.; Zavattaro, G., Service-oriented programming with Jolie, in: Web Services Foundations, Berlin, Springer, 2014, pp. 81 - 107 [Capitolo/Saggio in libro]

Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide, Symmetries and dualities in name-passing process calculi, in: Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday, Berlino, Springer Verlag, 2014, pp. 307 - 322 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

Filisetti, Alessandro; Villani, Marco; Damiani, Chiara; Graudenzi, Alex; Roli, Andrea; Hordijk, Wim; Serra, Roberto, On RAF Sets and Autocatalytic Cycles in Random Reaction Networks, in: Communications in Computer and Information Science, Cham (ZG), Springer Verlag, 2014, pp. 114 - 126 (COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE) [Capitolo/Saggio in libro]

Nicolay, Delphine; Roli, Andrea; Carletti, Timoteo, Learning Multiple Conflicting Tasks with Artificial Evolution, in: Communications in Computer and Information Science, Cham (ZG), Springer Verlag, 2014, pp. 127 - 139 (COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE) [Capitolo/Saggio in libro]

Baeten, Jos C.M.; Sangiorgi, Davide, Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi, in: Computational Logic, Amsterdam, Elsevier, 2014, pp. 399 - 442 [Capitolo/Saggio in libro]

Bradshaw J.M.; Uszok A.; Montanari R., Policy-Based Governance of Complex Distributed Systems: What Past Trends Can Teach Us about Future Requirements, in: Engineering Adaptive and Resilient Computing Systems, Boca Raton, FL, CRC Press, 2014, pp. 259 - 284 [Capitolo/Saggio in libro]

Karaman, Svebor*; Lisanti, Giuseppe; Bagdanov, Andrew D.; Del Bimbo, Alberto, From re-identification to identity inference: labeling consistency by local similarity constraints, in: Advances in Computer Vision and Pattern Recognition, London, Springer-Verlag London Ltd, 2014, pp. 287 - 307 [Capitolo/Saggio in libro]