×

zbMATH — the first resource for mathematics

Hartmanis, Juris

Compute Distance To:
Author ID: hartmanis.juris Recent zbMATH articles by "Hartmanis, Juris"
Published as: Hartmanis, J.; Hartmanis, Juris
External Links: MGP · Wikidata · dblp · GND
Awards: Turing Award (1993)
Documents Indexed: 113 Publications since 1956, including 5 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH

91 Publications have been cited 1,383 times in 991 Documents Cited by Year
On the computational complexity of algorithms. Zbl 0131.15404
Hartmanis, J.; Stearns, R. E.
159
1965
On isomorphisms and density of NP and other complete sets. Zbl 0356.68059
Berman, L.; Hartmanis, J.
142
1977
Algebraic structure theory of sequential machines. Zbl 0154.41701
Hartmanis, J.; Stearns, R. E.
103
1966
Hierarchies of memory limited computations. Zbl 0229.02033
Stearns, R. E.; Hartmanis, J.; Lewis, P. M. II
90
1970
Memory bounds for recognition of context-free and context-sensitive languages. Zbl 0272.68054
Lewis, P. M. II; Stearns, R. E.; Hartmanis, J.
56
1970
The Boolean hierarchy. I: Structural properties. Zbl 0676.68011
Cai, Jin-yi; Gundermann, Thomas; Hartmanis, Juris; Hemachandra, Lane A.; Sewelson, Vivian; Wagner, Klaus; Wechsung, Gerd
52
1988
Sparse sets in NP-P: EXPTIME versus NEXPTIME. Zbl 0586.68042
Hartmanis, J.; Immerman, N.; Sewelson, V.
43
1985
On non-determinacy in simple computing devices. Zbl 0229.68014
Hartmanis, J.
41
1972
On overview of the theory of computational complexity. Zbl 0226.68024
Hartmanis, J.; Hopcroft, J. E.
38
1971
Complexity classes without machines: on complete languages for UP. Zbl 0655.68044
Hartmanis, Juris; Hemachandra, Lane A.
33
1988
On polynomial time isomorphisms of complete sets. Zbl 0359.68051
Berman, L.; Hartmanis, J.
31
1977
Context-free languages and Turing machine computations. Zbl 0189.29101
Hartmanis, J.
31
1967
Computation times of NP sets of different densities. Zbl 0985.68515
Hartmanis, J.; Yesha, Y.
30
1984
The Boolean hierarchy. II: Applications. Zbl 0676.68012
Cai, Jin-Yi; Gundermann, Thomas; Hartmanis, Juris; Hemachandra, Lane A.; Sewelson, Vivian; Wagner, Klaus; Wechsung, Gerd
24
1989
On the recognition of primes by automata. Zbl 0164.05201
Hartmanis, J.; Shank, H.
24
1968
On sparse sets in NP-P. Zbl 0501.68014
Hartmanis, Juris
23
1983
Computational complexity of one-tape Turing machine computations. Zbl 0162.31703
Hartmanis, J.
19
1968
Space bounded computations: Review and new separation results. Zbl 0745.68051
Ranjan, Desh; Chang, Richard; Hartmanis, Juris
18
1991
On Hausdorff and topological dimensions of the Kolmogorov complexity of the real line. Zbl 0824.68054
Cai, Jin-Yi; Hartmanis, Juris
17
1994
One-way functions and the nonisomorphism of NP-complete sets. Zbl 0718.03031
Hartmanis, Juris; Hemachandra, Lane A.
17
1991
On the succinctness of different representations of languages. Zbl 0453.68054
Hartmanis, J.
17
1980
What makes some language theory problems undecidable. Zbl 0198.03001
Hartmanis, J.; Hopcroft, J. E.
16
1970
Regularity preserving modifications of regular expressions. Zbl 0112.11307
Stearns, R. E.; Hartmanis, J.
16
1963
Languages simultaneously complete for one-way and two-way log-tape automata. Zbl 0471.68059
Hartmanis, J.; Mahaney, S.
15
1981
On log-tape isomorphisms of complete sets. Zbl 0387.68035
Hartmanis, J.
15
1978
On Goedel speed-up and succinctness of language representations. Zbl 0526.68034
Hartmanis, J.
14
1983
Feasible computations and provable complexity properties. Zbl 0383.68043
Hartmanis, Juris
14
1978
Tape-reversal bounded Turing machine computations. Zbl 0259.68020
Hartmanis, J.
14
1968
On the lattice of topologies. Zbl 0087.37403
Hartmanis, Juris
13
1958
The random oracle hypothesis is false. Zbl 0813.68100
Chang, Richard; Chor, Benny; Goldreich, Oded; Hartmanis, Juris; Håstad, Johan; Ranjan, Desh; Rohatgi, Pankaj
12
1994
On tape bounds for single letter alphabet language processing. Zbl 0351.68014
Hartmanis, J.; Berman, L.
11
1977
Classifications of computations by time and memory requirements. Zbl 0203.16401
Hartmanis, J.; Lewis, P. M. II; Stearns, R. E.
11
1965
The LBA problem and its importance in the theory of computing. Zbl 0301.68056
Hartmanis, J.; Hunt, H. B. III
10
1974
Computational complexity of random access stored program machines. Zbl 0222.68020
Hartmanis, J.
10
1971
On the weight of computations. Zbl 0825.68389
Hartmanis, Juris
8
1995
The LBA problem and its importance in the theory of computing. Zbl 0352.68100
Hartmanis, J.; Hunt, H. B.
8
1973
Sets of numbers defined by finite automata. Zbl 0149.01002
Hartmanis, J.; Stearns, R. E.
8
1967
Robust machines accept easy sets. Zbl 0701.68028
Hartmanis, Juris; Hemachandra, Lane A.
7
1990
On isomorphisms and density of NP and other complete sets. Zbl 0365.68045
Hartmanis, J.; Berman, L.
7
1976
Loop-free structure of sequential machines. Zbl 0099.34503
Hartmanis, J.
7
1962
New developments in structural complexity theory. Zbl 0699.68065
Hartmanis, J.
6
1990
On sparse oracles separating feasible complexity classes. Zbl 0658.68055
Hartmanis, Juris; Hemachandra, Lane
6
1988
On complete problems for \(NP\cap C_ 0NP\). Zbl 0576.68032
Hartmanis, Juris; Immerman, Neil
6
1985
On simple Goedel numerings and translations. Zbl 0272.68046
Hartmanis, J.; Baker, T. P.
6
1975
The structural complexity column - Some observations about relativization of space bounded computations. Zbl 0667.68062
Hartmanis, Juris; Chang, R.; Kadin, J.; Mitchell, S.
5
1988
Complexity classes without machines: on complete languages for UP. Zbl 0655.68043
Hartmanis, Juris; Hemachandra, Lane
5
1986
Independence results about context-free languages and lower bounds. Zbl 0586.68029
Hartmanis, Juris
5
1985
On the structure of feasible computations. Zbl 0341.68031
Hartmanis, J.; Simon, J.
5
1975
Two memory bounds for the recognition of primes by automata. Zbl 0175.00804
Hartmanis, J.; Shank, H.
5
1969
Pair algebra and its application to automata theory. Zbl 0197.43604
Hartmanis, J.; Stearns, R. E.
5
1964
Symbolic analysis of a decomposition of information processing machines. Zbl 0209.31101
Hartmanis, J.
5
1960
Lattice theory of generalized partitions. Zbl 0089.37002
Hartmanis, Juris
5
1959
Two embedding theorems for finite lattices. Zbl 0074.36002
Hartmanis, Juris
5
1956
A note on natural complete sets and Goedel numberings. Zbl 0483.03026
Hartmanis, J.
4
1982
Complexity of formal translations and speed-up results. Zbl 0257.68036
Constable, R. L.; Hartmanis, J.
4
1971
The use of lists in the study of undecidable problems in automata theory. Zbl 0234.02024
Hartmanis, J.; Lewis, F. D.
4
1971
What makes some language theory problems undecidable. Zbl 0231.68031
Hartmanis, J.; Hopcroft, J. E.
4
1971
Two memory bounds for the recognition of primes by automata. Zbl 0179.02403
Hartmanis, J.; Shank, H.
4
1969
Relativization: A revisionistic retrospective. Zbl 0746.68033
Hartmanis, Juris; Chang, R.; Chari, S.; Ranjan, D.; Rohatgi, P.
3
1992
New developments in structural complexity theory. Zbl 0649.68047
Hartmanis, J.
3
1988
The structural complexity column - The collapsing hierarchies. Zbl 0661.68047
Hartmanis, Juris
3
1987
Containment, separation, complete sets, and immunity of complexity classes. Zbl 0654.68051
Hartmanis, Juris; Li, Ming; Yesha, Yaacov
3
1986
On sparse oracles separating feasible complexity classes. Zbl 0605.68034
Hartmanis, Juris; Hemachandra, Lane
3
1986
On the succinctness of different representations of languages. Zbl 0412.68076
Hartmanis, J.
3
1979
Computational complexity of formal translations. Zbl 0302.68066
Hartmanis, J.
3
1975
On simple Goedel numberings and translations. Zbl 0283.68055
Hartmanis, J.; Baker, T. P.
3
1974
Group theoretic characterization of linear permutation automata. Zbl 0256.94051
Hartmanis, J.; Walter, H.
3
1973
Homomorphic images of linear sequential machines. Zbl 0174.03404
Hartmanis, J.; Davis, W. A.
3
1967
On the computational complexity of algorithms. Zbl 0156.25604
Hartmanis, J.; Stearns, R. E.
3
1967
A study of feedback and errors in sequential machines. Zbl 0117.11505
Hartmanis, J.; Stearns, R. E.
3
1963
Some dangers in state reduction of sequential machines. Zbl 0105.32301
Hartmanis, J.; Stearns, R. E.
3
1962
Generalized partitions and lattice embedding theorems. Zbl 0113.35901
Hartmanis, J.
3
1961
Space bounded computations: Review and new separation results. Zbl 0755.68053
Hartmanis, J.; Ranjan, Desh
2
1989
Relations between diagonalization, proof systems, and complexity gaps. Zbl 0398.68013
Hartmanis, Juris
2
1979
On effective speed-up and long proofs of trivial theorems in formal theories. Zbl 0399.03042
Hartmanis, J.
2
1976
An overview of the theory of computational complexity. Zbl 0289.68011
Hartmanis, J.; Hopcroft, J. E.
2
1974
Size arguments in the study of computation speeds. Zbl 0265.68029
Hartmanis, J.
2
1971
On the complexity of undecidable problems in automata theory. Zbl 0182.02403
Hartmanis, J.
2
1969
On memory requirements for context-free language recognition. Zbl 0155.01801
Hartmanis, J.
2
1967
Pair algebra and its application to automata theory. Zbl 0128.12001
Hartmanis, J.; Stearns, R. E.
2
1964
The application of some basic inequalities for entropy. Zbl 0096.11001
Hartmanis, Juris
2
1959
On the computing paradigm and computational complexity. Zbl 1193.68116
Hartmanis, Juris
1
1995
Overview of computational complexity theory. Zbl 0675.68031
Hartmanis, Juris
1
1989
Selected papers presented at the 18th annual ACM symposium on theory of computing, STOC ’86, held May 28–30, 1986 in Berkeley, California. Zbl 0656.00030
Hartmanis, Juris (ed.)
1
1989
The structural complexity column: On the importance of being \(\Pi_2\)-hard. Zbl 1023.68585
Hartmanis, Juris
1
1989
Structural complexity column - Sparse complete sets of NP and the optimal collapse of the polynomial hierarchy. Zbl 0661.68046
Hartmanis, J.
1
1987
Observations about the development of theoretical computer science. Zbl 0998.01539
Hartmanis, Juris
1
1981
An essay about research on sparse NP complete sets. Zbl 0444.68032
Hartmanis, J.; Mahaney, S. R.
1
1980
Computational complexity of one-tape Turing machine computations. Zbl 0223.02037
Hartmanis, J.
1
1970
Two tests for the linearity of sequential machines. Zbl 0143.02001
Hartmanis, Juris
1
1965
Loop-free structure of sequential machines. Zbl 0163.14304
Hartmanis, J.
1
1962
On the weight of computations. Zbl 0825.68389
Hartmanis, Juris
8
1995
On the computing paradigm and computational complexity. Zbl 1193.68116
Hartmanis, Juris
1
1995
On Hausdorff and topological dimensions of the Kolmogorov complexity of the real line. Zbl 0824.68054
Cai, Jin-Yi; Hartmanis, Juris
17
1994
The random oracle hypothesis is false. Zbl 0813.68100
Chang, Richard; Chor, Benny; Goldreich, Oded; Hartmanis, Juris; Håstad, Johan; Ranjan, Desh; Rohatgi, Pankaj
12
1994
Relativization: A revisionistic retrospective. Zbl 0746.68033
Hartmanis, Juris; Chang, R.; Chari, S.; Ranjan, D.; Rohatgi, P.
3
1992
Space bounded computations: Review and new separation results. Zbl 0745.68051
Ranjan, Desh; Chang, Richard; Hartmanis, Juris
18
1991
One-way functions and the nonisomorphism of NP-complete sets. Zbl 0718.03031
Hartmanis, Juris; Hemachandra, Lane A.
17
1991
Robust machines accept easy sets. Zbl 0701.68028
Hartmanis, Juris; Hemachandra, Lane A.
7
1990
New developments in structural complexity theory. Zbl 0699.68065
Hartmanis, J.
6
1990
The Boolean hierarchy. II: Applications. Zbl 0676.68012
Cai, Jin-Yi; Gundermann, Thomas; Hartmanis, Juris; Hemachandra, Lane A.; Sewelson, Vivian; Wagner, Klaus; Wechsung, Gerd
24
1989
Space bounded computations: Review and new separation results. Zbl 0755.68053
Hartmanis, J.; Ranjan, Desh
2
1989
Overview of computational complexity theory. Zbl 0675.68031
Hartmanis, Juris
1
1989
Selected papers presented at the 18th annual ACM symposium on theory of computing, STOC ’86, held May 28–30, 1986 in Berkeley, California. Zbl 0656.00030
Hartmanis, Juris (ed.)
1
1989
The structural complexity column: On the importance of being \(\Pi_2\)-hard. Zbl 1023.68585
Hartmanis, Juris
1
1989
The Boolean hierarchy. I: Structural properties. Zbl 0676.68011
Cai, Jin-yi; Gundermann, Thomas; Hartmanis, Juris; Hemachandra, Lane A.; Sewelson, Vivian; Wagner, Klaus; Wechsung, Gerd
52
1988
Complexity classes without machines: on complete languages for UP. Zbl 0655.68044
Hartmanis, Juris; Hemachandra, Lane A.
33
1988
On sparse oracles separating feasible complexity classes. Zbl 0658.68055
Hartmanis, Juris; Hemachandra, Lane
6
1988
The structural complexity column - Some observations about relativization of space bounded computations. Zbl 0667.68062
Hartmanis, Juris; Chang, R.; Kadin, J.; Mitchell, S.
5
1988
New developments in structural complexity theory. Zbl 0649.68047
Hartmanis, J.
3
1988
The structural complexity column - The collapsing hierarchies. Zbl 0661.68047
Hartmanis, Juris
3
1987
Structural complexity column - Sparse complete sets of NP and the optimal collapse of the polynomial hierarchy. Zbl 0661.68046
Hartmanis, J.
1
1987
Complexity classes without machines: on complete languages for UP. Zbl 0655.68043
Hartmanis, Juris; Hemachandra, Lane
5
1986
Containment, separation, complete sets, and immunity of complexity classes. Zbl 0654.68051
Hartmanis, Juris; Li, Ming; Yesha, Yaacov
3
1986
On sparse oracles separating feasible complexity classes. Zbl 0605.68034
Hartmanis, Juris; Hemachandra, Lane
3
1986
Sparse sets in NP-P: EXPTIME versus NEXPTIME. Zbl 0586.68042
Hartmanis, J.; Immerman, N.; Sewelson, V.
43
1985
On complete problems for \(NP\cap C_ 0NP\). Zbl 0576.68032
Hartmanis, Juris; Immerman, Neil
6
1985
Independence results about context-free languages and lower bounds. Zbl 0586.68029
Hartmanis, Juris
5
1985
Computation times of NP sets of different densities. Zbl 0985.68515
Hartmanis, J.; Yesha, Y.
30
1984
On sparse sets in NP-P. Zbl 0501.68014
Hartmanis, Juris
23
1983
On Goedel speed-up and succinctness of language representations. Zbl 0526.68034
Hartmanis, J.
14
1983
A note on natural complete sets and Goedel numberings. Zbl 0483.03026
Hartmanis, J.
4
1982
Languages simultaneously complete for one-way and two-way log-tape automata. Zbl 0471.68059
Hartmanis, J.; Mahaney, S.
15
1981
Observations about the development of theoretical computer science. Zbl 0998.01539
Hartmanis, Juris
1
1981
On the succinctness of different representations of languages. Zbl 0453.68054
Hartmanis, J.
17
1980
An essay about research on sparse NP complete sets. Zbl 0444.68032
Hartmanis, J.; Mahaney, S. R.
1
1980
On the succinctness of different representations of languages. Zbl 0412.68076
Hartmanis, J.
3
1979
Relations between diagonalization, proof systems, and complexity gaps. Zbl 0398.68013
Hartmanis, Juris
2
1979
On log-tape isomorphisms of complete sets. Zbl 0387.68035
Hartmanis, J.
15
1978
Feasible computations and provable complexity properties. Zbl 0383.68043
Hartmanis, Juris
14
1978
On isomorphisms and density of NP and other complete sets. Zbl 0356.68059
Berman, L.; Hartmanis, J.
142
1977
On polynomial time isomorphisms of complete sets. Zbl 0359.68051
Berman, L.; Hartmanis, J.
31
1977
On tape bounds for single letter alphabet language processing. Zbl 0351.68014
Hartmanis, J.; Berman, L.
11
1977
On isomorphisms and density of NP and other complete sets. Zbl 0365.68045
Hartmanis, J.; Berman, L.
7
1976
On effective speed-up and long proofs of trivial theorems in formal theories. Zbl 0399.03042
Hartmanis, J.
2
1976
On simple Goedel numerings and translations. Zbl 0272.68046
Hartmanis, J.; Baker, T. P.
6
1975
On the structure of feasible computations. Zbl 0341.68031
Hartmanis, J.; Simon, J.
5
1975
Computational complexity of formal translations. Zbl 0302.68066
Hartmanis, J.
3
1975
The LBA problem and its importance in the theory of computing. Zbl 0301.68056
Hartmanis, J.; Hunt, H. B. III
10
1974
On simple Goedel numberings and translations. Zbl 0283.68055
Hartmanis, J.; Baker, T. P.
3
1974
An overview of the theory of computational complexity. Zbl 0289.68011
Hartmanis, J.; Hopcroft, J. E.
2
1974
The LBA problem and its importance in the theory of computing. Zbl 0352.68100
Hartmanis, J.; Hunt, H. B.
8
1973
Group theoretic characterization of linear permutation automata. Zbl 0256.94051
Hartmanis, J.; Walter, H.
3
1973
On non-determinacy in simple computing devices. Zbl 0229.68014
Hartmanis, J.
41
1972
On overview of the theory of computational complexity. Zbl 0226.68024
Hartmanis, J.; Hopcroft, J. E.
38
1971
Computational complexity of random access stored program machines. Zbl 0222.68020
Hartmanis, J.
10
1971
Complexity of formal translations and speed-up results. Zbl 0257.68036
Constable, R. L.; Hartmanis, J.
4
1971
The use of lists in the study of undecidable problems in automata theory. Zbl 0234.02024
Hartmanis, J.; Lewis, F. D.
4
1971
What makes some language theory problems undecidable. Zbl 0231.68031
Hartmanis, J.; Hopcroft, J. E.
4
1971
Size arguments in the study of computation speeds. Zbl 0265.68029
Hartmanis, J.
2
1971
Hierarchies of memory limited computations. Zbl 0229.02033
Stearns, R. E.; Hartmanis, J.; Lewis, P. M. II
90
1970
Memory bounds for recognition of context-free and context-sensitive languages. Zbl 0272.68054
Lewis, P. M. II; Stearns, R. E.; Hartmanis, J.
56
1970
What makes some language theory problems undecidable. Zbl 0198.03001
Hartmanis, J.; Hopcroft, J. E.
16
1970
Computational complexity of one-tape Turing machine computations. Zbl 0223.02037
Hartmanis, J.
1
1970
Two memory bounds for the recognition of primes by automata. Zbl 0175.00804
Hartmanis, J.; Shank, H.
5
1969
Two memory bounds for the recognition of primes by automata. Zbl 0179.02403
Hartmanis, J.; Shank, H.
4
1969
On the complexity of undecidable problems in automata theory. Zbl 0182.02403
Hartmanis, J.
2
1969
On the recognition of primes by automata. Zbl 0164.05201
Hartmanis, J.; Shank, H.
24
1968
Computational complexity of one-tape Turing machine computations. Zbl 0162.31703
Hartmanis, J.
19
1968
Tape-reversal bounded Turing machine computations. Zbl 0259.68020
Hartmanis, J.
14
1968
Context-free languages and Turing machine computations. Zbl 0189.29101
Hartmanis, J.
31
1967
Sets of numbers defined by finite automata. Zbl 0149.01002
Hartmanis, J.; Stearns, R. E.
8
1967
Homomorphic images of linear sequential machines. Zbl 0174.03404
Hartmanis, J.; Davis, W. A.
3
1967
On the computational complexity of algorithms. Zbl 0156.25604
Hartmanis, J.; Stearns, R. E.
3
1967
On memory requirements for context-free language recognition. Zbl 0155.01801
Hartmanis, J.
2
1967
Algebraic structure theory of sequential machines. Zbl 0154.41701
Hartmanis, J.; Stearns, R. E.
103
1966
On the computational complexity of algorithms. Zbl 0131.15404
Hartmanis, J.; Stearns, R. E.
159
1965
Classifications of computations by time and memory requirements. Zbl 0203.16401
Hartmanis, J.; Lewis, P. M. II; Stearns, R. E.
11
1965
Two tests for the linearity of sequential machines. Zbl 0143.02001
Hartmanis, Juris
1
1965
Pair algebra and its application to automata theory. Zbl 0197.43604
Hartmanis, J.; Stearns, R. E.
5
1964
Pair algebra and its application to automata theory. Zbl 0128.12001
Hartmanis, J.; Stearns, R. E.
2
1964
Regularity preserving modifications of regular expressions. Zbl 0112.11307
Stearns, R. E.; Hartmanis, J.
16
1963
A study of feedback and errors in sequential machines. Zbl 0117.11505
Hartmanis, J.; Stearns, R. E.
3
1963
Loop-free structure of sequential machines. Zbl 0099.34503
Hartmanis, J.
7
1962
Some dangers in state reduction of sequential machines. Zbl 0105.32301
Hartmanis, J.; Stearns, R. E.
3
1962
Loop-free structure of sequential machines. Zbl 0163.14304
Hartmanis, J.
1
1962
Generalized partitions and lattice embedding theorems. Zbl 0113.35901
Hartmanis, J.
3
1961
Symbolic analysis of a decomposition of information processing machines. Zbl 0209.31101
Hartmanis, J.
5
1960
Lattice theory of generalized partitions. Zbl 0089.37002
Hartmanis, Juris
5
1959
The application of some basic inequalities for entropy. Zbl 0096.11001
Hartmanis, Juris
2
1959
On the lattice of topologies. Zbl 0087.37403
Hartmanis, Juris
13
1958
Two embedding theorems for finite lattices. Zbl 0074.36002
Hartmanis, Juris
5
1956
all top 5

Cited by 977 Authors

40 Hemaspaandra, Lane A.
29 Hartmanis, Juris
21 Kutrib, Martin
18 Ibarra, Oscar H.
16 Geffert, Viliam
15 Allender, Eric W.
14 Malcher, Andreas
13 Ko, Ker-I
12 Rothe, Jörg-Matthias
11 Book, Ronald Vernon
11 Mitrana, Victor
10 Okhotin, Alexander
10 Schöning, Uwe
9 Beigel, Richard
9 Fortnow, Lance J.
9 Glaßer, Christian
9 Holzer, Markus
9 Lutz, Jack H.
9 Ogihara, Mitsunori
9 Watanabe, Osamu
8 Homer, Steven
8 Inoue, Katsushi
8 Selman, Alan L.
7 Buhrman, Harry
7 Cook, Stephen Arthur
7 Mayordomo, Elvira
7 Mereghetti, Carlo
7 Meyer, Albert Ronald
7 Pavan, Aduri
7 Szepietowski, Andrzej
7 Takanami, Itsuo
7 Zhirabok, Alexey N.
6 Adamczewski, Boris
6 Cai, Jin-Yi
6 Chang, Richard
6 Greibach, Sheila A.
6 Hitchcock, John M.
6 Huynh, Dung T.
6 Köbler, Johannes
6 Manea, Florin
6 Pin, Jean-Eric
6 Royer, James S.
6 Seiferas, Joel I.
5 Agrawal, Manindra
5 Arvind, Vikraman
5 Case, John
5 Fischer, Patrick Carl
5 Fu, Bin
5 Goldreich, Oded
5 Goldsmith, Judy
5 Hemaspaandra, Edith
5 Ito, Akira
5 Kotta, Ulle
5 Lewis, Forbes D.
5 Mundhenk, Martin
5 Palano, Beatrice
5 Ravikumar, Bala
5 Regan, Kenneth W.
5 Shumsky, Alexey Ye.
5 Silvestri, Riccardo
5 Stockmeyer, Larry J.
5 Torenvliet, Leen
5 Watson, William Stephen
5 Wendlandt, Matthias
5 Yeh, Raymond T.
5 Young, Paul Thomas
5 Zimand, Marius
4 Aho, Alfred Vaino
4 Backhouse, Roland C.
4 Balcázar, José Luis
4 Borchert, Bernd
4 Brown, Jason Ira
4 Chrobak, Marek
4 Gasarch, William Ian
4 Homan, Christopher M.
4 Jakobi, Sebastian
4 Joseph, Deborah
4 Kaldmäe, Arvo
4 Kurtz, Stuart A.
4 Leivant, Daniel M.
4 Long, Timothy J.
4 Mahaney, Stephen R.
4 Martín-Vide, Carlos
4 Mehlhorn, Kurt
4 Ogiwara, Mitsunori
4 Pighizzini, Giovanni
4 Rosenberg, Arnold Leonard
4 Spakowski, Holger
4 Staiger, Ludwig
4 Sudborough, Ivan Hal
4 Thakur, Mayur
4 Travers, Stephen D.
4 Tripathi, Rahul
4 Ullman, Jeffrey David
4 Wagner, Klaus W.
4 Yamakami, Tomoyuki
4 Zhang, Liyu
3 Alt, Helmut
3 Ambos-Spies, Klaus
3 Berman, Leonard
...and 877 more Authors
all top 5

Cited in 132 Serials

213 Theoretical Computer Science
153 Journal of Computer and System Sciences
81 Mathematical Systems Theory
69 Information Processing Letters
57 Information and Computation
27 Theory of Computing Systems
18 International Journal of Foundations of Computer Science
15 Annals of Pure and Applied Logic
13 Computational Complexity
10 Acta Informatica
10 Kybernetika
10 Transactions of the American Mathematical Society
8 Discrete Mathematics
8 The Journal of Symbolic Logic
8 RAIRO, Informatique Théorique
8 International Journal of Computer Mathematics
7 Journal of the Franklin Institute
7 Information Sciences
7 RAIRO. Informatique Théorique et Applications
6 Journal of Soviet Mathematics
6 Natural Computing
5 Artificial Intelligence
5 Discrete Applied Mathematics
5 Computing
5 Cybernetics
4 International Journal of Computer & Information Sciences
4 Proceedings of the American Mathematical Society
4 SIAM Journal on Computing
4 Journal of Complexity
4 Mathematical Logic Quarterly (MLQ)
4 RAIRO. Theoretical Informatics and Applications
3 Computers & Mathematics with Applications
3 Mathematical Biosciences
3 Calcolo
3 Journal of Combinatorial Theory. Series B
3 Order
3 Acta Mathematicae Applicatae Sinica. English Series
3 Aequationes Mathematicae
3 Automation and Remote Control
3 Journal de Théorie des Nombres de Bordeaux
3 Journal of Mathematical Sciences (New York)
3 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
3 International Journal of Applied Mathematics and Computer Science
3 Proceedings of the Estonian Academy of Sciences
3 RAIRO. Theoretical Informatics and Applications
3 Computer Science Review
2 International Journal of General Systems
2 International Journal of Systems Science
2 International Journal of Theoretical Physics
2 Mathematical Proceedings of the Cambridge Philosophical Society
2 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM)
2 Monatshefte für Mathematik
2 Studia Logica
2 Theory and Decision
2 Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete
2 Topology and its Applications
2 Cybernetics and Systems
2 Algorithmica
2 MSCS. Mathematical Structures in Computer Science
2 European Journal of Operational Research
2 Journal of Computer and Systems Sciences International
2 Logical Methods in Computer Science
2 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge
2 ACM Transactions on Computation Theory
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Israel Journal of Mathematics
1 Mathematical Notes
1 Problems of Information Transmission
1 Ukrainian Mathematical Journal
1 Mathematics of Computation
1 The Mathematical Intelligencer
1 Acta Mathematica
1 Advances in Mathematics
1 Algebra Universalis
1 Annales de l’Institut Fourier
1 Automatica
1 Journal of Algebra
1 Journal of Combinatorial Theory. Series A
1 Journal of Computational and Applied Mathematics
1 Journal of Philosophical Logic
1 Kybernetes
1 Mathematische Annalen
1 Mathematische Nachrichten
1 Mathematica Slovaca
1 Notre Dame Journal of Formal Logic
1 Semigroup Forum
1 European Journal of Combinatorics
1 Advances in Applied Mathematics
1 Mathematical Social Sciences
1 Acta Mathematica Hungarica
1 Graphs and Combinatorics
1 Journal of Symbolic Computation
1 New Generation Computing
1 Discrete & Computational Geometry
1 Journal of Automated Reasoning
1 MCSS. Mathematics of Control, Signals, and Systems
1 Computational Geometry
1 International Journal of Algebra and Computation
1 Discrete Mathematics and Applications
1 Computational Mathematics and Mathematical Physics
...and 32 more Serials
all top 5

Cited in 36 Fields

845 Computer science (68-XX)
253 Mathematical logic and foundations (03-XX)
42 Information and communication theory, circuits (94-XX)
27 Combinatorics (05-XX)
27 Number theory (11-XX)
25 Group theory and generalizations (20-XX)
25 Systems theory; control (93-XX)
21 Order, lattices, ordered algebraic structures (06-XX)
15 Operations research, mathematical programming (90-XX)
12 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
11 General topology (54-XX)
10 General algebraic systems (08-XX)
9 Measure and integration (28-XX)
7 Probability theory and stochastic processes (60-XX)
6 Quantum theory (81-XX)
6 Biology and other natural sciences (92-XX)
5 Category theory; homological algebra (18-XX)
5 Dynamical systems and ergodic theory (37-XX)
5 Numerical analysis (65-XX)
4 Convex and discrete geometry (52-XX)
3 Commutative algebra (13-XX)
2 Algebraic geometry (14-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
1 General and overarching topics; collections (00-XX)
1 History and biography (01-XX)
1 Field theory and polynomials (12-XX)
1 Nonassociative rings and algebras (17-XX)
1 Topological groups, Lie groups (22-XX)
1 Functions of a complex variable (30-XX)
1 Ordinary differential equations (34-XX)
1 Approximations and expansions (41-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Geometry (51-XX)
1 Manifolds and cell complexes (57-XX)
1 Statistics (62-XX)
1 Mechanics of particles and systems (70-XX)

Citations by Year

Wikidata Timeline