David Jefferson

	2012
15		Cong Hou, George Vulov, Daniel J. Quinlan, David Jefferson, Richard Fujimoto, Richard W. Vuduc: A New Method for Program Inversion. CC 2012: 81-100
	2010
14		Shuki Bruck, David Jefferson, Ronald L. Rivest: A Modular Voting Architecture ("Frog Voting"). Towards Trustworthy Elections 2010: 97-106
	2003
13		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		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		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		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		Norihisa Suzuki, David Jefferson: Verification Decidability of Presburger Array Programs. J. ACM 27(1): 191-205 (1980)
	1977
2		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	Orna Berry	[7]
2	Vaughn Betz	[13]
3	Shuki Bruck	[14]
4	Thomas Burns	[6]
5	George Champine	[2]
6	Wanli Chang	[12]
7	Richard Cliff	[12] [13]
8	Ellis S. Cohen	[1]
9	Craig Fields	[2]
10	Elizabeth N. Fong	[6]
11	Richard M. Fujimoto (Richard Fujimoto)	[15]
12	Koichi Furukawa	[2]
13	Anat Gafni	[7]
14	Cong Hou	[15]
15	Richard Knox	[6]
16	Fritz Krückeberg	[2]
17	Christopher Lane	[12] [13]
18	Andy Lee	[13]
19	Paul Leventis	[13]
20	David M. Lewis	[13]
21	Kong Li	[11]
22	Leo Mark	[6]
23	Sandy Marquardt	[13]
24	Cameron McClintock	[12] [13]
25	Manuel Mijia	[12]
26	Ninh Ngo	[12]
27	Bruce Pedersen	[13]
28	Giora Pelled	[2]
29	Giles Powell	[13]
30	Charles Purcell	[2]
31	Daniel J. Quinlan	[15]
32	T. M. Ravi	[8]
33	Srinivas Reddy	[12] [13]
34	Christopher Reedy	[6]
35	Louis Reich	[6]
36	Ronald L. Rivest	[14]
37	Jonathan Rose	[13]
38	Nick Roussopoulos	[6]
39	John Rundell	[2]
40	Norihisa Suzuki	[3]
41	Tadahiko Takahama	[2]
42	Charles E. Taylor	[10]
43	Walter Truszkowski (Walt Truszkowski)	[6]
44	Richard W. Vuduc (Rich Vuduc)	[15]
45	George Vulov	[15]
46	Andrew Witkowski	[5]
47	Chris Wysocki	[13]
48	Ketan Zaveri	[12]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page