Tom van Dijk

Cited by

	All	Since 2020
Citations	933	575
h-index	14	12
i10-index	17	15

160

120

201220132014201520162017201820192020202120222023202420254 4 9 28 42 61 99 106 85 78 98 136 142 35

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Alfons LaarmanLeiden UniversityVerified email at liacs.leidenuniv.nl
Jeroen MeijerEijsinkVerified email at eijsink.nl
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Stefan BlomUniversity of TwenteVerified email at utwente.nl
Gijs KantPhD Student in Computer Science, University of TwenteVerified email at cs.utwente.nl
Salomon SickertVerified email at tum.de
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéVerified email at lip6.fr
Wytse OortwijnTNO-ESIVerified email at tno.nl
Robert WilleTechnical University of Munich and SCCH GmbHVerified email at tum.de
Robert MeolicHead of IT at OperatoVerified email at meolic.com
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 NeeleAssistant Professor, Eindhoven University of TechnologyVerified email at tue.nl
Lijun ZhangInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
Guillermo A. PérezAssociate Professor, University of AntwerpVerified email at uantwerp.be
Robert RubbensUniversity of TwenteVerified email at student.utwente.nl
Marieke HuismanVerified email at ewi.utwente.nl

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	228	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	91	2018
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	91	2017
Sylvan: Multi-core Decision Diagrams T van Dijk, JC van de Pol TACAS 2015, 2015	77	2015
Lace: non-blocking split deque for work-stealing T van Dijk, JC van de Pol European Conference on Parallel Processing, 206-217, 2014	56	2014
Presentation of the 9th edition of the model checking contest E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019	53	2019
Multi-Core BDD Operations for Symbolic Reachability T van Dijk, A Laarman, J van de Pol Electronic Notes in Theoretical Computer Science, 2012	47	2012
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	33	2017
Attracting tangles to solve parity games T van Dijk Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018	32	2018
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, ... Dependable Software Engineering: Theories, Tools, and Applications: First …, 2015	30	2015
The reactive synthesis competition (SYNTCOMP): 2018–2021 S Jacobs, GA Pérez, R Abraham, V Bruyere, M Cadilhac, M Colange, ... International journal on software tools for technology transfer 26 (5), 551-567, 2024	29	2024
Multi-core symbolic bisimulation minimisation T van Dijk, J van de Pol International Conference on Tools and Algorithms for the Construction and …, 2016	28	2016
Sylvan: multi-core decision diagrams T van Dijk	27	2016
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	23	2018
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	15	2017
A Parity Game Tale of Two Counters T van Dijk arXiv preprint arXiv:1807.10210, 2018	13	2018
Simple Fixpoint Iteration To Solve Parity Games T van Dijk, B Rubbens arXiv preprint arXiv:1909.07659, 2019	12	2019
The Parallelization of Binary Decision Diagram Operations for Model Checking T van Dijk University of Twente, 2012	10	2012
Symbolic Parity Game Solvers that Yield Winning Strategies O Lijzenga, T van Dijk arXiv preprint arXiv:2009.10876, 2020	9	2020
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	9	2012

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

Follow

Cited by

Co-authors