Johri van Eerd

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 3

Top Topics

Graphics Hardware

Operational Semantics

Top Venues

Publications

Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Muhammad Osama, Anton Wijs
Innermost many-sorted term rewriting on GPUs. Sci. Comput. Program. 225 (2023)
Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs
Term Rewriting on GPUs. FSEN (2021)
Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs
Term Rewriting on GPUs. CoRR (2020)