Using Strongest Postconditions to Improve Software Quality. - Si Pan; R. Geoff Dromey (Software Quality and Productivity, 1994)

Beyond Structured Programming. - Si Pan; R. Geoff Dromey (ICSE, 1996)

Re-engineering Loops. - Si Pan; R. Geoff Dromey (Comput. J., 1996)

A Formal Basis for Removing Goto Statements. - Si Pan; R. Geoff Dromey (Comput. J., 1996)

Observation-augmented EKF Based Local 3-D Localization Method for Moving Target. - Si Pan; Feng Gu 004; Chunlei Di; Liying Yang 002; Yuqing He (ICARM, 2020)