CUFinder

Wieger Wesselink

About Wieger Wesselink

Wieger Wesselink, With an exceptional h-index of 16 and a recent h-index of 8 (since 2020), a distinguished researcher at Technische Universiteit Eindhoven, specializes in the field of Formal Methods.

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

Applying AlphaZero to the game of International Draughts

Partial-order reduction for parity games and parameterised Boolean equation systems

On-the-fly solving for symbolic parity games

Partial-order reduction for parity games with an application on parameterised Boolean equation systems

Wieger Wesselink Information

University

Position

Assistant Proffessor of Computer Science

Citations(all)

1103

Citations(since 2020)

395

Cited By

911

hIndex(all)

16

hIndex(since 2020)

8

i10Index(all)

24

i10Index(since 2020)

8

Email

University Profile Page

Google Scholar

Wieger Wesselink Skills & Research Interests

Formal Methods

Top articles of Wieger Wesselink

Applying AlphaZero to the game of International Draughts

2023/2/10

Partial-order reduction for parity games and parameterised Boolean equation systems

International Journal on Software Tools for Technology Transfer

2022/10

Thomas Neele
Thomas Neele

H-Index: 5

Wieger Wesselink
Wieger Wesselink

H-Index: 8

Antti Valmari
Antti Valmari

H-Index: 13

On-the-fly solving for symbolic parity games

2022/3/30

Maurice Laveaux
Maurice Laveaux

H-Index: 2

Wieger Wesselink
Wieger Wesselink

H-Index: 8

Partial-order reduction for parity games with an application on parameterised Boolean equation systems

2020/4/17

Thomas Neele
Thomas Neele

H-Index: 5

Wieger Wesselink
Wieger Wesselink

H-Index: 8

See List of Professors in Wieger Wesselink University(Technische Universiteit Eindhoven)