Tzu-Chun Chen

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