Tri Minh Ngo

According to our database, Tri Minh Ngo authored at least 11 papers between 2011 and 2022.

Collaborative distances:

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

2022

Adapting a Dehazing System to Haze Conditions by Piece-Wisely Linearizing a Depth Estimator.

Dat Ngo, Seungmin Lee, Ui-Jean Kang, Tri Minh Ngo, Gidong Lee, Bongsoon Kang

Sensors, 2022

2021

Visibility Restoration: A Systematic Review and Meta-Analysis.

Dat Ngo, Seungmin Lee, Tri Minh Ngo, Gidong Lee, Bongsoon Kang

Sensors, 2021

2020

Single Image Haze Removal from Image Enhancement Perspective for Real-Time Vision-Based Systems.

Dat Ngo, Seungmin Lee, Quoc-Hieu Nguyen, Tri Minh Ngo, Gidong Lee, Bongsoon Kang

Sensors, 2020

2018

A Tool to Compute the Leakage of Multi-threaded Programs.

Tri Minh Ngo, Quang Tuan Duong

Proceedings of the Modern Approaches for Intelligent Information and Database Systems,, 2018

2016

A Monitoring System in Real Time based on Android Platform.

Trung Xuan Pham, Chien Van Dang, Tri Minh Ngo, Ki-Je Sung, Tran Trung Tin, Jong-Wook Kim

Proceedings of the 10th International Conference on Ubiquitous Information Management and Communication, 2016

2014

Qualitative and quantitative information flow analysis for multi-thread programs.

Tri Minh Ngo

PhD thesis, 2014

Effective verification of confidentiality for multi-threaded programs.

Tri Minh Ngo, Mariëlle Stoelinga, Marieke Huisman

J. Comput. Secur., 2014

Quantitative Security Analysis for Programs with Low Input and Noisy Output.

Tri Minh Ngo, Marieke Huisman

Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

2013

Quantitative Security Analysis for Multi-threaded Programs.

Tri Minh Ngo, Marieke Huisman

Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013

Confidentiality for Probabilistic Multi-threaded Programs and Its Verification.

Tri Minh Ngo, Mariëlle Stoelinga, Marieke Huisman

Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

2011

Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification.

Marieke Huisman, Tri Minh Ngo

Proceedings of the Formal Verification of Object-Oriented Software, 2011