Tzu-Chun Chen
Orcid: 0000-0002-8872-5318Affiliations:
- 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 23 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
1
2
3
1
1
3
2
1
4
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on di.unito.it
On csauthors.net:
Bibliography
2024
Signal Process. Image Commun., 2024
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024
2023
Spatially Small-scale Approach-avoidance Behaviors Allow Learning-free Machine Inference of Object Preferences in Human Minds.
Int. J. Soc. Robotics, June, 2023
2022
Proceedings of the International Conference on Technologies and Applications of Artificial Intelligence, 2022
2018
Log. Methods Comput. Sci., 2018
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018
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
Int. J. Fuzzy Syst., 2017
2016
Proceedings of the Formal Methods and Software Engineering, 2016
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016
2015
Proceedings of the Coordination Models and Languages, 2015
2014
Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014
Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014
Proceedings of the Concurrent Objects and Beyond, 2014
2012
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012
2011
Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011
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