International Conference on Coordination Models and Languages
Coordination
C
CORE rank
CORE rank (raw)
C
Fields of research
Distributed Computing and Systems Software
Papers indexed
529
1996–2026
Papers per year
199635 peak2026
Most published authors
Coordination papers
529 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2008 | CiAN: A Workflow Engine for MANETs. | Rohan Sen, Gruia-Catalin Roman, Christopher D. Gill |
| 2008 | Encrypted Shared Data Spaces. | Giovanni Russello, Changyu Dong, Naranker Dulay, Michel R. V. Chaudron, Maarten van Steen |
| 2008 | Formal Analysis of BPMN Via a Translation into COWS. | Davide Prandi, Paola Quaglia, Nicola Zannone |
| 2008 | An Event-Based Coordination Model for Context-Aware Applications. | Angel Nez, Jacques Noy |
| 2008 | From Flow Logic to Static Type Systems for Coordination Languages. | Rocco De Nicola, Daniele Gorla, Ren Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese |
| 2008 | How to Infer Finite Session Types in a Calculus of Services and Sessions. | Leonardo Gaetano Mezzina |
| 2008 | A Formal Account of WS-BPEL. | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
| 2008 | Alternating-Time Stream Logic for Multi-agent Systems. | Sascha Klppelholz, Christel Baier |
| 2008 | Modeling and Analysis of Reo Connectors Using Alloy. | Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi |
| 2008 | Advice for Coordination. | Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang |
| 2008 | Implementing Joins Using Extensible Pattern Matching. | Philipp Haller, Tom Van Cutsem |
| 2008 | Session Types for Orchestration Charts. | Alessandro Fantechi, Elie Najm |
| 2008 | Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs. | Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Hjsgaard, Henning Niss |
| 2008 | Multiparty Sessions in SOC. | Roberto Bruni, Ivan Lanese, Hernn C. Melgratti, Emilio Tuosto |
| 2008 | Timed Soft Concurrent Constraint Programs. | Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini |
| 2008 | Service Combinators for Farming Virtual Machines. | Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya |
| 2008 | Implementing Session Centered Calculi. | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
| 2008 | A Coordination Model for Service-Oriented Interactions. | Joo Abreu, Jos Luiz Fiadeiro |
| 2007 | Requirements for Routing in the Application Layer. | Pamela Zave |
| 2007 | A Theory of Nested Speculative Execution. | Cristian Tapus, Jason Hickey |
| 2007 | A Coordination Model for Triplespace Computing. | Elena Simperl, Reto Krummenacher, Lyndon J. B. Nixon |
| 2007 | Coordinating Workflow Allocation and Execution in Mobile Environments. | Rohan Sen, Gregory Hackmann, Mart Haitjema, Gruia-Catalin Roman, Christopher D. Gill |
| 2007 | Fact Spaces: Coordination in the Face of Disconnection. | Stijn Mostinckx, Christophe Scholliers, Eline Philips, Charlotte Herzeel, Wolfgang De Meuter |
| 2007 | Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. | Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel |
| 2007 | Generalized Committed Choice. | Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu |
276–300 of 529← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*INFOCOMIEEE International Conference on Computer Communications
- A*WWWInternational World Wide Web Conference
- AICDCSInternational Conference on Distributed Computing Systems
- A*SIGCOMMACM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
- A*MOBICOMACM International Conference on Mobile Computing and Networking
- ADSNIEEE/IFIP International Conference on Dependable Systems and Networks
- AICWSIEEE International Conference on Web Services
- A*PODCACM Symposium on Principles of Distributed Computing