Tzu-Chun Chen

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 14

Top Topics

Matrix Factorization

Distributed Systems

Exception Handling

Top Venues

Log. Methods Comput. Sci.

J. Log. Algebraic Methods Program.

Publications

Tsung-Ren Huang, Tzu-Chun Chen, Ting-Yu Lin, Joshua Oon Soo Goh, Yu-Ling Chang, Su-Ling Yeh, Li-Chen Fu
Spatially Small-scale Approach-avoidance Behaviors Allow Learning-free Machine Inference of Object Preferences in Human Minds. Int. J. Soc. Robotics 15 (6) (2023)
Yen-Chi Chen, Hao-En Kuan, Yen-Shun Lu, Tzu-Chun Chen, I-Chen Wu
Entropy-Based Two-Phase Optimization Algorithm for Solving Wordle-like Games. TAAI (2022)
Eduard Kamburjan, Tzu-Chun Chen
Stateful Behavioral Types for Active Objects. IFM (2018)
Eduard Kamburjan, Tzu-Chun Chen
Stateful Behavioral Types for ABS. CoRR (2018)
Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen
Program Verification for Exception Handling on Active Objects Using Futures. SEFM (2018)
Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. ESOP (2018)
Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
Mixin Composition Synthesis based on Intersection Types. Log. Methods Comput. Sci. 14 (1) (2018)
Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
Mixin Composition Synthesis based on Intersection Types. CoRR (2017)
Tzu-Chun Chen, Von-Wun Soo
Feature Selection in Learning Common Sense Associations Using Matrix Factorization. Int. J. Fuzzy Syst. 19 (4) (2017)
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
Monitoring networks through multiparty session types. Theor. Comput. Sci. 669 (2017)
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida
On the Preciseness of Subtyping in Session Types. Log. Methods Comput. Sci. 13 (2) (2017)
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida
On the Preciseness of Subtyping in Session Types. CoRR (2016)
Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen
Session-Based Compositional Analysis for Actor-Based Languages Using Futures. ICFEM (2016)
Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster
A Type Theory for Robust Failure Handling in Distributed Systems. FORTE (2016)
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Tzu-Chun Chen, Ugo de'Liguoro, Jakob Rehof
Mixin Composition Synthesis Based on Intersection Types. TLCA (2015)
Luca Padovani, Tzu-Chun Chen, Andrea Tosatto
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi. COORDINATION (2015)
Tzu-Chun Chen
Lightening global types. J. Log. Algebraic Methods Program. 84 (5) (2015)
Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen, Ugo de'Liguoro
Typing Classes and Mixins with Intersection Types. ITRS (2014)
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
On the Preciseness of Subtyping in Session Types. PPDP (2014)
Tzu-Chun Chen
Lightening Global Types. PLACES (2014)
Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida
Structuring Communication with Session Types. Concurrent Objects and Beyond (2014)
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
Monitoring Networks through Multiparty Session Types. FMOODS/FORTE (2013)
Tzu-Chun Chen, Kohei Honda
Specifying Stateful Asynchronous Properties for Distributed Programs. CONCUR (2012)
Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida
Asynchronous Distributed Monitoring for Multiparty Session Enforcement. TGC (2011)
Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida
Scribbling Interactions with a Formal Foundation. ICDCIT (2011)
Tzu-Chun Chen, Tian-Shyr Dai, Jr-Yan Wang
Linear-Time Combinatorial Option Pricing Algorithms on the Trinomial Lattice Model. CSC (2010)