by Pham, Tuan-Hung, Gacek, Andrew, Whalen, Michael W.
Published in Journal of automated reasoning (01.12.2016)

by Nguyen, Viet-Phuong, Pham, Tuan-Hung, Ung, Thi-Thuy-Ha, Hoang, Tung, Tong, Ngoc-Tu
Published in IOP conference series. Materials Science and Engineering (01.06.2020)

by Tran, Minh-Duc, Pham, Le-Tuan-Hung, Dang, Nguyen-Quang-Dong, Tran, Doan-Tuan-Minh, Nguyen, Minh-Khoi, Bui, Le-Anh, Nguyen, Quoc-Khanh, Vo, Minh-Tai
Published in Robotică şi management (Reșița) (01.06.2023)

by Pham, Tuan-Hung, Whalen, Michael W.
Published in Verified Software: Theorie, Tools, Experiments (2014)

by Pham, Tuan-Hung, Truong, Anh-Hoang, Chin, Wei-Ngan, Aoshima, Takenobu
Published in Electronic notes in theoretical computer science (12.10.2010)

by Nguyen, Truong Xuan, Nguyen, Hung Tuan Pham, Van Nguyen, Vuong
Published in Journal of alloys and compounds (15.11.2024)

by Hardin, David, Slind, Konrad, Whalen, Michael, Pham, Tuan-Hung
Published in Tools and Algorithms for the Construction and Analysis of Systems (2012)

by Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)

by Pham, Tuan-Hung, Trinh, Minh-Thai, Truong, Anh-Hoang, Chin, Wei-Ngan
Published in Computer Aided Verification (2011)

by Kimia, Rotem, Thom, Dang Hoang, Dinh, Phuong Tran, Hung, Pham Tuan, Van Son, Nguyen, Nguyen, Phuong D
Published in Annals of plastic surgery (01.09.2021)

by Tran, Lan Thu, Do, Anh Tien, Pham, Tuan Hung, Nguyen, Kim Thanh, Duong, Hung Cong
Published in Water science and technology (15.11.2020)

by Ung, Ha Thi Thuy, Leu, Bach Tho, Tran, Hoa Thi Hien, Nguyen, Luong Ngoc, Nghiem, Long Duc, Hoang, Ngoc Bich, Pham, Hung Tuan, Duong, Hung Cong
Published in Environmental technology & innovation (01.08.2022)

by Tuan-Hung Pham, Ninh-Thuan Truong, Viet-Ha Nguyen
Published in 2009 International Conference on Knowledge and Systems Engineering (01.10.2009)

by Tang, Shuting, Fan, Xing, Guo, Chenlei, Pham, Hung Tuan, Liu, Xiaohu
Year of Publication 03.01.2023

by Chintalapati, Sriharsha Venkata, Guo, Chenlei, Yao, Zhenyu, Pham, Hung Tuan, Rajbhandari, Bigyan, Du, Zheng, Sarikaya, Ruhi, Pemberton, Joe, Liu, Xiaohu, Liu, Kai
Year of Publication 12.03.2024

by Rastogi, Pushpendre, Gupta, Arpit, Singh, Arshdeep, Pham, Hung Tuan, Kumar, Mayank, Nave, John Arland, Kortha, Nikhil Reddy, Curtis, Dean, Prasad, Rohit, Sethy, Abhinav, Sarikaya, Ruhi, Parastatidis, Savas, Jain, Nitin Ashok, Dahiwade, Nakul
Year of Publication 17.10.2024

by Pham, Tuan-Hung, Gacek, Andrew, Whalen, Michael W
Year of Publication 29.03.2016

by Rastogi, Pushpendre, Gupta, Arpit, Singh, Arshdeep, Pham, Hung Tuan, Kumar, Mayank, Nave, John Arland, Kortha, Nikhil Reddy, Curtis, Dean, Prasad, Rohit, Sethy, Abhinav, Sarikaya, Ruhi, Parastatidis, Savas, Jain, Nitin Ashok, Dahiwade, Nakul
Year of Publication 21.05.2024

by Rastogi, Pushpendre, Gupta, Arpit, Singh, Arshdeep, Pham, Hung Tuan, Kumar, Mayank, Nave, John Arland, Kortha, Nikhil Reddy, Curtis, Dean, Prasad, Rohit, Sethy, Abhinav, Sarikaya, Ruhi, Parastatidis, Savas, Jain, Nitin Ashok, Dahiwade, Nakul
Year of Publication 06.07.2023

by Rastogi, Pushpendre, Gupta, Arpit, Singh, Arshdeep, Pham, Hung Tuan, Kumar, Mayank, Nave, John Arland, Kortha, Nikhil Reddy, Curtis, Dean, Prasad, Rohit, Sethy, Abhinav, Sarikaya, Ruhi, Parastatidis, Savas, Jain, Nitin Ashok, Dahiwade, Nakul
Year of Publication 13.12.2022