| Unbounded protocol compliance verification using interval property checking with invariants MD Nguyen, M Thalmaier, M Wedler, J Bormann, D Stoffel, W Kunz IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008 | 93 | 2008 |
| All-digital calibration of timing skews for TIADCs using the polyphase decomposition H Le Duc, DM Nguyen, C Jabbour, T Graba, P Desgreys, O Jamin IEEE Transactions on Circuits and Systems II: Express Briefs 63 (1), 99-103, 2015 | 81 | 2015 |
| Fully digital feedforward background calibration of clock skews for sub-sampling TIADCs using the polyphase decomposition H Le Duc, DM Nguyen, C Jabbour, P Desgreys, O Jamin IEEE Transactions on Circuits and Systems I: Regular Papers 64 (6), 1515-1528, 2017 | 71 | 2017 |
| Microwave radar sensing systems for search and rescue purposes N Thi Phuoc Van, L Tang, V Demir, SF Hasan, N Duc Minh, ... Sensors 19 (13), 2879, 2019 | 68 | 2019 |
| Yolo based real-time human detection for smart video surveillance at the edge HH Nguyen, TN Ta, NC Nguyen, HM Pham, DM Nguyen 2020 IEEE eighth international conference on communications and electronics …, 2021 | 43 | 2021 |
| Hardware implementation of all digital calibration for undersampling TIADCs H Le Duc, DM Nguyen, C Jabbour, T Graba, P Desgreys, O Jamin 2015 IEEE International Symposium on Circuits and Systems (ISCAS), 2181-2184, 2015 | 37 | 2015 |
| Formal hardware/software co-verification by interval property checking with abstraction MD Nguyen, M Wedler, D Stoffel, W Kunz Proceedings of the 48th Design Automation Conference, 510-515, 2011 | 37 | 2011 |
| Self-identification respiratory disorder based on continuous wave radar sensor system NTP Van, L Tang, A Singh, ND Minh, SC Mukhopadhyay, SF Hasan IEEE Access 7, 40019-40026, 2019 | 29 | 2019 |
| A new formal verification approach for hardware-dependent embedded system software B Schmidt, C Villarraga, T Fehmel, J Bormann, M Wedler, M Nguyen, ... IPSJ Transactions on System and LSI Design Methodology 6, 135-145, 2013 | 29 | 2013 |
| An effective similarity measure for neighborhood-based collaborative filtering TN Duong, VD Than, TH Tran, QH Dang, DM Nguyen, HM Pham 2018 5th NAFOSTED Conference on Information and Computer Science (NICS), 250-254, 2018 | 22 | 2018 |
| A local feature vector for an adaptive hybrid fingerprint matcher MH Tran, TN Duong, DM Nguyen, QH Dang 2017 International Conference on Information and Communications (ICIC), 249-253, 2017 | 20 | 2017 |
| Utilizing an autoencoder-generated item representation in hybrid recommendation system TN Duong, TA Vuong, DM Nguyen, QH Dang IEEE Access 8, 75094-75104, 2020 | 17 | 2020 |
| Multiplier-less based architecture for variable-length FFT hardware implementation NH Cuong, NT Lam, ND Minh 2012 Fourth International Conference on Communications and Electronics (ICCE …, 2012 | 16 | 2012 |
| A review of SNN implementation on FPGA QT Pham, TQ Nguyen, PC Hoang, QH Dang, DM Nguyen, HH Nguyen 2021 international conference on multimedia analysis and pattern recognition …, 2021 | 15 | 2021 |
| Massive MIMO: a survey of benefits and challenges M Nguyen ICSES Trans. Comput. Hardw. Electr. Eng 4 (4), 1-4, 2018 | 15 | 2018 |
| Behavior of geotextile-reinforced clay in consolidated-undrained tests: reinterpretation of porewater pressure parameters KH Yang, MD Nguyen, WM Yalew, CN Liu, R Gupta Journal of GeoEngineering 11 (2), 45-57, 2016 | 14 | 2016 |
| Analyzing k-step induction to compute invariants for SAT-based property checking M Thalmaier, MD Nguyen, M Wedler, D Stoffel, J Bormann, W Kunz Proceedings of the 47th Design Automation Conference, 176-181, 2010 | 14 | 2010 |
| Hardware/software formal co-verification using hardware verification techniques MD Nguyen, W Kunz 2012 Fourth International Conference on Communications and Electronics (ICCE …, 2012 | 12 | 2012 |
| Probabilities of false alarm for vital sign detection on the basis of a Doppler radar system NT Phuoc Van, L Tang, SC Mukhopadhyay, DM Nguyen, F Hasan Sensors 18 (3), 694, 2018 | 9 | 2018 |
| Extra wide band 3D patch antennae system design for remote vital sign Doppler radar sensor detection NTP Van, L Tang, ND Minh, F Hasan, S Mukhopadhyay 2017 eleventh international conference on sensing technology (ICST), 1-5, 2017 | 9 | 2017 |
Nguyen Thi Phuoc VanThanh Do University, Vietnam在 thanhdouni.edu.vn 的电子邮件经过验证
