| 2026 | CONCUR | Bisimulations and Modal Logics for Higher Dimensional Automata. | Safa Zouari, Rob van Glabbeek, Krzysztof Ziemianski |
| 2026 | ITP | Formally Verified Liveness with Multiparty Session Types in Rocq. | Omer Keskin, Nobuko Yoshida, Rob van Glabbeek |
| 2025 | CONCUR | Just Verification of Mutual Exclusion Algorithms. | Rob van Glabbeek, Bas Luttik, Myrthe S. C. Spronck |
| 2023 | FOSSACS | Just Testing. | Rob van Glabbeek |
| 2022 | ESOP | Comparing the expressiveness of the π-calculus and CCS. | Rob van Glabbeek |
| 2021 | CONCUR | CONCUR Test-Of-Time Award 2021 (Invited Paper). | Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida |
| 2021 | CONCUR | Enabling Preserving Bisimulation Equivalence. | Rob van Glabbeek, Peter Hfner, Weiyou Wang |
| 2021 | LICS | Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. | Rob van Glabbeek, Peter Hfner, Ross Horne |
| 2020 | CONCUR | Reactive Bisimulation Semantics for a Process Algebra with Time-Outs. | Rob van Glabbeek |
| 2020 | SPAA | Feasibility of Cross-Chain Payment with Success Guarantees. | Rob van Glabbeek, Vincent Gramoli, Pierre Tholoniat |
| 2019 | ESOP | A Process Algebra for Link Layer Protocols. | Rob van Glabbeek, Peter Hfner, Michael Markl |
| 2019 | FOSSACS | Justness - A Completeness Criterion for Capturing Liveness Properties (Extended Abstract). | Rob van Glabbeek |
| 2018 | CONCUR | Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk). | Rob van Glabbeek |
| 2018 | FOSSACS | A Theory of Encodings and Expressiveness (Extended Abstract) - (Extended Abstract). | Rob van Glabbeek |