Tom van Dijk

MSc

  • 161 Citations
  • 7 h-Index
20122019

Research output per year

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.

  • 2 Similar Profiles

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

Research Output

  • 161 Citations
  • 7 h-Index
  • 11 Conference contribution
  • 3 Article
  • 2 Chapter
  • 1 PhD Thesis - Research UT, graduation UT

A Parity Game Tale of Two Counters

Dijk, T. V., 2019, Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019: Bordeaux, France, 2-3rd September 2019. Leroux, J. & Raskin, J-F. (eds.). ArXiv, p. 107-122 16 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 305).

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

Open Access
File
  • 8 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • 2 Citations (Scopus)
    14 Downloads (Pure)

    Simple Fixpoint Iteration To Solve Parity Games

    Dijk, T. V. & Rubbens, B., 2019, Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019: Bordeaux, France, 2-3rd September 2019. Leroux, J. & Raskin, J-F. (eds.). ArXiv, p. 123-139 17 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 305).

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

    Open Access
    File
  • 8 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
  • 69 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
  • 4 Citations (Scopus)
    17 Downloads (Pure)

    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