Tom van Dijk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
11
Active years
2014–2024
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CSL | The Worst-Case Complexity of Symmetric Strategy Improvement. | Tom van Dijk, Georg Loho, Matthew T. Maat |
| 2024 | ISoLA | Avoiding Distractions in Parity Games. | Tom van Dijk |
| 2024 | TACAS | Knor: reactive synthesis using Oink. | Tom van Dijk, Feije van Abbema, Naum Tomov |
| 2024 | VECoS | The Impact of Generative Artificial Intelligence Tools in Project-Based Learning. | Tom van Dijk, Vadim Zaytsev |
| 2021 | ECOOP | IntelliJML: a JML plugin for IntelliJ IDEA. | Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman |
| 2019 | ICCV | How Do Neural Networks See Depth in Single Images? | Tom van Dijk, Guido de Croon |
| 2019 | TACAS | 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 Gjl Jensen, Log 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 |
| 2019 | TACAS | Multi-core On-The-Fly Saturation. | Tom van Dijk, Jeroen Meijer, Jaco van de Pol |
| 2018 | CAV | Attracting Tangles to Solve Parity Games. | Tom van Dijk |
| 2018 | TACAS | Oink: An Implementation and Evaluation of Modern Parity Game Solvers. | Tom van Dijk |
| 2017 | FMCAD | Hardware model checking competition 2017. | Armin Biere, Tom van Dijk, Keijo Heljanko |
| 2017 | FMCAD | Tagged BDDs: Combining reduction rules from different decision diagram types. | Tom van Dijk, Robert Wille, Robert Meolic |
| 2016 | TACAS | Multi-core Symbolic Bisimulation Minimisation. | Tom van Dijk, Jaco van de Pol |
| 2015 | PPAM | A Distributed Hash Table for Shared Memory. | Wytse Oortwijn, Tom van Dijk, Jaco van de Pol |
| 2015 | SETTA | A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. | Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Marille Stoelinga, Andrea Turrini, Lijun Zhang |
| 2015 | TACAS | Sylvan: Multi-Core Decision Diagrams. | Tom van Dijk, Jaco van de Pol |
| 2015 | TACAS | LTSmin: High-Performance Language-Independent Model Checking. | Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk |
| 2014 | EuroPar | Lace: Non-blocking Split Deque for Work-Stealing. | Tom van Dijk, Jaco C. van de Pol |