Liang-Ting Chen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CPP | Can We Formalise Type Theory Intrinsically without Any Compromise? A Case Study in Cubical Agda. | Liang-Ting Chen, Fredrik Nordvall Forsberg, Tzu-Chun Tsai |
| 2024 | DAC | Arbitrary-size Multi-layer OARSMT RL Router Trained with Combinatorial Monte-Carlo Tree Search. | Liang-Ting Chen, Hung-Ru Kuo, Yih-Lang Li, Mango C.-T. Chao |
| 2024 | ESOP | A Formal Treatment of Bidirectional Typing. | Liang-Ting Chen, Hsiang-Shang Ko |
| 2022 | CSL | Realising Intensional S4 and GL Modalities. | Liang-Ting Chen, Hsiang-Shang Ko |
| 2017 | MFCS | Eilenberg Theorems for Free. | Henning Urbat, Jir Admek, Liang-Ting Chen, Stefan Milius |
| 2016 | DLT | Schtzenberger Products in a Category. | Liang-Ting Chen, Henning Urbat |
| 2016 | FOSSACS | Profinite Monads, Profinite Equations, and Reiterman's Theorem. | Liang-Ting Chen, Jir Admek, Stefan Milius, Henning Urbat |
| 2015 | CALCO | A Fibrational Approach to Automata Theory. | Liang-Ting Chen, Henning Urbat |