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 | 29 | 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 | 21 | 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 |

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 | 11 | 2023 |

One Eilenberg theorem to rule them all H Urbat, J Adámek, LT Chen, S Milius arXiv preprint arXiv:1602.05831, 2016 | 11 | 2016 |

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 |