| 2015 | Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. | Diego Latella, Michele Loreti, Mieke Massink |
| 2015 | Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles. | Edmund Soon Lee Lam, Iliano Cervesato, Nabeeha Fatima |
| 2015 | VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries. | Malinda Kumarasinghe, Geeth Tharanga, Lasitha Weerasinghe, Ujitha Wickramarathna, Surangika Ranathunga |
| 2015 | Take Command of Your Constraints! | Sung-Shik T. Q. Jongmans, Farhad Arbab |
| 2015 | A Labelled Semantics for Soft Concurrent Constraint Programming. | Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia |
| 2015 | Parallelisation and Application of AD 3 as a Method for Solving Large Scale Combinatorial Auctions. | Francisco Cruz-Mencia, Jess Cerquides, Antonio Espinosa, Juan Carlos Moure, Juan Antonio Rodrguez-Aguilar |
| 2015 | Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach. | Stephen Cranefield, Surangika Ranathunga |
| 2015 | Logic Fragments: A Coordination Model Based on Logic Inference. | Francesco Luca De Angelis, Giovanna Di Marzo Serugendo |
| 2015 | Replica-Based High-Performance Tuple Space Computing. | Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente |
| 2014 | The Stochastic Quality Calculus. | Kebin Zeng, Flemming Nielson, Hanne Riis Nielson |
| 2014 | A Calculus of Self-stabilising Computational Fields. | Mirko Viroli, Ferruccio Damiani |
| 2014 | Typing Liveness in Multiparty Communicating Systems. | Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira |
| 2014 | Multiparty Session Actors. | Rumyana Neykova, Nobuko Yoshida |
| 2014 | Affine Sessions. | Dimitris Mostrous, Vasco Thudichum Vasconcelos |
| 2014 | Safe and Efficient Data Sharing for Message-Passing Concurrency. | Benjamin Morandi, Sebastian Nanz, Bertrand Meyer |
| 2014 | LINC: A Compact Yet Powerful Coordination Environment. | Maxime Louvel, Franois Pacull |
| 2014 | Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms. | Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab |
| 2014 | Progress as Compositional Lock-Freedom. | Marco Carbone, Ornela Dardha, Fabrizio Montesi |
| 2014 | Coordination of ECA Rules by Verification and Control. | Julio Cano, Gwenal Delaval, ric Rutten |
| 2014 | Verifiable Decisions in Autonomous Concurrent Systems. | Lenz Belzner |
| 2014 | Encoding Synchronous Interactions Using Labelled Petri Nets. | Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
| 2013 | Typing Progress in Communication-Centred Systems. | Hugo Torres Vieira, Vasco Thudichum Vasconcelos |
| 2013 | Towards Distributed Reactive Programming. | Guido Salvaneschi, Joscha Drechsler, Mira Mezini |
| 2013 | Interactive Interaction Constraints. | Jos Proena, Dave Clarke |
| 2013 | Event Loop Coordination Using Meta-programming. | Laure Philips, Dries Harnie, Kevin Pinte, Wolfgang De Meuter |