Tri Minh Ngo

12 papers Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Anastasia at MEDIQA-MAGIC 2025: A Multi-Approach Segmentation Framework with Extensive Augmentation.
CLEF (Working Notes)
Tung Thanh Le, Tri Minh Ngo, Khoi Dinh Nguyen, Trung Hieu Dang, Trong Hoang Pham, Thien B. Nguyen-Tat
2022 J jnl
Adapting a Dehazing System to Haze Conditions by Piece-Wisely Linearizing a Depth Estimator.
Sensors
Dat Ngo, Seungmin Lee, Ui-Jean Kang, Tri Minh Ngo, Gidong Lee, Bongsoon Kang
2021 J jnl
Visibility Restoration: A Systematic Review and Meta-Analysis.
Sensors
Dat Ngo, Seungmin Lee, Tri Minh Ngo, Gidong Lee, Bongsoon Kang
2020 J jnl
Single Image Haze Removal from Image Enhancement Perspective for Real-Time Vision-Based Systems.
Sensors
Dat Ngo, Seungmin Lee, Quoc-Hieu Nguyen, Tri Minh Ngo, Gidong Lee, Bongsoon Kang
2018 — conf
A Tool to Compute the Leakage of Multi-threaded Programs.
ACIIDS (Extended Posters)
Tri Minh Ngo, Quang Tuan Duong
2016 — conf
A Monitoring System in Real Time based on Android Platform.
IMCOM
Trung Xuan Pham, Chien Van Dang, Tri Minh Ngo, Ki-Je Sung, Tran Trung Tin, Jong-Wook Kim
2014 J jnl
Effective verification of confidentiality for multi-threaded programs.
J. Comput. Secur.
Tri Minh Ngo, Mariëlle Stoelinga, Marieke Huisman
2014 — —
Qualitative and quantitative information flow analysis for multi-thread programs.
Tri Minh Ngo
2014 — conf
Quantitative Security Analysis for Programs with Low Input and Noisy Output.
ESSoS
Tri Minh Ngo, Marieke Huisman
2013 — conf
Confidentiality for Probabilistic Multi-threaded Programs and Its Verification.
ESSoS
Tri Minh Ngo, Mariëlle Stoelinga, Marieke Huisman
2013 — conf
Quantitative Security Analysis for Multi-threaded Programs.
QAPL
Tri Minh Ngo, Marieke Huisman
2011 — conf
Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification.
FoVeOOS
Marieke Huisman, Tri Minh Ngo