Thien Udomsrirungruang

Orcid: 0009-0005-2320-9178

According to our database1, Thien Udomsrirungruang authored at least 2 papers between 2024 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

2024
2025
0
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types.
Proc. ACM Program. Lang., 2025

2024
Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses.
Proceedings of the Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2024


  Loading...