Tzu-Chun Chen

Affiliations:
  • TU Darmstadt, Germany
  • University of Turin, Department of Computer Science
  • University of London, Queen Mary College


According to our database1, Tzu-Chun Chen authored at least 19 papers between 2010 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Mixin Composition Synthesis based on Intersection Types.
Log. Methods Comput. Sci., 2018

Stateful Behavioral Types for ABS.
CoRR, 2018

Program Verification for Exception Handling on Active Objects Using Futures.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Stateful Behavioral Types for Active Objects.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems.
Proceedings of the Programming Languages and Systems, 2018

2017
Monitoring networks through multiparty session types.
Theor. Comput. Sci., 2017

On the Preciseness of Subtyping in Session Types.
Log. Methods Comput. Sci., 2017

Feature Selection in Learning Common Sense Associations Using Matrix Factorization.
Int. J. Fuzzy Syst., 2017

2016
Session-Based Compositional Analysis for Actor-Based Languages Using Futures.
Proceedings of the Formal Methods and Software Engineering, 2016

A Type Theory for Robust Failure Handling in Distributed Systems.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

2015
Lightening global types.
J. Log. Algebraic Methods Program., 2015

Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi.
Proceedings of the Coordination Models and Languages, 2015

2014
Typing Classes and Mixins with Intersection Types.
Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

On the Preciseness of Subtyping in Session Types.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Structuring Communication with Session Types.
Proceedings of the Concurrent Objects and Beyond, 2014

2012
Specifying Stateful Asynchronous Properties for Distributed Programs.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011
Asynchronous Distributed Monitoring for Multiparty Session Enforcement.
Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

Scribbling Interactions with a Formal Foundation.
Proceedings of the Distributed Computing and Internet Technology, 2011

2010
Linear-Time Combinatorial Option Pricing Algorithms on the Trinomial Lattice Model.
Proceedings of the 2010 International Conference on Scientific Computing, 2010


  Loading...