Tom van Dijk

Cited by

	All	Since 2019
Citations	954	691
h-index	15	14
i10-index	18	17

160

120

20122013201420152016201720182019202020212022202320246 6 9 28 39 61 101 116 92 88 104 145 140

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	217	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	86	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	85	2017
Sylvan: Multi-core Decision Diagrams T van Dijk, JC van de Pol TACAS 2015, 2015	74	2015
Hardware model checking competition 2017 A Biere, T van Dijk, K Heljanko Proceedings of the 17th Conference on Formal Methods in Computer-Aided …, 2017	69*	2017
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	51	2019
Lace: non-blocking split deque for work-stealing T van Dijk, JC van de Pol European Conference on Parallel Processing, 206-217, 2014	50	2014
Multi-Core BDD Operations for Symbolic Reachability T van Dijk, A Laarman, J van de Pol Electronic Notes in Theoretical Computer Science, 2012	45	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	31	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	29	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	27	2018
Multi-core symbolic bisimulation minimisation T van Dijk, J van de Pol International Conference on Tools and Algorithms for the Construction and …, 2016	27	2016
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, 1-17, 2024	26	2024
Sylvan: multi-core decision diagrams T van Dijk	26	2016
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
Simple Fixpoint Iteration To Solve Parity Games T van Dijk, B Rubbens arXiv preprint arXiv:1909.07659, 2019	12	2019
A Parity Game Tale of Two Counters T van Dijk arXiv preprint arXiv:1807.10210, 2018	12	2018
The Parallelization of Binary Decision Diagram Operations for Model Checking T van Dijk University of Twente, 2012	10	2012
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