Ngoc-Khai Nguyen
According to our database1,
Ngoc-Khai Nguyen
authored at least 3 papers
between 2016 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Int. J. Softw. Eng. Knowl. Eng., 2022
2017
A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs.
Proceedings of the Eighth International Symposium on Information and Communication Technology, 2017
2016
Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016