Tom van Dijk

发表

Jaco van de Pol, Tom van Dijk, 2017, International Journal on Software Tools for Technology Transfer.
Jaco van de Pol, Tom van Dijk, T. V. Dijk, 2014, Euro-Par Workshops.
Alfons Laarman, Jaco van de Pol, Tom van Dijk, 2012, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Jaco van de Pol, Tom van Dijk, Jeroen Meijer, 2019, TACAS.
Jaco van de Pol, Tom van Dijk, T. V. Dijk, 2017, International Journal on Software Tools for Technology Transfer.
Fabrice Kordon, Gianfranco Ciardo, Jirí Srba, 2019, TACAS.
Guido C. H. E. de Croon, Matej Karásek, Bardienus Pieter Duisterhof, 2020, Unmanned Syst..
Tom van Dijk, Guido C.H.E. de Croon, G. D. Croon, 2019, 2019 IEEE/CVF International Conference on Computer Vision (ICCV).
Arend Rensink, Jaco van de Pol, Tom van Dijk, 2014 .
Tom van Dijk, Oebele Lijzenga, 2020, GandALF.
Jaco van de Pol, Tom van Dijk, Wytse Oortwijn, 2015, PPAM.
Alfons Laarman, Jaco van de Pol, Tom van Dijk, 2013, Electron. Notes Theor. Comput. Sci..
Tom van Dijk, Bob Rubbens, 2019, GandALF.
Jaco van de Pol, Tom van Dijk, T. V. Dijk, 2018, Handbook of Parallel Constraint Reasoning.
Armin Biere, Rüdiger Ehlers, Tom van Dijk, 2018, ArXiv.
Armin Biere, Tom van Dijk, Keijo Heljanko, 2017, 2017 Formal Methods in Computer Aided Design (FMCAD).
Jaco van de Pol, Tom van Dijk, Wytse Oortwijn, 2017, SPIN.
Alfons Laarman, Jaco van de Pol, Stefan Blom, 2015, TACAS.
Lijun Zhang, Yong Li, Mariëlle Stoelinga, 2015, SETTA.
Tom van Dijk, T. V. Dijk, 2015, TACAS.
Ton A. M. Spil, Tom van Dijk, Ivo Wenzler, 2015, Int. J. Game Based Learn..
Robert Wille, Tom van Dijk, Robert Meolic, 2017, 2017 Formal Methods in Computer Aided Design (FMCAD).
Tom van Dijk, Christophe De Wagter, Mirjam Snellen, 2020 .
Jaco van de Pol, Tom van Dijk, 2016, TACAS.
Tom van Dijk, T. V. Dijk, 2018, GandALF.
Tom van Dijk, Guido de Croon, Benjamin Keltjens, 2021, ArXiv.