×

zbMATH — the first resource for mathematics

Cocke, John

Compute Distance To:
Author ID: cocke.john Recent zbMATH articles by "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

Publications by Year

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.94005
Bahl, L. R.; Cocke, J.; Jelinek, F.; Raviv, J.
44
1974
Programming languages and their compilers. Preliminary notes. 2nd revised version. Zbl 0245.68003
Cocke, John; Schwartz, J. T.
27
1970
Universality of Tag systems with \(P = 2\). Zbl 0149.12405
Cocke, J.; Minsky, M.
13
1964
An algorithm for reduction of operator strength. Zbl 0361.68030
Cocke, John; Kennedy, Ken
7
1977
A program data flow analysis procedure. Zbl 0317.68016
Allen, F. E.; Cocke, J.
7
1976
Profitability computations on program flow graphs. Zbl 0367.68027
Cocke, John; Kennedy, Ken
1
1976
Configurable computers: a new class of general purpose machines. Zbl 0298.68042
Miller, Raymond E.; Cocke, John
1
1974
An algorithm for reduction of operator strength. Zbl 0361.68030
Cocke, John; Kennedy, Ken
7
1977
A program data flow analysis procedure. Zbl 0317.68016
Allen, F. E.; Cocke, J.
7
1976
Profitability computations on program flow graphs. Zbl 0367.68027
Cocke, John; Kennedy, Ken
1
1976
Optimal decoding of linear codes for minimizing symbol error rate. Zbl 0322.94005
Bahl, L. R.; Cocke, J.; Jelinek, F.; Raviv, J.
44
1974
Configurable computers: a new class of general purpose machines. Zbl 0298.68042
Miller, Raymond E.; Cocke, John
1
1974
Programming languages and their compilers. Preliminary notes. 2nd revised version. Zbl 0245.68003
Cocke, John; Schwartz, J. T.
27
1970
Universality of Tag systems with \(P = 2\). Zbl 0149.12405
Cocke, J.; Minsky, M.
13
1964
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

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.