Bartek Klin

About Bartek Klin

Bartek Klin, With an exceptional h-index of 22 and a recent h-index of 12 (since 2020), a distinguished researcher at Uniwersytet Warszawski, specializes in the field of nominal sets, coalgebra, structural operational semantics, logic in computer science.

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

Polyregular functions on unordered trees of bounded height

Monadic monadic second order logic

Countdown μ-Calculus

Orbit-finite-dimensional vector spaces and weighted register automata

Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages

Bartek Klin Information

University

Position

___

Citations(all)

1437

Citations(since 2020)

520

Cited By

1174

hIndex(all)

22

hIndex(since 2020)

12

i10Index(all)

36

i10Index(since 2020)

18

Email

University Profile Page

Google Scholar

Bartek Klin Skills & Research Interests

nominal sets

coalgebra

structural operational semantics

logic in computer science

Top articles of Bartek Klin

Polyregular functions on unordered trees of bounded height

Proceedings of the ACM on Programming Languages

2024/1/5

Mikołaj Bojańczyk
Mikołaj Bojańczyk

H-Index: 19

Bartek Klin
Bartek Klin

H-Index: 13

Monadic monadic second order logic

2023/8/2

Countdown μ-Calculus

2022

Bartek Klin
Bartek Klin

H-Index: 13

Orbit-finite-dimensional vector spaces and weighted register automata

2021/6/29

Mikołaj Bojańczyk
Mikołaj Bojańczyk

H-Index: 19

Bartek Klin
Bartek Klin

H-Index: 13

Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages

2021/3/22

Bartek Klin
Bartek Klin

H-Index: 13

Slawomir Lasota
Slawomir Lasota

H-Index: 17

See List of Professors in Bartek Klin University(Uniwersytet Warszawski)

Co-Authors

academic-engine