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., 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/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    52 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
    24 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
    1 Citaat (Scopus)
    118 Downloads (Pure)