No photo of Tom van Dijk
Contact Expert

Tom van Dijk

MSc

  • 152 Citations
  • 7 h-Index
20122019
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
Specification languages Engineering & Materials Science
Decision Diagrams Mathematics
Markov processes Engineering & Materials Science
Scalability Engineering & Materials Science
Petri nets Engineering & Materials Science

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

Research Output 2012 2019

  • 152 Citations
  • 7 h-Index
  • 9 Conference contribution
  • 3 Article
  • 2 Chapter
  • 1 PhD Thesis - Research UT, graduation UT
1 Citation (Scopus)
1 Downloads (Pure)

Multi-core On-The-Fly Saturation

van Dijk, T., Meijer, J. & van de Pol, J., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Zhang, L. & Vojnar, T. (eds.). Cham: Springer, p. 58-75 18 p. (Lecture Notes in Computer Science; vol. 11428)(Theoretical Computer Science and General Issues).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access
File
Specification languages
Model checking
Petri nets
Scalability
Saturation
52 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 proceeding › Chapter › Academic › peer-review

Open Access
File
Decision Diagrams
Data structures
Model checking
Algorithms and Data Structures
Automated Reasoning
4 Citations (Scopus)
7 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 journal › Article › Academic › peer-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 proceeding › Conference contribution › Academic › peer-review

Binary decision diagrams
Data storage equipment
Network performance
Parallel algorithms
11 Citations (Scopus)
24 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 journal › Article › Academic › peer-review

Open Access
File
Binary decision diagrams
Model checking
Parallel algorithms
Processing

Prizes

Best Paper Award SPIN 2017

Wytse H.M. Oortwijn (Recipient), Tom van Dijk (Recipient) & Jaco van de Pol (Recipient), 14 Jul 2017

Prize: Honorary award

trucks
diagrams