Concepedia

Minh Duc Nguyen

MD

Statistics

Publications

6

Citations

135

H-Index

6

Active since

1990

Affiliations

University of Kaiserslautern(Current)

Minh Duc Nguyen is an author at University of Kaiserslautern specializing in computing, computer science, and computer systems.

Publications per year

1990–2023

6

Publications

6

Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants

Minh Duc Nguyen, Max Thalmaier, Markus Wedler et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2008 · 65 citations

Computing, Computer Engineering, Computer Science +17

Formal hardware/software co-verification by interval property checking with abstraction

Minh Duc Nguyen, Markus Wedler, Dominik Stoffel et al. · 2011 · 27 citations

Computing, Computer Engineering, Computer Science +14

Training and evaluation of a spoken language understanding system

Deborah A. Dahl, Lynette Hirschman, Lewis M. Norton et al. · 1990 · 11 citations

Computing, Computer Science, Computational Linguistics +14

RFID System On-line Testing Based on the Evaluation of the Tags Read-Error-Rate

Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf et al. · Journal of Electronic Testing · 2010 · 11 citations

Engineering, Computer Systems, Sensors +7

Experimental Study on the Suitability of Aluminium-Based Water Treatment Sludge as a Next Generation Sustainable Soil Replacement for Road Construction

Minh Duc Nguyen, Abolfazl Baghbani, Ali Alnedawi et al. · SSRN Electronic Journal · 2023 · 11 citations · Full text

Engineering, Environmental Engineering, Environmental Sciences +17

1–5 of 6