Guide to the Juris Hartmanis Papers,
1965-2008.

Collection Number: 16-13-3786

Division of Rare and Manuscript Collections
Cornell University Library

Contact Information:
Division of Rare and Manuscript Collections
2B Carl A. Kroch Library
Cornell University
Ithaca, NY 14853
(607) 255-3530
Fax: (607) 255-9524
rareref@cornell.edu
http://rmc.library.cornell.edu
Compiled by:
Daniel W. Young
Date completed:
August 2010
EAD encoding:
Daniel W. Young, March 2010, August 2010

© 2010 Division of Rare and Manuscript Collections, Cornell University Library

DESCRIPTIVE SUMMARY

Title:
Juris Hartmanis papers, 1965-2008.
Collection Number:
16-13-3786
Creator:
Juris Hartmanis
Quantity:
21 cubic feet.
Forms of Material:
Correspondence, Publications, Research Materials
Repository:
Division of Rare and Manuscript Collections, Cornell University Library
Abstract:
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
Language:
Collection material in English

BIOGRAPHICAL NOTE

Emeritus professor of Computer Science, Cornell University.
Hartmanis was born in Latvia, received his Bachelor's degree from the University of Marburg in Germany, his Master's degree in Applied Mathematics from the University of Kansas City in 1951, and his Ph.D. in Mathematics from the California Institute of Technology in 1955. After teaching at Cornell and Ohio State, he joined the General Electric Research Laboratory in 1958, where he developed principles of computational complexity theory. In 1965 he became a professor at Cornell and was on of the founders and first chairman of its computer science department. In 1993, he won the Turing Award along with Richard Stearns.
COLLECTION DESCRIPTION

Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
SUBJECTS

Names:
Hartmanis, Juris
College of Engineering.Dept. of Computer Science.
Cornell University--Faculty.

Subjects:
Computer science
Machine theory
Computational complexity
INFORMATION FOR USERS

Additional material and digital versions can be found online here: http://ecommons.cornell.edu/handle/1813/14935
Cite As:
Juris Hartmanis papers, #16-13-3786. Division of Rare and Manuscript Collections, Cornell University Library.
SERIES LIST

Series I. Papers by Various Computer Scientists
Boxes 1-7; Box 8- Folders: 1-59
Series II. Reprints - Hartmanis
Box 9- Folders: 1-66
Series III. Course Material
Box 9- Folders: 66-88; Box 10- Folders: 1-9
Series IV. Correspondence
Box 10- Folders: 10-20, 27-37; Box 11- Folder: 10
Series V. Lecture and Subject Files
Box 10- Folders: 38-44; Box 11- Folders: 7-9, 11-50
Series VI. Department of Computer Science Material
Box 10- Folders: 21-26; Box 21
Series VII. National Science Foundation (NSF) Grant Material
Box 10- Folders: 45-47; Box 11- Folders: 1-6, 43, 47; Box 18
Series VIII. Other Professional Material
Boxes 11-20
CONTAINER LIST

Date
Description
Container
Series I. Papers By Various Computer Scientists
Adachi, A.
 Box 1 Folder 1
Adachi, A. and T. Kasai
 Box 1 Folder 2
Akers, S.
 Box 1 Folder 3
Akkoyunlu, E., A. Bernstein, and R. Schantz
 Box 1 Folder 4
Allen, D.
 Box 1 Folder 5
Alton, Donald A.
 Box 1 Folder 6
Alton, Donald A. and E. W. Madison
 Box 1 Folder 7
Amar, V. and G. Putzolu
 Box 1 Folder 8
Amoroso, S.
Box 1 Folder 9
Allender, E. W.
 Box 1 Folder 10
Angluin, D.
 Box 1 Folder 11
Apostolico, A. and A. S. Fraenkel
 Box 1 Folder 12
Arbib, M. A.
 Box 1 Folder 13
Ausiello, G.
 Box 1 Folder 14
Babai, L.
 Box 1 Folder 15
Bauer, F. L.
 Box 1 Folder 16
Baer, R. M.
 Box 1 Folder 17
Baker, B. S. and R. V. Book
 Box 1 Folder 18
Baker, T. P.
 Box 1 Folder 19
Bakker, J. W. and W. P. deRoever
 Box 1 Folder 20
Balcazar, J. L.
 Box 1 Folder 21
Banerju, R. B. and G. W. Ernst
 Box 1 Folder 22
Baron, R. J.
 Box 1 Folder 23
Barzdin, J. M.
 Box 1 Folder 24
Barzdin, J. M. and Riga Co. Papers
 Box 1 Folder 25
Bass, L.
 Box 1 Folder 26
Bavel, Zamir
 Box 1 Folder 26A
Beatty, J. C.
 Box 1 Folder 27
Becvar, J.
 Box 1 Folder 28
Beigel, R.
 Box 1 Folder 29
Bennett, C. H.
 Box 1 Folder 30
Benson, David B.
 Box 1 Folder 31
Berman, L.
 Box 1 Folder 32
Berman, P.
 Box 1 Folder 33
Bibel, W.
 Box 1 Folder 34
Bilardi, G.
 Box 1 Folder 35
Bishop, Errett
 Box 1 Folder 36
Biskup, J.
 Box 1 Folder 37
Biswas, S.
 Box 1 Folder 38
Blattner, M.
 Box 1 Folder 39
Blikle, A.
 Box 1 Folder 40
Bloom, S. L.
 Box 1 Folder 41
Blum, L. and M. Blum
 Box 1 Folder 42
Blum, M.
 Box 1 Folder 43
Bohm, C.
 Box 1 Folder 44
Book, Ronald V. (1)
 Box 1 Folder 45
Book, Ronald V. (2)
 Box 1 Folder 46
Book, Ronald V. (3)
 Box 1 Folder 47
Boone, W. W. and G. Higman
 Box 1 Folder 48
Bork, A.
 Box 1 Folder 49
Borodin, A.
 Box 1 Folder 50
Borodin, A. and A. Demers
 Box 1 Folder 51
Brandstadt, Von A. and D. Saalfeld
 Box 1 Folder 52
Breidbart, S. I.
 Box 1 Folder 53
Bremermann, Hans
 Box 1 Folder 53A
Braunmuhl, B. von and R. Verbeek
 Box 1 Folder 54
Brooks, H.
 Box 1 Folder 55
Buchberger, B.
 Box 1 Folder 56
Buchi, J. Richard
 Box 1 Folder 57
Burks, A. W.
 Box 1 Folder 58
Budach, L.
Box 1 Folder 59
Cai, Jin-yi
 Box 1 Folder 60
Carr, John W. III
 Box 1 Folder 61
Case, John
 Box 1 Folder 62
Chaitin, G. J.
 Box 1 Folder 63
Chandra, A. K.
Box 2 Folder 1
Chen, Keh-Jiann
 Box 2 Folder 2
Cherniavsky, J.
 Box 2 Folder 3
Chytil, M. P.
 Box 2 Folder 4
Cobham, A.
 Box 2 Folder 5
Cole, Steven N.
 Box 2 Folder 6
Coleman, T. F. and C. Hempel
 Box 2 Folder 7
Constable, R. L.
Box 2 Folder 8
Cook, Steven A. (1)
 Box 2 Folder 9
Cook, Steven A. (2)
 Box 2 Folder 10
Corrada, Manuel C.
 Box 2 Folder 11
Crossley, John N.
 Box 2 Folder 12
Cudia, D. F.
 Box 2 Folder 13
Culik, Karel
 Box 2 Folder 14
Daley, Robert
 Box 2 Folder 15
Dassow, Von Jurgen
 Box 2 Folder 16
Davida, G. I.
 Box 2 Folder 17
De Bakker, J. W.
 Box 2 Folder 18
De Luca, A. and F. Adrianopoli
 Box 2 Folder 19
Demers, A. and J. Donahue
 Box 2 Folder 20
Dennis, J. B.
 Box 2 Folder 21
Deussen, P.
 Box 2 Folder 22
Dijkstra, E. W.
 Box 2 Folder 23
Dilger, E.
 Box 2 Folder 24
Dill, F. H.
 Box 2 Folder 25
Dobkin, D.
 Box 2 Folder 26
Dowd, M.
 Box 2 Folder 27
Downey, R.
 Box 2 Folder 28
Dymond, P. W.
 Box 2 Folder 29
Ecker, Von K.
 Box 2 Folder 30
Ehrenfeucht, A.
 Box 2 Folder 31
Eichner, L.
 Box 2 Folder 32
Eilenberg, S. and J. B. Wright
 Box 2 Folder 33
Elgot, Calvin C.
 Box 2 Folder 34
van Emde Boas, P. (1)
 Box 2 Folder 35
van Emde Boas, P. (2)
 Box 2 Folder 36
Engeler, E. (1)
 Box 2 Folder 37
Engeler, E. (2)
 Box 2 Folder 38
Epstein, G.
 Box 2 Folder 39
Ernest, G. W.
 Box 2 Folder 40
Erni, W.
 Box 2 Folder 41
Evans, T.
 Box 2 Folder 42
Ewald, R., B. Buzbee, and J. Worlton
 Box 2 Folder 43
Feigenbaum, J.
 Box 2 Folder 44
Feldman, E. D. and J. C. Owings Jr.
 Box 2 Folder 45
Feldman, J. A.
 Box 2 Folder 46
Fenner, Stephen A.
 Box 2 Folder 47
Fenstad, J. E.
 Box 2 Folder 48
Feynman, Richard P.
 Box 2 Folder 49
Fischer, M. J. and M. S. Paterson
 Box 2 Folder 50
Fischer, M. J.
 Box 2 Folder 51
Fischer, P. C.
 Box 2 Folder 52
Fleck, A. C. and R. S. Limaye
 Box 2 Folder 53
Floyd, R. W. (1)
 Box 2 Folder 54
Floyd, R. W. (2)
 Box 2 Folder 55
Fortune, S.
 Box 2 Folder 56
Freivalds, R.
 Box 2 Folder 57
Friedman, D. P. and D. S. Wise
 Box 2 Folder 58
Friedman, E. P.
 Box 3 Folder 1
Friedman, H.
 Box 3 Folder 2
Furst, M., J. Saxe, and M. Sipser
 Box 3 Folder 3
Gacs, Peter
 Box 3 Folder 4
Galil, Zvi
 Box 3 Folder 5
Galligo, A.
 Box 3 Folder 6
Ganesan, K.
 Box 3 Folder 7
Garzon, M.
 Box 3 Folder 8
Gasrarch, William I.
 Box 3 Folder 9
Geffert, V.
 Box 3 Folder 10
Gill, John
 Box 3 Folder 11
Ginsburg, S. (1)
 Box 3 Folder 12
Ginsburg, S. (2)
 Box 3 Folder 13
Godel, K.
 Box 3 Folder 14
Goguen, J. A.
 Box 3 Folder 15
Goldberg, M.
 Box 3 Folder 16
Goldschlager, L. M.
 Box 3 Folder 17
Goldsmith, J.
 Box 3 Folder 18
Goldstine, J.
 Box 3 Folder 19
Gordon, D.
 Box 3 Folder 20
Gorn, S.
 Box 3 Folder 21
Grefenstette, J. J.
 Box 3 Folder 22
Greibach, Sheila
 Box 3 Folder 23
Gries, D.
 Box 3 Folder 24
Grigor'ev, D. Ju.
 Box 3 Folder 25
Gruska, J.
 Box 3 Folder 26
Gupta, S.
 Box 3 Folder 27
Gurevich, Y.
 Box 3 Folder 28
Miscellaneous G - Russian Papers
 Box 3 Folder 29
Hajek, P.
 Box 3 Folder 30
Hamlet, R.
 Box 3 Folder 31
Han, Xioafeng
 Box 3 Folder 32
Hanak, J.
 Box 3 Folder 33
Hansen, Per Brinch
 Box 3 Folder 34
Harel, D.
 Box 3 Folder 35
Harju, T.
 Box 3 Folder 36
Harrison, Michael A.
 Box 3 Folder 37
Hart, Johnson M.
 Box 3 Folder 38
Havel, I. M.
 Box 3 Folder 39
Heller, H.
 Box 3 Folder 40
Hamachandra, L.
 Box 3 Folder 41
Hennie, F. C.
 Box 3 Folder 42
Herman, G. T.
 Box 3 Folder 43
Hibbard, T. N.
 Box 3 Folder 44
Hirschfelder, J. J.
 Box 3 Folder 45
Hoare, C. A. R. and P. E. Lauer
 Box 3 Folder 46
Hodgson, B. R. and C. F. Kent
 Box 3 Folder 47
Holt, Richard C.
 Box 3 Folder 48
Homer, S. (1)
 Box 3 Folder 49
Homer, S. (2)
 Box 3 Folder 50
Hopcroft, J. E.
 Box 3 Folder 51
Hopfield, J. J.
 Box 3 Folder 52
Horvath, S., et al.
 Box 3 Folder 53
Hotz, G.
 Box 3 Folder 54
Hromkovic, J.
 Box 3 Folder 55
Hunt, Harry B.
 Box 3 Folder 56
Ibarra, Oscar H.
 Box 4 Folder 1
Igarashi, Y.
 Box 4 Folder 2
Ierardi, D. (1)
 Box 4 Folder 3
Ierardi, D. (2)
 Box 4 Folder 4
Ierardi, D. (3)
 Box 4 Folder 5
Indermark, Klaus
 Box 4 Folder 6
1983
Information Processing - IFIP 9th World Computer Congress
Box 4 Folder 7
Ito, T.
 Box 4 Folder 8
Jain, S.
 Box 4 Folder 9
Jantzen, M.
 Box 4 Folder 10
Jia-Wei, Hong
 Box 4 Folder 11
Johnson, David S.
 Box 4 Folder 12
Johnson, Donald B.
 Box 4 Folder 13
Jones, Neil D.
 Box 4 Folder 14
Kameda, T.
 Box 4 Folder 15
Kamin, S.
 Box 4 Folder 16
Kannan, R.
 Box 4 Folder 17
Kaplan, Donald M.
 Box 4 Folder 18
Kasai, T.
 Box 4 Folder 19
Katajainen, J.
 Box 4 Folder 20
Ker-I Ko (1)
 Box 4 Folder 21
Ker-I Ko (2)
 Box 4 Folder 22
Ker-I Ko (3)
 Box 4 Folder 23
Kidson, D.
 Box 4 Folder 24
Kinber, E. B.
 Box 4 Folder 25
Kinber, J.
 Box 4 Folder 26
Kintala, C. M. R.
 Box 4 Folder 27
Kirsig, B.
 Box 4 Folder 28
Klarner, D. A.
 Box 4 Folder 29
Knuth, Donald E.
 Box 4 Folder 30
Kobayashi, K.
 Box 4 Folder 31
Komogorov, A. N.
 Box 4 Folder 32
Korenjak, A. J.
 Box 4 Folder 33
Korshunov, A. D.
 Box 4 Folder 34
Kosaraju, S. Rao
 Box 4 Folder 35
Kozen, Dexter (1)
 Box 4 Folder 36
Kozen, Dexter (2)
 Box 4 Folder 37
Kozen, Dexter (3)
 Box 4 Folder 38
Krause, Matthias
 Box 4 Folder 39
Kuck, Conrad
 Box 4 Folder 40
Kumar, Vipin
 Box 4 Folder 41
Kuroda, S-Y
 Box 4 Folder 42
Kurtz, S. A. (1)
 Box 4 Folder 43
Kurtz, S. A. (2)
 Box 4 Folder 44
Kurtz, S. A. (3)
 Box 4 Folder 45
Kutylowski, M.
 Box 4 Folder 46
Ladner, Richard E.
 Box 4 Folder 48
Laing, Richard A.
 Box 4 Folder 49
Landau, S.
 Box 4 Folder 50
Landweber, L. H.
 Box 4 Folder 51
Langmaack, Hans
 Box 4 Folder 52
Lauer, P.
 Box 4 Folder 53
Lax, Peter D.
 Box 4 Folder 54
Lawler, E. L.
 Box 4 Folder 55
Lee, John A. N.
 Box 4 Folder 56
Lee, K. P.
 Box 4 Folder 57
Leivant, D.
 Box 4 Folder 58
Leggett, Ernest W.
 Box 4 Folder 59
van Leeuwen, Jan
 Box 4 Folder 60
Lenat, Douglas B.
 Box 4 Folder 61
Levin, L. A. (1)
 Box 4 Folder 62
Levin, L. A. (2)
 Box 4 Folder 63
Lewis, F. D. (1)
 Box 5 Folder 1
Lewis, F. D. (2)
 Box 5 Folder 2
Lewis, Philip
 Box 5 Folder 3
Li, M. and C. Bajaj
 Box 5 Folder 4
Li, M.
 Box 5 Folder 5
Lighthill, Prof. Sir James
 Box 5 Folder 6
Lipton, Richard J. (1)
 Box 5 Folder 7
Lipton, Richard J.
 Box 5 Folder 8
Lischke, G.
 Box 5 Folder 9
Liu, C. L.
 Box 5 Folder 10
Long, T. J. (1)
 Box 5 Folder 11
Long, T. J. (2)
 Box 5 Folder 12
Long, T. J. (3)
 Box 5 Folder 13
Loui, Michael C.
 Box 5 Folder 14
Loveland, D. W.
 Box 5 Folder 15
Luks, Eugene M.
 Box 5 Folder 16
Lutz, J. H. (1)
 Box 5 Folder 17
Lutz, J. H. (2)
 Box 5 Folder 18
Lynch, Nancy A.
 Box 5 Folder 19
Lyndon, Roger C.
 Box 5 Folder 20
Miscellaneous L - AFL Notes
 Box 5 Folder 21
Maass, Wolfgang (1)
 Box 5 Folder 22
Maass, Wolfgang (2)
 Box 5 Folder 23
Maass, Wolfgang (3)
 Box 5 Folder 24
Machtey, Michael
 Box 5 Folder 25
MacLane, Saunders
 Box 5 Folder 26
Mahaney, Stephen
 Box 5 Folder 27
Manna, Zohar
 Box 5 Folder 28
Maurer, H. A.
 Box 5 Folder 29
Mazurkiewicz, Antoni
 Box 5 Folder 30
McCarthy, John
 Box 5 Folder 31
McCreight, Edward M.
 Box 5 Folder 32
McNaughton, Robert
 Box 5 Folder 33
Meer, K.
 Box 5 Folder 34
Mehlhorn, Kurt
 Box 5 Folder 35
Melville, Robert
 Box 5 Folder 36
Meseguer, J.
 Box 5 Folder 37
Meyer, A. R.
 Box 5 Folder 38
Mezei, J.
 Box 5 Folder 39
Micali, Silvio
 Box 5 Folder 40
Mikotajczak, Bolestaw
 Box 5 Folder 41
Miller, Gary L.
 Box 5 Folder 42
deMillo, Richard A.
 Box 5 Folder 43
Minsky, Marvin
 Box 5 Folder 44
Miyano, S.
 Box 5 Folder 45
Mohrherr, Jeanleah
 Box 5 Folder 46
Monien, Burkhard
 Box 5 Folder 47
Moore, Daniel
 Box 5 Folder 48
Moravek, Jaroslav
 Box 5 Folder 49
Mukhopadhyay, Amar
 Box 5 Folder 50
Miscellaneous M - Handwritten Notes
 Box 5 Folder 51
Nemeti, I.
 Box 5 Folder 52
Neumann, P. G.
 Box 5 Folder 53
Newell, Allen
 Box 5 Folder 54
Nicklas, B. M.
 Box 5 Folder 55
Nicolis, John S.
 Box 5 Folder 56
Noe, Philip S.
 Box 5 Folder 57
Nozaki, A.
 Box 5 Folder 58
O'Donnell, Michael
 Box 5 Folder 59
Ogden, W. F.
 Box 5 Folder 60
Ogiwara, M.
 Box 5 Folder 61
Owicki, Susan Speer
 Box 5 Folder 62
Pager, David
 Box 6 Folder 1
Pan, V. Ya.
 Box 6 Folder 2
Papadimitriou, C. H.
 Box 6 Folder 3
Parberry, Ian
 Box 6 Folder 4
Park, David
 Box 6 Folder 5
Parnas, D. L.
 Box 6 Folder 6
Paterson, Michael S.
 Box 6 Folder 7
Penttonen, Martti
 Box 6 Folder 8
Peterson, G. L.
 Box 6 Folder 9
Petri, C. A.
 Box 6 Folder 10
Pfluger, J., and P. Ochsenschlager
 Box 6 Folder 11
Pickett, H. E.
 Box 6 Folder 12
Pinter, Charles
 Box 6 Folder 13
Pippenger, Nicholas
 Box 6 Folder 14
Pitt, Leonard
 Box 6 Folder 15
Plaisted, David A.
 Box 6 Folder 16
Pomerance, Carl
 Box 6 Folder 16a
Pour-El, M. B., and I. Richards
 Box 6 Folder 17
Pratt, V. R.
 Box 6 Folder 18
Probert, Robert L.
 Box 6 Folder 19
Pudlak, P., and J. Tuma
 Box 6 Folder 20
Putzolu, G. R.
 Box 6 Folder 21
Rahimi, M. A.
 Box 6 Folder 22
Ratner, D. H.
 Box 6 Folder 23
Ravikumar, B.
 Box 6 Folder 24
Reckhow, Robert A.
 Box 6 Folder 25
Regan, Kenneth W.
 Box 6 Folder 26
Reiss, Steven P.
 Box 6 Folder 27
Reps, Thomas
 Box 6 Folder 28
Reusch, Brend
 Box 6 Folder 29
Reynolds, John C.
 Box 6 Folder 30
Richardson, D.
 Box 6 Folder 31
Ritchie, G. D.
 Box 6 Folder 32
Rivest, Ronald
 Box 6 Folder 33
Robertson, E. L.
 Box 6 Folder 34
Rogers, Hartley
 Box 6 Folder 35
Rosen, Barry K.
 Box 6 Folder 36
Rosenberg, Arnold L.
 Box 6 Folder 37
Rosenkrantz, Daniel J.
 Box 6 Folder 38
Rota, Gian-Carlo
 Box 6 Folder 39
Rothstein, Jerome
 Box 6 Folder 40
Royer, James S. (1)
 Box 6 Folder 41
Royer, James S. (2)
 Box 6 Folder 42
Royer, James S. (3)
 Box 6 Folder 43
Ruby, S. S.
 Box 6 Folder 44
Rutledge, J. D.
 Box 6 Folder 45
Sachse-Akerlind, D.
 Box 6 Folder 46
Salomaa, A., and M. Steinby
 Box 6 Folder 47
Salton, G.
 Box 6 Folder 48
1983
Santa Barbara, CA - Conference on Computation Complexity Theory
Box 6 Folder 49
Savage, J. E.
 Box 6 Folder 50
Savitch, Walter J. (1)
 Box 7 Folder 1
Savitch, Walter J. (2)
 Box 7 Folder 2
Scarpellini, B.
 Box 7 Folder 3
Schenhage, A.
 Box 7 Folder 4
Schinzel, B.
 Box 7 Folder 5
Schmidt, Erik Meineche
 Box 7 Folder 6
Schneider, H. J., and H. Ehrig
 Box 7 Folder 7
Schnorr, C. P.
 Box 7 Folder 8
Schonhage, A. and V. Strassen
 Box 7 Folder 9
Schoning, U. (1)
 Box 7 Folder 10
Schoning, U. (2)
 Box 7 Folder 11
Schreiber, P. P.
 Box 7 Folder 12
Schwartz, Steven Thomas
 Box 7 Folder 13
Scott, Dana
 Box 7 Folder 14
Helmut, Seidl
 Box 7 Folder 15
Seiferas, Joel I.
 Box 7 Folder 16
Selman, A. L. (1)
 Box 7 Folder 17
Selman, A. L. (2)
 Box 7 Folder 18
Shamir, E.
 Box 7 Folder 19
Shank, H.
 Box 7 Folder 20
Shepherdson, J. C.
 Box 7 Folder 21
Siefkes, D.
 Box 7 Folder 22
Simon, Istvan
 Box 7 Folder 23
Simon, J.
 Box 7 Folder 24
Simovici, D. A., and S. Istrail
 Box 7 Folder 25
Sipser, M.
 Box 7 Folder 26
Skowron, A.
 Box 7 Folder 27
Slisenko, A. O.
 Box 7 Folder 28
Smith, Carl (1)
 Box 7 Folder 29
Smith, Carl (2)
 Box 7 Folder 30
Smith, Carl (3)
 Box 7 Folder 31
Smolensky, Roman
 Box 7 Folder 32
Soare, R. I.
 Box 7 Folder 33
Solomon, M. K.
 Box 7 Folder 34
Solovay, R. M.
 Box 7 Folder 35
Springsteel, Fred Neil
 Box 7 Folder 36
Stearns, R. E.
 Box 7 Folder 37
Stockmeyer, L. J. (1)
 Box 7 Folder 38
Stockmeyer, L. J. (2)
 Box 7 Folder 39
Story, James R.
 Box 7 Folder 40
Strang, Gilbert
 Box 7 Folder 41
Strassen, V.
 Box 7 Folder 42
Strnad, Pavel
 Box 7 Folder 43
Sudborough, I. H.
 Box 7 Folder 44
Synmanski, T. G.
 Box 7 Folder 45
Szabo, M. E.
 Box 7 Folder 46
Szepietowski, A.
 Box 7 Folder 47
Tanaka, E.
 Box 7 Folder 48
Tarjan, R. E.
 Box 7 Folder 49
Teitelbaum, R. T.
 Box 7 Folder 50
Thatcher, J. W. (1)
 Box 7 Folder 51
Thatcher, J. W. (2)
 Box 7 Folder 52
Thompson, C. D.
 Box 8 Folder 1
Thurow, Lester C.
 Box 8 Folder 2
Toda, S.
 Box 8 Folder 3
Toshio, Nomura
 Box 8 Folder 4
Trakhtenbrot, B. A.
 Box 8 Folder 5
Traub, J. F.
 Box 8 Folder 6
Traub, R. E.
 Box 8 Folder 7
Turing, A. M.
 Box 8 Folder 8
Valiant, L. G.
 Box 8 Folder 9
Verbeek, R.
 Box 8 Folder 10
Vishkin, U.
 Box 8 Folder 11
Vitanyi, Paul M. B., and B. Awerbuch
 Box 8 Folder 12
Vizirani, V. V. (1)
 Box 8 Folder 13
Vizirani, V. V. (2)
 Box 8 Folder 14
Wagner, Klaus W.
 Box 8 Folder 15
Walk, K.
 Box 8 Folder 16
Wand, M.
 Box 8 Folder 17
Wang, Hao, and B. Dunham
 Box 8 Folder 18
Wang, Jie
 Box 8 Folder 19
Watanabe, Osamu
 Box 8 Folder 20
Wegner, Peter
 Box 8 Folder 21
Weicker, R.
 Box 8 Folder 22
Weihrauch, K. (1)
 Box 8 Folder 23
Weihrauch, K. (2)
 Box 8 Folder 24
Weber, Andreas
 Box 8 Folder 25
Wershulz, Arthur G.
 Box 8 Folder 26
Wilson, Christopher
 Box 8 Folder 27
Winkler, Peter
 Box 8 Folder 28
Wise, D. S.
 Box 8 Folder 29
Wolfram, S. (1)
 Box 8 Folder 30
Wolfram, S. (2)
 Box 8 Folder 31
Wotschke, D.
Box 8 Folder 32
Wozniakowski, H.
 Box 8 Folder 33
Wrathall, C.
 Box 8 Folder 34
Yao, Andrew C.
 Box 8 Folder 35
Yeh, R. T.
 Box 8 Folder 36
Yesha, Y.
 Box 8 Folder 37
Young, Paul
 Box 8 Folder 38
Younger, D. H.
 Box 8 Folder 39
Yu, C. T.
 Box 8 Folder 40
Yunzeng, Wu
 Box 8 Folder 41
Zachos, Stathis
 Box 8 Folder 42
Zak, S.
 Box 8 Folder 43
Zech, K-A.
 Box 8 Folder 44
Zeigler, B. P.
 Box 8 Folder 45
Zeigler, P.
 Box 8 Folder 46
Zeigler, H. P.
 Box 8 Folder 47
Zimand, Marius
 Box 8 Folder 48
Historic Papers
Becvar, Jiri; Probleme der Komplexität in der Theorie der Algorithmen und Automaten
Box 8 Folder 49
Becvar, Jiri; Real-Time and Complexity Problems in Automata Theory
Box 8 Folder 49
Blum, Manuel; A Machine-Independent Theory of the Complexity of Recursive Functions
Box 8 Folder 50
Cobham, Alan; The Intrinsic Computational Difficulty
Box 8 Folder 51
Fischer, Patrick C.; Multi-Tape and Infinite-State Automata - A Survey
Box 8 Folder 52
Grzegorczyk, A.; Some Classes of Recursive Functions
Box 8 Folder 53
Hartmanis, J., and R. E. Stearns; On the Computational Complexity of Algorithms
Box 8 Folder 54
McCarthy, J.; Towards a Mathematical Science of Computation
Box 8 Folder 55
McCarthy, J.; A Basis for a Mathematical Theory of Computation, Preliminary Report
Box 8 Folder 55
Myhill, John; Linear Bounded Automata
 Box 8 Folder 56
Rabin, Michael O.; Real Time Computation
 Box 8 Folder 57
Rabin, Michael O.; Degree of Difficulty of Computing a Function and a Partial Ordering of Recursive Sets
Box 8 Folder 57
Ritchie, Robert W.; Classes of Predictably Computable Functions
Box 8 Folder 58
Yamada, Hisao; Real-Time Computation and Recursive Functions Not Real-Time Computable
Box 8 Folder 59
Series II. Reprints - Hartmanis
1965
Memory Bounds for Recognition of Context-Free and Context-Sensitive Languages
Box 9 Folder 1
1965
Hierarchies of Memory Limited Computations
 Box 9 Folder 2
1965
On the Computational Complexity of Algorithms
Box 9 Folder 3
1965
Two Tests for the Linearity of Sequential Machines
Box 9 Folder 4
1966
Minimal Feedback Realizations of Sequential Machines
Box 9 Folder 5
1967
Context-Free Languages and Turing Machine Computations
Box 9 Folder 6
1967
Sets of Numbers Defined by Finite Automata
 Box 9 Folder 7
1967
Homomorphic Images of Linear Sequential Machines
Box 9 Folder 8
1967
On Memory Requirements for Context-Free Language Recognition
Box 9 Folder 9
1967
Tape-Reversal Bounded Turing Machine Computations
Box 9 Folder 10
1968
On the Recognition of Primes by Automata
 Box 9 Folder 11
1968
Computational Complexity of One-Tape Turing Machine Computations
Box 9 Folder 12
1969
Automata-Based Computational Complexity
 Box 9 Folder 13
1969
On the Complexity of Undecidable Problems in Automata Theory
Box 9 Folder 14
1969
Two Memory Bounds for the Recognition of Primes by Automata
Box 9 Folder 15
1970
What Makes Some Language Theory Problems Undecidable
Box 9 Folder 16
1970
A Note on One-Way and Two-Way Automata
 Box 9 Folder 17
1971
On Non-Determinacy in Simple Computing Devices
Box 9 Folder 18
1971
Size Arguments in the Study of Computation Speeds
Box 9 Folder 19
1971
The Use of Lists in the Study of Undecidable Problems in Automata Theory
Box 9 Folder 20
1971
Computational Complexity of Random Access Stored Program Machines
Box 9 Folder 21
1971
An Overview of the Theory of Computational Complexity
Box 9 Folder 22
1973
Group Theoretic Characterization of Linear Permutation Automata
Box 9 Folder 23
1974
Computational Complexity of Formal Translations
Box 9 Folder 24
1974
The LBA Problem and Its Importance in the Theory of Computing
Box 9 Folder 25
1975
A Note on Tape Bounds for SLA Language Processing
Box 9 Folder 26
1975
On Simple Goedel Numberings and Translations
 Box 9 Folder 27
1976
On Tape Bounds for Single Letter Alphabet Language Processing
Box 9 Folder 28
1976
Generalized Kolmogorov Complexity and the Structure of Feasible Computations
Box 9 Folder 29
1976
On the Structure of Feasible Computations
 Box 9 Folder 30
1976
Independence Results in Computer Science
 Box 9 Folder 31
1976
On the Power of Multiplication in Random Access Machines
Box 9 Folder 32
1977
On Isomorphisms and Density of NP and Other Complete Sets
Box 9 Folder 33
1977
On Log-Tape Isomorphisms of Complete Sets
 Box 9 Folder 34
1978
One-Way Log-Tape Reductions
 Box 9 Folder 35
1978
Quo Vadimus: Computer Science in a Decade
 Box 9 Folder 36
1978
On Polynomial Time Isomorphisms of Some New Complete Sets
Box 9 Folder 37
1978
Relations Between Diagonalization, Proof Systems, and Complexity Gaps
Box 9 Folder 38
1980
On the Succinctness of Different Representations of Languages
Box 9 Folder 39
1981
Observations About the Development of Theoretical Computer Science
Box 9 Folder 40
1981
On Quasi-Homomorphisms and the Problem of Separating Logspace from Other Complexity Classes
Box 9 Folder 41
1981
Languages Simultaneously Complete for One-Way and Two-Way Log-Tape Automata
Box 9 Folder 42
1982
A Note on Natural Complete Sets and Gödel Numberings
Box 9 Folder 43
1982
Book Reviews
 Box 9 Folder 44
1983
On Gödel Speed-Up and Succinctness of Language Representations
Box 9 Folder 45
1983
On Sparse sets in NP-P
 Box 9 Folder 46
1983
Generalized Kolmogorov Complexity and the Structure of Feasible Computations
Box 9 Folder 47
1984
Computation Time of NP Sets of Different Densities
Box 9 Folder 48
1985
Solvable Problems with Conflicting Relativizations
Box 9 Folder 49
1985
Sparse Sets in NP-P Exptime vs. Nexptime
 Box 9 Folder 50
1985
Independence Results About Context-Free Languages and Lower Bounds
Box 9 Folder 51
1986
Pragmatic Aspects of Complexity Theory
 Box 9 Folder 52
1988
The Boolean Hierarchy I: Structural Properties
Box 9 Folder 53
1988
The Boolean Hierarchy II: Applications
 Box 9 Folder 54
1988
Complexity Classes Without Machines: On Complete Languages for Up
Box 9 Folder 55
1988
On Sparse Oracles Separating Feasible Complexity Classes
Box 9 Folder 56
1989
On the Importance of Being π2 - Hard
 Box 9 Folder 57
1989
Gödel, von Neumann, and the P = ?NP Problem
 Box 9 Folder 58
1989
Overview of Computational Complexity Theory
 Box 9 Folder 59
1990
Robust Machines Accept Easy Sets
 Box 9 Folder 60
1990
New Developments in Structural Complexity
 Box 9 Folder 61
1990
On IP = PSPACE and Theorems with Narrow Proofs
Box 9 Folder 62
1990
Structural Complexity Theory: Recent Surprises
Box 9 Folder 63
1991
One-Way Functions and the Nonisomorphism of NP-Complete Sets
Box 9 Folder 64
1991
Space Bounded Computations: Review and New Separation Results
Box 9 Folder 65
1993
On Hausdorff and Topological Dimensions of the Kolmogorov Complexity of the Real Line
Box 9 Folder 66
Series III. Course Materials
Fall 1995
CS 381 (1)
 Box 9 Folder 67
Fall 1995
CS 381 (2)
 Box 9 Folder 68
Fall 1994
CS 481
 Box 9 Folder 69
Spring 1986
CS 280
 Box 9 Folder 70
Summer 1987
CS 381
 Box 9 Folder 71
Fall 1986
CS 381 (1)
 Box 9 Folder 72
Fall 1986
CS 381 (2)
 Box 9 Folder 73
Summer 1985
CS 481
 Box 9 Folder 74
Fall 1984
CS 481
 Box 9 Folder 75
Fall 1980
CS 481
 Box 9 Folder 76
Fall 1979
CS 481
 Box 9 Folder 77
Fall 1977
CS 481
 Box 9 Folder 78
Fall 1976
CS 481 (Course Evaluations)
 Box 9 Folder 79
Fall 1975
CS 481
 Box 9 Folder 80
Fall 1974
CS 481
 Box 9 Folder 81
Spring 1990
CS 682
 Box 9 Folder 82
Spring 1987
CS 682
 Box 9 Folder 83
Fall 1984
CS 682
 Box 9 Folder 84
Spring 1985
CS 682
 Box 9 Folder 85
Spring 1984
CS 682
 Box 9 Folder 86
1973-1982
Exams, Quizzes, Homeworks (Miscellaneous)
 Box 9 Folder 87
1974-1985
A and Q Exams
 Box 9 Folder 88
Spring 1974
CS 682
 Box 10 Folder 1
Spring 1975
CS 682
 Box 10 Folder 2
Spring 1976
CS 682
 Box 10 Folder 3
Spring 1984
CS 682 (Lectures)
 Box 10 Folder 4
Spring 1985
CS 682 (Lectures)
 Box 10 Folder 5
Spring 1978
CS 682
 Box 10 Folder 6
Spring 1977
CS 682
 Box 10 Folder 7
Spring 1977
CS 682 (Notes)
 Box 10 Folder 8
Spring 1989
CS 782
 Box 10 Folder 9
Series IV. Correspondence
1979-1987
A-B (1)
 Box 10 Folder 10
1979-1987
A-B (2)
 Box 10 Folder 11
1979-1987
C-F (1)
 Box 10 Folder 12
1979-1987
C-F (2)
 Box 10 Folder 13
1979-1987
G-J
 Box 10 Folder 14
1979-1987
K-M (1)
 Box 10 Folder 15
1979-1987
K-M (2)
 Box 10 Folder 16
1979-1987
N-R
 Box 10 Folder 17
1979-1987
S-T (1)
 Box 10 Folder 18
1979-1987
S-T (2)
 Box 10 Folder 19
1979-1987
U-Z
 Box 10 Folder 20
Correspondence With Journals, Organizations
1983
Annals of Pure and Applied Logic
 Box 10 Folder 27
ICALP '86 and UP Paper
 Box 10 Folder 28
1986
JCSS Special Editor
 Box 10 Folder 29
Correspondence Regarding Springer Lecture Notes in Computer Science
1985
Lecture Notes in Computer Science (LNCS)
 Box 10 Folder 30
1984
Summary LNCS
 Box 10 Folder 31
August 1985-December 1985
MSRI Springer
 Box 10 Folder 32
Springer Paper
 Box 10 Folder 34
1982
Surveys in Computer Sceince
 Box 10 Folder 35
1982
Surveys in Computer Science
 Box 10 Folder 36
Other Correspondence
1985
National Security Agency (NSA) Advisory
 Box 10 Folder 33
1974
Trip Formalities
 Box 10 Folder 37
1988
Theory Center Space Allocation
 Box 11 Folder 10
Series V. Lecture and Subject Files
1981
Notes on the Nature of Computer Science
 Box 10 Folder 38
1981
Thoughts and Observations
 Box 10 Folder 39
1986
Li, M. and Yesha, Y. Paper
 Box 10 Folder 40
1987
Kazan Paper
 Box 10 Folder 41
1987
Bulletin Column #2 V87
 Box 10 Folder 42
1987
UP Paper with Hemachandra, L.
 Box 10 Folder 43
1987
Columbia Talk About Problems and Future of Computer Science
Box 10 Folder 44
1988
Bulletin
 Box 11 Folder 7
1988
Program in Algorithms and Theory
 Box 11 Folder 8
1988
Unfettered Independence Results about Computation
Box 11 Folder 9
1988
Post Symposium Talk
 Box 11 Folder 11
1988
One-Way Function Refs Report
 Box 11 Folder 12
1988
Reference
 Box 11 Folder 13
1988
ICALP and TCS Paper
 Box 11 Folder 14
1988
Italian Lecture
 Box 11 Folder 15
1988
Computer Science Information
 Box 11 Folder 16
1989
Robusting Paper
 Box 11 Folder 17
1989
References
 Box 11 Folder 18
1989
Gruska and IFIP
 Box 11 Folder 19
1989
Recruiting
 Box 11 Folder 20
1989
MFCS
 Box 11 Folder 21
1989
Gödel Info
 Box 11 Folder 22
1989
Gödel Letter
 Box 11 Folder 23
1989
Poincare
 Box 11 Folder 24
1989
Gödel to Ann. History Computer Science
 Box 11 Folder 25
1989
One-Way Functions; Hemachandra, L. and Hartmanis, J.
Box 11 Folder 26
1989
Chang, R.
 Box 11 Folder 27
1990
Structures and SWAT and Italy
 Box 11 Folder 28
1990
Princeton and Rutgers
 Box 11 Folder 29
1990
Information about University and College of Engineering
Box 11 Folder 30
1990
Column Book
 Box 11 Folder 31
1990
Computing Research Assocation
 Box 11 Folder 32
1990
CRA - Adrion Comm
 Box 11 Folder 33
1990
GMD
 Box 11 Folder 34
1990
Hamburg Paper (1)
 Box 11 Folder 35
1990
Hamburg Paper (2)
 Box 11 Folder 36
1990
Traub
 Box 11 Folder 37
1990
Association for Computing Machinery (ACM)-Mathematical Association of America (MAA)
Box 11 Folder 38
1990
Hamburg Travel
 Box 11 Folder 39
1990
Turing and Quantum Theory Possible Column
 Box 11 Folder 40
1991
Real-Line Kolmogorov Paper
 Box 11 Folder 41
1991
References
 Box 11 Folder 42
1991
Rohatgi
 Box 11 Folder 44
1991
Structure
 Box 11 Folder 45
1991
Constable
 Box 11 Folder 46
1991
IFIP - Theory
 Box 11 Folder 48
1991
Column Book
 Box 11 Folder 49
1992
National Academy of Engineering (NAE)
 Box 11 Folder 50
Series VI. Department of Computer Science Material
October 1987
Talk About Computer Sceince at Cornell and Theory Center
Box 10 Folder 21
1986
Computer Science Department
 Box 10 Folder 22
Computer Science Information
 Box 10 Folder 23
1985-1987
Q-Exams
 Box 10 Folder 24
1981
Information on Computer Science Departments
 Box 10 Folder 25
Personal Information
 Box 10 Folder 26
1987-1995
Cornell Computer Science Papers
 Box 21
Series VII. National Science Foundation (NSF) Grant Material
NSF Grant/Proposal Information
 Box 10 Folder 45
1991
NSF Reports on Grants
 Box 10 Folder 46
1985
NSF
 Box 10 Folder 47
1985
NSF Grant Budget
 Box 11 Folder 1
1981-1983
NSF Ext.
 Box 11 Folder 2
1982
NSF Proposal
 Box 11 Folder 3
1982
NSF Renn.
 Box 11 Folder 4
1978-1981
NSF Grant
 Box 11 Folder 5
1978
Reviews and Responses
 Box 11 Folder 6
1991
Chang, R. - NSF
 Box 11 Folder 43
1991
NSF - Japan
 Box 11 Folder 47
1990-1996
NSF Materials
 Box 18
Series VIII. Other Professional Material
2000-2005
Chronological Conferences, Trip Information, and Talks Delivered
Box 11-12
1975-1996
Talk and Lecture Notes
 Box 12-13
1981-1996
Chronological Conferences, Trip Information, and Talks Delivered
Box 13-14
1989-1996
Organization, NSF Grant, and Professional Correspondence
Box 14-15
1992-2000
Teaching and Professional Career and Awards, Including Some Biographical Information
Box 15-16
1992-1996
Journal Editing and Submissions
 Box 16-18
1992-2001
Travel Information
 Box 18
1989-1997
Nominations, Recommendations, and Evaulations of Other Computer Scientists (Alphabetical)
Box 18-19
1987-1997
Committee, Association, and Other Organizational Duties
Box 19-20