ProfessorsProfessors of Uniwersytet WarszawskiBartek Klin

Bartek Klin

Uniwersytet Warszawski

H-index: 22

Europe-Poland

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

Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages

Orbit-finite-dimensional vector spaces and weighted register automata

Bartek Klin Information

University	Uniwersytet Warszawski
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	Access Email
University Profile Page	Uniwersytet Warszawski
Google Scholar	View Google Scholar Profile

Bartek Klin Skills & Research Interests

nominal sets

coalgebra

structural operational semantics

logic in computer science

Top articles of Bartek Klin

Title	Journal	Author(s)	Publication Date
Polyregular functions on unordered trees of bounded height	Proceedings of the ACM on Programming Languages	Mikołaj Bojańczyk Bartek Klin	2024/1/5
Monadic monadic second order logic		Mikołaj Bojańczyk Bartek Klin Julian Salamanca	2023/8/2
Countdown μ-Calculus		Jędrzej Kołodziejski Bartek Klin	2022
Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages		Bartek Klin Slawomir Lasota Szymon Torunczyk	2021/3/22
Orbit-finite-dimensional vector spaces and weighted register automata		Mikołaj Bojańczyk Bartek Klin Joshua Moerman	2021/6/29