Mathematical Systems TheoryAn 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 Latest Issues 29, No. 6 (1996) 29, No. 5 (1996) 29, No. 4 (1996) 29, No. 3 (1996) 29, No. 2 (1996) 29, No. 1 (1996) 28, No. 6 (1995) 28, No. 5 (1995) 28, No. 4 (1995) 28, No. 3 (1995) 28, No. 2 (1995) 28, No. 1 (1995) 27, No. 6 (1994) 27, No. 5 (1994) 27, No. 4 (1994) 27, No. 3 (1994) 27, No. 2 (1994) 27, No. 1 (1994) 26, No. 4 (1993) 26, No. 3 (1993) 26, No. 2 (1993) 26, No. 1 (1993) 25, No. 4 (1992) 25, No. 3 (1992) 25, No. 2 (1992) 25, No. 1 (1992) 24, No. 4 (1991) 24, No. 3 (1991) 24, No. 2 (1991) 24, No. 1 (1991) 23, No. 4 (1990) 23, No. 3 (1990) 23, No. 2 (1990) 23, No. 1 (1990) 22, No. 4 (1989) 22, No. 3 (1989) 22, No. 2 (1989) 22, No. 1 (1989) 21, No. 4 (1989) 21, No. 3 (1988) 21, No. 2 (1988) 21, No. 1 (1988) 20, No. 4 (1987) 20, No. 2-3 (1987) 20, No. 1 (1987) 19 (1986/1987) 18 (1985) 17 (1984) 16 (1983) 15 (1981/1982) 14 (1981) 13 (1979/1980) 12 (1978/1979) 11 (1977/1978) 10 (1976/1977) 9 (1975/1976) 8 (1974/1975) 7 (1973/1974) 6 (1972/1973) 5 (1971) 4 (1970) 3 (1969) 2 (1968) 1 (1967) 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 all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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