List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Realising intensional S4 and GL modalities | 2024-04-10 | Paper |
| Reiterman’s Theorem on Finite Algebras for a Monad ACM Transactions on Computational Logic | 2022-12-08 | Paper |
| An algebraic theory for data linkage (available as arXiv preprint) | 2020-06-08 | Paper |
| An algebraic theory for data linkage | 2020-06-08 | Paper |
| Eilenberg Theorems for Free (available as arXiv preprint) | 2020-05-26 | Paper |
| A fibrational approach to automata theory (available as arXiv preprint) | 2017-07-11 | Paper |
| Schützenberger products in a category Developments in Language Theory | 2016-08-30 | Paper |
| Profinite monads, profinite equations, and Reiterman's theorem Lecture Notes in Computer Science | 2016-06-10 | Paper |
| On a categorical framework for coalgebraic modal logic | 2016-05-13 | Paper |
Research outcomes over time
This page was built for person: Liang-Ting Chen
