Lars Haak, van den

View Scopus Profile

Lars van den Haak, MSc

 https://orcid.org/0000-0002-0330-5016
  • 3
    Citations - based on content available in repository [source: Scopus]
20202023

Content available in repository

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Lars van den Haak is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

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
Explore network further
  • 3 Conference contribution
  • 1 Article

  • Linear parallel algorithms to compute strong and branching bisimilarity

    Martens, J., Groote, J. F., Haak, L. B. V. D., Hijma, P. & Wijs, A., Apr 2023, In: Software and Systems Modeling. 22, 2, p. 521-545 25 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File
    8 Downloads (Pure)

  • A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions

    Martens, J., Groote, J. F., van den Haak, L., Hijma, P. & Wijs, A., 2021, Formal Aspects of Component Software - 17th International Conference, FACS 2021, Proceedings. Salaün, G. & Wijs, A. (eds.). Springer, p. 115-133 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13077 LNCS).

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

    Open Access
    File
    2 Citations (Scopus)
    133 Downloads (Pure)

  • Accelerating Nested Data Parallelism: Preserving Regularity

    van den Haak, L., McDonnel, T. L., Keller, G. K. & de Wolff, I. G., 18 Aug 2020, Euro-Par 2020: Parallel Processing - 26th International Conference on Parallel and Distributed Computing, Proceedings. Malawski, M. & Rzadca, K. (eds.). Cham: Springer, p. 426-442 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12247 LNCS).

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

    Open Access
    File
    55 Downloads (Pure)

  • Formal Methods for GPGPU Programming: Is the Demand Met?

    van den Haak, L., Wijs, A. J., van den Brand, M. G. J. & Huisman, M., 2020, Integrated Formal Methods - 16th International Conference, IFM 2020, Proceedings. Dongol, B. & Troubitsyna, E. (eds.). Springer, p. 160-177 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12546 LNCS).

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

    File
    1 Citation (Scopus)
    146 Downloads (Pure)