James G. Mitchell

	2010
14		Theresa Sze, Darko Popovic, Jing Shi, Yi-Shao Lai, James G. Mitchell, Bruce Guenin, Tsung-Yueh Tsai, Chin-Li Kao, Matthew Giere: Early experience with in situ chip-to-chip alignment characterization of Proximity Communication flip-chip package. Microelectronics Reliability 50(4): 498-506 (2010)
	1996
13		James G. Mitchell: JavaOS: Back to the Future (Abstract). OSDI 1996: 1
	1994
12		James G. Mitchell, Jonathan Gibbons, Graham Hamilton, Peter B. Kessler, Yousef Y. A. Khalidi, Panos Kougiouris, Peter Madany, Michael N. Nelson, Michael L. Powell, Sanjay R. Radia: An Overview of the Spring System. COMPCON 1994: 122-131
	1993
11		Graham Hamilton, Michael L. Powell, James G. Mitchell: Subcontract: A Flexible Base for Distributed Programming. SOSP 1993: 69-79
	1983
10		James G. Mitchell: File Servers. Advanced Course: Local Area Networks 1983: 221-259
9		Roger M. Needham, A. J. Herbert, James G. Mitchell: How to Connect Stable Memory to a Computer. Operating Systems Review 17(1): 16 (1983)
	1982
8		James G. Mitchell, Jeremy Dion: A Comparison of Two Network-Based File Servers. Commun. ACM 25(4): 233-245 (1982)
	1981
7		James G. Mitchell, Jeremy Dion: A Comparison of Two Network-Based File Servers. SOSP 1981: 45-46
	1978
6		Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek: Proof Rules for the Programming Language Euclid. Program Construction 1978: 133-163
5		Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek: Proof Rules for the Programming Language Euclid. Acta Inf. 10: 1-26 (1978)
	1977
4		Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London: Notes on the Design of Euclid. Language Design for Reliable Software 1977: 11-18
	1975
3		Charles M. Geschke, James G. Mitchell: On the Problem of Uniform References to Data Structures. IEEE Trans. Software Eng. 1(2): 207-219 (1975)
	1974
2		Butler W. Lampson, James G. Mitchell, E. H. Satterthwhaite: On the transfer of control between contexts. Symposium on Programming 1974: 181-203
	1970
1		James G. Mitchell: The Design and Construction of Flexible and Efficient Interactive Programming Systems Garland Publishing, New York 1970

Coauthor Index

1	Jeremy Dion	[7] [8]
2	Charles M. Geschke	[3]
3	Jonathan Gibbons	[12]
4	Matthew Giere	[14]
5	Bruce Guenin	[14]
6	John V. Guttag	[5] [6]
7	Graham Hamilton	[11] [12]
8	A. J. Herbert	[9]
9	James J. Horning (Jim Horning)	[4] [5] [6]
10	Chin-Li Kao	[14]
11	Peter B. Kessler	[12]
12	Yousef Y. A. Khalidi (M. Yousef Amin Khalidi)	[12]
13	Panos Kougiouris	[12]
14	Yi-Shao Lai	[14]
15	Butler W. Lampson	[2] [4] [5] [6]
16	Ralph L. London	[4] [5] [6]
17	Peter Madany	[12]
18	Roger M. Needham	[9]
19	Michael N. Nelson	[12]
20	Gerald J. Popek	[4] [5] [6]
21	Darko Popovic	[14]
22	Michael L. Powell	[11] [12]
23	Sanjay R. Radia	[12]
24	E. H. Satterthwhaite	[2]
25	Jing Shi	[14]
26	Theresa Sze	[14]
27	Tsung-Yueh Tsai	[14]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page