Chen, Liang-Ting 陳亮廷

Postdoctoral Researcher
Institute of Information Science, Academia Sinica
No. 128, Sec. 2, Academia Rd.
Taipei 115201, Taiwan

Interests

My research interests include, but are not limited to,

In general I find the categorical perspective of theory B interesting to me.

Publications

[1] L.-T. Chen, M. Roggenbach, J.V. Tucker, An Algebraic Theory for Data Linkage, in: I. Fiadeiro, José Luiz and Ţuţu (Ed.), Recent Trends in Algebraic Development Techniques – 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers, Springer, 2019: pp. 47–66. doi:10.1007/978-3-030-23220-7_3.

[2] H. Urbat, J. Adámek, L.-T. Chen, S. Milius, Eilenberg Theorems for Free, in: K.G. Larsen, H.L. Bodlaender, J.-F. Raskin (Eds.), 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2017: pp. 43:1–43:15. doi:10.4230/LIPIcs.MFCS.2017.43.

[3] L.-T. Chen, H. Urbat, Schützenberger products in a category, in: S. Brlek, C. Reutenauer (Eds.), Proceedings of the 20th International Conference on Developments in Language Theory, Springer Berlin Heidelberg, 2016: pp. 89–101. doi:10.1007/978-3-662-53132-7.

[4] L.-T. Chen, J. Adámek, S. Milius, H. Urbat, Profinite monads, profinite equations, and Reiterman’s theorem, in: B. Jacobs, C. Löding (Eds.), Proceedings of the 19th International Conference on the Foundations of Software Sciences and Computer Structures, Springer Berlin Heidelberg, 2016: pp. 531–547. doi:10.1007/978-3-662-49630-5_31.

[5] L.-T. Chen, H. Urbat, A fibrational approach to automata theory, in: L.S. Moss, P. Sobocinski (Eds.), Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2015: pp. 50–65. doi:10.4230/LIPIcs.CALCO.2015.50.

[6] L.-T. Chen, A. Jung, On a categorical framework for coalgebraic modal logic, in: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX), Elsevier, 2014: pp. 109–128. doi:10.1016/j.entcs.2014.10.007.