Tzu-Chun Chen

According to our database, Tzu-Chun Chen authored at least 21 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

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, June, 2023

2022

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

Proceedings of the International Conference on Technologies and Applications of Artificial Intelligence, 2022

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

Stateful Behavioral Types for ABS.

Eduard Kamburjan, Tzu-Chun Chen

CoRR, 2018

Program Verification for Exception Handling on Active Objects Using Futures.

Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Stateful Behavioral Types for Active Objects.

Eduard Kamburjan, Tzu-Chun Chen

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems.

Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek

Proceedings of the Programming Languages and Systems, 2018

2017

Monitoring networks through multiparty session types.

Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida

Theor. Comput. Sci., 2017

On the Preciseness of Subtyping in Session Types.

Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida

Log. Methods Comput. Sci., 2017

Feature Selection in Learning Common Sense Associations Using Matrix Factorization.

Tzu-Chun Chen, Von-Wun Soo

Int. J. Fuzzy Syst., 2017

2016

Session-Based Compositional Analysis for Actor-Based Languages Using Futures.

Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen

Proceedings of the Formal Methods and Software Engineering, 2016

A Type Theory for Robust Failure Handling in Distributed Systems.

Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

2015

Lightening global types.

Tzu-Chun Chen

J. Log. Algebraic Methods Program., 2015

Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi.

Luca Padovani, Tzu-Chun Chen, Andrea Tosatto

Proceedings of the Coordination Models and Languages, 2015

2014

Typing Classes and Mixins with Intersection Types.

Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen, Ugo de'Liguoro

Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

On the Preciseness of Subtyping in Session Types.

Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Structuring Communication with Session Types.

Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida

Proceedings of the Concurrent Objects and Beyond, 2014

2012

Specifying Stateful Asynchronous Properties for Distributed Programs.

Tzu-Chun Chen, Kohei Honda

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Asynchronous Distributed Monitoring for Multiparty Session Enforcement.

Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

Scribbling Interactions with a Formal Foundation.

Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida

Proceedings of the Distributed Computing and Internet Technology, 2011

2010

Linear-Time Combinatorial Option Pricing Algorithms on the Trinomial Lattice Model.

Tzu-Chun Chen, Tian-Shyr Dai, Jr-Yan Wang

Proceedings of the 2010 International Conference on Scientific Computing, 2010