Nicola Capodieci, Emanuel Alsina, and Giacomo Cabri. Context-awareness in the deregulated electric energy market: an agent-based approach. Concurrency and Computation: Practice and Experience, page online, March 2013. (doi:10.1002/cpe.3011)
Nicola Capodieci and Giacomo Cabri. Collaboration in Swarm Robotics: a Visual Communication Approach. In Waleed W. Smari and Geoffrey C. Fox, editors, Proceedings of the 2013 International Conference on Collaboration Technologies and Systems, San Diego, USA, May 2013, pages 195 – 202. IEEE Computer Society, Conference Publishing Service, May 2013. (doi:10.1109/CTS.2013.6567229)
Nicola Capodieci, Emma Hart, and Giacomo Cabri. An immune network approach for self-adaptive ensembles of autonomic components: a case study in swarm robotics. In Pietro Liò, Orazio Miglino, Giuseppe Nicosia, Stefano Nolfi, and Mario Pavone, editors, Proceedings of the 12th European Conference on Artificial Life (ECAL), Taormina, Italy, September 2013, pages 864–871. MIT Press, September 2013. (doi:10.7551/978-0-262-31709-2-ch127)
Alessandro Celestini, Rocco De Nicola, and Francesco Tiezzi. Specifying and analysing reputation systems with a coordination language. In Chih-Cheng Hung and Jiman Hong, editors, Proc. of the 28th Annual ACM Symposium on Applied Computing (SAC2013), pages 1363–1368. ACM Press, 2013. (doi:10.1145/2480362.2480618)
Alessandro Celestini, Rocco De Nicola, and Francesco Tiezzi. Network-aware Evaluation Environment for Reputation Systems. In M. Carmen Fernà ndez Gago, Fabio Martinelli, Siani Pearson, and Isaac Agudo, editors, Proc. of 7th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2013), volume 40 of IFIP AICT, pages 231–238. Springer, 2013. (doi:10.1007/978-3-642-38323-6_17)
Alessandro Celestini, Rocco De Nicola, and Francesco Tiezzi. Specifying and Analysing Reputation Systems with Coordination Languages. Technical report, IMT Advanced Studies Lucca, 2013. (doi:10.1145/2480362.2480618)
Luca Cesari, Rosario Pugliese, and Francesco Tiezzi. Blind-date Conversation Joining. In António Ravara and Josep Silva, editors, Proceedings of the 9th International Workshop on Automated Specificationand Verification of Web Systems, 2013. (doi:10.4204/EPTCS.123.3)
Rima Al Ali, Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, and Frantisek Plasil. DEECo Computational Model - I. Technical report, Charles University, February 2013.
Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, and Frantisek Plasil. DEECo - an Ensemble-Based Component System. Technical report, Charles University, February 2013.
Tomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, and Frantisek Plasil. Formalization of Invariant Patterns for the Invariant Refinement Method. Technical report, Charles University, February 2013.