| 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 | 94 | 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 | 77 | 2015 |
| 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 | 64 | 2019 |
| 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 | 64 | 2017 |
| 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 |
| 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 | 36 | 2015 |
| 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 | 30 | 2021 |
| 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 |
| 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 | 27 | 2019 |
| 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 | 21 | 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 | 19 | 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 |
| 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 | 15 | 2010 |
| 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 |
| 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 | 13 | 2021 |
| 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 |
| All-digital background calibration of gain and timing mismatches in time-interleaved ADCs using adaptive noise canceller DH Le, TKP Dinh, VP Hoang, DM Nguyen AEU-International Journal of Electronics and Communications 114, 152999, 2020 | 8 | 2020 |
Nguyen Thi Phuoc VanThanh Do University, VietnamVerified email at thanhdouni.edu.vn
