Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software. - John Nagle 001; Scott Johnson (POPL, 1983)

On Packet Switches with Infinite Storage. - John B. Nagle (IEEE Trans. Commun., 1987)

Realistic animation of legged running on rough terrain. - John Nagle 001 (CA, 1995)

Congestion control in IP/TCP internetworks. - John Nagle 001 (Comput. Commun. Rev., 1995)