| Eilenberg theorems for free H Urbat, J Adámek, LT Chen, S Milius 42nd International Symposium on Mathematical Foundations of Computer Science …, 2017 | 35* | 2017 |
| 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 | 28 | 2016 |
| A fibrational approach to automata theory LT Chen, H Urbat 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), 2015 | 9 | 2015 |
| On a categorical framework for coalgebraic modal logic LT Chen, A Jung the 30th Conference on the Mathematical Foundations of Programming Semantics …, 2014 | 9 | 2014 |
| Reiterman's Theorem on Finite Algebras for a Monad J Adamek, LT Chen, S Milius, H Urbat ACM Transactions on Computational Logic 22 (4), 1-48, 2021 | 5 | 2021 |
| Schützenberger products in a category LT Chen, H Urbat International Conference on Developments in Language Theory, 89-101, 2016 | 5 | 2016 |
| On a purely categorical framework for coalgebraic modal logic LT Chen University of Birmingham, 2014 | 5 | 2014 |
| Realising Intensional S4 and GL Modalities LT Chen, HS Ko 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), 2022 | 3 | 2022 |
| An algebraic theory for data linkage LT Chen, M Roggenbach, JV Tucker Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 …, 2019 | 1 | 2019 |
| A formal treatment of bidirectional typing LT Chen, HS Ko European Symposium on Programming, 115-142, 2024 | | 2024 |
| Datatype-generic programming meets elaborator reflection HS Ko, LT Chen, TC Lin Proceedings of the ACM on Programming Languages 6 (ICFP), 225-253, 2022 | | 2022 |
| Monadic typed tactic programming by reflection (extended abstract) LT Chen TyDe 2019 : 4th Workshop on Type-Driven Development, 2019 | | 2019 |
| A final Vietoris coalgebra beyond compact spaces and a generalized Jónsson-Tarski duality LT Chen, A Jung CALCO Young Researchers Workshop CALCO-jnr 2011, 10, 2011 | | 2011 |
Henning UrbatPostdoctoral Researcher, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at fau.de
