×

zbMATH — the first resource for mathematics

Information and Control

Short Title: Inf. Control
Publisher: Academic Press, New York etc.
ISSN: 0019-9958
Online: http://www.sciencedirect.com/science/journal/00199958
Successor: Information and Computation
Comments: No longer indexed
Documents Indexed: 1,553 Publications (1957–1986)
all top 5

Authors

24 Rozenberg, Grzegorz
17 Rosenfeld, Azriel
15 Salomaa, Arto Kustaa
13 Maurer, Hermann A.
12 Wood, Derick
11 Ahmed, Nasir Uddin
10 Culik, Karel II
10 Ginsburg, Seymour
10 Greibach, Sheila A.
10 Santos, Eugene S.
10 Schützenberger, Marcel-Paul
9 Mandelbaum, David M.
9 Wyner, Aaron D.
8 Hartmanis, Juris
7 Berlekamp, Elwyn R.
7 Blake, Ian F.
7 Delsarte, Philippe
7 Ibarra, Oscar H.
7 Siromoney, Rani
7 Stearns, Richard Edwin
7 Turakainen, Paavo
7 Wolfowitz, Jacob
6 de Luca, Aldo
6 Ehrenfeucht, Andrzej
6 Harrison, Michael A.
6 Herman, Gabor T.
6 Honda, Namio
6 Ibaraki, Toshihide
6 Kasami, Tadao
6 Kuich, Werner
6 Mehlhorn, Kurt
6 Păun, Gheorghe
6 Tavares, Stafford E.
6 Zierler, Neal
5 Arbib, Michael A.
5 Beutler, Frederick J.
5 Buttelmann, H. William
5 Gluss, Brian
5 Goethals, Jean-Marie
5 Gurevich, Yuri
5 Han, Te Sun
5 Hart, Johnson Murdoch
5 Jump, J. Robert
5 Kieffer, John Cronan
5 Preparata, Franco P.
5 Reddy, Sudhakar M.
5 Shyr, Huei-Jan
5 Tsokos, Christos P.
5 Wolf, Jack Keil
5 Yajima, Shuzo
4 Amoroso, Serafino
4 Banerji, Ranan Bihari
4 Blachman, Nelson M.
4 Bose, Raj Chandra
4 Cambanis, Stamatis
4 Daley, Robert P.
4 Duske, Jürgen
4 Engelfriet, Joost
4 Galil, Zvi
4 Gestri, Giuseppe
4 Gold, E. Mark
4 Good, Irving John (Jack)
4 Gruska, Jozef
4 Harel, David
4 Inagaki, Yasuyoshi
4 Jelinek, Frederick
4 Joshi, Aravind K.
4 Karhumaki, Juhani
4 Kleijn, H. C. M.
4 Knast, Robert
4 Kosaraju, S. Rao
4 Kurz, Ludwik
4 Leneman, Oscar A. Z.
4 Mayer, Otto
4 Meyer, Albert Ronald
4 Nasu, Masakazu
4 Nath, Prem
4 Oyamaguchi, Michio
4 Parchmann, Rainer
4 Piret, Philippe M.
4 Rao, A. N. V.
4 Robinson, John Paul
4 Rosier, Louis E.
4 Sharma, Bhu Dev
4 Sloane, Neil James Alexander
4 Solomon, Gustave
4 Specht, Johann
4 Takenaka, Yoshiko
4 Thierrin, Gabriel
4 Ullman, Jeffrey David
4 Vairavan, K.
4 Weldon, Edward J. jun.
4 Yoeli, Michael
3 Angluin, Dana
3 Athans, Michael
3 Baker, Brenda S.
3 Beauquier, Joffroy
3 Bellman, Richard Ernest
3 Benson, David B.
3 Bergstra, Jan A.
...and 1,209 more Authors
all top 5

Fields

678 Computer science (68-XX)
380 Information and communication theory, circuits (94-XX)
154 Mathematical logic and foundations (03-XX)
86 Systems theory; control (93-XX)
50 Probability theory and stochastic processes (60-XX)
46 Combinatorics (05-XX)
46 Statistics (62-XX)
30 Group theory and generalizations (20-XX)
20 Number theory (11-XX)
15 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
13 Calculus of variations and optimal control; optimization (49-XX)
12 Biology and other natural sciences (92-XX)
11 Category theory; homological algebra (18-XX)
11 Numerical analysis (65-XX)
10 Harmonic analysis on Euclidean spaces (42-XX)
10 Operations research, mathematical programming (90-XX)
9 Difference and functional equations (39-XX)
7 Order, lattices, ordered algebraic structures (06-XX)
6 Linear and multilinear algebra; matrix theory (15-XX)
6 Approximations and expansions (41-XX)
6 Geometry (51-XX)
5 General algebraic systems (08-XX)
5 Ordinary differential equations (34-XX)
5 General topology (54-XX)
4 Field theory and polynomials (12-XX)
4 Commutative algebra (13-XX)
3 Real functions (26-XX)
3 Abstract harmonic analysis (43-XX)
2 Associative rings and algebras (16-XX)
1 History and biography (01-XX)
1 Measure and integration (28-XX)
1 Special functions (33-XX)
1 Integral transforms, operational calculus (44-XX)
1 Integral equations (45-XX)
1 Functional analysis (46-XX)
1 Convex and discrete geometry (52-XX)
1 Mechanics of particles and systems (70-XX)

Publications by Year

Citations contained in zbMATH Open

1,162 Publications have been cited 21,473 times in 16,848 Documents Cited by Year
Fuzzy sets. Zbl 0139.24606
Zadeh, L. A.
1965
Language identification in the limit. Zbl 0259.68032
Gold, E. Mark
431
1967
Resolution of composite fuzzy relation equations. Zbl 0326.02048
Sanchez, Elie
338
1976
A definition of a nonprobabilistic entropy in the setting of fuzzy sets theory. Zbl 0239.94028
De Luca, A.; Termini, S.
314
1972
The definition of random sequences. Zbl 0244.62008
Martin-Löf, Per
296
1966
On finite monoids having only trivial subgroups. Zbl 0131.02001
Schützenberger, M. P.
192
1965
A new approach to clustering. Zbl 0192.57101
Ruspini, E. H.
191
1969
Toward a mathematical theory of inductive inference. Zbl 0375.02028
Blum, Lenore; Blum, Manuel
189
1975
Process algebra of synchronous communication. Zbl 0597.68027
Bergstra, J. A.; Klop, J. W.
179
1984
On the definition of a family of automata. Zbl 0104.00702
Schützenberger, M. P.
173
1961
Inductive inference of formal languages from positive data. Zbl 0459.68051
Angluin, Dana
167
1980
A taxonomy of problems with fast parallel algorithms. Zbl 0575.68045
Cook, Stephen A.
166
1985
Probabilistic automata. Zbl 0182.33602
Rabin, M. O.
164
1963
Testing and generating infinite sequences by a finite automaton. Zbl 0212.33902
McNaughton, R.
150
1966
Some inequalities satisfied by the quantities of information of Fisher and Shannon. Zbl 0085.34701
Stam, A. J.
143
1959
A formal theory of inductive inference. I. Zbl 0258.68045
Solomonoff, R. J.
141
1964
Some properties of fuzzy sets of type 2. Zbl 0331.02042
Mizumoto, Masaharu; Tanaka, Kokichi
141
1976
Generalized information functions. Zbl 0205.46901
Daróczy, Z.
124
1970
Relational queries computable in polynomial time. Zbl 0612.68086
Immerman, Neil
123
1986
On the translation of languages from left to right. Zbl 0231.68027
Knuth, Donald E.
106
1966
Temporal logic can be more expressive. Zbl 0534.03009
Wolper, Pierre
98
1983
The weight enumerators for several classes of subcodes of the 2nd order binary Reed-Muller codes. Zbl 0217.58802
Kasami, T.
97
1971
The matrix minimum principle. Zbl 0176.07301
Athans, M.
96
1967
Fuzzy algorithms. Zbl 0182.33301
Zadeh, L. A.
91
1968
On certain formal properties of grammars. Zbl 0088.10801
Chomsky, Noam
90
1959
Processes and the denotational semantics of concurrency. Zbl 0508.68011
de Bakker, J. W.; Zucker, J. I.
89
1982
Deterministic context free languages. Zbl 0145.00802
Ginsburg, S.; Greibach, S.
79
1966
Complexity of automaton identification from given data. Zbl 0376.68041
Gold, E. Mark
78
1978
Recognition and parsing of context-free languages in time \(n^ 3\). Zbl 0149.24803
Younger, D. H.
78
1967
Deterministic coin tossing with applications to optimal parallel list ranking. Zbl 0612.68044
Cole, Richard; Vishkin, Uzi
77
1986
A formal theory of inductive inference. II. Zbl 0259.68038
Solomonoff, R. J.
77
1964
An upper bound for self-dual codes. Zbl 0254.94011
Mallows, C. L.; Sloane, N. J. A.
76
1973
Four fundamental parameters of a code and their combinatorial significance. Zbl 0274.94010
Delsarte, Philippe
73
1973
Optimal state estimation in high noise. Zbl 0169.21902
Anderson, B. D. O.; Moore, J. B.
73
1968
Algebraically punctured cyclic codes. Zbl 0149.15903
Solomon, Gustave; Stiffler, J. J.
72
1965
On generalized Reed-Muller codes and their relatives. Zbl 0267.94014
Delsarte, P.; Goethals, J. M.; Mac Williams, F. J.
71
1970
Algebraic automata and context-free sets. Zbl 0155.34301
Mezei, J.; Wright, J. B.
70
1967
Exponential observers for nonlinear dynamic systems. Zbl 0319.93049
Kou, Shauying R.; Elliott, David L.; Tarn, Tzyh Jong
68
1975
Fast parallel matrix and GCD computations. Zbl 0507.68020
Borodin, Allan; von zur Gathen, Joachim; Hopcroft, John
67
1982
One-tape, off-line Turing machine computations. Zbl 0231.02048
Hennie, F. C.
64
1966
On \(\omega\)-regular sets. Zbl 0434.68061
Wagner, Klaus
61
1979
Weights of irreducible cyclic codes. Zbl 0239.94007
Baumert, L. D.; McEliece, R. J.
61
1972
The complexity of promise problems with applications to public-key cryptography. Zbl 0592.94012
Even, Shimon; Selman, Alan L.; Yacobi, Yacov
59
1984
Classes of languages and linear-bounded automata. Zbl 0199.04002
Kuroda, S.-Y.
59
1964
On context-free languages and push-down automata. Zbl 0123.12502
Schützenberger, M. P.
59
1963
Tree generating regular systems. Zbl 0169.31601
Brainerd, W. S.
58
1969
Properties of deterministic top-down grammars. Zbl 0209.02703
Rosenkrantz, D. J.; Stearns, R. E.
57
1970
Maximin automata. Zbl 0174.03601
Santos, Eugene S.
57
1968
Algorithms for approximate string matching. Zbl 0575.68090
Ukkonen, Esko
55
1985
Automata in general algebras. Zbl 0175.27902
Eilenberg, S.; Wright, J. B.
54
1967
The non-sequential behaviour of Petri nets. Zbl 0551.68050
Goltz, U.; Reisig, W.
53
1983
Translations on a context free grammar. Zbl 0244.68035
Aho, A. V.; Ullman, J. D.
53
1972
Reversible codes. Zbl 0137.37704
Massey, J. L.
53
1964
The equivalence problem for deterministic finite-turn pushdown automata. Zbl 0285.68025
Valiant, Leslie G.
52
1974
Deciding full branching time logic. Zbl 0593.03007
Emerson, E. Allen; Sistla, A. Prasad
51
1984
An 8-state minimal time solution to the firing squad synchronization problem. Zbl 1347.68249
Balzer, Robert
51
1967
Randomness conservation inequalities; information and independence in mathematical theories. Zbl 0592.03035
Levin, Leonid A.
49
1984
Information-theoretical considerations on estimation problems. Zbl 0222.94022
Arimoto, Suguru
49
1971
Simple matrix languages. Zbl 0221.68041
Ibarra, Oscar H.
48
1970
On the entropy of context-free languages. Zbl 0193.32603
Kuich, W.
48
1970
Boundary NLC graph grammars - basic definitions, normal forms, and complexity. Zbl 0608.68060
Rozenberg, Grzegorz; Welzl, Emo
46
1986
On a class of error correcting binary group codes. Zbl 0104.36402
Bose, R. C.; Ray-Chaudhuri, D. K.
46
1960
A theory of modal control. Zbl 0237.93004
Simon, J. D.; Mitter, S. K.
46
1968
On the solution of algebraic equations over finite fields. Zbl 0166.04803
Berlekamp, E. R.; Rumsey, H.; Solomon, Gustave
46
1967
An optimum solution to the firing squad synchronization problem. Zbl 1111.68527
Waksman, Abraham
44
1966
Fuzzy digital topology. Zbl 0404.68071
Rosenfeld, Azriel
44
1979
Propositional dynamic logic of looping and converse is elementarily decidable. Zbl 0515.68062
Streett, Robert S.
44
1982
On the unique satisfiability problem. Zbl 0543.03027
Blass, Andreas; Gurevich, Yuri
44
1982
Criteria of language learning. Zbl 0505.68038
Osherson, Daniel N.; Weinstein, Scott
41
1982
A note on fuzzy sets. Zbl 0217.01403
Brown, J. G.
41
1971
The decidability of the equivalence problem for DOL-systems. Zbl 0365.68074
Čulik, Karel II; Fris, I.
41
1977
On the size of machines. Zbl 0165.02102
Blum, M.
41
1967
Sparse sets in NP-P: EXPTIME versus NEXPTIME. Zbl 0586.68042
Hartmanis, J.; Immerman, N.; Sewelson, V.
40
1985
Parallel computation for well-endowed rings and space-bounded probabilistic machines. Zbl 0598.68043
Borodin, A.; Cook, S.; Pippenger, N.
40
1983
Sorting Jordan sequences in linear time using level-linked search trees. Zbl 0614.68051
Hoffmann, Kurt; Mehlhorn, Kurt; Rosenstiehl, Pierre; Tarjan, Robert E.
39
1986
Every sequence is reducible to a random one. Zbl 0628.03024
Gács, Péter
38
1986
On the measure of fuzziness and negation. II. Lattices. Zbl 0429.04008
Yager, Ronald R.
38
1980
A class of low-rate nonlinear binary codes. Zbl 0271.94016
Kerdock, A. M.
38
1972
Tally languages and complexity classes. Zbl 0287.68029
Book, Ronald V.
38
1974
Full AFLs and nested iterated substitution. Zbl 0188.03102
Greibach, S. A.
38
1970
Operations in a fuzzy-valued logic. Zbl 0434.03020
Dubois, Didier; Prade, Henri
37
1979
Picture languages with array rewriting rules. Zbl 0266.68037
Siromoney, Gift; Siromoney, Rani; Krithivasan, Kamala
37
1973
One-way bounded cellular automata. Zbl 0442.68082
Dyer, Charles R.
36
1980
Application of model theoretic games to discrete linear orders and finite automata. Zbl 0387.68037
Ladner, Richard E.
36
1977
A regularity test for pushdown machines. Zbl 0155.01901
Stearns, R. E.
36
1967
Some results on cyclic codes which are invariant under the affine group and their applications. Zbl 0169.51101
Kasami, T.; Lin, S.; Peterson, W. W.
36
1967
Infinite-dimensional filtering: The Kalman-Bucy filter in Hilbert space. Zbl 0178.18902
Falb, Peter L.
36
1967
What is a model of the lambda calculus? Zbl 0507.03002
Meyer, Albert R.
35
1982
Using string languages to describe picture languages. Zbl 0523.68065
Maurer, H. A.; Rozenberg, G.; Welzl, E.
35
1982
Multi-tape and multi-head pushdown automata. Zbl 0174.02701
Harrison, M. A.; Ibarra, O. H.
35
1968
An ideal model for recursive polymorphic types. Zbl 0636.68016
MacQueen, David; Plotkin, Gordon; Sethi, Ravi
34
1986
Finite state languages. Zbl 0081.14503
Chomsky, Noam; Miller, George A.
34
1958
Circuit-size lower bounds and non-reducibility to sparse sets. Zbl 0537.94027
Kannan, R.
34
1982
A variant of the Kolmogorov concept of complexity. Zbl 0188.52101
Loveland, D. W.
34
1969
New parametric measures of information. Zbl 0524.62005
Ferentinos, K.; Papaioannou, T.
33
1981
A directed-divergence function of type \(\beta\). Zbl 0231.94015
Rathie, P. N.; Kannappan, Pl.
33
1972
Turing machines with restricted memory access. Zbl 0145.24205
Fischer, P. C.
33
1966
Time and tape complexity of pushdown automaton languages. Zbl 0257.68065
Aho, A. V.; Hopcroft, J. E.; Ullman, J. D.
32
1968
A formulation of fuzzy decision problems with fuzzy information using probability measures of fuzzy events. Zbl 0401.94050
Okuda, T.; Tanaka, H.; Asai, K.
32
1978
A class of optimum nonlinear double-error-correcting codes. Zbl 0167.47702
Preparata, Franco P.
32
1968
Relational queries computable in polynomial time. Zbl 0612.68086
Immerman, Neil
123
1986
Deterministic coin tossing with applications to optimal parallel list ranking. Zbl 0612.68044
Cole, Richard; Vishkin, Uzi
77
1986
Boundary NLC graph grammars - basic definitions, normal forms, and complexity. Zbl 0608.68060
Rozenberg, Grzegorz; Welzl, Emo
46
1986
Sorting Jordan sequences in linear time using level-linked search trees. Zbl 0614.68051
Hoffmann, Kurt; Mehlhorn, Kurt; Rosenstiehl, Pierre; Tarjan, Robert E.
39
1986
Every sequence is reducible to a random one. Zbl 0628.03024
Gács, Péter
38
1986
An ideal model for recursive polymorphic types. Zbl 0636.68016
MacQueen, David; Plotkin, Gordon; Sethi, Ravi
34
1986
An automata-theoretical characterization of the OI-hierarchy. Zbl 0628.68061
Damm, Werner; Goerdt, Andreas
24
1986
A note on succinct representations of graphs. Zbl 0616.68041
Papadimitriou, Christos H.; Yannakakis, Mihalis
20
1986
On relativized exponential and probabilistic complexity classes. Zbl 0628.68047
Heller, Hans
20
1986
Functional dependencies and constraints on null values in database relations. Zbl 0612.68087
Atzeni, Paolo; Morfuni, Nicola M.
19
1986
On the complexity of inductive inference. Zbl 0648.68090
Daley, Robert P.; Smith, Carl H.
18
1986
Systolic trellis automata: Stability, decidability and complexity. Zbl 0626.68048
Culik, K. II; Gruska, J.; Salomaa, A.
16
1986
A logic for the description of non-deterministic programs and their properties. Zbl 0591.68017
Graf, S.; Sifakis, J.
15
1986
A decisive characterization of BPP. Zbl 0616.68049
Zachos, Stathis; Heller, Hans
15
1986
On specifications, theories, and models with higher types. Zbl 0591.68019
Poigné, Axel
14
1986
Categorical combinators. Zbl 0607.03005
Curien, P.-L.
13
1986
Definability by constant-depth polynomial-size circuits. Zbl 0629.94023
Denenberg, Larry; Gurevich, Yuri; Shelah, Saharon
13
1986
Aggregating inductive expertise. Zbl 0612.68077
Osherson, Daniel N.; Stob, Michael; Weinstein, Scott
12
1986
The density and complexity of polynomial cores for intractable sets. Zbl 0611.68021
Orponen, Pekka; Schöning, Uwe
11
1986
A superexponential lower bound for Gröbner bases and Church-Rosser commutative Thue systems. Zbl 0612.68033
Huynh, Dung T.
11
1986
A modal characterization of observational congruence on finite terms of CCS. Zbl 0591.68031
Graf, S.; Sifakis, J.
10
1986
New upper bounds for neighbor searching. Zbl 0595.68055
Chazelle, B.; Cole, R.; Preparata, F. P.; Yap, C.
10
1986
Inductive inference of approximations. Zbl 0618.68073
Royer, James S.
9
1986
Probabilistic propositional temporal logics. Zbl 0614.03024
Hart, Sergiu; Sharir, Micha
7
1986
Solving tree problems on a mesh-connected processor array. Zbl 0605.68058
Atallah, Mikhail J.; Hambrusch, Susanne E.
5
1986
The position of index sets of identifiable sets in the arithmetical hierarchy. Zbl 0605.03017
Brandt, Ulrike
5
1986
Simulation of large networks on smaller networks. Zbl 0627.68055
Bodlaender, H. L.; van Leeuwen, J.
5
1986
Probabilistic analysis of a network resource allocation algorithm. Zbl 0591.90091
Lynch, Nancy A.; Griffeth, Nancy D.; Fischer, Michael J.; Guibas, Leonidas J.
3
1986
Syntax directed analysis of liveness properties of while programs. Zbl 0591.68016
Apt, Krzysztof R.; Delporte-Gallet, Carole
2
1986
An exponential lower bound for real-time branching programs. Zbl 0627.68044
Žák, Stanislav
2
1986
On the power of two-way random generators and the impossibility of deterministic poly-space simulation. Zbl 0629.68046
Karpinski, Marek; Verbeek, Rutger
2
1986
A note on some simultaneous relations among time, space, and reversal for single work tape nondeterministic Turing machines. Zbl 0623.68051
Moriya, Etsuro; Iwata, Shigeki; Kasai, Takumi
2
1986
Pre-analysis locking. Zbl 0604.68026
Lausen, Georg; Soisalon-Soininen, Eljas; Widmayer, Peter
1
1986
A simplified lower bound for context-free-language recognition. Zbl 0605.68078
Seiferas, Joel I.
1
1986
A polynomial jump operator. Zbl 0605.03018
Townsend, Mike
1
1986
Arithmetic theories for computational complexity problems. Zbl 0611.03018
Homer, Steve; Reif, John
1
1986
Machines for attribute grammars. Zbl 0612.68075
Filé, Gilberto
1
1986
Retraction map categories and their applications to the construction of lambda calculus models. Zbl 0623.03016
Yokouchi, Hirofumi
1
1986
A taxonomy of problems with fast parallel algorithms. Zbl 0575.68045
Cook, Stephen A.
166
1985
Algorithms for approximate string matching. Zbl 0575.68090
Ukkonen, Esko
55
1985
Sparse sets in NP-P: EXPTIME versus NEXPTIME. Zbl 0586.68042
Hartmanis, J.; Immerman, N.; Sewelson, V.
40
1985
Logical relations and the typed \(\lambda\)-calculus. Zbl 0594.03006
Statman, R.
31
1985
Optimal parallel pattern matching in strings. Zbl 0588.68023
Vishkin, Uzi
24
1985
Semantic confluence tests and completion methods. Zbl 0598.68058
Plaisted, David A.
24
1985
Complexity of some problems from the theory of automata. Zbl 0603.68059
Stern, Jacques
24
1985
Optimal parallel algorithms for string matching. Zbl 0588.68022
Galil, Zvi
21
1985
A zero-one law for logic with a fixed-point operator. Zbl 0608.68077
Blass, Andreas; Gurevich, Yuri; Kozen, Dexter
17
1985
A proof rule for fair termination of guarded commands. Zbl 0577.68022
Grumberg, Orna; Francez, Nissim; Makowsky, Johann A.
15
1985
Computing with rewrite systems. Zbl 0584.68020
Dershowitz, Nachum
15
1985
The power of the future perfect in program logics. Zbl 0582.68010
Hennessy, Matthew; Stirling, Colin
13
1985
Sublattices of the polynomial time degrees. Zbl 0556.03033
Ambos-Spies, Klaus
12
1985
How to search in history. Zbl 0575.68062
Chazelle, Bernard
11
1985
Fast recognition of pushdown automaton and context-free languages. Zbl 0611.68052
Rytter, Wojciech
9
1985
The complexity of equivalence problems for commutative grammars. Zbl 0601.68048
Huynh, Dung T.
7
1985
A new solution for the Byzantine generals problem. Zbl 0575.68025
Reischuk, Rüdiger
6
1985
Propositional dynamic logic of flowcharts. Zbl 0575.68039
Harel, D.; Sherman, R.
6
1985
Effective Hilbert irreducibility. Zbl 0584.12019
Kaltofen, Erich
6
1985
AVL-trees for localized search. Zbl 0588.68033
Tsakalidis, Athanasios K.
6
1985
Normalization and axiomatization for numerical dependencies. Zbl 0602.68095
Grant, John; Minker, Jack
5
1985
Fast triangulation of the plane with respect to simple polygons. Zbl 0575.68049
Hertel, Stefan; Mehlhorn, Kurt
4
1985
Unraveling k-page graphs. Zbl 0584.05055
Kannan, Ravi
4
1985
Definability by deterministic and non-deterministic programs (with applications to first-order dynamic logic). Zbl 0585.68022
Kfoury, A. J.
4
1985
Uniform characterizations of non-uniform complexity measures. Zbl 0588.68021
Balcázar, José L.; Díaz, Josep; Gabarró, Joaquim
4
1985
The critical complexity of all (monotone) Boolean functions and monotone graph properties. Zbl 0588.68024
Wegener, Ingo
4
1985
On the relationships between Scott domains, synchronization trees, and metric spaces. Zbl 0598.68014
Rounds, William C.
4
1985
The complexity of cubical graphs. Zbl 0601.68040
Afrati, Foto; Papadimitriou, Christos H.; Papageorgiou, George
4
1985
Implicit data structures for weighted elements. Zbl 0581.68050
Frederickson, Greg N.
3
1985
On relative completeness of Hoare logics. Zbl 0586.68027
Grabowski, Michal
3
1985
There is no polynomial deterministic space simulation of probabilistic space with a two-way random-tape generator. Zbl 0588.68026
Karpinski, Marek; Verbeek, Rutger
3
1985
Symmetrical one-dimensional cellular spaces. Zbl 0588.68030
Szwerinski, Helge
3
1985
Alternation with restrictions on looping. Zbl 0611.68020
Robson, J. M.
2
1985
Pseudorandom number generation and space complexity. Zbl 0575.68048
Furst, Merrick; Lipton, Richard; Stockmeyer, Larry
1
1985
Powerposets. Zbl 0588.06002
Adachi, Takanori
1
1985
Some characterizations of multihead finite automata. Zbl 0588.68027
Ibarra, Oscar H.; Kim, Sam M.; Rosier, Louis E.
1
1985
Separation in nonlinear time models. Zbl 0617.03005
Amir, Amihood
1
1985
Process algebra of synchronous communication. Zbl 0597.68027
Bergstra, J. A.; Klop, J. W.
179
1984
The complexity of promise problems with applications to public-key cryptography. Zbl 0592.94012
Even, Shimon; Selman, Alan L.; Yacobi, Yacov
59
1984
Deciding full branching time logic. Zbl 0593.03007
Emerson, E. Allen; Sistla, A. Prasad
51
1984
Randomness conservation inequalities; information and independence in mathematical theories. Zbl 0592.03035
Levin, Leonid A.
49
1984
An upper and lower bound for clock synchronization. Zbl 0591.68023
Lundelius, Jennifer; Lynch, Nancy
21
1984
Arbitrary versus periodic storage schemes and tessellations of the plane using one type of polyomino. Zbl 0592.05017
Wijshoff, H. A. G.; van Leeuwen, J.
16
1984
A logic for constant-depth circuits. Zbl 0592.94023
Gurevich, Yuri; Lewis, Harry R.
13
1984
Optimal decision trees and one-time-only branching programs for symmetric Boolean functions. Zbl 0592.94025
Wegener, Ingo
11
1984
A programming language for the inductive sets, and applications. Zbl 0591.68037
Harel, David; Kozen, Dexter
10
1984
Geometric retrieval problems. Zbl 0591.68091
Cole, Richard; Yap, Chee K.
10
1984
Effectively given domains and lambda-calculus models. Zbl 0599.03008
Giannini, Paola; Longo, Giuseppe
10
1984
On static logics, dynamic logics, and complexity classes. Zbl 0589.68030
Harel, D.; Peleg, D.
9
1984
An average case analysis of Floyd’s algorithm to construct heaps. Zbl 0589.68046
Doberkat, Ernst E.
9
1984
An algorithm for covering polygons with rectangles. Zbl 0591.68073
Franzblau, D. S.; Kleitman, D. J.
9
1984
The uniform conjugacy problem for finite Church-Rosser Thue systems is NP-complete. Zbl 0592.03025
Narendran, Paliath; Otto, Friedrich; Winklmann, Karl
9
1984
On the progress of communication between two finite state machines. Zbl 0591.68057
Gouda, M. G.; Manning, E. G.; Yu, Y. T.
7
1984
Dynamic c-oriented polygonal intersection searching. Zbl 0591.68061
Güting, Ralf Hartmut
7
1984
Hash functions for priority queues. Zbl 0591.68093
Ajtai, M.; Fredman, M.; Komlós, J.
7
1984
A decidable propositional dynamic logic with explicit probabilities. Zbl 0592.68031
Feldman, Yishai A.
7
1984
A fresh look at free choice nets. Zbl 0589.68044
Thiagarajan, P. S.; Voss, K.
6
1984
Alternation bounded auxiliary pushdown automata. Zbl 0589.68058
Ladner, Richard E.; Stockmeyer, Larry J.; Lipton, Richard J.
6
1984
On similarity and duality of computation. I. Zbl 0589.68038
Hong, Jia-Wei
5
1984
Functional behavior of nondeterministic and concurrent programs. Zbl 0591.68018
Main, Michael G.; Benson, David B.
5
1984
Two nonlinear lower bounds for on-line computations. Zbl 0589.68039
Dūri\=s, Pavol; Galil, Zvi; Paul, Wolfgang; Reischuk, Ruediger
4
1984
The complexity of sorting on distributed systems. Zbl 0589.68045
Loui, Michael C.
4
1984
...and 1062 more Documents
all top 5

Cited by 16,674 Authors

107 Jain, Sanjay
81 Stephan, Frank
78 Rozenberg, Grzegorz
71 Ibarra, Oscar H.
69 Davvaz, Bijan
66 Jun, Young Bae
65 Xu, Zeshui
61 Mordeson, John N.
61 Yager, Ronald R.
59 Akram, Muhammad
59 Engelfriet, Joost
58 Pedrycz, Witold
49 Dubois, Didier
49 Zhan, Jianming
48 Kutrib, Martin
48 Prade, Henri M.
44 Case, John
42 Chen, Shyiming
40 Salomaa, Arto Kustaa
39 Culik, Karel II
38 Gil, María Angeles
37 Bergstra, Jan A.
37 Wood, Derick
36 Yang, Miin-Shen
35 Inoue, Katsushi
35 Kerre, Etienne E.
35 Mesiar, Radko
34 Wu, Hsien-Chung
33 Di Nola, Antonio
33 Păun, Gheorghe
32 Hu, Baoqing
32 Karhumaki, Juhani
32 Otto, Friedrich
31 Helleseth, Tor
31 Kinber, Efim B.
31 Okhotin, Alexander
31 Shabir, Muhammad
30 Courcelle, Bruno
30 Vogler, Heiko
30 Yoshida, Yuji
29 Harada, Masaaki
29 Holzer, Markus
27 Abdullah, Saleem
27 Book, Ronald Vernon
27 Bustince, Humberto
27 Calude, Cristian S.
27 Chen, Xiaohong
27 De Baets, Bernard
27 Droste, Manfred
27 Ehrenfeucht, Andrzej
26 Kandel, Abraham
26 Li, Hongxing
26 Pin, Jean-Eric
25 Freivalds, Rūsiņš Mārtiņš
25 Greibach, Sheila A.
25 Honkala, Juha
25 Klement, Erich Peter
25 Lutz, Jack H.
24 Aceto, Luca
24 Dassow, Jürgen
24 Kreinovich, Vladik Yakovlevich
24 Pal, Madhumangal
24 Staiger, Ludwig
23 Fernau, Henning
23 Han, Sang-Eon
23 Hemaspaandra, Lane A.
23 Ingólfsdóttir, Anna
23 Lowen, Robert
23 Nies, André Otfrid
23 Sessa, Salvatore
23 Takanami, Itsuo
23 Vitányi, Paul M. B.
22 Fülöp, Zoltán
22 Gerla, Giangiacomo
22 Klir, George J.
22 Lange, Steffen
22 Mahmood, Tahir
22 Sharma, Arun K.
22 Xu, Jiuping
22 Zeugmann, Thomas
21 Beg, Ismat
21 Downey, Rodney Graham
21 Hamada, Noboru
21 Morsi, Nehad Nashaat
21 Perrin, Dominique
21 Salomaa, Kai T.
21 Shum, Kar-Ping
21 Taneja, Inder Jeet
21 Vardi, Moshe Y.
21 Wang, Xueping
21 Zaripov, Rinat G.
20 Barmpalias, George
20 Mäkinen, Erkki
20 Malcher, Andreas
20 Malik, Davender S.
20 Maurer, Hermann A.
20 Menéndez, María Luisa
20 Ralescu, Dan A.
20 Thierrin, Gabriel
19 Demirbaş, Kerim
...and 16,574 more Authors
all top 5

Cited in 823 Journals

1,677 Fuzzy Sets and Systems
1,546 Theoretical Computer Science
844 Information Sciences
536 Journal of Computer and System Sciences
417 Information and Computation
357 Information Processing Letters
304 Soft Computing
238 Journal of Intelligent and Fuzzy Systems
225 Discrete Mathematics
219 Journal of Mathematical Analysis and Applications
207 International Journal of Approximate Reasoning
203 Computers & Mathematics with Applications
190 European Journal of Operational Research
176 Acta Informatica
176 Designs, Codes and Cryptography
171 International Journal of Computer Mathematics
167 Mathematical Systems Theory
161 Discrete Applied Mathematics
154 International Journal of Foundations of Computer Science
151 International Journal of General Systems
141 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
131 Kybernetika
127 International Journal of Systems Science
127 Finite Fields and their Applications
113 Fuzzy Optimization and Decision Making
111 Automatica
102 Mathematical Problems in Engineering
98 International Journal of Control
95 Theory of Computing Systems
93 Applied Mathematics and Computation
92 Applied Mathematical Modelling
87 Annals of Pure and Applied Logic
86 Computational and Applied Mathematics
85 Journal of Combinatorial Theory. Series A
83 Kybernetes
82 The Journal of Symbolic Logic
81 Pattern Recognition
78 Iranian Journal of Fuzzy Systems
76 Mathematical and Computer Modelling
71 Journal of Computational and Applied Mathematics
70 Symmetry
69 Journal of the Franklin Institute
69 Advances in Fuzzy Systems
64 Algorithmica
63 RAIRO. Informatique Théorique et Applications
60 Chaos, Solitons and Fractals
59 Afrika Matematika
57 Journal of Mathematics
55 Artificial Intelligence
54 RAIRO, Informatique Théorique
53 Journal of Statistical Planning and Inference
53 Journal of Applied Mathematics
52 RAIRO. Theoretical Informatics and Applications
51 International Journal of Computer & Information Sciences
50 Linear Algebra and its Applications
50 Journal of Applied Mathematics and Computing
50 New Mathematics and Natural Computation
49 International Journal of Production Research
49 Fuzzy Information and Engineering
48 International Journal of Intelligent Systems
47 Annals of Operations Research
47 MSCS. Mathematical Structures in Computer Science
46 Systems & Control Letters
46 Journal of Symbolic Computation
46 Annals of Mathematics and Artificial Intelligence
45 Journal of Optimization Theory and Applications
45 Cybernetics and Systems
44 Cryptography and Communications
43 Computing
42 Problems of Information Transmission
41 Semigroup Forum
41 International Journal of Control, I. Series
40 Applicable Algebra in Engineering, Communication and Computing
39 Formal Aspects of Computing
39 Computational Complexity
38 Complexity
37 Abstract and Applied Analysis
34 International Journal of Mathematics and Mathematical Sciences
34 Opsearch
34 Journal of Mathematical Sciences (New York)
33 Studia Logica
33 Computers & Operations Research
32 Journal of Inequalities and Applications
32 Fixed Point Theory and Applications
31 Journal of Mathematical Physics
31 Journal of Soviet Mathematics
31 Journal of Information & Optimization Sciences
31 Cybernetics and Systems Analysis
31 Discrete Dynamics in Nature and Society
30 Mathematics and Computers in Simulation
30 European Journal of Combinatorics
29 International Journal of Theoretical Physics
29 Journal of Pure and Applied Algebra
29 Applied Mathematics Letters
29 Distributed Computing
29 The Bulletin of Symbolic Logic
29 Advances in Mathematics of Communications
28 Journal of Algebra
27 Aequationes Mathematicae
27 Computational Statistics and Data Analysis
...and 723 more Journals
all top 5

Cited in 62 Fields

7,487 Computer science (68-XX)
3,572 Mathematical logic and foundations (03-XX)
2,209 Information and communication theory, circuits (94-XX)
1,513 Operations research, mathematical programming (90-XX)
1,195 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1,126 Systems theory; control (93-XX)
966 Statistics (62-XX)
836 Combinatorics (05-XX)
735 General topology (54-XX)
626 Group theory and generalizations (20-XX)
569 Probability theory and stochastic processes (60-XX)
508 Order, lattices, ordered algebraic structures (06-XX)
419 Number theory (11-XX)
370 Numerical analysis (65-XX)
305 Biology and other natural sciences (92-XX)
241 Measure and integration (28-XX)
237 Real functions (26-XX)
234 Linear and multilinear algebra; matrix theory (15-XX)
229 Associative rings and algebras (16-XX)
194 General algebraic systems (08-XX)
187 Category theory; homological algebra (18-XX)
183 Calculus of variations and optimal control; optimization (49-XX)
176 Ordinary differential equations (34-XX)
175 Quantum theory (81-XX)
168 Operator theory (47-XX)
167 Functional analysis (46-XX)
116 Dynamical systems and ergodic theory (37-XX)
108 Geometry (51-XX)
104 Difference and functional equations (39-XX)
103 Commutative algebra (13-XX)
95 Convex and discrete geometry (52-XX)
94 Statistical mechanics, structure of matter (82-XX)
83 Sequences, series, summability (40-XX)
71 History and biography (01-XX)
64 Field theory and polynomials (12-XX)
63 Partial differential equations (35-XX)
63 Approximations and expansions (41-XX)
62 Mechanics of deformable solids (74-XX)
57 Algebraic geometry (14-XX)
55 Harmonic analysis on Euclidean spaces (42-XX)
48 General and overarching topics; collections (00-XX)
48 Mechanics of particles and systems (70-XX)
36 Integral equations (45-XX)
36 Geophysics (86-XX)
24 Fluid mechanics (76-XX)
23 Topological groups, Lie groups (22-XX)
22 Special functions (33-XX)
20 Manifolds and cell complexes (57-XX)
18 Functions of a complex variable (30-XX)
18 Integral transforms, operational calculus (44-XX)
18 Algebraic topology (55-XX)
17 Nonassociative rings and algebras (17-XX)
15 Abstract harmonic analysis (43-XX)
14 Differential geometry (53-XX)
14 Global analysis, analysis on manifolds (58-XX)
11 Optics, electromagnetic theory (78-XX)
11 Classical thermodynamics, heat transfer (80-XX)
4 Several complex variables and analytic spaces (32-XX)
4 Relativity and gravitational theory (83-XX)
3 Mathematics education (97-XX)
1 \(K\)-theory (19-XX)
1 Potential theory (31-XX)

Citations by Year