Juris Hartmanis papers, 1965-2008.
Collection Number: 16-13-3786

Division of Rare and Manuscript Collections
Cornell University Library

DESCRIPTIVE SUMMARY

Title:
Juris Hartmanis papers, 1965-2008.
Repository:
Division of Rare and Manuscript Collections
Collection Number:
16-13-3786
Abstract:
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
Creator:
Hartmanis, Juris
Quanitities:
21 cubic feet.
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.
INFORMATION FOR USERS
Cite As:

Juris Hartmanis papers, #16-13-3786. Division of Rare and Manuscript Collections, Cornell University Library.
SUBJECTS

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