Ikuti
Bartek Klin
Judul
Dikutip oleh
Dikutip oleh
Tahun
Automata theory in nominal sets
M Bojańczyk, B Klin, S Lasota
Logical Methods in Computer Science 10 (3), 2014
1672014
Bialgebras for structural operational semantics: An introduction
B Klin
Theoretical Computer Science 412 (38), 5043-5069, 2011
1302011
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
1262011
Learning nominal automata
J Moerman, M Sammartino, A Silva, B Klin, M Szynwelski
ACM SIGPLAN Notices 52 (1), 613-625, 2017
872017
Coalgebraic modal logic beyond sets
B Klin
Electronic Notes in Theoretical Computer Science 173, 177-201, 2007
842007
Structural operational semantics for stochastic process calculi
B Klin, V Sassone
International Conference on Foundations of Software Science and …, 2008
732008
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
682013
Towards nominal computation
M Bojanczyk, L Braud, B Klin, S Lasota
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
682012
Structural operational semantics for weighted transition systems
B Klin
Semantics and algebraic specification, 121-139, 2009
572009
Iterated covariant powerset is not a monad
B Klin, J Salamanca
Electronic Notes in Theoretical Computer Science 341, 261-276, 2018
492018
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
392013
Bialgebraic methods and modal logic in structural operational semantics
B Klin
Information and Computation 207 (2), 237-257, 2009
352009
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
302022
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
292005
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
282001
SMT Solving for Functional Programming over Infinite Structures
B Klin, M Szynwelski
6th Workshop on Mathematically Structured Functional Programming, 57-75, 2016
262016
Labels from reductions: Towards a general theory
B Klin, V Sassone, P Sobociński
Algebra and Coalgebra in Computer Science, 30-50, 2005
262005
Locally finite constraint satisfaction problems
B Klin, E Kopczynski, J Ochremiak, S Torunczyk
30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2015 …, 2015
252015
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
252005
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20