Tom van Dijk

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 26

Top Venues

CoRR

GandALF

TACAS

Int. J. Softw. Tools Technol. Transf.

University of Twente, Enschede, Netherlands (PHD)

Education History

University of Twente, Enschede, Netherlands

PHD

Publications

Tom van Dijk, Feije van Abbema, Naum Tomov
Knor: reactive synthesis using Oink. TACAS (1) (2024)
Tom van Dijk, Christophe De Wagter, Guido C. H. E. de Croon
Visual route following for tiny autonomous robots. Sci. Robotics 9 (92) (2024)
Tom van Dijk, Georg Loho, Matthew T. Maat
The Worst-Case Complexity of Symmetric Strategy Improvement. CSL (2024)
Tom van Dijk, Georg Loho, Matthew Maat
The Worst-Case Complexity of Symmetric Strategy Improvement. CoRR (2023)
Swen Jacobs, Guillermo A. Pérez, 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, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR (2022)
Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman
IntelliJML: a JML plugin for IntelliJ IDEA. FTfJP@ECOOP (2021)
Benjamin Keltjens, Tom van Dijk, Guido de Croon
Self-Supervised Monocular Depth Estimation of Untextured Indoor Rotated Scenes. CoRR (2021)
Diana A. Olejnik, Bardienus Pieter Duisterhof, Matej Karásek, Kirk Y. W. Scheper, Tom van Dijk, Guido C. H. E. de Croon
A Tailless Flapping Wing MAV Performing Monocular Visual Servoing Tasks. Unmanned Syst. 8 (4) (2020)
Oebele Lijzenga, Tom van Dijk
Symbolic Parity Game Solvers that Yield Winning Strategies. GandALF (2020)
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, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) (2019)
Tom van Dijk, Jeroen Meijer, Jaco van de Pol
Multi-core On-The-Fly Saturation. TACAS (2) (2019)
Tom van Dijk, Guido C. H. E. de Croon
How do neural networks see depth in single images? CoRR (2019)
Tom van Dijk
A Parity Game Tale of Two Counters. GandALF (2019)
Tom van Dijk, Bob Rubbens
Simple Fixpoint Iteration To Solve Parity Games. GandALF (2019)
Tom van Dijk, Guido de Croon
How Do Neural Networks See Depth in Single Images? ICCV (2019)
Tom van Dijk
Oink: An Implementation and Evaluation of Modern Parity Game Solvers. TACAS (1) (2018)
Tom van Dijk
Attracting Tangles to Solve Parity Games. CAV (2) (2018)
Tom van Dijk, Jaco van de Pol
Multi-core symbolic bisimulation minimisation. Int. J. Softw. Tools Technol. Transf. 20 (2) (2018)
Tom van Dijk, Rüdiger Ehlers, Armin Biere
Revisiting Decision Diagrams for SAT. CoRR (2018)
Tom van Dijk
Oink: an Implementation and Evaluation of Modern Parity Game Solvers. CoRR (2018)
Tom van Dijk
Attracting Tangles to Solve Parity Games. CoRR (2018)
Wytse Oortwijn, Tom van Dijk, Jaco van de Pol
Distributed binary decision diagrams for symbolic reachability. SPIN (2017)
Tom van Dijk, Jaco van de Pol
Sylvan: multi-core framework for decision diagrams. Int. J. Softw. Tools Technol. Transf. 19 (6) (2017)
Tom van Dijk, Robert Wille, Robert Meolic
Tagged BDDs: Combining reduction rules from different decision diagram types. FMCAD (2017)
Armin Biere, Tom van Dijk, Keijo Heljanko
Hardware model checking competition 2017. FMCAD (2017)
Tom van Dijk, Jaco van de Pol
Multi-core Symbolic Bisimulation Minimisation. TACAS (2016)
Tom van Dijk, Ton A. M. Spil, Sanne van der Burg, Ivo Wenzler, Simon Dalmolen
Present or Play: The Effect of Serious Gaming on Demonstrated Behaviour. Int. J. Game Based Learn. 5 (2) (2015)
Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. SETTA (2015)
Tom van Dijk, Jaco van de Pol
Sylvan: Multi-Core Decision Diagrams. TACAS (2015)
Wytse Oortwijn, Tom van Dijk, Jaco van de Pol
A Distributed Hash Table for Shared Memory. PPAM (2) (2015)
Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk
LTSmin: High-Performance Language-Independent Model Checking. TACAS (2015)
Tom van Dijk, Jaco C. van de Pol
Lace: Non-blocking Split Deque for Work-Stealing. Euro-Par Workshops (2) (2014)
Tom van Dijk, Alfons Laarman, Jaco van de Pol
Multi-Core BDD Operations for Symbolic Reachability. Electron. Notes Theor. Comput. Sci. 296 (2013)
Tom van Dijk, Alfons Laarman, Jaco van de Pol
Multi-core and/or Symbolic Model Checking. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)

Tom van Dijk.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tom van Dijk