Tom van Dijk Copyright by Tom van Dijk

Tom van Dijk

PhD, MSc

Calculated based on number of publications stored in Pure and citations from Scopus
20122024

Research activity per year

Filter
Chapter

Search results

  • 2018

    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
    2 Citations (Scopus)
    231 Downloads (Pure)
  • 2015

    LTSmin: High-Performance Language-Independent Model Checking

    Kant, G., Laarman, A., Meijer, J., van de Pol, J. C., Blom, S. & van Dijk, T., Apr 2015, Tools and Algorithms for the Construction and Analysis of Systems. Baier, C. & Tinelli, C. (eds.). London: Springer, p. 692-707 16 p. (Lecture Notes in Computer Science; vol. 9035, no. 9035).

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

    File
    120 Citations (Scopus)
    639 Downloads (Pure)