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
20122023

Research activity per year

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

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • The Worst-Case Complexity of Symmetric Strategy Improvement

    Dijk, T. V., Loho, G. & Maat, M., 5 Sept 2023.

    Research output: Working paperPreprintAcademic

    Open Access
    File
    47 Downloads (Pure)
  • The Reactive Synthesis Competition (SYNTCOMP): 2018-2021

    Jacobs, S., Perez, G. A., Abraham, R., Bruyere, V., Cadilhac, M., Colange, M., Delfosse, C., Dijk, T. V., Duret-Lutz, A., Faymonville, P., Finkbeiner, B., Khalimov, A., Klein, F., Luttenberger, M., Meyer, K., Michaud, T., Pommellet, A., Renkin, F., Schlehuber-Caissier, P., Sakr, M., & 5 othersSickert, S., Staquet, G., Tamines, C., Tentrup, L. & Walker, A., 1 Jun 2022.

    Research output: Working paperPreprintAcademic

    Open Access
    File
    27 Downloads (Pure)
  • Almost-Symbolic Synthesis via Delta-2-Normalisation for Linear Temporal Logic

    van Dijk, T., Abraham, R. & Sickert, S., 19 Jul 2021.

    Research output: Contribution to conferencePaperpeer-review

  • IntelliJML: A JML plugin for IntelliJ IDEA

    Monteiro, S., Sokolovas, E., Wittingen, E., Dijk, T. V. & Huisman, M., 13 Jul 2021, FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021. Cok, D. R. (ed.). New York, NY: Association for Computing Machinery, p. 39-42 4 p.

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

    Open Access
    File
    1 Citation (Scopus)
    106 Downloads (Pure)
  • Symbolic Parity Game Solvers that Yield Winning Strategies

    Lijzenga, O. & van Dijk, T., 22 Sept 2020, Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification: Brussels, Belgium, September 21-22, 2020. Raskin, J-F. & Bresolin, D. (eds.). Waterloo, NSW: Open Publishing Association, p. 18-32 (Electronic Proceedings in Theoretical Computer Science; vol. 326).

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

    Open Access
    File
    83 Downloads (Pure)