Bartek Klin

Bartek Klin

University of Warsaw - Warsaw / Poland
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1753635
Uniwersytet Warszawski
person_outline Bartek Klin's MOST POPULAR ARTICLES
1-) Automata theory in nominal setsM Bojańczyk, B Klin, S LasotaLogical Methods in Computer Science 10 (3), 20141362014
2-) Bialgebras for structural operational semantics: An introductionB KlinTheoretical Computer Science 412 (38), 5043-5069, 20111232011
3-) Automata with group actionsM Bojańczyk, B Klin, S LasotaLogic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on, 355-364, 20111222011
4-) Learning nominal automataJ Moerman, M Sammartino, A Silva, B Klin, M SzynwelskiACM SIGPLAN Notices 52 (1), 613-625, 2017872017
5-) Coalgebraic modal logic beyond setsB KlinElectronic Notes in Theoretical Computer Science 173, 177-201, 2007842007