Lovász-Type Theorems and Game Comonads A Dawar, T Jakl, L Reggio arXiv preprint arXiv:2105.03274, 2021 | 38 | 2021 |
Bitopology and four-valued logic T Jakl, A Jung, A Pultr Electronic Notes in Theoretical Computer Science 325, 201-219, 2016 | 11 | 2016 |
Discrete density comonads and graph parameters S Abramsky, T Jakl, T Paine International Workshop on Coalgebraic Methods in Computer Science, 23-44, 2022 | 10 | 2022 |
d-Frames as algebraic duals of bitopological spaces T Jakl Univerzita Karlova, Matematicko-fyzikální fakulta, 2018 | 10 | 2018 |
A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems T Jakl, D Marsden, N Shah arXiv preprint arXiv:2205.05387, 2022 | 7 | 2022 |
Tightness relative to some (co) reflections in topology RN Ball, B Banaschewski, T Jakl, A Pultr, J Walters-Wayland Quaestiones Mathematicae 39 (3), 421-436, 2016 | 6 | 2016 |
Quotients of d-frames T Jakl, A Jung, A Pultr Applied Categorical Structures 27, 261-275, 2019 | 5 | 2019 |
A Cook’s tour of duality in logic: from quantifiers, through Vietoris, to measures M Gehrke, T Jakl, L Reggio Samson Abramsky on Logic and Structure in Computer Science and Beyond, 129-158, 2023 | 4 | 2023 |
Arimaa challenge–Comparission study of MCTS versus alpha-beta methods T Jakl Memory 37, 37.5, 2011 | 4 | 2011 |
Generalizations of Bilinear Maps--Technical Report T Jakl, D Marsden, N Shah arXiv preprint arXiv:2205.05382, 2022 | 3 | 2022 |
Canonical extensions of locally compact frames T Jakl Topology and its Applications 273, 106976, 2020 | 3 | 2020 |
A categorical account of composition methods in logic T Jakl, D Marsden, N Shah 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2023 | 2 | 2023 |
A Duality Theoretic View on Limits of Finite Structures. M Gehrke, T Jakl, L Reggio FoSSaCS, 299-318, 2020 | 2 | 2020 |
Free constructions and coproducts of d-frames T Jakl, A Jung arXiv preprint arXiv:1704.04029, 2017 | 2 | 2017 |
Classification of finite semigroups and categories using computational methods W Fussner, N Ghannoum, T Jakl, C Simpson Proceedings of the 5th Conference on Artificial Intelligence and Theorem …, 2020 | 1 | 2020 |
Some point-free aspects of connectedness T Jakl Charles University in Prague, 2013 | 1 | 2013 |
Canonical extensions via fitted sublocales T Jakl, AL Suarez arXiv preprint arXiv:2404.18325, 2024 | | 2024 |
Comonadic Account of Feferman-Vaught-Mostowski Theorems T Jakl, D Marsden, N Shah complexity 2, 19, 2022 | | 2022 |
A duality theoretic view on limits of finite structures: Extended version M Gehrke, T Jakl, L Reggio Logical Methods in Computer Science 18, 2022 | | 2022 |
Free constructions and quotients of d-frames T Jakl, VI ToLo | | 2018 |