Max Tschaikowski and Mirco Tribastone. Refined Theory of Packages. In Tenth Workshop on Process Algebra and Stochastically Timed Activities, Ragusa, Italy, September 2011.
Carlo Pinciroli, Vito Trianni, Rehan O'Grady, Giovanni Pini, Arne Brutschy, Manuele Brambilla, Nithin Mathews, Eliseo Ferrante, Gianni Di Caro, Frederick Ducatelle, Timothy Stirling, Alvaro Gutierrez, Luca Maria Gambardella, and Marco Dorigo. ARGoS: a Modular, Multi-Engine Simulator for Heterogeneous Swarm Robotics. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2011). IEEE Press, Piscataway, NJ, September 2011.
Chiara Bodei, Viet Dung Dinh, and Gian-Luigi Ferrari. A G-Local π-calculus. In Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2011, pages 1–8, 2011.
Giacomo Cabri, Mariachiara Puviani, and Franco Zambonelli. Towards a Taxonomy of Adaptive Agent-based Collaboration Patterns for Autonomic Service Ensembles. In 2011 International Conference on Collaboration Technologies and Systems, pages 508–515, Philadelphia (PA), May 2011. IEEE Press. (doi:10.1109/CTS.2011.5928730)
Alessandro Stranieri, Eliseo Ferrante, Ali Emre Turgut, Vito Trianni, Carlo Pinciroli, Mauro Birattari, and Marco Dorigo. Self-Organized Flocking with a Heterogeneous Mobile Robot Swarm. In Advances in Artificial Life, ECAL 2011, pages 789–796. MIT press, Cambridge, MA, August 2011.
Alberto Lluch Lafuente and Andrea Vandin. Towards a Maude Tool for Model Checking Temporal Graph Properties. In Fabio Gadducci and Leonardo Mariani, editors, Proceedings of the 10th International Workshop on Graph Transformation and Visual Modelling Languages (GT-VMT'11). ECEAAST, 2011. To appear.
Emil Vassev, Mike Hinchey, Benoit Gaudin, and Patrick Nixon. Requirements and Initial Model for KnowLang - a Language for Knowledge Representation in Autonomic Service-Component Ensembles. In C3S2E 2011: The Fourth International C* Conference on Computer Science & Software Engineering, pages 35–42. ACM, 2011. (doi:10.1145/1992896.1992901)
Emil Vassev. Knowledge Representation for Autonomous Systems - The ``ASCENS''Case Study [Organic Computing - Design of Self-Organizing Systems(Dagstuhl Seminar 11181)]. Dagstuhl Reports, 1(5):16–17, May 2011. (doi:10.4230/DagRep.1.5.1)
Emil Vassev. Knowledge Representation for Intelligent Systems. In Phillip A. Laplante, editor, Encyclopedia of Software Engineering, pages 1–13. Taylor & Francis, 2011. (doi:10.1081/E-ESE-120047419)
Emil Vassev and Mike Hinchey. Towards a Formal Language for Knowledge Representation in Autonomic Service-Component Ensembles. In Proceedings of the 3rd International Conference on Data Mining and Intelligent Information Technology Applications (ICMIA2011). AICIT, IEEE Xplore, October 2011.