| Generalized eilenberg theorem I: local varieties of languages J Adámek, S Milius, RSR Myers, H Urbat Foundations of Software Science and Computation Structures: 17th …, 2014 | 32 | 2014 |
| Automata learning: An algebraic approach H Urbat, L Schröder Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 30 | 2020 |
| On finitary functors and their presentations J Adámek, S Milius, LS Moss, H Urbat Journal of Computer and System Sciences 81 (5), 813-833, 2015 | 28 | 2015 |
| Varieties of languages in a category J Adámek, RSR Myers, H Urbat, S Milius 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 414-425, 2015 | 27 | 2015 |
| Profinite monads, profinite equations, and Reiterman’s theorem LT Chen, J Adámek, S Milius, H Urbat International Conference on Foundations of Software Science and Computation …, 2016 | 24 | 2016 |
| Eilenberg theorems for free H Urbat, J Adámek, LT Chen, S Milius arXiv preprint arXiv:1602.05831, 2016 | 24 | 2016 |
| Equational axiomatization of algebras with structure S Milius, H Urbat Foundations of Software Science and Computation Structures: 22nd …, 2019 | 20 | 2019 |
| Coalgebraic constructions of canonical nondeterministic automata RSR Myers, J Adámek, S Milius, H Urbat Theoretical Computer Science 604, 81-101, 2015 | 17 | 2015 |
| Syntactic monoids in a category J Adamek, S Milius, H Urbat arXiv preprint arXiv:1504.02694, 2015 | 13 | 2015 |
| One Eilenberg theorem to rule them all H Urbat, J Adámek, LT Chen, S Milius arXiv preprint arXiv:1602.05831, 2016 | 11 | 2016 |
| Towards a higher-order mathematical operational semantics S Goncharov, S Milius, L Schröder, S Tsampas, H Urbat Proceedings of the ACM on Programming Languages 7 (POPL), 632-658, 2023 | 10 | 2023 |
| Generalized Eilenberg theorem: Varieties of languages in a category J Adámek, S Milius, RSR Myers, H Urbat ACM Transactions on Computational Logic (TOCL) 20 (1), 1-47, 2018 | 9 | 2018 |
| Finite behaviours and finitary corecursion H Urbat 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), 2017 | 9 | 2017 |
| A fibrational approach to automata theory LT Chen, H Urbat arXiv preprint arXiv:1504.02692, 2015 | 9 | 2015 |
| Canonical nondeterministic automata RSR Myers, J Adámek, S Milius, H Urbat International Workshop on Coalgebraic Methods in Computer Science, 189-210, 2014 | 8 | 2014 |
| On continuous nondeterminism and state minimality J Adámek, RSR Myers, H Urbat, S Milius Electronic Notes in Theoretical Computer Science 308, 3-23, 2014 | 7 | 2014 |
| Weak similarity in higher-order mathematical operational semantics H Urbat, S Tsampas, S Goncharov, S Milius, L Schröder 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2023 | 6 | 2023 |
| Profinite Monads, Profinite Equations, and Reiterman's Theorem LT Chen, J Adamek, S Milius, H Urbat arXiv preprint arXiv:1511.02147, 2015 | 6 | 2015 |
| Stateful structural operational semantics S Goncharov, S Milius, L Schröder, S Tsampas, H Urbat arXiv preprint arXiv:2202.10866, 2022 | 5 | 2022 |
| Reiterman’s theorem on finite algebras for a monad J Adámek, LT Chen, S Milius, H Urbat ACM Transactions on Computational Logic (TOCL) 22 (4), 1-48, 2021 | 5 | 2021 |
