Bartek Klin

885 total citations
37 papers, 292 citations indexed

About

Bartek Klin is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Geometry and Topology. According to data from OpenAlex, Bartek Klin has authored 37 papers receiving a total of 292 indexed citations (citations by other indexed papers that have themselves been cited), including 32 papers in Artificial Intelligence, 28 papers in Computational Theory and Mathematics and 4 papers in Geometry and Topology. Recurrent topics in Bartek Klin's work include Logic, programming, and type systems (26 papers), Logic, Reasoning, and Knowledge (20 papers) and Formal Methods in Verification (20 papers). Bartek Klin is often cited by papers focused on Logic, programming, and type systems (26 papers), Logic, Reasoning, and Knowledge (20 papers) and Formal Methods in Verification (20 papers). Bartek Klin collaborates with scholars based in Poland, United Kingdom and Netherlands. Bartek Klin's co-authors include Mikołaj Bojańczyk, Sławomir Lasota, Szymon Toruńczyk, Vladimiro Sassone, Helle Hvid Hansen, Piotr Hoffmań, Jurriaan Rot, Paweł Sobociński, Alexander Kurz and Lutz Schröder and has published in prestigious journals such as SHILAP Revista de lepidopterología, Theoretical Computer Science and ACM SIGPLAN Notices.

In The Last Decade

Bartek Klin

35 papers receiving 276 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Bartek Klin Poland	9	247	241	21	17	16	37	292
Alban Ponse Netherlands	9	202 0.8×	185 0.8×	22 1.0×	6 0.4×	17 1.1×	46	243
Antonino Salibra Italy	11	244 1.0×	218 0.9×	18 0.9×	26 1.5×	8 0.5×	42	292
Gian Luca Cattani United Kingdom	10	143 0.6×	148 0.6×	36 1.7×	15 0.9×	34 2.1×	18	193
Masahito Hasegawa Japan	9	122 0.5×	219 0.9×	24 1.1×	29 1.7×	45 2.8×	23	240
David Gabelaia United States	8	145 0.6×	174 0.7×	46 2.2×	15 0.9×	9 0.6×	18	216
Marek A. Bednarczyk Poland	4	195 0.8×	101 0.4×	112 5.3×	10 0.6×	12 0.8×	12	230
Michel Parigot France	7	152 0.6×	175 0.7×	16 0.8×	7 0.4×	7 0.4×	15	199
Horst Reichel Germany	7	172 0.7×	198 0.8×	33 1.6×	17 1.0×	24 1.5×	23	255
Juan Luis Esteban Spain	9	214 0.9×	190 0.8×	35 1.7×	23 1.4×	7 0.4×	14	258
Daniele Varacca France	8	145 0.6×	149 0.6×	45 2.1×	8 0.5×	6 0.4×	17	197

Countries citing papers authored by Bartek Klin

Since Specialization

Citations

This map shows the geographic impact of Bartek Klin's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Bartek Klin with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Bartek Klin more than expected).

Fields of papers citing papers by Bartek Klin

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Bartek Klin. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Bartek Klin. The network helps show where Bartek Klin may publish in the future.

Co-authorship network of co-authors of Bartek Klin

This figure shows the co-authorship network connecting the top 25 collaborators of Bartek Klin. A scholar is included among the top collaborators of Bartek Klin based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Bartek Klin. Bartek Klin is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Bojańczyk, Mikołaj, et al.. (2024). Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. SHILAP Revista de lepidopterología. Volume 3. 1 indexed citations

Bojańczyk, Mikołaj & Bartek Klin. (2024). Polyregular Functions on Unordered Trees of Bounded Height. Proceedings of the ACM on Programming Languages. 8(POPL). 1326–1351. 1 indexed citations

Fijalkow, Nathanaël, et al.. (2019). Expressiveness of probabilistic modal logics: A gradual approach. Information and Computation. 267. 145–163. 4 indexed citations

Klin, Bartek & Jurriaan Rot. (2017). Coalgebraic trace semantics via forgetful logics. Logical Methods in Computer Science. Volume 12, Issue 4. 4 indexed citations

Klin, Bartek, et al.. (2017). Modal mu-Calculus with Atoms. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 1 indexed citations

Klin, Bartek, et al.. (2016). Some undecidable properties of SOS specifications. Journal of Logical and Algebraic Methods in Programming. 87. 94–109. 1 indexed citations

Klin, Bartek, et al.. (2016). Homomorphism Problems for First-Order Definable Structures. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics).

Bojańczyk, Mikołaj, Bartek Klin, Alexander Kurz, & Andrew M. Pitts. (2014). Nominal Computation Theory (Dagstuhl Seminar 13422). DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 3(10). 58–71. 2 indexed citations

Klin, Bartek, et al.. (2014). Turing machines with atoms, constraint satisfaction problems, and descriptive complexity. 1–10. 4 indexed citations

10.

Klin, Bartek & Vladimiro Sassone. (2013). Structural operational semantics for stochastic and weighted transition systems. Information and Computation. 227. 58–83. 11 indexed citations

11.

Bojańczyk, Mikołaj, Bartek Klin, Sławomir Lasota, & Szymon Toruńczyk. (2013). Turing Machines with Atoms. 17 indexed citations

12.

Bojańczyk, Mikołaj, et al.. (2012). Towards nominal computation. ACM SIGPLAN Notices. 47(1). 401–412. 24 indexed citations

13.

Klin, Bartek. (2011). Bialgebras for structural operational semantics: An introduction. Theoretical Computer Science. 412(38). 5043–5069. 38 indexed citations

14.

Corradini, Andrea, Bartek Klin, & Corina Ĉırstea. (2011). Proceedings of the 4th international conference on Algebra and coalgebra in computer science. 3 indexed citations

15.

Klin, Bartek. (2008). Bialgebraic methods and modal logic in structural operational semantics. Information and Computation. 207(2). 237–257. 14 indexed citations

16.

Hoffmań, Piotr & Bartek Klin. (2006). Careful With That Computer: On Creating Maps by Multidimensional Scaling of Papyri in Katja Mueller's Recent Studies on the Topography of the Fayum. 67–90. 3 indexed citations

17.

Klin, Bartek. (2004). Adding recursive constructs to bialgebraic semantics. The Journal of Logic and Algebraic Programming. 60-61. 259–286. 12 indexed citations

18.

Schröder, Lutz, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, & Piotr Hoffmań. (2004). Amalgamation in the semantics of CASL. Theoretical Computer Science. 331(1). 215–247. 5 indexed citations

19.

Klin, Bartek. (2004). A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces. Electronic Notes in Theoretical Computer Science. 106. 201–218. 7 indexed citations

20.

Klin, Bartek & Paweł Sobociński. (2003). Syntactic Formats for Free: An Abstract Approach to Process Equivalence. BRICS Report Series. 10(18). 3 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact