Bartek Klin

Cited by

	All	Since 2019
Citations	1516	594
h-index	22	13
i10-index	37	21

140

105

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202419 7 6 15 18 26 25 34 33 29 49 61 76 76 88 130 107 87 97 85 105 120 98 85

Public access

View all

13 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Mikołaj BojańczykUniwersytet WarszawskiVerified email at mimuw.edu.pl
Slawomir LasotaUniversity of Warsaw, prof. of computer scienceVerified email at mimuw.edu.pl
Szymon ToruńczykUniversity of WarsawVerified email at mimuw.edu.pl
Vladimiro SassoneUniversity of SouthamptonVerified email at ecs.soton.ac.uk
Till MossakowskiProfessor of Computer Science, University of MagdeburgVerified email at ovgu.de
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawVerified email at mimuw.edu.pl
Joshua MoermanOpen UniversiteitVerified email at ou.nl
Pawel SobocinskiTallinn University of TechnologyVerified email at cs.ioc.ee
Alexandra SilvaCornell UniversityVerified email at cornell.edu
Matteo SammartinoRoyal Holloway University of London, University College LondonVerified email at rhul.ac.uk
Clovis EberhartProject researcher, ERATO MMSD, National Institute of InformaticsVerified email at nii.ac.jp
Nathanaël FijalkowCNRS, LaBRI, Bordeaux, and University of WarsawVerified email at labri.fr
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Laurent BraudLIF, Aix-Marseille UniversityVerified email at lif.univ-mrs.fr
Julian SalamancaWarsaw UniversityVerified email at mimuw.edu.pl
Jurriaan RotRadboud UniversityVerified email at cs.ru.nl
Ichiro HasuoProfessor of Computer Science, National Institute of InformaticsVerified email at acm.org
Yuichi KomoridaNational Institute of Informatics, TokyoVerified email at nii.ac.jp
samuel humeauFacebook ResearchVerified email at fb.com

Bartek Klin

University of Oxford

Verified email at cs.ox.ac.uk

nominal sets coalgebra structural operational semantics logic in computer science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Automata theory in nominal sets M Bojańczyk, B Klin, S Lasota Logical Methods in Computer Science 10 (3), 2014	159	2014
Bialgebras for structural operational semantics: An introduction B Klin Theoretical Computer Science 412 (38), 5043-5069, 2011	127	2011
Automata with group actions M Bojańczyk, B Klin, S Lasota Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on, 355-364, 2011	123	2011
Learning nominal automata J Moerman, M Sammartino, A Silva, B Klin, M Szynwelski ACM SIGPLAN Notices 52 (1), 613-625, 2017	84	2017
Coalgebraic modal logic beyond sets B Klin Electronic Notes in Theoretical Computer Science 173, 177-201, 2007	81	2007
Towards nominal computation M Bojanczyk, L Braud, B Klin, S Lasota Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012	69	2012
Structural operational semantics for stochastic process calculi B Klin, V Sassone International Conference on Foundations of Software Science and …, 2008	69	2008
Turing machines with atoms M Bojanczyk, B Klin, S Lasota, S Torunczyk 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 183-192, 2013	63	2013
Structural operational semantics for weighted transition systems B Klin Semantics and algebraic specification, 121-139, 2009	54	2009
Iterated covariant powerset is not a monad B Klin, J Salamanca Electronic Notes in Theoretical Computer Science 341, 261-276, 2018	49	2018
Coalgebraic trace semantics via forgetful logics J Rot, B Klin Logical Methods in Computer Science 12, 2016	43*	2016
Structural operational semantics for stochastic and weighted transition systems B Klin, V Sassone Information and Computation 227, 58-83, 2013	38	2013
Bialgebraic methods and modal logic in structural operational semantics B Klin Information and Computation 207 (2), 237-257, 2009	35	2009
Codensity games for bisimilarity Y Komorida, S Kastumata, N Hu, B Klin, S Humeau, C Eberhart, I Hasuo New Generation Computing 40, 403-465, 2022	29	2022
The least fibred lifting and the expressivity of coalgebraic modal logic B Klin International Conference on Algebra and Coalgebra in Computer Science, 247-262, 2005	29	2005
Semantics of Architectural Specifications in C asl L Schröder, T Mossakowski, A Tarlecki, B Klin, P Hoffman Fundamental Approaches to Software Engineering, 253-268, 2001	27	2001
SMT Solving for Functional Programming over Infinite Structures B Klin, M Szynwelski 6th Workshop on Mathematically Structured Functional Programming, 57-75, 2016	25	2016
Amalgamation in the semantics of CASL L Schröder, T Mossakowski, A Tarlecki, B Klin, P Hoffman Theoretical Computer Science 331 (1), 215-247, 2005	24	2005
Labels from reductions: Towards a general theory B Klin, V Sassone, P Sobociński Algebra and Coalgebra in Computer Science, 30-50, 2005	24	2005
Adding recursive constructs to bialgebraic semantics B Klin The Journal of Logic and Algebraic Programming 60, 259-286, 2004	24	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors