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 |
|---|---|---|
| 2024 | SEArch: An Execution Infrastructure for Service-Based Software Systems. | Carlos Gustavo Lpez Pombo, Pablo Montepagano, Emilio Tuosto |
| 2024 | An OpenWhisk Extension for Topology-Aware Allocation Priority Policies. | Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro |
| 2024 | Choreographic Automata: A Case Study in Healthcare Management. | Sourabh Pal, Ivan Lanese, Massimo Clo |
| 2024 | Visualisation of Collective Systems with Sequit and Sibilla. | Nicola Del Giudice, Federico Maria Cruciani, Michele Loreti |
| 2024 | Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax). | Adrian Francalanza, Gerard Tabone, Frank Pfenning |
| 2024 | Field-Based Coordination for Federated Learning. | Davide Domini, Gianluca Aguzzi, Lukas Esterle, Mirko Viroli |
| 2024 | A Probabilistic Choreography Language for PRISM. | Marco Carbone, Adele Veschetti |
| 2024 | The Concurrent Calculi Formalisation Benchmark. | Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon |
| 2024 | COTS: Connected OpenAPI Test Synthesis for RESTful Applications. | Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas, Emilio Tuosto |
| 2024 | Encoding Petri Nets into CCS. | Benjamin Bog, Andrea Burattin, Alceste Scalas |
| 2024 | Team Automata: Overview and Roadmap. | Maurice H. ter Beek, Rolf Hennicker, Jos Proena |
| 2024 | Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal. | Davide Basile |
| 2024 | An Enhanced Exchange Operator for XC. | Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta |
| 2024 | Coconut: Typestates for Embedded Systems. | Arwa Hameed Alsubhi, Ornela Dardha |
| 2024 | Simulation-Based Decision Support for Cross-Organisational Workflows - A Case Study of Emergency Handling. | Muhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun |
| 2024 | ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm Design. | Gianluca Aguzzi, Roberto Casadei, Matteo Cerioni, Mirko Viroli |
| 2024 | TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts). | Joo Afonso, Elvis Konjoh Selabi, Maurizio Murgia, Antnio Ravara, Emilio Tuosto |
| 2023 | Caos: A Reusable Scala Web Animator of Operational Semantics. | Jos Proena, Luc Edixhoven |
| 2023 | Relating Message Passing and Shared Memory, Proof-Theoretically. | Frank Pfenning, Klaas Pruiksma |
| 2023 | Safe Asynchronous Mixed-Choice for Timed Interactions. | Jonah Pears, Laura Bocchi, Andy King |
| 2023 | Rollback Recovery in Session-Based Programming. | Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida |
| 2023 | Legal Contracts Amending with Stipula. | Cosimo Laneve, Alessandro Parenti, Giovanni Sartor |
| 2023 | JoT: A Jolie Framework for Testing Microservices. | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana |
| 2023 | Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. | Carlos Mo de Ferro, Tiago Cogumbreiro, Francisco Martins |
| 2023 | Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems. | Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko |
26–50 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