| 2010 | Scalable Efficient Composite Event Detection. | K. R. Jayaram, Patrick Th. Eugster |
| 2010 | Observables for Mobile and Wireless Broadcasting Systems. | Jens Chr. Godskesen |
| 2010 | Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks. | Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu |
| 2010 | A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks. | Andoni Lombide Carreton, Theo D'Hondt |
| 2010 | Simulation and Analysis of Distributed Systems in Klaim. | Francesco Calzolai, Michele Loreti |
| 2010 | A Calculus for Boxes and Traits in a Java-Like Setting. | Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schfer |
| 2010 | Behavioural Contracts with Request-Response Operations. | Lucia Acciai, Michele Boreale, Gianluigi Zavattaro |
| 2009 | Biochemical Tuple Spaces for Self-organising Coordination. | Mirko Viroli, Matteo Casadei |
| 2009 | Hop, a Fast Server for the Diffuse Web. | Manuel Serrano |
| 2009 | Multicore Scheduling for Lightweight Communicating Processes. | Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes |
| 2009 | Fairness for Chorded Languages. | Alexis Petrounias, Susan Eisenbach |
| 2009 | Exceptionally Safe Futures. | Armand Navabi, Suresh Jagannathan |
| 2009 | Coordination Model for Real-Time Collaborative Editors. | Abdessamad Imine |
| 2009 | Parametrised Constants and Replication for Spatial Mobility. | Bjrn Haagensen, Hans Httel |
| 2009 | Mobility Models and Behavioural Equivalence for Wireless Networks. | Jens Chr. Godskesen, Sebastian Nanz |
| 2009 | Enhanced Coordination in Sensor Networks through Flexible Service Provisioning. | Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu |
| 2009 | Assume-Guarantee Verification of Concurrent Systems. | Liliana D'Errico, Michele Loreti |
| 2009 | High-Performance Transactional Event Processing. | Antonio Cunei, Rachid Guerraoui, Jesper Honig Spring, Jean Privat, Jan Vitek |
| 2009 | Contract-Based Coordination of Hardware Components for the Development of Embedded Software. | Tayeb Bouhadiba, Florence Maraninchi |
| 2009 | Automata for Context-Dependent Connectors. | Marcello M. Bonsangue, Dave Clarke, Alexandra Silva |
| 2009 | A Uniform Framework for Modeling and Verifying Components and Connectors. | Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klppelholz |
| 2009 | From Coordination to Stochastic Models of QoS. | Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chrtien Verhoef |
| 2008 | A Compositional Trace Semantics for Orc. | Dimitrios Vardoulakis, Mitchell Wand |
| 2008 | Actors with Multi-headed Message Receive Patterns. | Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert |
| 2008 | A Process Calculus for Mobile Ad Hoc Networks. | Anu Singh, C. R. Ramakrishnan, Scott A. Smolka |