• Source: Scopus
20202021

Research activity per year

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.
  • 6 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • A linear parallel algorithm to compute bisimulation and relational coarsest partitions

    Martens, J., Groote, J. F., Haak, L. B. V. D., Hijma, P. & Wijs, A., 2021, In: arXiv. 2021, 22 p., 2105.11788.

    Research output: Contribution to journalArticleAcademic

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

    File
    5 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 proceedingConference contributionAcademicpeer-review

    File
    73 Downloads (Pure)