Publications

Nguyen Huy Hoang, Nghiem Van Quang, Hoang Minh Son,"LEAF-YOLO: Lightweight Edge-Real-Time Small Object Detection on Aerial Imagery", Intelligent Systems with Applications, Volume 25, March 2025 

Nguyen Duc Minh, Hoang Phuong Chi, Dao Xuan Son, Ong Tung Anh, Truong Dai Duong "Implementing Convolutional Auto Encoder on FPGA using High Level Synthesis", 2024 Tenth International Conference on Communications and Electronics (ICCE) 

Nguyen Duc Minh, Hoang Phuong Chi, Nguyen Dinh Huong, Nguyen Phuong Linh, Dang Hoang Lan "A Novel NoC-based SNN Architecture with Optimized Routers", 2024 Tenth International Conference on Communications and Electronics (ICCE) 

Nguyen Duc Minh, Hoang Phuong Chi, "A Novel Fixed-Point Conversion Methodology For Digital Signal Processing Systems", IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, ISSN: 1745-1337 

Nguyen Duc Minh, Hoang Phuong Chi, Nguyen Huy Hoang, Dang Quang Hieu"A review of SNN implementation on FPGA",  2021 International Conference on Multimedia Analysis and Pattern Recognition (MAPR) 

Nguyen Duc Minh, Hoang Phuong Chi, Truong Tuan Vu, "FPGA Implementation of Parallel Neurosynaptic Cores for Neuromorphic Architectures", 2021 19th IEEE International New Circuits and Systems Conference (NEWCAS) 

Nguyen Duc Minh, "YOLO Based Real-Time Human Detection for Smart Video Surveillance at the Edge", 2020 IEEE Eighth International Conference on Communications and Electronics (ICCE) 

Nguyen Duc Minh, "Utilizing an Autoencoder-Generated Item Representation in Hybrid Recommendation System", IEEE Access 2020

Nguyen Duc Minh, Hoang Phuong Chi, "All-digital background calibration of gain and timing mismatches in time-interleaved ADCs using adaptive noise canceller",  AEU-International Journal of Electronics and Communications 2020

Pham Son Lam, Nguyen Dinh Son, Nguyen Thi Phuoc Van, Nguyen Duc Minh, Hoang Phuong Chi, "Novel Algorithm to Classify Sleep Stages", The 13th International Conference on Sensing Technology (ICST 2019), IEEE - 978-1-7281-4808-3

Nguyen Thi Phuoc Van, Liqiong Tang, Amardeep Singh, Nguyen Duc Minh, Subhas Chandra Mukhopadhyay, Syed Faraz Hasan, “Self-Identification Respiratory Disorder Based on Continuous Wave Radar Sensor System”, IEEE Access, Year 2019, Volume 7, PP: 40019-40026

 Nguyen Thi Phuoc Van, Liqiong Tang, Veysel Demir, Syed Faraz Hasan, Nguyen Duc Minh, Subhas Mukhopadhyay, “Microwave Radar Sensing Systems for Search and Rescue Purposes”, MDPI Sensor, Year 2019, Volume 19, Issue 13, PP 2879

H Le-Duc, M.D.Nguyen, C. Jabbour, T. Graba,P. Desgreys, O. Jamin, VT. Nguyen: “Fully Digital Feedforward Background Calibration of Clock Skews for Sub-Sampling TIADCs Using the Polyphase Decomposition”, IEEE Transactions on Circuits and Systems I: Regular Papers, Year 2017, Volume: PP, Issue: 99

Hoang Phuong Chi, T. Ngoc Nguyen, Quyet Nguyen, Toan Bui, Van Nguyen, Nguyen Duc Minh, Pham Nguyen Thanh Loan, “Dynamic error correction technique for wide-band 0.4 – 4 GHz direct receiver”,  2017 2nd Workshop on Recent Trends in Telecommunications Research (RTTR) , 978-1-5090-5542-5, 2017

Hoang Phuong Chi, Nguyen Thu Ngoc, Nguyen Van Quyet, Nguyen Minh Tien, Nguyen Duc Minh, Pham Nguyen Thanh Loan,
“Clock Generator for Wide-band Delta-Sigma ADCs”, Journal of Science and Technology, 0868-3980, vol 120, 2017

H Le-Duc, M.D.Nguyen, C. Jabbour, T. Graba,P. Desgreys, O. Jamin, VT. Nguyen: “All-Digital Calibration of Timing Skews for TIADCs Using The Polyphase Decomposition”, IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS PART II-EXPRESS BRIEFS, Year: 2015, Volume: 63, Issue: 1

 M.D. Nguyen, M. Wedler, D. Stoffel, W. Kunz: "Formal Hardware/Software Co-Verification by Interval Property Checking with Abstraction", 48th Proc. Design Automation Conference, Jun. 05-10 2011, San Diego, USA (best paper nominated).

Nguyen Duc Minh, Nguyen Huy Tinh, "VIP for PCIe compliance verification", Integrated circuits and device in Vietnam (ICDV) Conference, Aug. 2011, Hanoi, Viet Nam.

M. D. Nguyen, M. Thalmaier, M. Wedler, D. Stoffel, W. Kunz: "A Re-Use Metholodology for SoC Protocol Compliance Verification using a Bounded Circuit Model", in Borrione, Dominique (Ed.), Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s, Springer, 2010, ISBN 978-90-481-9303-5. 

M. Thalmaier, M. Nguyen, M. Wedler, D. Stoffel, W. Kunz: "Analyzing k-step induction to compute invariants for SAT-based property checking", 13. GI/ITG/GMM Workshop Modellierung und Verifikation, Dresden, Feb. 2010. 

) M. Thalmaier, M. Nguyen, M. Wedler, D. Stoffel, J. Bormann, W. Kunz: "Analyzing k-step induction to compute invariants for SAT-based property checking", 47th Proc. Design Automation Conference, Jun. 13-18 2010, Anaheim, USA. (best paper nominated).

M. D. Nguyen, M. Thalmaier, M. Wedler, D. Stoffel, W. Kunz: "A Re-Use Metholodology for SoC Protocol Compliance Verification using a Bounded Circuit Model", Forum on Specification and Design Languages, Sep. 22-24 2009, Sophia Antipolis, France.

M. Nguyen, M. Thalmaier, M. Wedler, D. Stoffel, W. Kunz: "Recorder-based SoC Protocol Compliance Verification", 12. GI/ITG/GMM Workshop Modellierung und Verifikation, Berlin, S.57 -66, ISBN 978-3-7983-2118-2, Mar. 2009. 

M. D. Nguyen, M. Thalmaier, M. Wedler, D. Stoffel, W. Kunz: "Unbounded Protocol Compliance Verification using Interval Property Checking with Invariants", IEEE Transactions on Computer-Aided Design of Circuits and Systems, November 2008.

M. Braun, H. Eveking, M. Schickel, M. Nguyen, W. Kunz: "Methoden zur Verifikation von Kommunikationsstrukturen", Tagungsband GI/ITG/GMM-Workshop Methoden und Beschreibungs­sprachen zur Modellierung und Verifikation von Schaltungen und Systemen, März 2007, Erlangen.

M. Thalmaier, M. D. Nguyen, M. Wedler, D. Stoffel, W. Kunz: "Formale Verifikation von SoC Protokollimplementierungen", Tagungsband 1.GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf, Mar. 26-28 2007, Munich, Germany.

Hoang Phuong Chi, "All-angle beam refocusing in non-uniform triangular photonic crystal waveguides," J. Opt. Soc. Am. B 24, 997-1003 (2007)

M. D. Nguyen, D. Stoffel, M. Wedler, W. Kunz: "Transition-by-Transition FSM Traversal for Reachability Analysis in Bounded Model Checking", Proc. International Conference on Computer Aided Design, Nov. 6-10 2005, San Jose, USA.

M. D. Nguyen, D. Stoffel, W. Kunz: "Enhancing BMC-based Protocol Verification Using Transition-By-Transition FSM Traversal", 303-307, NFORMATIK 2005 - Informatik LIVE! Band 1, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Bonn, Sep. 19-22 2005, Bonn, Germany.

Hoang Phuong Chi, "Wide-angle beam refocusing using negative refraction in non-uniform photonic crystal waveguides," Opt. Express 13, 5719-5730 (2005)