David Jefferson

2004
15	EE	David Jefferson, Aviel D. Rubin, Barbara Simons, David Wagner: Analyzing internet voting security. Commun. ACM 47(10): 59-64 (2004)
14	EE	Poorvi L. Vora, Ben Adida, Ren Bucholz, David Chaum, David L. Dill, David Jefferson, Douglas W. Jones, William Lattin, Aviel D. Rubin, Michael I. Shamos, Moti Yung: Evaluation of voting systems. Commun. ACM 47(11): 144 (2004)
2003
13	EE	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, Richard Cliff, Jonathan Rose: The StratixTM routing and logic architecture. FPGA 2003: 12-20
1998
12	EE	David Jefferson, Srinivas Reddy, Christopher Lane, Ninh Ngo, Wanli Chang, Manuel Mijia, Ketan Zaveri, Cameron McClintock, Richard Cliff: A 100 MHz PLL Implemented on a 100K Gate Programmable Logic Device (Abstract). FPGA 1998: 256
1994
11		Kong Li, David Jefferson: The Symmetry Programming Language. IPPS 1994: 762-768
10		Charles E. Taylor, David Jefferson: Artificial Life as a Tool for Biological Inquiry. Artificial Life 1(1-2): 1-14 (1994)
1990
9	EE	David Jefferson: Virtual Time II: Storage Management in Conservative and Optimistic Systems. PODC 1990: 75-89
1988
8		T. M. Ravi, David Jefferson: A Basic Protocol for Routing Messages to Migrating Processes. ICPP (2) 1988: 188-197
1987
7		Anat Gafni, Orna Berry, David Jefferson: Optimized Virtual Time Synchronization. Computer Performance and Reliability 1987: 229-244
1986
6	EE	Thomas Burns, Elizabeth N. Fong, David Jefferson, Richard Knox, Leo Mark, Christopher Reedy, Louis Reich, Nick Roussopoulos, Walter Truszkowski: Reference Model for DBMS Standardization, Database Architecture Framework Task Group (DAFTG) of the ANSI/X3/SPARC Database System Study Group. SIGMOD Record 15(1): 19-58 (1986)
1984
5		David Jefferson, Andrew Witkowski: An Approach to Performance Analysis of Timestamp-driven Synchronization Mechanisms. PODC 1984: 243-253
1983
4		David Jefferson: Virtual Time. ICPP 1983: 384-394
1980
3	EE	Norihisa Suzuki, David Jefferson: Verification Decidability of Presburger Array Programs. J. ACM 27(1): 191-205 (1980)
1977
2	EE	George Champine, Craig Fields, Koichi Furukawa, David Jefferson, Fritz Krückeberg, Giora Pelled, Charles Purcell, John Rundell, Tadahiko Takahama: Panel: Directions in Database Research. VLDB 1977: 194-202
1975
1		Ellis S. Cohen, David Jefferson: Protection in the HYDRA Operating System. SOSP 1975: 141-160

Coauthor Index

1	Ben Adida	[14]
2	Orna Berry	[7]
3	Vaughn Betz	[13]
4	Ren Bucholz	[14]
5	Thomas Burns	[6]
6	George Champine	[2]
7	Wanli Chang	[12]
8	David Chaum	[14]
9	Richard Cliff	[12] [13]
10	Ellis S. Cohen	[1]
11	David L. Dill	[14]
12	Craig Fields	[2]
13	Elizabeth N. Fong	[6]
14	Koichi Furukawa	[2]
15	Anat Gafni	[7]
16	Douglas W. Jones	[14]
17	Richard Knox	[6]
18	Fritz Krückeberg	[2]
19	Christopher Lane	[12] [13]
20	William Lattin	[14]
21	Andy Lee	[13]
22	Paul Leventis	[13]
23	David M. Lewis	[13]
24	Kong Li	[11]
25	Leo Mark	[6]
26	Sandy Marquardt	[13]
27	Cameron McClintock	[12] [13]
28	Manuel Mijia	[12]
29	Ninh Ngo	[12]
30	Bruce Pedersen	[13]
31	Giora Pelled	[2]
32	Giles Powell	[13]
33	Charles Purcell	[2]
34	T. M. Ravi	[8]
35	Srinivas Reddy	[12] [13]
36	Christopher Reedy	[6]
37	Louis Reich	[6]
38	Jonathan Rose	[13]
39	Nick Roussopoulos	[6]
40	Aviel D. Rubin	[14] [15]
41	John Rundell	[2]
42	Michael I. Shamos	[14]
43	Barbara B. Simons (Barbara Simons)	[15]
44	Norihisa Suzuki	[3]
45	Tadahiko Takahama	[2]
46	Charles E. Taylor	[10]
47	Walter Truszkowski (Walt Truszkowski)	[6]
48	Poorvi L. Vora	[14]
49	David Wagner	[15]
50	Andrew Witkowski	[5]
51	Chris Wysocki	[13]
52	Moti Yung (Mordechai M. Yung)	[14]
53	Ketan Zaveri	[12]

Colors in the list of coauthors