Edit Profile Cocke, John Compute Distance To: Compute Author ID: cocke.john Published as: Cocke, J.; Cocke, John External Links: MGP · Wikidata · dblp Awards: Turing Award (1987) Documents Indexed: 9 Publications since 1959, including 1 Book Biographic References: 1 Publication all top 5 Co-Authors 0 single-authored 2 Jelinek, Frederick 2 Kennedy, Ken 1 Allen, Frances Elizabeth 1 Bahl, Lalit R. 1 Kolsky, Harwood G. 1 Miller, Raymond E. 1 Minsky, Marvin Lee 1 Raviv, Josef 1 Schwartz, Jacob Theodore Serials 2 Communications of the ACM 1 Computers & Mathematics with Applications 1 IEEE Transactions on Information Theory 1 Information and Control 1 Journal of the Association for Computing Machinery Fields 5 Computer science (68-XX) 2 Information and communication theory, circuits (94-XX) 1 Combinatorics (05-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 7 Publications have been cited 100 times in 97 Documents Cited by ▼ Year ▼ Optimal decoding of linear codes for minimizing symbol error rate. Zbl 0322.94005Bahl, L. R.; Cocke, J.; Jelinek, F.; Raviv, J. 44 1974 Programming languages and their compilers. Preliminary notes. 2nd revised version. Zbl 0245.68003Cocke, John; Schwartz, J. T. 27 1970 Universality of Tag systems with \(P = 2\). Zbl 0149.12405Cocke, J.; Minsky, M. 13 1964 An algorithm for reduction of operator strength. Zbl 0361.68030Cocke, John; Kennedy, Ken 7 1977 A program data flow analysis procedure. Zbl 0317.68016Allen, F. E.; Cocke, J. 7 1976 Profitability computations on program flow graphs. Zbl 0367.68027Cocke, John; Kennedy, Ken 1 1976 Configurable computers: a new class of general purpose machines. Zbl 0298.68042Miller, Raymond E.; Cocke, John 1 1974 An algorithm for reduction of operator strength. Zbl 0361.68030Cocke, John; Kennedy, Ken 7 1977 A program data flow analysis procedure. Zbl 0317.68016Allen, F. E.; Cocke, J. 7 1976 Profitability computations on program flow graphs. Zbl 0367.68027Cocke, John; Kennedy, Ken 1 1976 Optimal decoding of linear codes for minimizing symbol error rate. Zbl 0322.94005Bahl, L. R.; Cocke, J.; Jelinek, F.; Raviv, J. 44 1974 Configurable computers: a new class of general purpose machines. Zbl 0298.68042Miller, Raymond E.; Cocke, John 1 1974 Programming languages and their compilers. Preliminary notes. 2nd revised version. Zbl 0245.68003Cocke, John; Schwartz, J. T. 27 1970 Universality of Tag systems with \(P = 2\). Zbl 0149.12405Cocke, J.; Minsky, M. 13 1964 all cited Publications top 5 cited Publications all top 5 Cited by 188 Authors 3 Alhazov, Artiom 3 Cao, Jialin 3 Deng, Jiamei 3 Dhamdhere, Dhananjay M. 3 Neary, Turlough 3 Rogozhin, Yurii 3 Ullman, Jeffrey David 3 Verlan, Sergey 3 Woods, Damien 2 Chierichetti, Flavio 2 Cohen, Shay B. 2 Hoeher, Peter Adam 2 Joshi, Sanjay M. 2 Kennedy, Ken 2 Kumar, Ravi K. 2 Marlowe, Thomas J. jun. 2 Paige, Robert L. 2 Panconesi, Alessandro 2 Quimper, Claude-Guy 2 Rousseau, Louis-Martin 2 Simmons, Robert jun. 2 Smith, Noah A. 2 Terolli, Erisa 1 Aanderaa, Stål O. 1 Abboud, Amir 1 Abedi, Ali 1 Ågren, Martin 1 Backofen, Rolf 1 Bačkurs, Artūrs 1 Bail, William G. 1 Bauch, Gerhard 1 Belsnes, Dag 1 Bernardy, Jean-Philippe 1 Boutros, Joseph Jean 1 Bowie, William S. 1 Cai, Jiazhen 1 Chandra, Girish 1 Chen, Min 1 Chuah, Teong Chee 1 Chugg, Keith M. 1 Chvalovský, Karel 1 Claessen, Koen 1 Cocke, John 1 Cohen, Jacques 1 Côté, Marie-Claude 1 Czech, Zbigniew J. 1 Dasgupta, Amitava 1 De Mol, Liesbeth 1 Dershowitz, Nachum 1 Deshmukh, Kaustubh 1 Duursma, Iwan Maynard 1 Ehrenfeucht, Andrzej 1 Engelfriet, Joost 1 Escribano, Francisco J. 1 Feng, Jiao 1 Fong, Amelia C. 1 Fosson, Sophie Marie 1 Freear, Steven 1 Gazda, Juraj 1 Gendron, Bernard 1 Golić, Jovan Dj. 1 Graversen, Therese 1 Griss, Martin L. 1 Guo, Junqi 1 Gurcan, Mustafa K. 1 Hartmann, Christian 1 Hearn, Anthony C. 1 Hell, Martin 1 Hirasawa, Shigeichi 1 Hoffmann, Christoph M. 1 Horvath, Peter 1 Isaac, J. R. 1 Jacquemard, Florent 1 Jacquet, Philippe 1 Johansson, Thomas 1 Kam, John B. 1 Kapur, Deepak 1 Kasyanov, Victor N. 1 Keller, Joshua P. 1 Khandani, Amir Keyvan 1 Knoop, Jens 1 Kobayashi, Naoto 1 Kocur, Dušan 1 Kogler, Marian 1 Kollár, Zsolt 1 Krom, Melven R. 1 Kuljus, Kristi 1 Kusume, Katsutoshi 1 Lauritzen, Steffen Lilholt 1 Lee, Po-Yuan 1 Lehmann, Frédéric 1 Lember, Jüri 1 Li, Li 1 Li, Ming 1 Li, Ming 1 Li, Ming 1 Li, Peng 1 Li, Ping 1 Li, Ping 1 Lim, Heng-Siong ...and 88 more Authors all top 5 Cited in 50 Serials 8 Theoretical Computer Science 7 Acta Informatica 4 Information Processing Letters 4 Journal of the Franklin Institute 4 The Journal of Symbolic Logic 3 International Journal of Computer & Information Sciences 3 Journal of Computer and System Sciences 3 Software. Practice & Experience 3 International Journal of Foundations of Computer Science 3 Journal of Shanghai University 3 EURASIP Journal on Advances in Signal Processing 3 Journal of Electrical and Computer Engineering 2 SIAM Journal on Computing 2 Signal Processing 2 International Journal of Computer Mathematics 2 Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology 2 Science China. Information Sciences 1 Artificial Intelligence 1 Computers & Mathematics with Applications 1 Communications on Pure and Applied Mathematics 1 Discrete Applied Mathematics 1 International Journal of Control 1 Journal of Statistical Physics 1 Computing 1 Inventiones Mathematicae 1 Journal of Optimization Theory and Applications 1 Networks 1 Circuits, Systems, and Signal Processing 1 Journal of Complexity 1 International Journal of Adaptive Control and Signal Processing 1 Designs, Codes and Cryptography 1 Communications in Statistics. Simulation and Computation 1 Cybernetics and Systems Analysis 1 Journal of Functional Programming 1 Journal of Heuristics 1 Constraints 1 Science in China. Series E 1 Chaos 1 Journal of Discrete Mathematical Sciences & Cryptography 1 Methodology and Computing in Applied Probability 1 Journal of Systems Science and Complexity 1 Theory and Practice of Logic Programming 1 Journal of Discrete Algorithms 1 Journal of Statistical Mechanics: Theory and Experiment 1 Signal, Image and Video Processing 1 Logical Methods in Computer Science 1 Algorithms 1 Cryptography and Communications 1 ISRN Signal Processing 1 Statistics and Computing all top 5 Cited in 16 Fields 53 Computer science (68-XX) 33 Information and communication theory, circuits (94-XX) 10 Combinatorics (05-XX) 6 Mathematical logic and foundations (03-XX) 6 Numerical analysis (65-XX) 6 Systems theory; control (93-XX) 5 Operations research, mathematical programming (90-XX) 3 Statistics (62-XX) 3 Biology and other natural sciences (92-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 Probability theory and stochastic processes (60-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.