Jan Martens

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 15

Top Topics

Graphics Hardware

Parallel Algorithm

Top Venues

Sci. Comput. Program.

Publications

Jan Martens, Jan Friso Groote
Minimal Depth Distinguishing Formulas Without Until for Branching Bisimulation. Logics and Type Systems in Theory and Practice (2024)
Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs
Linear parallel algorithms to compute strong and branching bisimilarity. Softw. Syst. Model. 22 (2) (2023)
Jan Friso Groote, Jan Martens, Erik P. de Vink
Lowerbounds for Bisimulation by Partition Refinement. Log. Methods Comput. Sci. 19 (2) (2023)
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)
Jan Martens, Jan Friso Groote
Computing Minimal Distinguishing Hennessy-Milner Formulas is NP-Hard, but Variants are Tractable. CONCUR (2023)
Jan Martens, Jan Friso Groote
Computing minimal distinguishing Hennessy-Milner formulas is NP-hard, but variants are tractable. CoRR (2023)
Jan Martens
Deciding minimal distinguishing DFAs is NP-complete. CoRR (2023)
Jan Friso Groote, Jan Martens, Erik P. de Vink
Lowerbounds for Bisimulation by Partition Refinement. CoRR (2022)
Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs
A linear parallel algorithm to compute bisimulation and relational coarsest partitions. CoRR (2021)
Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs
Term Rewriting on GPUs. FSEN (2021)
Jan Friso Groote, Jan Martens, Erik P. de Vink
Bisimulation by Partitioning Is Ω((m+n)log n). CONCUR (2021)
Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs
A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions. FACS (2021)
Denis Kuperberg, Jan Martens
Regular Resynchronizability of Origin Transducers Is Undecidable. MFCS (2020)
Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs
Term Rewriting on GPUs. CoRR (2020)
Denis Kuperberg, Jan Martens
Regular resynchronizability of origin transducers is undecidable. CoRR (2020)