Minh D. Nguyen

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 6

Top Topics

Categorical Data

Digital Signal Processing

Density Based Clustering Algorithm

Top Venues

Int. J. Inf. Technol. Proj. Manag.

IPSJ Trans. Syst. LSI Des. Methodol.

Publications

Phuong T. K. Dinh, Linh T. T. Dinh, Tung T. Tran, Pham Son Lam, Han Le Duc, Hoang Phuong Chi, Minh D. Nguyen
A Novel Fixed-Point Conversion Methodology For Digital Signal Processing Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (12) (2022)
Minh D. Nguyen
A New Decision-Making Model for Manufacturing Line Designs in Vietnamese Manufacturing Plants. Int. J. Inf. Technol. Proj. Manag. 11 (3) (2020)
Minh D. Nguyen, Oscar M. Baez-Villanueva, Duong Du Bui, Phong T. Nguyen, Lars Ribbe
Harmonization of Landsat and Sentinel 2 for Crop Monitoring in Drought Prone Areas: Case Studies of Ninh Thuan (Vietnam) and Bekaa (Lebanon). Remote. Sens. 12 (2) (2020)
Minh D. Nguyen, Won-Yong Shin
An Improved Density-Based Approach to Spatio-Textual Clustering on Social Media. IEEE Access 7 (2019)
Minh D. Nguyen, Won-Yong Shin
Improved Density-Based Spatio-Textual Clustering on Social Media. CoRR (2018)
Minh D. Nguyen, Won-Yong Shin
DBSTexC: Density-Based Spatio-Textual Clustering on Twitter. ASONAM (2017)
Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Jörg Bormann, Markus Wedler, Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz
A New Formal Verification Approach for Hardware-dependent Embedded System Software. IPSJ Trans. Syst. LSI Des. Methodol. 6 (2013)
Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
Formal hardware/software co-verification by interval property checking with abstraction. DAC (2011)
Minh D. Nguyen, Markus Wedler, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz
Formal Hardware/Software Co-Verification by Interval Property Checking with Abstraction. MBMV (2011)
Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Jörg Bormann, Wolfgang Kunz
-step induction to compute invariants for SAT-based property checking. DAC (2010)
Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
Analyzing k-step induction to compute invariants for SAT-based property checking. MBMV (2010)
Tan D. Tran, Minh D. Nguyen, Long T. Nguyen, Tue Huu Huynh, Thuy P. Nguyen
Novel synthesis design of a 3-DOF silicon piezoresistive micro accelerometer. NEMS (2009)
Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann
A re-use methodology for formal SoC protocol compliance verification. FDL (2009)
Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
A Re-Use Methodology for SoC Protocol Compliance Verification. MBMV (2009)
Minh D. Nguyen, Max Thalmaier, Markus Wedler, Jörg Bormann, Dominik Stoffel, Wolfgang Kunz
Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (11) (2008)
Martin Braun, Minh D. Nguyen, Hans Eveking, Martin Schickel, Wolfgang Kunz
Methoden zur Verifikation von Kommunikationsstrukturen. MBMV (2007)
Minh D. Nguyen, Dominik Stoffel, Markus Wedler, Wolfgang Kunz
Transition-by-transition FSM traversal for reachability analysis in bounded model checking. ICCAD (2005)
Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz
Enhancing BMC-based Protocol Verification Using Transition-By-Transition FSM Traversal. GI Jahrestagung (1) (2005)