Bézier curve based path planning for autonomous vehicle in urban environment. - Long Han; Hironari Yashiro; Hossein Tehrani Niknejad; Quoc Huy Do 001; Seiichi Mita (Intelligent Vehicles Symposium, 2010)

Unified path planner for parking an autonomous vehicle based on RRT. - Long Han; Quoc Huy Do 001; Seiichi Mita (ICRA, 2011)

Optimal motion generation for autonomous vehicle in maze-like environment. - Long Han; Quoc Huy Do 001; Chunzhao Guo; Seiichi Mita (ITSC, 2011)

Safe path planning among multi obstacles. - Quoc Huy Do 001; Long Han; Hossein Tehrani Niknejad; Seiichi Mita (Intelligent Vehicles Symposium, 2011)

Real time localization, path planning and motion control for autonomous parking in cluttered environment with narrow passages. - Hossein Tehrani Nik Nejad; Quoc Huy Do 001; Ryohei Sakai; Long Han; Seiichi Mita (ITSC, 2012)

Vehicle path planning with maximizing safe margin for driving using Lagrange multipliers. - Quoc Huy Do 001; Hossein Tehrani Niknejad; Keisuke Yoneda; Ryohei Sakai; Seiichi Mita (Intelligent Vehicles Symposium, 2013)

Dynamic and Safe Path Planning Based on Support Vector Machine among Multi Moving Obstacles for Autonomous Vehicles. - Quoc Huy Do 001; Seiichi Mita; Hossein Tehrani Niknejad; Long Han (IEICE Trans. Inf. Syst., 2013)

A Practical and Optimal Path Planning for Autonomous Parking Using Fast Marching Algorithm and Support Vector Machine. - Quoc Huy Do 001; Seiichi Mita; Keisuke Yoneda (IEICE Trans. Inf. Syst., 2013)

Narrow passage path planning using fast marching method and support vector machine. - Quoc Huy Do 001; Seiichi Mita; Keisuke Yoneda (Intelligent Vehicles Symposium, 2014)

General behavior and motion model for automated lane change. - Hossein Tehrani Niknejad; Quoc Huy Do 001; Masumi Egawa; Kenji Muto; Keisuke Yoneda; Seiichi Mita (Intelligent Vehicles Symposium, 2015)

Human Drivers Based Active-Passive Model for Automated Lane Change. - Quoc Huy Do 001; Hossein Tehrani Niknejad; Seiichi Mita; Masumi Egawa; Kenji Muto; Keisuke Yoneda (IEEE Intell. Transp. Syst. Mag., 2017)

A Tutorial-Style Introduction to DY*. - Karthikeyan Bhargavan; Abhishek Bichhawat; Quoc Huy Do 001; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Tim Würtele (Protocols, Strands, and Logic, 2021)

DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code. - Karthikeyan Bhargavan; Abhishek Bichhawat; Quoc Huy Do 001; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Tim Würtele (EuroS&P, 2021)

An In-Depth Symbolic Security Analysis of the ACME Standard. - Karthikeyan Bhargavan; Abhishek Bichhawat; Quoc Huy Do 001; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Tim Würtele (IACR Cryptol. ePrint Arch., 2021)

A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. - Quoc Huy Do 001; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Nils Wenzler; Tim Würtele (IACR Cryptol. ePrint Arch., 2021)