CUFinder

Jan Martens

About Jan Martens

Jan Martens, With an exceptional h-index of 4 and a recent h-index of 4 (since 2020), a distinguished researcher at Technische Universiteit Eindhoven,

His recent articles reflect a diverse array of research interests and contributions to the field:

Computing minimal distinguishing Hennessy-Milner formulas is NP-hard, but variants are tractable

Deciding minimal distinguishing DFAs is NP-complete

Lowerbounds for Bisimulation by Partition Refinement

Linear parallel algorithms to compute strong and branching bisimilarity

Innermost many-sorted term rewriting on GPUs

Term rewriting on GPUs

Bisimulation by Partitioning Is Ω ((m+ n) log n)

A linear parallel algorithm to compute bisimulation and relational coarsest partitions

Jan Martens Information

University

Position

___

Citations(all)

24

Citations(since 2020)

24

Cited By

3

hIndex(all)

4

hIndex(since 2020)

4

i10Index(all)

0

i10Index(since 2020)

0

Email

University Profile Page

Google Scholar

Top articles of Jan Martens

Computing minimal distinguishing Hennessy-Milner formulas is NP-hard, but variants are tractable

2023/9/7

Jan Martens
Jan Martens

H-Index: 1

Jan Friso Groote
Jan Friso Groote

H-Index: 19

Deciding minimal distinguishing DFAs is NP-complete

arXiv preprint arXiv:2306.03533

2023/6/6

Jan Martens
Jan Martens

H-Index: 1

Lowerbounds for Bisimulation by Partition Refinement

Logical Methods in Computer Science

2023/5/11

Jan Friso Groote
Jan Friso Groote

H-Index: 19

Jan Martens
Jan Martens

H-Index: 1

Linear parallel algorithms to compute strong and branching bisimilarity

Software and Systems Modeling

2023/4

Jan Martens
Jan Martens

H-Index: 1

Jan Friso Groote
Jan Friso Groote

H-Index: 19

Anton Wijs
Anton Wijs

H-Index: 14

Innermost many-sorted term rewriting on GPUs

Science of Computer Programming

2023/1/1

Jan Friso Groote
Jan Friso Groote

H-Index: 19

Jan Martens
Jan Martens

H-Index: 1

Muhammad Osama
Muhammad Osama

H-Index: 3

Anton Wijs
Anton Wijs

H-Index: 14

Term rewriting on GPUs

2021/5/19

Jan Friso Groote
Jan Friso Groote

H-Index: 19

Jan Martens
Jan Martens

H-Index: 1

Anton Wijs
Anton Wijs

H-Index: 14

Bisimulation by Partitioning Is Ω ((m+ n) log n)

2021

Jan Friso Groote
Jan Friso Groote

H-Index: 19

Jan Martens
Jan Martens

H-Index: 1

A linear parallel algorithm to compute bisimulation and relational coarsest partitions

2021

Jan Martens
Jan Martens

H-Index: 1

Jan Friso Groote
Jan Friso Groote

H-Index: 19

Lars Van Den Haak
Lars Van Den Haak

H-Index: 0

Anton Wijs
Anton Wijs

H-Index: 14

Regular resynchronizability of origin transducers is undecidable

2020/2/18

Jan Martens
Jan Martens

H-Index: 1

See List of Professors in Jan Martens University(Technische Universiteit Eindhoven)