×

Mathematical Systems Theory

An International Journal on Mathematical Computing Theory

Short Title: Math. Syst. Theory
Publisher: Springer, New York
ISSN: 0025-5661
Online: http://link.springer.com/journal/volumesAndIssues/224
Successor: Theory of Computing Systems
Comments: Journal; No longer indexed
Documents Indexed: 747 Publications (1967–1996)
References Indexed: 734 Publications with 10,497 References.
all top 5

Authors

9 Book, Ronald Vernon
9 Rosenberg, Arnold Leonard
8 Hájek, Otomar
7 Courcelle, Bruno
7 Ibarra, Oscar H.
6 Ginsburg, Seymour
6 Porter, William A.
5 Aho, Alfred Vaino
5 Hartmanis, Juris
5 Martin, Clyde Franklin
5 Sears, Michael
5 Ullman, Jeffrey David
5 Wotschke, Detlef
5 Yorke, James Alan
4 Coven, Ethan M.
4 Engelfriet, Joost
4 Galil, Zvi
4 Goldstine, Jonathan
4 Greibach, Sheila A.
4 Hemaspaandra, Lane A.
4 Hopcroft, John Edward H.
4 Jones, Neil D.
4 Kalouptsidis, Nicholas
4 Kintala, Chandra
4 Lew, John S.
4 Lynch, Nancy Ann
4 Otto, Friedrich
4 Padgett, William Jowayne
4 Pippenger, Nicholas J.
4 Rozenberg, Grzegorz
4 Selman, Alan Louis
4 Shank, Herbert S.
4 van der Schaft, Arjan J.
4 Walters, Peter
4 Wood, Derick
3 Blum, Edward Kenneth
3 Bowen, Rufus
3 Bridgland, T. F. jun.
3 Byrnes, Christopher Ian
3 Cai, Jin-Yi
3 Cobham, Alan
3 Cushing, Jim M.
3 DeSantis, Romano M.
3 Elliott, David L.
3 Gauthier, Jean-Paul A.
3 Halpern, Joseph Yehuda
3 Hermann, Robert
3 Hunt, Louis R.
3 Latteux, Michel
3 Loui, Michael C.
3 Meinel, Christoph
3 Meyer, Albert Ronald
3 Reddy, William L.
3 Rothenberg, David
3 Salomaa, Arto Kustaa
3 Slutzki, Giora
3 Toda, Seinosuke
3 Tsokos, Christos P.
3 Ura, Taro
3 Wagner, Klaus W.
3 Wallace, Alexander Doniphan
3 Wrathall, Celia
2 Angluin, Dana
2 Annexstein, Fred S.
2 Aravena, Jorge L.
2 Arnold, André
2 Autebert, Jean-Michel
2 Bacciotti, Andrea
2 Balcázar, José Luis
2 Bar-Noy, Amotz
2 Baumslag, Marc
2 Beck, Anatole
2 Bednarek, Alexander R.
2 Benson, David B.
2 Berg, Kenneth R.
2 Bernfeld, Stephen R.
2 Bhatia, Nam Parshad
2 Birget, Jean-Camille
2 Boasson, Luc
2 Bownds, John M.
2 Brandenburg, Franz-Josef
2 Bucy, Richard S.
2 Celle, Frédéric
2 Celoni, James R.
2 Chang, Richard
2 Choffrut, Christian
2 Corduneanu, Constantin
2 Cremers, Armin B.
2 Crouch, Peter E.
2 De Vries, Jan
2 Diekert, Volker
2 Ehrenfeucht, Andrzej
2 Even, Shimon
2 Feintuch, Avraham
2 Fischer, Patrick Carl
2 Frougny, Christiane
2 Fu, Bin
2 Fülöp, Zoltán
2 Gallaire, Hervé
2 Green, Frederic
...and 673 more Authors
all top 5

Fields

354 Computer science (68-XX)
103 Systems theory; control (93-XX)
71 Mathematical logic and foundations (03-XX)
66 General topology (54-XX)
39 Ordinary differential equations (34-XX)
30 Information and communication theory, circuits (94-XX)
29 Measure and integration (28-XX)
26 Probability theory and stochastic processes (60-XX)
24 Combinatorics (05-XX)
24 Dynamical systems and ergodic theory (37-XX)
19 Operator theory (47-XX)
15 Functional analysis (46-XX)
14 Group theory and generalizations (20-XX)
13 Integral equations (45-XX)
12 Number theory (11-XX)
12 Topological groups, Lie groups (22-XX)
12 Manifolds and cell complexes (57-XX)
9 Order, lattices, ordered algebraic structures (06-XX)
9 Linear and multilinear algebra; matrix theory (15-XX)
8 Category theory; homological algebra (18-XX)
6 Partial differential equations (35-XX)
6 Calculus of variations and optimal control; optimization (49-XX)
6 Global analysis, analysis on manifolds (58-XX)
6 Mechanics of particles and systems (70-XX)
4 Commutative algebra (13-XX)
4 Approximations and expansions (41-XX)
4 Statistics (62-XX)
4 Operations research, mathematical programming (90-XX)
3 General algebraic systems (08-XX)
3 Sequences, series, summability (40-XX)
3 Differential geometry (53-XX)
3 Numerical analysis (65-XX)
3 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2 History and biography (01-XX)
2 Field theory and polynomials (12-XX)
2 Associative rings and algebras (16-XX)
2 Functions of a complex variable (30-XX)
2 Quantum theory (81-XX)
2 Biology and other natural sciences (92-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Difference and functional equations (39-XX)
1 Abstract harmonic analysis (43-XX)
1 Geometry (51-XX)
1 Algebraic topology (55-XX)
1 Relativity and gravitational theory (83-XX)

Publications by Year

Citations contained in zbMATH Open

627 Publications have been cited 9,082 times in 7,395 Documents Cited by Year
Disjointness in ergodic theory, minimal sets, and a problem in Diophantine approximation. Zbl 0146.28502
Furstenberg, Harry
448
1967
Endomorphisms and automorphisms of the shift dynamical system. Zbl 0182.56901
Hedlund, G. A.
420
1969
Parity, circuits, and the polynomial-time hierarchy. Zbl 0534.94008
Furst, Merrick; Saxe, James B.; Sipser, Michael
249
1984
Doubly-indexed dynamical systems: State-space models and structural properties. Zbl 0392.93034
Fornasini, E.; Marchesini, G.
241
1978
Uniform tag sequences. Zbl 0253.02029
Cobham, Alan
227
1972
Generalized finite automata theory with an application to a decision problem of second-order logic. Zbl 0157.02201
Thatcher, J. W.; Wright, J. B.
176
1968
Fixed points of contraction mappings on probabilistic metric spaces. Zbl 0244.60004
Sehgal, V. M.; Bharucha-Reid, A. T.
154
1972
Sequences with minimal block growth. Zbl 0256.54028
Coven, Ethan M.; Hedlund, G. A.
150
1973
Semantics of context-free languages. Zbl 0169.01401
Knuth, D. E.
144
1968
Mappings and grammars on trees. Zbl 0203.30103
Rounds, W. C.
133
1970
Some systems with unique equilibrium states. Zbl 0299.54031
Bowen, Rufus
131
1975
On the base-dependence of sets of numbers recognizable by finite automata. Zbl 0179.02501
Cobham, Alan
127
1969
Bottom-up and top-down tree transformation - a comparison. Zbl 0335.68061
Engelfriet, Joost
120
1975
Design and implementation of an efficient priority queue. Zbl 0363.60104
van Emde Boas, P.; Kaas, R.; Zijlstra, E.
113
1977
Graph expressions and graph rewritings. Zbl 0641.68115
Bauderon, Michel; Courcelle, Bruno
103
1987
Summary of decision problems for \(\omega\)-automata. Zbl 0182.02402
Landweber, L. H.
103
1969
A unified approach to the definition of random sequences. Zbl 0227.62005
Schnorr, C. P.
100
1971
Description of developmental languages using recurrence systems. Zbl 0313.68068
Herman, G. T.; Lindenmayer, A.; Rozenberg, G.
87
1975
On B-convex Banach spaces. Zbl 0323.46018
Brunel, Antoine; Sucheston, Louis
73
1974
Counter machines and counter languages. Zbl 0165.32002
Fischer, P. C.; Meyer, A. R.; Rosenberg, A. L.
72
1968
Top-down tree transducers with regular look-ahead. Zbl 0369.68048
Engelfriet, Joost
72
1977
A helpful result for proving inherent ambiguity. Zbl 0175.27802
Ogden, William
70
1968
Representations of numbers and finite automata. Zbl 0776.11005
Frougny, Christiane
65
1992
Invariance for ordinary differential equations. Zbl 0155.14201
Yorke, J. A.
63
1967
Deductive systems and categories. I: Syntactic calculus and residuated categories. Zbl 0176.28901
Lambek, J.
61
1968
P-selective sets, tally languages, and the behavior of polynomial time reducibilities on NP. Zbl 0405.03018
Selman, Alan L.
60
1979
Relativization of questions about log space computability. Zbl 0341.68036
Ladner, Richard E.; Lynch, Nancy A.
58
1976
Algebraic decision procedures for local testability. Zbl 0287.02022
McNaughton, Robert
58
1974
Realization theory in Hilbert space. Zbl 0668.93018
Salamon, Dietmar
57
1988
Algebraic and other entropies of group endomorphisms. Zbl 0298.28014
Weiss, Michael D.
54
1975
Quasi-real-time languages. Zbl 0188.33102
Book, R. V.; Greibach, S. A.
53
1970
Existence and uniqueness of minimal realizations of nonlinear systems. Zbl 0354.93017
Sussman, Hector J.
53
1977
Periodicity in generations of automata. Zbl 0295.02019
Case, John
51
1974
Control sets on grammars. Zbl 0157.33604
Ginsburg, Seymour; Spanier, Edwin H.
45
1968
Semantics of context-free languages: Correction. Zbl 0219.68035
Knuth, D. E.
44
1971
On the uniqueness of the equilibrium state. Zbl 0302.28011
Krieger, Wolfgang
44
1975
New lower bound techniques for VLSI. Zbl 0488.94048
Leighton, Frank Thomson
42
1984
On finite 0-simple semigroups and graph theory. Zbl 0177.03103
Graham, R. L.
42
1968
Chains of full AFL’s. Zbl 0203.30102
Greibach, S. A.
41
1970
Endomorphisms of irreducible subshifts of finite type. Zbl 0309.54032
Coven, Ethan M.; Paul, Michael E.
40
1975
Bi-immune sets for complexity classes. Zbl 0572.68035
Balcázar, José L.; Schöning, Uwe
40
1985
Relations between varieties of Kolmogorov complexities. Zbl 0849.68059
Uspensky, V. A.; Shen, A.
38
1996
Single-input observability of continuous-time systems. Zbl 0422.93019
Sussmann, Hector J.
38
1979
Algebraic specification of data types. A synthetic approach. Zbl 0457.68035
Lehmann, Daniel J.; Smyth, Michael B.
38
1981
New problems complete for nondeterministic log space. Zbl 0341.68035
Jones, Neil D.; Lien, Y. Edmund; Laaser, William T.
37
1976
Convolution of invariant measures, maximal entropy. Zbl 0179.08301
Berg, K. R.
37
1969
Right topological groups, distal flows and a fixed-point theorem. Zbl 0239.22001
Namioka, I.
36
1972
A note on finite-valued and finitely ambiguous transducers. Zbl 0502.68022
Gurari, Eitan M.; Ibarra, Oscar H.
35
1983
On an algebraic theory of systems defined by convolution operators. Zbl 0318.93003
Kamen, E. W.
35
1975
On realization of nonlinear systems described by higher-order differential equations. Zbl 0624.93015
van der Schaft, A. J.
34
1987
Three hierarchies of transducers. Zbl 0509.68078
Engelfriet, Joost
34
1982
Generators for topological entropy and expansiveness. Zbl 0176.20603
Keynes, Harvey B.; Robertson, J. B.
34
1969
Structure and importance of logspace-MOD class. Zbl 0749.68033
Buntrock, Gerhard; Damm, Carsten; Hertrampf, Ulrich; Meinel, Christoph
34
1992
State-complexity of finite-state devices, state compressibility and incompressibility. Zbl 0779.68061
Birget, Jean-Camille
34
1993
On the power of parity polynomial time. Zbl 0718.68038
Cai, Jin-yi; Hemachandra, Lane A.
33
1990
Space bounds for a game on graphs. Zbl 0366.90150
Paul, Wolfgang J.; Tarjan, Robert Endre; Celoni, James R.
33
1977
Some characteristic properties of dynamical systems with quasi-discrete spectra. Zbl 0167.32902
Hahn, F.; Parry, William
31
1968
Algorithmic properties of structures. Zbl 0202.00802
Engeler, E.
31
1967
Representation of reversible cellular automata with block permutations. Zbl 0840.68081
Kari, J.
30
1996
Pushdown tree automata. Zbl 0524.68047
Guessarian, Irene
29
1983
On a stochastic integral equation of the Volterra type. Zbl 0186.49902
Tsokos, C. P.
29
1969
Some bilinear forms whose multiplicative complexity depends on the field of constants. Zbl 0363.65014
Winograd, S.
29
1977
Generalised finite automata theory with an application to a decision problem of second-order logic. Zbl 0196.01901
Thatcher, J. W.; Wright, J. B.
29
1968
A standard form for sequential stochastic control. Zbl 0256.93063
Witsenhausen, H. S.
28
1973
A priority queue in which initialization and queue operations take 0(log log D) time. Zbl 0522.68039
Johnson, Donald B.
27
1982
A note on undecidable properties of formal languages. Zbl 0157.01902
Greibach, S.
27
1968
On perturbing Lyapunov functions. Zbl 0354.34050
Lakshmikantham, V.; Leela, S.
27
1976
The equivalence of four extensions of context-free grammars. Zbl 0813.68129
Vijay-Shanker, K.; Weir, D. J.
27
1994
The theory of languages. Zbl 0196.01702
Aho, A. V.; Ullman, J. D.
27
1968
Complexity classes and theories of finite models. Zbl 0484.03020
Lynch, James F.
26
1982
On the definitions of some complexity classes of real numbers. Zbl 0529.03016
Ko, Ker-I
26
1983
A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098
Courcelle, B.; Engelfriet, J.
26
1995
Equivalence of input-output stability and exponential stability for infinite-dimensional systems. Zbl 0657.93050
Curtain, Ruth F.
25
1988
On the correlation of symmetric functions. Zbl 0858.94033
Cai, Jin-Yi; Green, F.; Thierauf, T.
24
1996
On asymptotically autonomous differential equations. Zbl 0189.38502
Strauss, Aaron; Yorke, James A.
24
1967
Topological transitivity and ergodic measures. Zbl 0212.40103
Weiss, Benjamin
24
1971
Realization is universal. Zbl 0248.18015
Goguen, J. A.
24
1973
Minimal flows arising from substitutions of non-constant length. Zbl 0256.54026
Martin, John C.
24
1973
Satisfiability problems for propositional calculi. Zbl 0428.03035
Lewis, Harry R.
24
1979
A proof of the independence of the continuum hypothesis. Zbl 0149.25302
Scott, D.
23
1967
The Malliavin calculus and its application to second order parabolic differential equations. I. Zbl 0474.60061
Stroock, Daniel W.
22
1981
Semiflows associated with compact and uniform processes. Zbl 0303.54016
Dafermos, Constantine M.
22
1975
Infinite trees in normal form and recursive equations having a unique solution. Zbl 0418.68013
Courcelle, Bruno
22
1979
Characterizations of the decidability of some problems for regular trace languages. Zbl 0679.68132
Aalbersberg, Ijsbrand Jan; Hoogeboom, Hendrik Jan
21
1989
Synthesis of nonlinear observers: A harmonic-analysis approach. Zbl 0691.93005
Celle, F.; Gauthier, J. P.; Kazakos, D.; Sallet, G.
20
1989
Bicontinuous extensions of invertible combinatorial functions. Zbl 0469.94020
Toffoli, Tommaso
20
1981
A general theory of translation. Zbl 0175.00803
Aho, A. V.; Hopcroft, J. E.; Ullman, J. D.
20
1969
On realization of linear systems and applications to some questions of stability. Zbl 0302.93010
Fuhrmann, P. A.
20
1975
BERNOULLI EQUILIBRIUM STATES FOR AXIOM A diffeomorphisms. Zbl 0304.28012
Bowen, Rufus
20
1975
The monadic second-order logic of graphs. II: Infinite graphs of bounded width. Zbl 0694.68043
Courcelle, Bruno
20
1989
On polynomial-time truth-table reduciblity of intractable sets to p- selective sets. Zbl 0722.68059
Toda, Seinosuke
20
1991
On the combinational complexity of certain symmetric Boolean functions. Zbl 0369.94016
Stockmeyer, Larry J.
20
1977
A relationship between difference hierarchies and relativized polynomial hierarchies. Zbl 0776.68043
Beigel, Richard; Chang, Richard; Ogiwara, Mitsunori
20
1993
A homomorphism theorem for finite semigroups. Zbl 0204.03303
Rhodes, John
20
1967
Differential geometry of a parametric family of invertible linear systems. Riemannian metric, dual affine connections, and divergence. Zbl 0632.93017
Amari, Shun-ichi
19
1987
Minimal symbolic flows having minimal block growth. Zbl 0306.54056
Paul, Michael E.
19
1975
Complete sets and closeness to complexity classes. Zbl 0617.68047
Schöning, Uwe
19
1986
A survey of one-way functions in complexity theory. Zbl 0749.68037
Selman, Alan L.
19
1992
Moduli and canonical forms for linear dynamical systems. II: The topological case. Zbl 0396.54037
Hazewinkel, Michiel
19
1977
On computing Boolean connectives of characteristic functions. Zbl 0827.68065
Chang, R.; Kadin, J.
18
1995
Relations between varieties of Kolmogorov complexities. Zbl 0849.68059
Uspensky, V. A.; Shen, A.
38
1996
Representation of reversible cellular automata with block permutations. Zbl 0840.68081
Kari, J.
30
1996
On the correlation of symmetric functions. Zbl 0858.94033
Cai, Jin-Yi; Green, F.; Thierauf, T.
24
1996
Computing functions on asynchronous anonymous networks. Zbl 0848.68007
Yamashita, M.; Kameda, T.
17
1996
Set-driven and rearrangement-independent learning of recursive languages. Zbl 0860.68088
Lange, S.; Zeugmann, T.
16
1996
On digital nondeterminism. Zbl 0868.68058
Cucker, F.; Matamala, M.
14
1996
On balanced versus unbalanced computation trees. Zbl 0853.68097
Hertrampf, U.; Vollmer, H.; Wagner, K. W.
12
1996
Two-way automata and length-preserving homomorphisms. Zbl 0846.68071
Birget, J.-C.
9
1996
The bisection width of grid graphs. Zbl 0839.68076
Papadimitriou, C. H.; Sideri, M.
7
1996
An enlarged family of packing polynomials on multidimensional lattices. Zbl 0874.11049
Morales, L. B.; Lew, J. S.
7
1996
DNA sequencing and string learning. Zbl 1111.68458
Jiang, Tao; Li, Ming
5
1996
Upper bounds for the complexity of sparse and tally descriptions. Zbl 0840.68041
Arvind, V.; Köbler, J.; Mundhenk, M.
5
1996
Learning two-tape automata from queries and counterexamples. Zbl 0849.68083
Yokomori, T.
5
1996
Strong self-reducibility precludes strong immunity. Zbl 0857.68046
Hemaspaandra, L. A.; Zimand, M.
5
1996
Representing shared data on distributed-memory parallel computers. Zbl 0840.68030
Herley, K. T.
4
1996
Diagonal polynomials for small dimensions. Zbl 0874.11048
Lew, J. S.; Morales, L. B.; Sánchez-Flores, A.
4
1996
Flit-serial packet routing on meshes and tori. Zbl 1111.68330
Makedon, F.; Symvonis, A.
3
1996
On the power of generalized MOD-classes. Zbl 0840.68044
Köbler, J.; Toda, Seinosuke
3
1996
Improved approximations for the minimum-cut ratio and the flux. Zbl 0844.68097
Tragoudas, S.
3
1996
On small cuts separating an abelian Cayley graph into small equal parts. Zbl 0856.05050
Hamidoune, Y. O.; Serra, Oriol
3
1996
Bounded dilation maps of hypercubes into Cayley graphs on the symmetric group. Zbl 0860.68079
Miller, Z.; Pritikin, D.; Sudborough, I. H.
3
1996
The bounded membership problem of the monoid \(\mathrm{SL}_2(N)\). Zbl 0860.68045
Cai, J.; Liu, Zicheng
3
1996
UP and the low and high hierarchies: A relativized separation. Zbl 0858.68040
Sheu, M.-J.; Long, T. J.
3
1996
Probabilistic asynchronous automata. Zbl 0840.68079
Jesi, S.; Pighizzini, G.; Sabadini, N.
2
1996
Superlinear deterministic top-down tree transducers. Zbl 0857.68068
Dányi, G.; Fülöp, Z.
2
1996
Tree-stack automata. Zbl 0846.68073
Golubski, W.; Lippe, W. M.
1
1996
Pi-sigma-pi threshold formulas. Zbl 0852.94031
Radhakrishnan, J.
1
1996
A note on busy beavers and other creatures. Zbl 0848.68036
Ben-Amram, A. M.; Julstrom, B. A.; Zwick, U.
1
1996
Node bisectors of Cayley graphs. Zbl 0860.68077
Blackburn, S. R.
1
1996
Alternating time versus deterministic time: A separation. Zbl 0868.68053
Gupta, S.
1
1996
The shuffle exchange network has a Hamiltonian path. Zbl 0861.68006
Feldmann, R.; Mysliwietz, P.
1
1996
NP-creative sets: A new class of creative sets in NP. Zbl 0857.68044
Agrawal, M.; Biswas, S.
1
1996
A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098
Courcelle, B.; Engelfriet, J.
26
1995
On computing Boolean connectives of characteristic functions. Zbl 0827.68065
Chang, R.; Kadin, J.
18
1995
Fast parallel Lyndon factorization with applications. Zbl 0815.68066
Apostolico, A.; Crochemore, M.
17
1995
OptP as the normal behavior of NP-complete problems. Zbl 0830.68064
Gasarch, W. I.; Krentel, M. W.; Rappoport, K. J.
15
1995
On unification of terms with integer exponents. Zbl 0815.68037
Comon, H.
9
1995
Recognizing binary Hamming graphs in \(O(n^ 2 \log n)\) time. Zbl 0833.68087
Aurenhammer, F.; Hagauer, J.
9
1995
Adaptive logspace reducibility and parallel time. Zbl 0815.68054
Àlvarez, C.; Balcázar, J. L.; Jenner, B.
8
1995
Pumping lemmas for the control language hierarchy. Zbl 0827.68064
Palis, M. A.; Shende, S. M.
8
1995
The performance of greedy algorithms for the on-line Steiner tree and related problems. Zbl 0844.68098
Westbrook, J.; Yan, D. C. K.
8
1995
Different local controls for graph relabeling systems. Zbl 0815.68079
Litovsky, I.; Métivier, Y.; Sopena, E.
6
1995
On confluence of one-rule trace-rewriting systems. Zbl 0837.68055
Wrathall, C.; Diekert, V.
6
1995
A refinement of the low and high hierarchies. Zbl 0849.68038
Long, T. J.; Sheu, Ming-Jye
5
1995
Prudence in vacillatory language identification. Zbl 0939.68812
Jain, Sanjay; Sharma, Arun
4
1995
Unison, canon, and sluggish clocks in networks controlled by a synchronizer. Zbl 0833.68009
Even, S.; Rajsbaum, S.
4
1995
Linear-time snapshot implementations in unbalanced systems. Zbl 0833.68047
Israeli, A.; Shaham, A.; Shirazi, A.
4
1995
On closure properties of bounded two-sided error complexity classes. Zbl 0827.68046
Regan, K. W.; Royer, J. S.
2
1995
Power of interonneconnections and of nondeterminism in regular \(Y\)-tree systoli automata. Zbl 0827.68077
Fachini, E.; Gruska, J.; Napoli, M.; Parente, D.
2
1995
Logical definability of some rational trace languages. Zbl 0833.68099
Choffrut, C.; Guerra, L.
2
1995
Rational transductions and complexity of counting problems. Zbl 0833.68065
Choffrut, C.; Goldwurm, M.
2
1995
A lower bound for monotone perceptrons. Zbl 0837.68035
Green, F.
1
1995
On confluence versus strong confluence for one-rule trace-rewriting systems. Zbl 0837.68054
Otto, F.
1
1995
The equivalence of four extensions of context-free grammars. Zbl 0813.68129
Vijay-Shanker, K.; Weir, D. J.
27
1994
Designing broadcasting algorithms in the postal model for message-passing systems. Zbl 0812.68079
Bar-Noy, A.; Kipnis, S.
18
1994
Computability by finite automata and Pisot bases. Zbl 0819.11005
Berend, Daniel; Frougny, Christiane
12
1994
An observation on probability versus randomness with applications to complexity classes. Zbl 0819.68056
Book, Ronald V.; Lutz, Jack H.; Wagner, Klaus W.
10
1994
Universality of iterated networks. Zbl 0806.94034
Chamberlain, R. F.; Fiduccia, C. M.
8
1994
Branch-and-bound and backtrack search on mesh-connected arrays of processors. Zbl 0812.68068
Kaklamanis, C.; Persiano, G.
8
1994
A framework for polynomial-time query learnability. Zbl 0809.68097
Watanabe, Osamu
7
1994
On the complexity of graph reconstruction. Zbl 0806.05051
Kratsch, Dieter; Hemaspaandra, Lane A.
7
1994
Structural analysis of polynomial-time query learnability. Zbl 0809.68098
Watanabe, Osamu; Gavaldà, Ricard
6
1994
Equivalence of finite-valued tree transducers is decidable. Zbl 0809.68087
Seidl, H.
6
1994
Efficiency of semisynchronous versus asynchronous networks. Zbl 0812.68078
Attiya, H.; Mavronicolas, M.
6
1994
Generalized theorems on relationships among reducibility notions to certain complexity classes. Zbl 0813.68105
Ogiwara, Mitsunori
4
1994
On completeness for NP via projection translations. Zbl 0794.03056
Stewart, Iain A.
3
1994
A note on polynomial-size circuits with low resource-bounded Kolmogorov complexity. Zbl 0830.68071
Hermo, Montserrat; Mayordomo, Elvira
3
1994
Statistical properties of finite sequences with high Kolmogorov complexity. Zbl 0830.68073
Li, Ming; Vitányi, Paul M. B.
3
1994
A lower bound for sorting networks based on the shuffle permutation. Zbl 0812.68069
Plaxton, C. G.; Suel, T.
3
1994
Optimal speedup for backtrack search on a butterfly network. Zbl 0798.68044
Ranade, Abhiram
2
1994
On the capabilities of systolic systems. Zbl 0798.68079
Even, Shimon; Litman, Ami
1
1994
An approach to emulating separable graphs. Zbl 0798.68012
Obrenić, Bojana
1
1994
Some results on uniform arithmetic circuit complexity. Zbl 0799.68084
Frandsen, Gudmund S.; Valence, Mark; Barrington, David A. Mix
1
1994
An application of the translational method. Zbl 0794.68056
Fu, Bin; Li, Hongzhou; Zhong, Yong
1
1994
Primitives for asynchronous list compression. Zbl 0812.68066
Anderson, R. J.
1
1994
State-complexity of finite-state devices, state compressibility and incompressibility. Zbl 0779.68061
Birget, Jean-Camille
34
1993
A relationship between difference hierarchies and relativized polynomial hierarchies. Zbl 0776.68043
Beigel, Richard; Chang, Richard; Ogiwara, Mitsunori
20
1993
On the diameter and bisector size of Cayley graphs. Zbl 0778.05038
Annexstein, Fred; Baumslag, Marc
11
1993
Cloture votes: \(n/4\)-resilient distributed consensus in \(t+1\) rounds. Zbl 0766.68004
Berman, Piotr; Garay, Juan A.
10
1993
On the power of deterministic reductions to C\(_ =\)P. Zbl 0776.68045
Green, Frederic
9
1993
Message-optimal protocols for Byzantine agreement. Zbl 0766.68007
Hadzilacos, Vassos; Halpern, Joseph Y.
7
1993
Distance automata having large finite distance or finite ambiguity. Zbl 0771.68088
Weber, Andreas
7
1993
A note on balanced immunity. Zbl 0771.68053
Müller, Haiko
5
1993
Structural analysis of the complexity inverse functions. Zbl 0771.68070
Watanabe, Osamu; Toda, Seinosuke
5
1993
A partial equivalence between shared-memory and message-passing in an asynchronous fail-stop distributed environment. Zbl 0766.68003
Bar-Noy, Amotz; Dolev, Danny
4
1993
On lower bounds of the closeness between complexity classes. Zbl 0771.68050
Fu, Bin
4
1993
On reducing the number of stack symbols in a PDA. Zbl 0793.68103
Goldstine, Jonathan; Price, John K.; Wotschke, Detlef
4
1993
Concise representations of regular languages by degree and probabilistic finite automata. Zbl 0782.68083
Kintala, Chandra M. R.; Pun, Kong-Yee; Wotschke, Detlef
4
1993
Modular construction of an efficient 1-bit Byzantine agreement protocol. Zbl 0766.68005
Coan, Brian A.; Welch, Jennifer L.
3
1993
A model of sequential computation with pipelined access to memory. Zbl 0787.68038
Luccio, Fabrizio; Pagli, Linda
3
1993
The failure discovery problem. Zbl 0766.68006
Hadzilacos, Vassos; Halpern, Joseph Y.
2
1993
Representations of numbers and finite automata. Zbl 0776.11005
Frougny, Christiane
65
1992
Structure and importance of logspace-MOD class. Zbl 0749.68033
Buntrock, Gerhard; Damm, Carsten; Hertrampf, Ulrich; Meinel, Christoph
34
1992
A survey of one-way functions in complexity theory. Zbl 0749.68037
Selman, Alan L.
19
1992
Simultaneous strong separations of probabilistic and unambiguous complexity classes. Zbl 0766.68038
Eppstein, David; Hemachandra, Lane A.; Tisdall, James; Yener, Bülent
5
1992
Structural properties for feasibly computable classes of type two. Zbl 0751.68024
Yamakami, Tomoyuki
5
1992
The problem of deciding confluence on a given congruence class is tractable for finite special string-rewriting systems. Zbl 0780.68080
Otto, Friedrich
4
1992
The equivalence of pre-NTS grammars is decidable. Zbl 0766.68085
Autebert, J.-M.; Boasson, L.
3
1992
On the time and space complexity of computation using write-once memory or is pen really much worse than pencil? Zbl 0767.68056
Irani, Sandy; Naor, Moni; Rubinfeld, Ronitt
3
1992
A result about languages concerning paperfolding sequences. Zbl 0780.68083
Lehr, S.
3
1992
...and 527 more Documents
all top 5

Cited by 6,981 Authors

59 Engelfriet, Joost
49 Hemaspaandra, Lane A.
41 Kutrib, Martin
39 Courcelle, Bruno
36 Rozenberg, Grzegorz
35 Shallit, Jeffrey Outlaw
33 Vogler, Heiko
31 Jain, Sanjay
30 Allouche, Jean-Paul Simon
30 Fülöp, Zoltán
30 Giordano Bruno, Anna
30 Rigo, Michel
28 Lemańczyk, Mariusz
27 Case, John
27 Rogers, Eric
25 Gałkowski, Krzysztof
25 Holzer, Markus
25 Ibarra, Oscar H.
24 Maletti, Andreas
22 Dikranjan, Dikran N.
22 Glasner, Eli
22 Lutz, Jack H.
22 Otto, Friedrich
22 Ye, Xiangdong
20 Allender, Eric W.
20 Formenti, Enrico
20 Huang, Wen
20 Weiss, Benjamin
19 Book, Ronald Vernon
19 Perrin, Dominique
18 Drewes, Frank
18 Finkel, Olivier
18 Kari, Jarkko
18 Latteux, Michel
18 Rothe, Jörg-Matthias
18 Stephan, Frank
18 Wood, Derick
17 Charlier, Emilie
17 Ehrenfeucht, Andrzej
17 Glaßer, Christian
17 Kaczorek, Tadeusz
17 Kupferman, Orna
17 Malcher, Andreas
17 Okhotin, Alexander
17 Oprocha, Piotr
17 Tsokos, Christos P.
17 Wen, Zhixiong
16 Beigel, Richard
16 Coven, Ethan M.
16 Greibach, Sheila A.
16 Köbler, Johannes
16 Kułaga-Przymus, Joanna
16 Porter, William A.
16 Staiger, Ludwig
15 Akin, Hasan
15 Climenhaga, Vaughn
15 Kotta, Ulle
15 Maneth, Sebastian
15 Selman, Alan Louis
15 Thérien, Denis
15 Vollmer, Heribert
14 Boasson, Luc
14 Carton, Olivier
14 Frougny, Christiane
14 Karhumaki, Juhani
14 McKenzie, Pierre
14 Padgett, William Jowayne
14 Steinberg, Benjamin
14 Walters, Peter
14 Zamboni, Luca Quardo
13 Dennunzio, Alberto
13 Hemaspaandra, Edith
13 Margara, Luciano
13 Mauduit, Christian
13 Miheţ, Dorel
13 Rhodes, John Lewis
13 Salo, Ville O.
13 Sontag, Eduardo D.
13 Theyssier, Guillaume
13 Vágvölgyi, Sándor
12 Arvind, Vikraman
12 Béal, Marie-Pierre
12 Bell, Jason P.
12 Berstel, Jean
12 Berthé, Valérie
12 Chang, Chih-Hung
12 Choudhury, Binayak Samadder
12 Dekking, Frederik Michel
12 Ésik, Zoltán
12 Ko, Ker-I
12 Lange, Klaus-Jörn
12 Lindenstrauss, Elon
12 Medina, Luis A.
12 Mix Barrington, David A.
12 Nasu, Masakazu
12 Ogihara, Mitsunori
12 Pavlov, Ronnie
12 Salomaa, Kai T.
12 Sénizergues, Géraud
12 Zeugmann, Thomas
...and 6,881 more Authors
all top 5

Cited in 619 Journals

942 Theoretical Computer Science
342 Journal of Computer and System Sciences
306 Mathematical Systems Theory
202 Information Processing Letters
184 Information and Computation
159 Ergodic Theory and Dynamical Systems
119 Systems & Control Letters
117 Journal of Mathematical Analysis and Applications
115 Israel Journal of Mathematics
101 Transactions of the American Mathematical Society
98 Proceedings of the American Mathematical Society
96 International Journal of Foundations of Computer Science
85 Theory of Computing Systems
77 Acta Informatica
71 Discrete Applied Mathematics
67 Automatica
66 Information Sciences
65 International Journal of Control
65 Multidimensional Systems and Signal Processing
55 Linear Algebra and its Applications
52 Journal of Differential Equations
52 Computational Complexity
51 Semigroup Forum
48 RAIRO. Informatique Théorique et Applications
47 Discrete Mathematics
47 Topology and its Applications
47 Algorithmica
42 Advances in Mathematics
40 Annals of Pure and Applied Logic
36 Monatshefte für Mathematik
36 RAIRO. Theoretical Informatics and Applications
35 Journal of Functional Analysis
34 Applied Mathematics and Computation
34 The Journal of Symbolic Logic
33 MCSS. Mathematics of Control, Signals, and Systems
32 Journal of Pure and Applied Algebra
31 Journal of Soviet Mathematics
31 RAIRO, Informatique Théorique
31 International Journal of Computer Mathematics
30 Journal de Théorie des Nombres de Bordeaux
29 Journal of the Franklin Institute
29 Kybernetika
29 Advances in Applied Mathematics
28 International Journal of Algebra and Computation
27 Journal d’Analyse Mathématique
27 Discrete and Continuous Dynamical Systems
27 Nonlinear Analysis. Theory, Methods & Applications
26 Journal of Algebra
26 Fixed Point Theory and Applications
25 Journal of Optimization Theory and Applications
25 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
24 International Journal of Systems Science
24 Fuzzy Sets and Systems
24 Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete
24 RAIRO. Theoretical Informatics and Applications
23 Inventiones Mathematicae
22 Circuits, Systems, and Signal Processing
22 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
22 Journal of Mathematical Sciences (New York)
21 International Journal of General Systems
21 Mathematische Zeitschrift
20 Chaos, Solitons and Fractals
20 European Journal of Control
20 Natural Computing
20 Logical Methods in Computer Science
19 Computers & Mathematics with Applications
19 Communications in Mathematical Physics
19 Acta Mathematica Hungarica
19 Acta Applicandae Mathematicae
19 Indagationes Mathematicae. New Series
18 Bulletin of the Australian Mathematical Society
18 Journal of Number Theory
18 SIAM Journal on Computing
18 European Journal of Combinatorics
18 MSCS. Mathematical Structures in Computer Science
18 European Series in Applied and Industrial Mathematics (ESAIM): Control, Optimization and Calculus of Variations
17 Journal of Mathematical Physics
17 Physica D
17 Bulletin of the American Mathematical Society
16 Journal of Statistical Physics
16 Nonlinearity
16 Annales de l’Institut Fourier
15 International Journal of Computer & Information Sciences
15 Journal of Combinatorial Theory. Series A
15 Mathematical Logic Quarterly (MLQ)
14 Communications in Algebra
14 Mathematical Notes
14 Journal of Complexity
14 Distributed Computing
14 Dynamical Systems
14 Journal of Modern Dynamics
13 Artificial Intelligence
12 Annali di Matematica Pura ed Applicata. Serie Quarta
12 Bulletin de la Société Mathématique de France
12 SIAM Journal on Control and Optimization
12 Journal of Dynamics and Differential Equations
12 International Journal of Systems Science. Principles and Applications of Systems and Integration
11 Mathematical Biosciences
11 Integral Equations and Operator Theory
11 Applied Mathematics Letters
...and 519 more Journals
all top 5

Cited in 61 Fields

3,827 Computer science (68-XX)
1,131 Dynamical systems and ergodic theory (37-XX)
882 Systems theory; control (93-XX)
843 Mathematical logic and foundations (03-XX)
532 General topology (54-XX)
432 Number theory (11-XX)
386 Measure and integration (28-XX)
379 Combinatorics (05-XX)
287 Group theory and generalizations (20-XX)
266 Ordinary differential equations (34-XX)
245 Operator theory (47-XX)
238 Information and communication theory, circuits (94-XX)
225 Probability theory and stochastic processes (60-XX)
187 Functional analysis (46-XX)
139 Category theory; homological algebra (18-XX)
131 Topological groups, Lie groups (22-XX)
102 Operations research, mathematical programming (90-XX)
96 Biology and other natural sciences (92-XX)
94 Calculus of variations and optimal control; optimization (49-XX)
92 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
88 Numerical analysis (65-XX)
81 Linear and multilinear algebra; matrix theory (15-XX)
74 Partial differential equations (35-XX)
73 Integral equations (45-XX)
66 Order, lattices, ordered algebraic structures (06-XX)
58 General algebraic systems (08-XX)
56 Statistics (62-XX)
55 Manifolds and cell complexes (57-XX)
54 Quantum theory (81-XX)
47 Differential geometry (53-XX)
43 Associative rings and algebras (16-XX)
43 Abstract harmonic analysis (43-XX)
41 Statistical mechanics, structure of matter (82-XX)
40 History and biography (01-XX)
37 Convex and discrete geometry (52-XX)
37 Mechanics of particles and systems (70-XX)
35 Global analysis, analysis on manifolds (58-XX)
34 Commutative algebra (13-XX)
34 Difference and functional equations (39-XX)
25 Real functions (26-XX)
23 Approximations and expansions (41-XX)
20 General and overarching topics; collections (00-XX)
18 Algebraic geometry (14-XX)
17 Field theory and polynomials (12-XX)
14 Nonassociative rings and algebras (17-XX)
14 Functions of a complex variable (30-XX)
12 Harmonic analysis on Euclidean spaces (42-XX)
10 Several complex variables and analytic spaces (32-XX)
10 Geometry (51-XX)
9 Algebraic topology (55-XX)
9 Fluid mechanics (76-XX)
8 Sequences, series, summability (40-XX)
6 Mechanics of deformable solids (74-XX)
5 Special functions (33-XX)
4 Potential theory (31-XX)
4 Relativity and gravitational theory (83-XX)
2 \(K\)-theory (19-XX)
2 Integral transforms, operational calculus (44-XX)
2 Classical thermodynamics, heat transfer (80-XX)
1 Optics, electromagnetic theory (78-XX)
1 Geophysics (86-XX)

Citations by Year