• Bron: Scopus
20202021

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Vingerafdruk

Verdiep u in de onderzoeksgebieden waarop Lars van den Haak actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
  • 1 Soortgelijke profielen

Netwerk

Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
  • 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 blz., 2105.11788.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

    Open Access
    Bestand
    9 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. (redactie). Cham: Springer, blz. 426-442 17 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12247 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    8 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. (redactie). Springer, blz. 160-177 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12546 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Bestand
    87 Downloads (Pure)