Tom van Dijk

Cited by

	All	Since 2016
Citations	406	356
h-index	11	11
i10-index	11	11

120

20122013201420152016201720182019202020213 4 9 27 26 58 96 102 72 1

Co-authors

Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Alfons LaarmanAssistant Professor, Leiden UniversityVerified email at liacs.leidenuniv.nl
Jeroen MeijerEijsinkVerified email at eijsink.nl
Stefan BlomUniversity of TwenteVerified email at utwente.nl
Gijs KantPhD Student in Computer Science, University of TwenteVerified email at cs.utwente.nl
Armin BiereJohannes Kepler University LinzVerified email at jku.at
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiVerified email at helsinki.fi
Wytse OortwijnETH ZurichVerified email at inf.ethz.ch
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
David N. JansenRadboud Universiteit NijmegenVerified email at cs.ru.nl
Ernst Moritz HahnUniversity of TwenteVerified email at utwente.nl
Andrea TurriniInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
Thomas NeeleEindhoven University of TechnologyVerified email at tue.nl
Lijun ZhangVerified email at ios.ac.cn
Robert WilleJohannes Kepler University LinzVerified email at jku.at
Robert MeolicMilan Vidmar Electric Power Research InstituteVerified email at meolic.com
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéVerified email at lip6.fr
Ruediger EhlersClausthal University of TechnologyVerified email at tu-clausthal.de
Arie GurfinkelUniversity of WaterlooVerified email at uwaterloo.ca
Warren A. Hunt, JrProfessor of Computer Science, University of TexasVerified email at cs.utexas.edu

Tom van Dijk

University of Twente

Verified email at utwente.nl - Homepage

Computer Science Formal Methods Model Checking Algorithms Logic in Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
LTSmin: high-performance language-independent model checking G Kant, A Laarman, J Meijer, J van de Pol, S Blom, T van Dijk International Conference on Tools and Algorithms for the Construction and …, 2015	128	2015
Sylvan: Multi-core Decision Diagrams T van Dijk, JC van de Pol TACAS 2015, 2015	40	2015
Oink: an implementation and evaluation of modern parity game solvers T van Dijk International Conference on Tools and Algorithms for the Construction and …, 2018	34	2018
Hardware model checking competition 2017 A Biere, T van Dijk, K Heljanko Proceedings of the 17th Conference on Formal Methods in Computer-Aided …, 2017	29	2017
Multi-Core BDD Operations for Symbolic Reachability T van Dijk, A Laarman, J van de Pol Electronic Notes in Theoretical Computer Science, 2012	29	2012
Lace: non-blocking split deque for work-stealing T van Dijk, JC van de Pol European Conference on Parallel Processing, 206-217, 2014	27	2014
Sylvan: multi-core framework for decision diagrams T van Dijk, J van de Pol International Journal on Software Tools for Technology Transfer 19 (6), 675-696, 2017	24	2017
Sylvan: multi-core decision diagrams T van Dijk	12	2016
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking T van Dijk, EM Hahn, DN Jansen, Y Li, T Neele, M Stoelinga, A Turrini, ... International Symposium on Dependable Software Engineering: Theories, Tools …, 2015	12	2015
Multi-core symbolic bisimulation minimisation T van Dijk, J van de Pol International journal on software tools for technology transfer 20 (2), 157-177, 2018	11	2018
Tagged BDDs: combining reduction rules from different decision diagram types T van Dijk, R Wille, R Meolic 2017 Formal Methods in Computer Aided Design (FMCAD), 108-115, 2017	11	2017
Multi-core symbolic bisimulation minimisation T van Dijk, J van de Pol International Conference on Tools and Algorithms for the Construction and …, 2016	11	2016
Attracting tangles to solve parity games T van Dijk International Conference on Computer Aided Verification, 198-215, 2018	9	2018
Presentation of the 9th Edition of the Model Checking Contest E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ... International Conference on Tools and Algorithms for the Construction and …, 2019	8	2019
Multi-core and/or symbolic model checking T van Dijk, A Laarman, J van de Pol 12th International Workshop on Automated Verification of Critical Systems …, 2012	8	2012
Distributed binary decision diagrams for symbolic reachability W Oortwijn, T Dijk, J Pol Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017	6	2017
The Parallelization of Binary Decision Diagram Operations for Model Checking T van Dijk University of Twente, 2012	6	2012
Multi-core on-the-fly saturation T van Dijk, J Meijer, J van de Pol International Conference on Tools and Algorithms for the Construction and …, 2019	4	2019
Simple Fixpoint Iteration To Solve Parity Games T van Dijk, B Rubbens arXiv preprint arXiv:1909.07659, 2019	3	2019
A Distributed Hash Table for Shared Memory W Oortwijn, T van Dijk, J van de Pol Parallel Processing and Applied Mathematics, 15-24, 2016	2	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors