Scholar
Bartek Klin
Google Scholar ID: 0-UFxOQAAAAJ
University of Oxford
nominal sets
coalgebra
structural operational semantics
logic in computer science
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,630
H-index
22
i10-index
37
Publications
20
Co-authors
27
list available
Publications
2 items
Karp's NP-complete problems over first-order definable structures
2026
Cited
0
The Finite Length Property of the Rado Graph and Friends
2026
Cited
0
Co-authors
11 total
Slawomir Lasota
University of Warsaw, prof. of computer science
Szymon Toruńczyk
University of Warsaw
Till Mossakowski
Professor of Computer Science, University of Osnabrück
Lutz Schröder
Professor of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg
Alexandra Silva
Cornell University
Matteo Sammartino
Royal Holloway University of London, University College London
Pawel Sobocinski
Tallinn University of Technology #TalTechSoftSci
Nathanaël Fijalkow
CNRS, LaBRI, Bordeaux