Tom van Dijk - RankMe

41 papers A* 1A 3B 3Misc 1Journal 15Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Preface for the special issue on selected software artifacts from DisCoTec 2023 - the 18th International Federated Conference on Distributed Computing Techniques. Sci. Comput. Program. Roberto Casadei, Vinicius Vielmo Cogo, Tom van Dijk, Alceste Scalas
2024	—	`conf`	Avoiding Distractions in Parity Games. ISoLA (3) Tom van Dijk
2024	—	`conf`	Knor: reactive synthesis using Oink. TACAS (1) Tom van Dijk, Feije van Abbema, Naum Tomov
2024	—	`conf`	Solving Parity Games, Very Slowly. Principles of Verification (3) Tom van Dijk
2024	—	`conf`	The Impact of Generative Artificial Intelligence Tools in Project-Based Learning. AISoLA Tom van Dijk, Vadim Zaytsev
2024	J	`jnl`	The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. Int. J. Softw. Tools Technol. Transf. 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
2024	B	`conf`	The Worst-Case Complexity of Symmetric Strategy Improvement. CSL Tom van Dijk, Georg Loho, Matthew T. Maat
2024	J	`jnl`	Visual route following for tiny autonomous robots. Sci. Robotics Tom van Dijk, Christophe De Wagter, Guido C. H. E. de Croon
2023	J	`jnl`	The Worst-Case Complexity of Symmetric Strategy Improvement. CoRR Tom van Dijk, Georg Loho, Matthew T. Maat
2022	J	`jnl`	The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR 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
2021	—	`conf`	IntelliJML: a JML plugin for IntelliJ IDEA. FTfJP@ECOOP Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman
2021	J	`jnl`	Self-Supervised Monocular Depth Estimation of Untextured Indoor Rotated Scenes. CoRR Benjamin Keltjens, Tom van Dijk, Guido de Croon
2020	J	`jnl`	A Tailless Flapping Wing MAV Performing Monocular Visual Servoing Tasks. Unmanned Syst. Diana A. Olejnik, Bardienus Pieter Duisterhof, Matej Karásek, Kirk Y. W. Scheper, Tom van Dijk, Guido C. H. E. de Croon
2020	—	`conf`	Symbolic Parity Game Solvers that Yield Winning Strategies. GandALF Oebele Lijzenga, Tom van Dijk
2019	—	`conf`	A Parity Game Tale of Two Counters. GandALF Tom van Dijk
2019	A*	`conf`	How Do Neural Networks See Depth in Single Images? ICCV Tom van Dijk, Guido de Croon
2019	J	`jnl`	How do neural networks see depth in single images? CoRR Tom van Dijk, Guido C. H. E. de Croon
2019	—	`conf`	Multi-core On-The-Fly Saturation. TACAS (2) Tom van Dijk, Jeroen Meijer, Jaco van de Pol
2019	—	`conf`	Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) 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
2019	—	`conf`	Simple Fixpoint Iteration To Solve Parity Games. GandALF Tom van Dijk, Bob Rubbens
2018	—	`conf`	Attracting Tangles to Solve Parity Games. CAV (2) Tom van Dijk
2018	J	`jnl`	Attracting Tangles to Solve Parity Games. CoRR Tom van Dijk
2018	—	`ch.`	Multi-core Decision Diagrams. Handbook of Parallel Constraint Reasoning Tom van Dijk, Jaco van de Pol
2018	J	`jnl`	Multi-core symbolic bisimulation minimisation. Int. J. Softw. Tools Technol. Transf. Tom van Dijk, Jaco van de Pol
2018	—	`conf`	Oink: An Implementation and Evaluation of Modern Parity Game Solvers. TACAS (1) Tom van Dijk
2018	J	`jnl`	Oink: an Implementation and Evaluation of Modern Parity Game Solvers. CoRR Tom van Dijk
2018	J	`jnl`	Revisiting Decision Diagrams for SAT. CoRR Tom van Dijk, Rüdiger Ehlers, Armin Biere
2017	—	`conf`	Distributed binary decision diagrams for symbolic reachability. SPIN Wytse Oortwijn, Tom van Dijk, Jaco van de Pol
2017	B	`conf`	Hardware model checking competition 2017. FMCAD Armin Biere, Tom van Dijk, Keijo Heljanko
2017	J	`jnl`	Sylvan: multi-core framework for decision diagrams. Int. J. Softw. Tools Technol. Transf. Tom van Dijk, Jaco van de Pol
2017	B	`conf`	Tagged BDDs: Combining reduction rules from different decision diagram types. FMCAD Tom van Dijk, Robert Wille, Robert Meolic
2016	A	`conf`	Multi-core Symbolic Bisimulation Minimisation. TACAS Tom van Dijk, Jaco van de Pol
2016	—	`—`	Sylvan: multi-core decision diagrams. Tom van Dijk
2015	Misc	`conf`	A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. SETTA Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang
2015	—	`conf`	A Distributed Hash Table for Shared Memory. PPAM (2) Wytse Oortwijn, Tom van Dijk, Jaco van de Pol
2015	A	`conf`	LTSmin: High-Performance Language-Independent Model Checking. TACAS Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk
2015	J	`jnl`	Present or Play: The Effect of Serious Gaming on Demonstrated Behaviour. Int. J. Game Based Learn. Tom van Dijk, Ton A. M. Spil, Sanne van der Burg, Ivo Wenzler, Simon Dalmolen
2015	A	`conf`	Sylvan: Multi-Core Decision Diagrams. TACAS Tom van Dijk, Jaco van de Pol
2014	—	`conf`	Lace: Non-blocking Split Deque for Work-Stealing. Euro-Par Workshops (2) Tom van Dijk, Jaco C. van de Pol
2012	—	`conf`	Multi-Core BDD Operations for Symbolic Reachability. PASM/PDMC Tom van Dijk, Alfons Laarman, Jaco van de Pol
2012	J	`jnl`	Multi-core and/or Symbolic Model Checking. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Tom van Dijk, Alfons Laarman, Jaco van de Pol