Skip to content
cs-conference-ranking.org

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

Best Systems and Networking conferences

Papers per year

199635 peak2026

Most published authors

Coordination papers

529 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2026Proof of Delivery: Mechanized Mailbox Types.Edgard Schiebelbein, Annette Bieniusa, Simon Fowler
2026Timed Scenario Expressions and Realisability.Neda Saeedloei, Feliks Kluzniak
2026Runtime Adaptation as a Programming Pattern in Service Composition.Carlos Gustavo Lpez Pombo, Pablo Montepagano, Emilio Tuosto
2026Simulation and Analysis of Indoor-Air-Quality Measuring Devices with YODA.Riccardo Petracci, Nicola Del Giudice, Diletta Romana Cacciagrano, Michele Loreti
2026Deductive Verification of Legal Contracts.Reiner Hhnle, Cosimo Laneve
2026High-Fidelity Simulation of Aggregate Computing Systems with Collektivity.Filippo Gurioli, Martina Baiardi, Angela Cortecchia, Danilo Pianini
2026ScalaTropy: Multiparty Coordination with Monadic Communication Primitives.Nicolas Farabegoli, Luca Tassinari, Gianluca Aguzzi, Mirko Viroli
2026A Self-stabilizing Min-Max Consensus via Path-Loop Detection.Angela Cortecchia, Danilo Pianini, Mirko Viroli
2026HistMSO: a Logic for Reasoning About Consistency Models with MONA.Isabelle Coget, tienne Lozes
2026Motif Refinement for the Hierarchical Control of Structured CPSs.Simon Bliudze, Sophie Cerf, Olga Kouchnarenko
2026Aggregate Indoor Localisation.Giorgio Audrito, Leonardo Bertolino, Ferruccio Damiani, Gianluca Torta
2026Bach4Popper: Towards Federated Inductive Logic Programming Using Coordination.Yasmine Akaichi, Manel Barkallah, Jean-Marie Jacquet, Isabelle Linden, Wim Vanhoof
2026Phyelds: A Pythonic Framework for Aggregate Computing.Gianluca Aguzzi, Davide Domini, Nicolas Farabegoli, Mirko Viroli
2025DACEO: Declarative Asynchronous Choreographies with General Data-Dependent Event-Ordering and Objects.Tilman Zuckmantel, Yongluan Zhou, Boris Ddder, Thomas T. Hildebrandt
2025Dialects for the CoAP IoT Messaging Protocol.Carolyn L. Talcott
2025Verified Parameterized Choreographies.Robert Rubbens, Petra van den Bos, Marieke Huisman
2025RebeCaos.Jos Proena, Maurice H. ter Beek
2025Behavioural, Functional, and Non-functional Contracts for Dynamic Selection of Services.Carlos Lpez Pombo, Hernn C. Melgratti, Agustn E. Martinez Su, Diego Senarruzza Anabia, Emilio Tuosto
2025Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software.Nikolaus Huber, Susanne Graf, Philipp Rmmer, Wang Yi
2025A Constraint Opinion Model.Fabio Gadducci, Carlos Olarte, Frank Valencia
2025Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming.Christopher A. Esterhuyse, Benjamin Lion, Hans-Dieter A. Hiep, Farhad Arbab
2025Decidability Problems for Micro-Stipula.Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro
2025Declarative Deployment Planning for Green Pulverised Collective Computational Systems.Antonio Brogi, Roberto Casadei, Nicolas Farabegoli, Stefano Forti, Mirko Viroli
2025Formalizing Errors in CCS with 3-Valued Logic.Alessandro Aldini, Claudio Antares Mezzina
2025A Demonstrator for Self-organizing Robot Teams.Gianluca Aguzzi, Lorenzo Bacchini, Martina Baiardi, Roberto Casadei, Angela Cortecchia, Davide Domini, Nicolas Farabegoli, Danilo Pianini, Mirko Viroli
1–25 of 529← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.