• Source: Scopus
20202021

Content available in repository

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

Fingerprint

Dive into the research topics where Pieter Hijma is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 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., 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    36 Downloads (Pure)
  • Term Rewriting on GPUs

    van Eerd, J., Groote, J. F., Hijma, P., Martens, J. & Wijs, A., 2021, Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Revised Selected Papers. Hojjat, H. & Massink, M. (eds.). Springer, p. 175-189 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12818 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Term Rewriting on GPUs

    Eerd, J. V., Groote, J. F., Hijma, P., Martens, J. & Wijs, A., 15 Sep 2020, In: arXiv.

    Research output: Contribution to journalArticleAcademic

    File
    28 Downloads (Pure)