Multi-core and/or Symbolic Model Checking. - Tom van Dijk; Alfons Laarman; Jaco van de Pol (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Multi-Core BDD Operations for Symbolic Reachability. - Tom van Dijk; Alfons Laarman; Jaco van de Pol (PASM/PDMC, 2012)

Lace: Non-blocking Split Deque for Work-Stealing. - Tom van Dijk; Jaco C. van de Pol (Euro-Par Workshops (2), 2014)

A Distributed Hash Table for Shared Memory. - Wytse Oortwijn; Tom van Dijk; Jaco van de Pol (PPAM (2), 2015)

A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. - Tom van Dijk; Ernst Moritz Hahn; David N. Jansen; Yong Li 031; Thomas Neele; Mariëlle Stoelinga; Andrea Turrini; Lijun Zhang 001 (SETTA, 2015)

Sylvan: Multi-Core Decision Diagrams. - Tom van Dijk; Jaco van de Pol (TACAS, 2015)

LTSmin: High-Performance Language-Independent Model Checking. - Gijs Kant; Alfons Laarman; Jeroen Meijer; Jaco van de Pol; Stefan Blom; Tom van Dijk (TACAS, 2015)

Present or Play: The Effect of Serious Gaming on Demonstrated Behaviour. - Tom van Dijk; Ton A. M. Spil; Sanne van der Burg; Ivo Wenzler; Simon Dalmolen (Int. J. Game Based Learn., 2015)

Sylvan: multi-core decision diagrams. - Tom van Dijk (2016)

Hardware model checking competition 2017. - Armin Biere; Tom van Dijk; Keijo Heljanko (FMCAD, 2017)

Tagged BDDs: Combining reduction rules from different decision diagram types. - Tom van Dijk; Robert Wille; Robert Meolic (FMCAD, 2017)

Distributed binary decision diagrams for symbolic reachability. - Wytse Oortwijn; Tom van Dijk; Jaco van de Pol (SPIN, 2017)

Sylvan: multi-core framework for decision diagrams. - Tom van Dijk; Jaco van de Pol (Int. J. Softw. Tools Technol. Transf., 2017)

Multi-core Decision Diagrams. - Tom van Dijk; Jaco van de Pol (Handbook of Parallel Constraint Reasoning, 2018)

Attracting Tangles to Solve Parity Games. - Tom van Dijk (CAV (2), 2018)

Oink: An Implementation and Evaluation of Modern Parity Game Solvers. - Tom van Dijk (TACAS (1), 2018)

Revisiting Decision Diagrams for SAT. - Tom van Dijk; Rüdiger Ehlers; Armin Biere (CoRR, 2018)

Multi-core symbolic bisimulation minimisation. - Tom van Dijk; Jaco van de Pol (Int. J. Softw. Tools Technol. Transf., 2018)

How Do Neural Networks See Depth in Single Images? - Tom van Dijk; Guido de Croon (ICCV, 2019)

Presentation of the 9th Edition of the Model Checking Contest. - Elvio Gilberto Amparore; Bernard Berthomieu; Gianfranco Ciardo; Silvano Dal-Zilio; Francesco Gallà; Lom-Messan Hillah; Francis Hulin-Hubard; Peter Gjøl Jensen; Loïg Jezequel; Fabrice Kordon; Didier Le Botlan; Torsten Liebke; et al. (TACAS (3), 2019)

Multi-core On-The-Fly Saturation. - Tom van Dijk; Jeroen Meijer; Jaco van de Pol (TACAS (2), 2019)

A Parity Game Tale of Two Counters. - Tom van Dijk (GandALF, 2019)

Simple Fixpoint Iteration To Solve Parity Games. - Tom van Dijk; Bob Rubbens (GandALF, 2019)

Symbolic Parity Game Solvers that Yield Winning Strategies. - Oebele Lijzenga; Tom van Dijk (GandALF, 2020)

A Tailless Flapping Wing MAV Performing Monocular Visual Servoing Tasks. - Diana A. Olejnik; Bardienus Pieter Duisterhof; Matej Karásek; Kirk Y. W. Scheper; Tom van Dijk; Guido C. H. E. de Croon (Unmanned Syst., 2020)

IntelliJML: a JML plugin for IntelliJ IDEA. - Steven Monteiro; Erikas Sokolovas; Ellen Wittingen; Tom van Dijk; Marieke Huisman (FTfJP@ECOOP, 2021)

Self-Supervised Monocular Depth Estimation of Untextured Indoor Rotated Scenes. - Benjamin Keltjens; Tom van Dijk; Guido de Croon (CoRR, 2021)

Solving Parity Games, Very Slowly. - Tom van Dijk (Principles of Verification (3), 2024)

The Worst-Case Complexity of Symmetric Strategy Improvement. - Tom van Dijk; Georg Loho; Matthew T. Maat (CSL, 2024)

Avoiding Distractions in Parity Games. - Tom van Dijk (ISoLA (3), 2024)

Knor: reactive synthesis using Oink. - Tom van Dijk; Feije van Abbema; Naum Tomov (TACAS (1), 2024)

Visual route following for tiny autonomous robots. - Tom van Dijk; Christophe De Wagter; Guido C. H. E. de Croon (Sci. Robotics, 2024)

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. - Swen Jacobs; Guillermo A. Pérez 001; Remco Abraham; Véronique Bruyère; Michaël Cadilhac; Maximilien Colange; Charly Delfosse; Tom van Dijk; Alexandre Duret-Lutz; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; et al. (Int. J. Softw. Tools Technol. Transf., 2024)

Preface for the special issue on selected software artifacts from DisCoTec 2023 - the 18th International Federated Conference on Distributed Computing Techniques. - Roberto Casadei; Vinicius Vielmo Cogo; Tom van Dijk; Alceste Scalas (Sci. Comput. Program., 2025)