No photo of Tom van Dijk

Tom van Dijk

MSc

  • 138 Citations
  • 7 h-Index
20122018
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Tom van Dijk is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles
Model checking Engineering & Materials Science
Binary decision diagrams Engineering & Materials Science
Data structures Engineering & Materials Science
Markov processes Engineering & Materials Science
Specification languages Engineering & Materials Science
Parallel algorithms Engineering & Materials Science
Processing Engineering & Materials Science
Data storage equipment Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2012 2018

  • 138 Citations
  • 7 h-Index
  • 8 Conference contribution
  • 3 Article
  • 2 Chapter
  • 1 PhD Thesis - Research UT, graduation UT
35 Downloads (Pure)

Multi-core Decision Diagrams

van Dijk, T. & van de Pol, J., 2018, Handbook of Parallel Constraint Reasoning. Hamadi, Y. & Sais, L. (eds.). Cham: Springer, p. 509-545 37 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Decision Diagrams
Data structures
Model checking
Algorithms and Data Structures
Automated Reasoning
3 Citations (Scopus)
4 Downloads (Pure)

Multi-core symbolic bisimulation minimisation

van Dijk, T. & van de Pol, J., Apr 2018, In : International journal on software tools for technology transfer. 20, 2, p. 157-177 21 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Markov processes
Binary decision diagrams
Algebra
Explosions
Data structures
4 Citations (Scopus)
1 Downloads (Pure)

Distributed Binary Decision Diagrams for Symbolic Reachability

Oortwijn, W., van Dijk, T. & van de Pol, J., Jul 2017, SPIN 2017 Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery (ACM), p. 21-30 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Binary decision diagrams
Data storage equipment
Network performance
Parallel algorithms
9 Citations (Scopus)
13 Downloads (Pure)

Sylvan: multi-core framework for decision diagrams

van Dijk, T. & van de Pol, J., Nov 2017, In : International journal on software tools for technology transfer. 19, 6, p. 675-696 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Binary decision diagrams
Model checking
Parallel algorithms
Processing
5 Citations (Scopus)
16 Downloads (Pure)

Multi-core Symbolic Bisimulation Minimisation

van Dijk, T. & van de Pol, J. C., Apr 2016, Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016). Chechik, M. & Raskin, J-F. (eds.). Berlin: Springer, p. 332-348 17 p. (Lecture Notes in Computer Science; vol. 9636).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
Markov processes
Binary decision diagrams
Continuous time systems
Model checking
Parallel algorithms

Prizes

Best Paper Award SPIN 2017

Wytse Hendrikus Marinus Oortwijn (Recipient), Tom van Dijk (Recipient) & Jaco van de Pol (Recipient), 14 Jul 2017

Prize: Honorary award

trucks
diagrams