| A sequent calculus for opetopes CH Thanh, PL Curien, S Mimram 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2019 | 42 | 2019 |
| FreneticV at the SBST 2022 tool competition E Castellano, S Klikovits, A Cetinkaya, P Arcaini Proceedings of the 15th Workshop on Search-Based Software Testing, 47-48, 2022 | 37 | 2022 |
| Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging S Klikovits, CH Thanh, A Cetinkaya, P Arcaini Applied Soft Computing 146, 110631, 2023 | 11 | 2023 |
| Syntactic approaches to opetopes PL Curien, CH Thanh, S Mimram arXiv preprint arXiv:1903.05848, 2019 | 11 | 2019 |
| Frenetic at the SBST 2021 Tool Competition. In 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST). 36–37 E Castellano, A Cetinkaya, CH Thanh, S Klikovits, X Zhang, P Arcaini | 9 | 2021 |
| A sequent calculus for opetopes PL Curien, CH Thanh, S Mimram Proceedings of the Thirty-Fourth Annual ACM/IEEE Symposium on Logic in …, 2019 | 5 | 2019 |
| The equivalence between opetopic sets and many-to-one polygraphs CH Thanh arXiv preprint arXiv:1806.08645, 2018 | 5 | 2018 |
| Opetopes: Syntactic and Algebraic Aspects CH Thanh Université de Paris, 2020 | 3 | 2020 |
| The equivalence between many-to-one polygraphs and opetopic sets CH Thanh arXiv preprint arXiv:1806.08645, 2018 | 3 | 2018 |
| Type theoretical approaches to opetopes CH Thanh, PL Curien, S Mimram Higher Structures 6 (1), 80-181, 2022 | 1 | 2022 |
| Opetopic algebras III: Presheaf models of homotopy-coherent opetopic algebras CH Thanh, CL Subramaniam arXiv preprint arXiv:2001.07924, 2020 | 1 | 2020 |
| Improving Fine-Tuning with Latent Cluster Correction CH Thanh arXiv preprint arXiv:2501.11919, 2025 | | 2025 |
| Recurrence Theorems for Topological Markov Chains CH Thanh, N Urabe, I Hasuo | | 2022 |
| HIGHER CH Thanh, CL Subramaniam | | 2022 |
| STABILITY OF LAWVERE THEORIES CHO THANH | | 2021 |
| Syntactical approaches to opetopes PL Curien, CH Thanh, S Mimram | | 2019 |
| HIGHER PL Curien, J Obradović | | 2017 |
| Quasi categories CH Thanh | | 2014 |
| MSC PL Curien, CH Thanh, S Mimram | | |
| MSC CH Thanh, CL Subramaniam | | |
