Formal Verification of a Message-Passing Protocol with Model Checking. - Arthur Lin; Fuyau Lin (SEKE, 1995)

Electronic Commerce on the World-Wide Web: Performance and Availability. - David Finkel; Robert E. Kinicki; Mikhail Mikhailov; Aditya Raghavendra; Sharon Cunningham; Yuriy Elkin; Arthur Lin; Mark Quinlivan; Joel Sommers; Bob Wescott (Applied Informatics, 1999)

A Framework for IP Based Virtual Private Networks. - Bryan Gleeson; Arthur Lin; Juha Heinänen; Grenville Armitage; Andrew G. Malis (RFC, 2000)