Accurate performance prediction of multi-GHz CML with data run-length variations. - Sripriya R. Bandi; Clyde Washburn; P. R. Mukund; Jan Kolnik; Minxuan Liu; Ken Paradis; Steve Howard; Jeff Burleson (ISCAS (5), 2005)

Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol. - Minxuan Liu; Dang Duy Bui; Duong Dinh Tran; Kazuhiro Ogata 001 (QRS Companion, 2021)

Graphical Animations of an Autonomous Vehicle Merging Protocol. - Minxuan Liu; Kazuhiro Ogata 001; Dang Duy Bui (DMSVIVA, 2022)

Graphical Animations of an Autonomous Vehicle Merging Protocol. - Dang Duy Bui; Minxuan Liu; Duong Ding Tran; Kazuhiro Ogata 001 (J. Vis. Lang. Comput., 2023)