Enhancing BMC-based Protocol Verification Using Transition-By-Transition FSM Traversal. - Minh D. Nguyen; Dominik Stoffel; Wolfgang Kunz (GI Jahrestagung (1), 2005)

Transition-by-transition FSM traversal for reachability analysis in bounded model checking. - Minh D. Nguyen; Dominik Stoffel; Markus Wedler; Wolfgang Kunz (ICCAD, 2005)

Methoden zur Verifikation von Kommunikationsstrukturen. - Martin Braun 001; Minh D. Nguyen; Hans Eveking; Martin Schickel; Wolfgang Kunz (MBMV, 2007)

Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants. - Minh D. Nguyen; Max Thalmaier; Markus Wedler; Jörg Bormann; Dominik Stoffel; Wolfgang Kunz (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

A re-use methodology for formal SoC protocol compliance verification. - Minh D. Nguyen; Max Thalmaier; Markus Wedler; Dominik Stoffel; Wolfgang Kunz; Jörg Bormann (FDL, 2009)

A Re-Use Methodology for SoC Protocol Compliance Verification. - Minh D. Nguyen; Max Thalmaier; Markus Wedler; Dominik Stoffel; Wolfgang Kunz (MBMV, 2009)

Novel synthesis design of a 3-DOF silicon piezoresistive micro accelerometer. - Tan D. Tran; Minh D. Nguyen; Long T. Nguyen; Tue Huu Huynh; Thuy P. Nguyen (NEMS, 2009)

Analyzing k-step induction to compute invariants for SAT-based property checking. - Max Thalmaier; Minh D. Nguyen; Markus Wedler; Dominik Stoffel; Jörg Bormann; Wolfgang Kunz (DAC, 2010)

Analyzing k-step induction to compute invariants for SAT-based property checking. - Max Thalmaier; Minh D. Nguyen; Markus Wedler; Dominik Stoffel; Wolfgang Kunz (MBMV, 2010)

Formal hardware/software co-verification by interval property checking with abstraction. - Minh D. Nguyen; Markus Wedler; Dominik Stoffel; Wolfgang Kunz (DAC, 2011)

Formal Hardware/Software Co-Verification by Interval Property Checking with Abstraction. - Minh D. Nguyen; Markus Wedler; Bernard Schmidt; Dominik Stoffel; Wolfgang Kunz (MBMV, 2011)

A New Formal Verification Approach for Hardware-dependent Embedded System Software. - Bernard Schmidt; Carlos Villarraga; Thomas Fehmel; Jörg Bormann; Markus Wedler; Minh D. Nguyen; Dominik Stoffel; Wolfgang Kunz (IPSJ Trans. Syst. LSI Des. Methodol., 2013)

DBSTexC: Density-Based Spatio-Textual Clustering on Twitter. - Minh D. Nguyen; Won-Yong Shin (ASONAM, 2017)

Improved Density-Based Spatio-Textual Clustering on Social Media. - Minh D. Nguyen; Won-Yong Shin (CoRR, 2018)

An Improved Density-Based Approach to Spatio-Textual Clustering on Social Media. - Minh D. Nguyen; Won-Yong Shin (IEEE Access, 2019)

A New Decision-Making Model for Manufacturing Line Designs in Vietnamese Manufacturing Plants. - Minh D. Nguyen (Int. J. Inf. Technol. Proj. Manag., 2020)

Harmonization of Landsat and Sentinel 2 for Crop Monitoring in Drought Prone Areas: Case Studies of Ninh Thuan (Vietnam) and Bekaa (Lebanon). - Minh D. Nguyen; Oscar M. Baez-Villanueva; Duong Du Bui; Phong T. Nguyen; Lars Ribbe (Remote. Sens., 2020)

A Novel Fixed-Point Conversion Methodology For Digital Signal Processing Systems. - Phuong T. K. Dinh; Linh T. T. Dinh; Tung T. Tran; Pham Son Lam; Han Le Duc; Hoang Phuong Chi; Minh D. Nguyen (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022)