Foto van Lars Haak, van den

Bekijk Scopus-profiel

Lars van den Haak, MSc

 https://orcid.org/0000-0002-0330-5016
  • 3
    Citaties
20202023

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
Volledige vingerafdruk bekijken

Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar

Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
Netwerk verder verkennen
  • 3 Conferentiebijdrage
  • 1 Tijdschriftartikel

  • 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, blz. 521-545 25 blz.

    Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

    Open Access
    Bestand
    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. (redactie). Springer, blz. 115-133 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13077 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    Bestand
    2 Citaten (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. (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/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    Bestand
    54 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/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Bestand
    1 Citaat (Scopus)
    146 Downloads (Pure)