Protection in the HYDRA Operating System. - Ellis S. Cohen; David Jefferson (SOSP, 1975)

Panel: Directions in Database Research. - George A. Champine; Craig Fields; Koichi Furukawa; David Jefferson; Fritz Krückeberg; Giora Pelled; Charles Purcell; John Rundell; Tadahiko Takahama (VLDB, 1977)

Verification Decidability of Presburger Array Programs. - Norihisa Suzuki; David Jefferson (J. ACM, 1980)

Virtual Time. - David Jefferson (ICPP, 1983)

An Approach to Performance Analysis of Timestamp-driven Synchronization Mechanisms. - David Jefferson; Andrew Witkowski (PODC, 1984)

Reference Model for DBMS Standardization, Database Architecture Framework Task Group (DAFTG) of the ANSI/X3/SPARC Database System Study Group. - Thomas Burns; Elizabeth N. Fong; David Jefferson; Richard Knox; Leo Mark; Christopher Reedy; Louis Reich; Nick Roussopoulos; Walter Truszkowski (SIGMOD Rec., 1986)

Optimized Virtual Time Synchronization. - Anat Gafni; Orna Berry; David Jefferson (Computer Performance and Reliability, 1987)

A Basic Protocol for Routing Messages to Migrating Processes. - T. M. Ravi; David Jefferson (ICPP (2), 1988)

Virtual Time II: Storage Management in Conservative and Optimistic Systems. - David Jefferson (PODC, 1990)

The Symmetry Programming Language. - Kong Li; David Jefferson (IPPS, 1994)

Artificial Life as a Tool for Biological Inquiry. - Charles E. Taylor; David Jefferson (Artif. Life, 1994)

A 100 MHz PLL Implemented on a 100K Gate Programmable Logic Device (Abstract). - David Jefferson; Srinivas Reddy; Christopher Lane; Ninh Ngo; Wanli Chang 003; Manuel Mijia; Ketan Zaveri; Cameron McClintock; Richard Cliff (FPGA, 1998)

The StratixTM routing and logic architecture. - David M. Lewis; Vaughn Betz; David Jefferson; Andy Lee; Christopher Lane; Paul Leventis; Sandy Marquardt; Cameron McClintock; Bruce Pedersen; Giles Powell; Srinivas Reddy; Chris Wysocki; et al. (FPGA, 2003)

The Future of Parallel Discrete Event Simulation. - David Jefferson (SIGSIM-PADS, 2016)