| 2025 | CONCUR | Just Verification of Mutual Exclusion Algorithms. | Rob van Glabbeek, Bas Luttik, Myrthe S. C. Spronck |
| 2025 | CONCUR | From Bisimulation to Traces: The Impact of Parallel Composition on Finite Bases. | Rowin Versteeg, Valentina Castiglioni, Bas Luttik |
| 2024 | CONCUR | Progress, Justness and Fairness in Modal μ-Calculus Formulae. | Myrthe S. C. Spronck, Bas Luttik, Tim A. C. Willemse |
| 2023 | CONCUR | Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers. | Myrthe S. C. Spronck, Bas Luttik |
| 2022 | CONCUR | On the Axiomatisation of Branching Bisimulation Congruence over CCS. | Luca Aceto, Valentina Castiglioni, Anna Inglfsdttir, Bas Luttik |
| 2022 | FMICS | Supporting Railway Innovations with Formal Modelling and Verification. | Bas Luttik |
| 2022 | ISoLA | Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. | Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer |
| 2021 | CALCO | Pushdown Automata and Context-Free Grammars in Bisimulation Semantics. | Jos C. M. Baeten, Cesare Carissimo, Bas Luttik |
| 2021 | CSL | Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? | Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Inglfsdttir, Bas Luttik |
| 2021 | FORTE | A Formalisation of SysML State Machines in mCRL2. | Mark Bouwman, Bas Luttik, Djurre van der Wal |
| 2021 | FORTE | Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract). | Mark Bouwman, Bas Luttik, Tim A. C. Willemse |
| 2021 | LICS | In search of lost time: Axiomatising parallel composition in process algebras. | Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Inglfsdttir, Bas Luttik |
| 2020 | CONCUR | On the Axiomatisability of Parallel Composition: A Journey in the Spectrum. | Luca Aceto, Valentina Castiglioni, Anna Inglfsdttir, Bas Luttik, Mathias Ruggaard Pedersen |
| 2020 | SOFSEM | Up-to Techniques for Branching Bisimilarity. | Rick Erkens, Jurriaan Rot, Bas Luttik |
| 2019 | CALCO | Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity. | Astrid Belder, Bas Luttik, Jos C. M. Baeten |
| 2019 | FMICS | Formal Modelling and Verification of an Interlocking Using mCRL2. | Mark Bouwman, Bob Janssen, Bas Luttik |
| 2018 | FMICS | Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset. | Maarten Bartholomeus, Bas Luttik, Tim A. C. Willemse |
| 2017 | CONCUR | Divide and Congruence III: Stability & Divergence. | Wan J. Fokkink, Rob J. van Glabbeek, Bas Luttik |
| 2017 | CONCUR | Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. | Tobias Kapp, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi |
| 2016 | CiE | On the Executability of Interactive Computation. | Bas Luttik, Fei Yang |
| 2015 | CSL | Evidence for Fixpoint Logic. | Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse |
| 2013 | CONCUR | Proof Graphs for Parameterised Boolean Equation Systems. | Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse |
| 2012 | CONCUR | Turing Meets Milner. | Jos C. M. Baeten, Bas Luttik, Paul van Tilburg |
| 2011 | FCT | Reactive Turing Machines. | Jos C. M. Baeten, Bas Luttik, Paul van Tilburg |
| 2011 | ICDCIT | Computations and Interaction. | Jos C. M. Baeten, Bas Luttik, Paul van Tilburg |
| 2006 | CONCUR | Some Remarks on Definability of Process Graphs. | Clemens Grabmayer, Jan Willem Klop, Bas Luttik |
| 2006 | ICALP | A Finite Equational Base for CCS with Left Merge and Communication Merge. | Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir, Bas Luttik |
| 2003 | MFCS | A Unique Decomposition Theorem for Ordered Monoids with Applications in Process Theory. | Bas Luttik |