hans zantema

hans zantema

Technische Universiteit Eindhoven

H-index: 28

Europe-Netherlands

About hans zantema

hans zantema, With an exceptional h-index of 28 and a recent h-index of 11 (since 2020), a distinguished researcher at Technische Universiteit Eindhoven, specializes in the field of algorithms, rewriting, automated reasoning, verification.

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

Characterizing morphic sequences

The paint pot problem and common multiples in monoids

Generating and Solving Skyscrapers Puzzles Using a SAT Solver

Complexity of Simon's problem in classical sense

Complexity of automatic sequences

Passive Automata Learning: DFAs and NFAs

Deadlock in packet switching networks

Slowly synchronizing automata with fixed alphabet size

hans zantema Information

University

Position

___

Citations(all)

3144

Citations(since 2020)

462

Cited By

2890

hIndex(all)

28

hIndex(since 2020)

11

i10Index(all)

71

i10Index(since 2020)

14

Email

University Profile Page

Technische Universiteit Eindhoven

Google Scholar

View Google Scholar Profile

hans zantema Skills & Research Interests

algorithms

rewriting

automated reasoning

verification

Top articles of hans zantema

Title

Journal

Author(s)

Publication Date

Characterizing morphic sequences

arXiv preprint arXiv:2309.10562

Hans Zantema

2023/9/19

The paint pot problem and common multiples in monoids

Applicable Algebra in Engineering, Communication and Computing

Hans Zantema

Vincent van Oostrom

2023/5/13

Generating and Solving Skyscrapers Puzzles Using a SAT Solver

Laura Kolijn

CLM Kop

H Zantema

2022/1/19

Complexity of Simon's problem in classical sense

arXiv preprint arXiv:2211.01776

Hans Zantema

2022/11/3

Complexity of automatic sequences

Information and Computation

Hans Zantema

Wieb Bosma

2022/10/1

Passive Automata Learning: DFAs and NFAs

Hans Zantema

2022/9/7

Deadlock in packet switching networks

Anna Stramaglia

Jeroen JA Keiren

Hans Zantema

2021

Slowly synchronizing automata with fixed alphabet size

Information and Computation

Henk Don

Hans Zantema

Michiel de Bondt

2021/8/1

Analysis of Confined Blocks World

Julius Landsman

H Zantema

JH Geuvers

2021/1/10

Transducer Degrees

Steven Bronsveld

JH Geuvers

H Zantema

2021/1/10

Analysis of Akari

Bram Pulles

H Zantema

H Geuvers

2021/1/9

Solving and generating puzzles with a connectivity constraint

Bachelor thesis of Radboud University

Gerhard van der Knijff

H Zantema

JH Geuvers

2021/1/6

Flood-it as a sat problem

bachelor thesis, Faculty of Science, Radboud University, Nijmegen, The Netherlands

Milan van Stiphout

CLM Kop

H Zantema

2020/4/9

Automatic sequences: the effect of local changes to complexity

PHM van Spaendonck

Master Student

Hans Zantema

Wieb Bosma

2020

See List of Professors in hans zantema University(Technische Universiteit Eindhoven)