Thanh-Hung Nguyen

57 papers A* 1A 1B 11C 7Misc 1Journal 22Unranked 13

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Evaluating MPQUIC schedulers in dynamic wireless networks with 2D and 3D mobility. Comput. Networks Minh Hai Vu, Thanh Trung Nguyen, Thi Ha Ly Dinh, Thanh-Hung Nguyen, Phi Le Nguyen, Kien Nguyen, Hiroo Sekiya
2023	J	`jnl`	A Controller for Delta Parallel Robot Based on Hedge Algebras Method. J. Robotics Thanh-Lam Bui, Thanh-Hung Nguyen, Xuan-Thuan Nguyen
2023	—	`conf`	A Fast Skeleton-Based Recognition of Traffic Police Gestures with Spatial-Temporal Graph Convolutional Network. RIVF Thanh-Hung Nguyen, Hong-Quan Do, Tuyen Danh Pham, Tung Trung Doan, Viet-Vu Vu
2023	B	`conf`	CADIS: Handling Cluster-skewed Non-IID Data in Federated Learning with Clustered Aggregation and Knowledge DIStilled Regularization. CCGrid Nang Hung Nguyen, Duc Long Nguyen, Trong Bang Nguyen, Thanh-Hung Nguyen, Huy Hieu Pham, Truong Thao Nguyen, Phi Le Nguyen
2023	J	`jnl`	CADIS: Handling Cluster-skewed Non-IID Data in Federated Learning with Clustered Aggregation and Knowledge DIStilled Regularization. CoRR Nang Hung Nguyen, Duc Long Nguyen, Trong Bang Nguyen, Thanh-Hung Nguyen, Huy Hieu Pham, Truong Thao Nguyen, Phi Le Nguyen
2023	B	`conf`	FedGrad: Mitigating Backdoor Attacks in Federated Learning Through Local Ultimate Gradients Inspection. IJCNN Thuy Dung Nguyen, Anh Duy Nguyen, Thanh-Hung Nguyen, Kok-Seng Wong, Huy Hieu Pham, Truong Thao Nguyen, Phi Le Nguyen
2022	—	`conf`	A Novel Approach for Pill-Prescription Matching with GNN Assistance and Contrastive Learning. PRICAI (1) Trung Thanh Nguyen, Hoang Dang Nguyen, Thanh-Hung Nguyen, Huy Hieu Pham, Ichiro Ide, Phi Le Nguyen
2022	J	`jnl`	A Novel Approach for Pill-Prescription Matching with GNN Assistance and Contrastive Learning. CoRR Trung Thanh Nguyen, Hoang Dang Nguyen, Thanh-Hung Nguyen, Huy Hieu Pham, Ichiro Ide, Phi Le Nguyen
2022	B	`conf`	Deep Reinforcement Learning-based Offloading for Latency Minimization in 3-tier V2X Networks. WCNC Hieu Dinh, Nang Hung Nguyen, Trung Thanh Nguyen, Thanh-Hung Nguyen, Truong Thao Nguyen, Phi Le Nguyen
2022	J	`jnl`	Fuzzy Q-Learning-Based Opportunistic Communication for MEC-Enhanced Vehicular Crowdsensing. IEEE Trans. Netw. Serv. Manag. Trung Thanh Nguyen, Truong Thao Nguyen, Thanh-Hung Nguyen, Phi Le Nguyen
2022	J	`jnl`	Image-based Contextual Pill Recognition with Medical Knowledge Graph Assistance. CoRR Anh Duy Nguyen, Thuy Dung Nguyen, Huy Hieu Pham, Thanh-Hung Nguyen, Phi Le Nguyen
2022	J	`jnl`	Joint Optimization of Charging Location and Time for Network Lifetime Extension in WRSNs. IEEE Trans. Green Commun. Netw. Thuy Dung Nguyen, Tuyen Nguyen, Thanh-Hung Nguyen, Kien Nguyen, Phi Le Nguyen
2022	—	`conf`	Multi-stream Fusion for Class Incremental Learning in Pill Image Classification. ACCV (2) Trong-Tung Nguyen, Hieu H. Pham, Phi Le Nguyen, Thanh-Hung Nguyen, Minh Do
2022	J	`jnl`	Multi-stream Fusion for Class Incremental Learning in Pill Image Classification. CoRR Trong-Tung Nguyen, Hieu H. Pham, Phi Le Nguyen, Thanh-Hung Nguyen, Minh Do
2022	J	`jnl`	SAFL: A Self-Attention Scene Text Recognizer with Focal Loss. CoRR Bao Hieu Tran, Thanh Le-Cong, Huu Manh Nguyen, Duc Anh Le, Thanh-Hung Nguyen, Phi Le Nguyen
2022	B	`conf`	Spatial-temporal Coverage Maximization in Vehicle-based Mobile Crowdsensing for Air Quality Monitoring. WCNC Tuan Anh Nguyen Dinh, Anh Duy Nguyen, Truong Thao Nguyen, Thanh-Hung Nguyen, Phi Le Nguyen
2021	J	`jnl`	An On-Demand Charging for Connected Target Coverage in WRSNs Using Fuzzy Logic and Q-Learning. Sensors Phi Le Nguyen, La Van Quan, Anh Duy Nguyen, Thanh-Hung Nguyen, Kien Nguyen
2021	—	`conf`	Efficient Prediction of Discharge and Water Levels Using Ensemble Learning and Singular-Spectrum Analysis-Based Denoising. IEA/AIE (2) Anh Duy Nguyen, Viet Hung Vu, Minh Hieu Nguyen, Duc Viet Hoang, Thanh-Hung Nguyen, Kien Nguyen, Phi Le Nguyen
2021	—	`conf`	MC-OCR Challenge 2021: A Multi-modal Approach for Mobile-Captured Vietnamese Receipts Recognition. RIVF Bao Hieu Tran, Duc Viet Hoang, Nguyen Manh Hiep, Pham Ngoc Bao Anh, Hoang Gia Bao, Nguyen Duc Anh, Bui Hai Phong, Thanh-Hung Nguyen, Phi Le Nguyen, Thi-Lan Le
2021	C	`conf`	Multi-Agent Multi-Armed Bandit Learning for Offloading Delay Minimization in V2X Networks. EUC Nang Hung Nguyen, Phi Le Nguyen, Hieu Dinh, Thanh-Hung Nguyen, Kien Nguyen
2021	J	`jnl`	PM2.5 Prediction Using Genetic Algorithm-Based Feature Selection and Encoder-Decoder Model. IEEE Access Minh Hieu Nguyen, Phi-Le Nguyen, Kien Nguyen, Van An Le, Thanh-Hung Nguyen, Yusheng Ji
2021	C	`conf`	Q-learning-based Opportunistic Communication for Real-time Mobile Air Quality Monitoring Systems. IPCCC Trung Thanh Nguyen, Truong Thao Nguyen, Tuan Anh Nguyen Dinh, Thanh-Hung Nguyen, Phi Le Nguyen
2021	J	`jnl`	QIH: An Efficient Q-Learning Inspired Hole-Bypassing Routing Protocol for WSNs. IEEE Access Phi Le Nguyen, Nang Hung Nguyen, Tuan Anh Nguyen Dinh, Khanh Le, Thanh-Hung Nguyen, Kien Nguyen
2021	C	`conf`	Realizing Mobile Air Quality Monitoring System: Architectural Concept and Device Prototype. APCC Viet An Nguyen, Viet Hung Vu, Van-Sang Doan, Thanh-Hung Nguyen, Phan-Thuan Do, Kien Nguyen, Phi Le Nguyen, Minh Thuy Le
2020	—	`conf`	A Method for Improvement the Parameter Estimation of Non-linear Regression in Growth Model to Predict Project Cost at Completion. RIVF Quyet-Thang Huynh, The-Anh Le, Thanh-Hung Nguyen, Nhat-Hai Nguyen, Duc-Hieu Nguyen
2020	J	`jnl`	A Path-Length Efficient, Low-Overhead, Load-Balanced Routing Protocol for Maximum Network Lifetime in Wireless Sensor Networks with Holes. Sensors Phi-Le Nguyen, Thanh-Hung Nguyen, Kien Nguyen
2020	J	`jnl`	Automated Test Input Generation via Model Inference Based on User Story and Acceptance Criteria for Mobile Application Development. Int. J. Softw. Eng. Knowl. Eng. Duc-Man Nguyen, Quyet-Thang Huynh, Nhu-Hang Ha, Thanh-Hung Nguyen
2020	—	`conf`	Extending Network Lifetime by Exploiting Wireless Charging in WSN. RIVF La Van Quan, Thanh-Hung Nguyen, Phi Le Nguyen
2020	J	`jnl`	Monitoring agriculture areas with satellite images and deep learning. Appl. Soft Comput. Thanh Tam Nguyen, Thanh Dat Hoang, Minh Tam Pham, Vu Tuyet Trinh, Thanh-Hung Nguyen, Quyet-Thang Huynh, Jun Jo
2020	B	`conf`	Q-learning-based, Optimized On-demand Charging Algorithm in WRSN. NCA La Van Quan, Phi Le Nguyen, Thanh-Hung Nguyen, Kien Nguyen
2020	C	`conf`	SAFL: A Self-Attention Scene Text Recognizer with Focal Loss. ICMLA Bao Hieu Tran, Thanh Le-Cong, Huu Manh Nguyen, Duc Anh Le, Thanh-Hung Nguyen, Phi Le Nguyen
2019	—	`conf`	A Dynamic Routing Protocol for Maximizing Network Lifetime in WSNs with Holes. SoICT Phi-Le Nguyen, Thanh-Hung Nguyen, Kien Nguyen
2019	J	`jnl`	A Novel Surface Descriptor for Automated 3-D Object Recognition and Localization. Sensors Liang-Chia Chen, Thanh-Hung Nguyen
2019	B	`conf`	Exploiting Q-Learning in Extending the Network Lifetime of Wireless Sensor Networks with Holes. ICPADS Khanh Le, Thanh-Hung Nguyen, Kien Nguyen, Phi-Le Nguyen
2019	C	`conf`	Network Lifetime Maximization for Full Area Coverage in Wireless Sensor Networks. APCC Thanh Trung Nguyen, Thanh-Hung Nguyen, Phi-Le Nguyen
2018	—	`conf`	Load balanced and constant stretch routing in the vicinity of holes in WSNs. CCNC Phi-Le Nguyen, Yusheng Ji, Khanh Le, Thanh-Hung Nguyen
2018	—	`conf`	Routing in the Vicinity of Multiple Holes in WSNs. ICT-DM Phi-Le Nguyen, Yusheng Ji, Khanh Le, Thanh-Hung Nguyen
2017	B	`conf`	A Delay-Guaranteed Geographic Routing Protocol with Hole Avoidance in WSNs. MASS Phi-Le Nguyen, Yusheng Ji, Thanh Trung Nguyen, Thanh-Hung Nguyen
2017	B	`conf`	Constant stretch and load balanced routing protocol for bypassing multiple holes in wireless sensor networks. NCA Phi-Le Nguyen, Yusheng Ji, Thanh Trung Nguyen, Thanh-Hung Nguyen
2017	C	`conf`	Safe Incremental Design of UML Architectures. SEKE Anne-Lise Courbis, Thomas Lambolais, Thanh-Hung Nguyen
2016	J	`jnl`	Component-based verification using incremental design and invariants. Softw. Syst. Model. Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2016	—	`conf`	Improve the Performance of Mobile Applications Based on Code Optimization Techniques Using PMD and Android Lint. IUKM Duc-Man Nguyen, Thang Q. Huynh, Thanh-Hung Nguyen
2015	J	`jnl`	Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Softw. Syst. Model. Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
2014	—	`—`	Combinations of Boolean Gröbner Bases and SAT Solvers. Thanh-Hung Nguyen
2011	—	`conf`	D-Finder 2: Towards Efficient Correctness of Incremental Design. NASA Formal Methods Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2011	C	`conf`	Efficient deadlock detection for concurrent systems. MEMOCODE Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled
2011	J	`jnl`	On the Simulation of Time-Triggered Systems on a Chip with BIP CoRR Jan Olaf Blech, Benoît Boyer, Thanh-Hung Nguyen
2011	J	`jnl`	Rigorous Component-Based System Design Using the BIP Framework. IEEE Softw. Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis
2011	B	`conf`	Runtime Verification of Component-Based Systems. SEFM Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
2010	J	`jnl`	Compositional verification for component-based systems and application. IET Softw. Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis
2010	Misc	`conf`	Incremental Invariant Generation for Compositional Design. TASE Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2010	B	`conf`	Incremental component-based construction and verification using invariants. FMCAD Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2010	—	`conf`	Invariants and Robustness of BIP Models. WING@ETAPS/IJCAR Jan Olaf Blech, Thanh-Hung Nguyen, Michaël Périn
2009	A*	`conf`	D-Finder: A Tool for Compositional Deadlock Detection and Verification. CAV Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis
2009	J	`jnl`	Designing autonomous robots. IEEE Robotics Autom. Mag. Saddek Bensalem, Matthieu Gallien, Félix Ingrand, Imen Kahloul, Thanh-Hung Nguyen
2008	B	`conf`	Compositional Verification for Component-Based Systems and Application. ATVA Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen
2008	A	`conf`	Incremental Component-Based Construction and Verification of a Robotic System. ECAI Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis