| 2006 | Synthesizing Concurrency Control Components from Process Algebraic Specifications. | Edoardo Bont, Marco Bernardo, Jeff Magee, Jeff Kramer |
| 2006 | Atomic Commit and Negotiation in Service Oriented Computing. | Laura Bocchi, Roberto Lucchi |
| 2006 | Stochastic Reasoning About Channel-Based Component Connectors. | Christel Baier, Verena Wolf |
| 2005 | Coordination with Multicapabilities. | Nur Izura Udzir, Alan M. Wood, Jeremy L. Jacob |
| 2005 | Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space. | Giovanni Russello, Michel R. V. Chaudron, Maarten van Steen |
| 2005 | Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach. | Arnab Ray |
| 2005 | Mobile Agent Based Fault-Tolerance Support for the Reliable Mobile Computing Systems. | Taesoon Park |
| 2005 | Tagged Sets: A Secure and Transparent Coordination Medium. | Manuel Oriol, Michael W. Hicks |
| 2005 | Time-Aware Coordination in ReSpecT. | Andrea Omicini, Alessandro Ricci, Mirko Viroli |
| 2005 | Global Computing in a Dynamic Network of Tuple Spaces. | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
| 2005 | A Process Calculus for QoS-Aware Applications. | Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto |
| 2005 | A Case Study of Web Services Orchestration. | Manuel Mazzara, Sergio Govoni |
| 2005 | Synchronized Hyperedge Replacement for Heterogeneous Systems. | Ivan Lanese, Emilio Tuosto |
| 2005 | A Correct Abstract Machine for Safe Ambients. | Daniel Hirschkoff, Damien Pous, Davide Sangiorgi |
| 2005 | Delegation Modeling with Paradigm. | Luuk Groenewegen, Niels van Kampenhout, Erik P. de Vink |
| 2005 | Abstract Interpretation-Based Verification of Non-functional Requirements. | Agostino Cortesi, Francesco Logozzo |
| 2005 | Coordination Systems in Role-Based Adaptive Software. | Alan W. Colman, Jun Han |
| 2005 | Prioritized and Parallel Reactions in Shared Data Space Coordination Languages. | Nadia Busi, Gianluigi Zavattaro |
| 2005 | Experience Using a Coordination-Based Architecture for Adaptive Web Content Provision. | Lindsay Bradford, Stephen Milliner, Marlon Dumas |
| 2005 | Transactional Aspects in Semantic Based Discovery of Services. | Laura Bocchi, Paolo Ciancarini, Davide Rossi |
| 2005 | Preserving Architectural Properties in Multithreaded Code Generation. | Marco Bernardo, Edoardo Bont |
| 2005 | Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. | Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani |
| 2004 | A Component-Based Parallel Constraint Solver. | Peter Zoeteweij, Farhad Arbab |
| 2004 | Social Control Mechanisms to Coordinate an Unreliable Agent Society. | Hamid Haidarian Shahri, Mohammad Reza Meybodi |
| 2004 | VIPER: A VIsual Protocol EditoR. | Colm Rooney, Rem W. Collier, Gregory M. P. O'Hare |