Liang-Ting Chen

ORCID

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 12

Top Venues

CoRR

Proc. ACM Program. Lang.

FoSSaCS

CALCO

University of Birmingham, UK (PHD)

Education History

University of Birmingham, UK

PHD

Publications

Hsiang-Shang Ko, Liang-Ting Chen, Tzu-Chi Lin
Datatype-generic programming meets elaborator reflection. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Chin-Hsien Wu, Liang-Ting Chen
A State-aware Method for Flows with Fairness on NVMe SSDs with Load Balance. CLOUD (2022)
Liang-Ting Chen, Hsiang-Shang Ko
Realising Intensional S4 and GL Modalities. CSL (2022)
Jirí Adámek, Liang-Ting Chen, Stefan Milius, Henning Urbat
Reiterman's Theorem on Finite Algebras for a Monad. CoRR (2021)
Jirí Adámek, Liang-Ting Chen, Stefan Milius, Henning Urbat
Reiterman's Theorem on Finite Algebras for a Monad. ACM Trans. Comput. Log. 22 (4) (2021)
Liang-Ting Chen, Markus Roggenbach, John V. Tucker
An Algebraic Theory for Data Linkage. WADT (2018)
Liang-Ting Chen, Markus Roggenbach, John V. Tucker
An algebraic theory for data linkage. CoRR (2018)
Henning Urbat, Jirí Adámek, Liang-Ting Chen, Stefan Milius
Eilenberg Theorems for Free. MFCS (2017)
Henning Urbat, Jirí Adámek, Liang-Ting Chen, Stefan Milius
One Eilenberg Theorem to Rule Them All. CoRR (2016)
Liang-Ting Chen, Henning Urbat
Schützenberger Products in a Category. CoRR (2016)
Liang-Ting Chen, Jirí Adámek, Stefan Milius, Henning Urbat
Profinite Monads, Profinite Equations, and Reiterman's Theorem. FoSSaCS (2016)
Liang-Ting Chen, Henning Urbat
Schützenberger Products in a Category. DLT (2016)
Liang-Ting Chen, Jirí Adámek, Stefan Milius, Henning Urbat
Profinite Monads, Profinite Equations and Reiterman's Theorem. CoRR (2015)
Liang-Ting Chen, Henning Urbat
A Fibrational Approach to Automata Theory. CALCO (2015)
Liang-Ting Chen, Henning Urbat
A Fibrational Approach to Automata Theory. CoRR (2015)
Liang-Ting Chen, Achim Jung
On a Categorical Framework for Coalgebraic Modal Logic. MFPS (2014)

Liang-Ting Chen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Liang-Ting Chen