Linear-Time Combinatorial Option Pricing Algorithms on the Trinomial Lattice Model. - Tzu-Chun Chen; Tian-Shyr Dai; Jr-Yan Wang (CSC, 2010)

Scribbling Interactions with a Formal Foundation. - Kohei Honda 001; Aybek Mukhamedov; Gary Brown; Tzu-Chun Chen; Nobuko Yoshida (ICDCIT, 2011)

Asynchronous Distributed Monitoring for Multiparty Session Enforcement. - Tzu-Chun Chen; Laura Bocchi; Pierre-Malo Deniélou; Kohei Honda 001; Nobuko Yoshida (TGC, 2011)

Specifying Stateful Asynchronous Properties for Distributed Programs. - Tzu-Chun Chen; Kohei Honda 001 (CONCUR, 2012)

Structuring Communication with Session Types. - Kohei Honda 001; Raymond Hu; Rumyana Neykova; Tzu-Chun Chen; Romain Demangeon; Pierre-Malo Deniélou; Nobuko Yoshida (Concurrent Objects and Beyond, 2014)

On the Preciseness of Subtyping in Session Types. - Tzu-Chun Chen; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida (PPDP, 2014)

Typing Classes and Mixins with Intersection Types. - Jan Bessai; Boris Düdder; Andrej Dudenhefner; Tzu-Chun Chen; Ugo de'Liguoro (ITRS, 2014)

Lightening Global Types. - Tzu-Chun Chen (PLACES, 2014)

Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi. - Luca Padovani; Tzu-Chun Chen; Andrea Tosatto (COORDINATION, 2015)

A Type Theory for Robust Failure Handling in Distributed Systems. - Tzu-Chun Chen; Malte Viering; Andi Bejleri; Lukasz Ziarek; Patrick Eugster (FORTE, 2016)

Session-Based Compositional Analysis for Actor-Based Languages Using Futures. - Eduard Kamburjan; Crystal Chang Din; Tzu-Chun Chen (ICFEM, 2016)

Feature Selection in Learning Common Sense Associations Using Matrix Factorization. - Tzu-Chun Chen; Von-Wun Soo (Int. J. Fuzzy Syst., 2017)

On the Preciseness of Subtyping in Session Types. - Tzu-Chun Chen; Mariangiola Dezani-Ciancaglini; Alceste Scalas; Nobuko Yoshida (Log. Methods Comput. Sci., 2017)

Monitoring networks through multiparty session types. - Laura Bocchi; Tzu-Chun Chen; Romain Demangeon; Kohei Honda 001; Nobuko Yoshida (Theor. Comput. Sci., 2017)

A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. - Malte Viering; Tzu-Chun Chen; Patrick Eugster; Raymond Hu; Lukasz Ziarek (ESOP, 2018)

Stateful Behavioral Types for Active Objects. - Eduard Kamburjan; Tzu-Chun Chen (IFM, 2018)

Program Verification for Exception Handling on Active Objects Using Futures. - Crystal Chang Din; Rudolf Schlatte; Tzu-Chun Chen (SEFM, 2018)

Stateful Behavioral Types for ABS. - Eduard Kamburjan; Tzu-Chun Chen (CoRR, 2018)

Mixin Composition Synthesis based on Intersection Types. - Jan Bessai; Tzu-Chun Chen; Andrej Dudenhefner; Boris Düdder; Ugo de'Liguoro; Jakob Rehof (Log. Methods Comput. Sci., 2018)

Entropy-Based Two-Phase Optimization Algorithm for Solving Wordle-like Games. - Yen-Chi Chen; Hao-En Kuan; Yen-Shun Lu; Tzu-Chun Chen; I-Chen Wu (TAAI, 2022)

Spatially Small-scale Approach-avoidance Behaviors Allow Learning-free Machine Inference of Object Preferences in Human Minds. - Tsung-Ren Huang; Tzu-Chun Chen; Ting-Yu Lin; Joshua Oon Soo Goh; Yu-Ling Chang; Su-Ling Yeh; Li-Chen Fu (Int. J. Soc. Robotics, 2023)

On the Preciseness of Subtyping in Session Types: 10 Years Later. - Tzu-Chun Chen; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida (PPDP, 2024)

Transformer-CNN for small image object detection. - Yan-Lin Chen; Chun-Liang Lin; Yu-Chen Lin 002; Tzu-Chun Chen (Signal Process. Image Commun., 2024)