×

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)
References Indexed: 1 Publication with 28 References.
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.
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
5 Zierler, Neal
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 Even, Shimon
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, Jetty
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.
...and 1,209 more Authors
all top 5

Fields

683 Computer science (68-XX)
386 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,167 Publications have been cited 23,032 times in 18,216 Documents Cited by Year
Fuzzy sets. Zbl 0139.24606
Zadeh, L. A.
1965
Language identification in the limit. Zbl 0259.68032
Gold, E. Mark
456
1967
Resolution of composite fuzzy relation equations. Zbl 0326.02048
Sanchez, Elie
344
1976
A definition of a nonprobabilistic entropy in the setting of fuzzy sets theory. Zbl 0239.94028
De Luca, A.; Termini, S.
325
1972
The definition of random sequences. Zbl 0244.62008
Martin-Löf, Per
312
1966
On finite monoids having only trivial subgroups. Zbl 0131.02001
Schützenberger, M. P.
215
1965
A new approach to clustering. Zbl 0192.57101
Ruspini, E. H.
198
1969
Toward a mathematical theory of inductive inference. Zbl 0375.02028
Blum, Lenore; Blum, Manuel
197
1975
On the definition of a family of automata. Zbl 0104.00702
Schützenberger, M. P.
195
1961
Process algebra of synchronous communication. Zbl 0597.68027
Bergstra, J. A.; Klop, J. W.
188
1984
Inductive inference of formal languages from positive data. Zbl 0459.68051
Angluin, Dana
179
1980
A taxonomy of problems with fast parallel algorithms. Zbl 0575.68045
Cook, Stephen A.
178
1985
Probabilistic automata. Zbl 0182.33602
Rabin, M. O.
172
1963
Testing and generating infinite sequences by a finite automaton. Zbl 0212.33902
McNaughton, R.
158
1966
Some inequalities satisfied by the quantities of information of Fisher and Shannon. Zbl 0085.34701
Stam, A. J.
153
1959
A formal theory of inductive inference. I. Zbl 0258.68045
Solomonoff, R. J.
152
1964
Some properties of fuzzy sets of type 2. Zbl 0331.02042
Mizumoto, Masaharu; Tanaka, Kokichi
151
1976
Generalized information functions. Zbl 0205.46901
Daróczy, Z.
130
1970
Relational queries computable in polynomial time. Zbl 0612.68086
Immerman, Neil
129
1986
On the translation of languages from left to right. Zbl 0231.68027
Knuth, Donald E.
110
1966
The weight enumerators for several classes of subcodes of the 2nd order binary Reed-Muller codes. Zbl 0217.58802
Kasami, T.
107
1971
Temporal logic can be more expressive. Zbl 0534.03009
Wolper, Pierre
105
1983
The matrix minimum principle. Zbl 0176.07301
Athans, M.
96
1967
On certain formal properties of grammars. Zbl 0088.10801
Chomsky, Noam
96
1959
Fuzzy algorithms. Zbl 0182.33301
Zadeh, L. A.
93
1968
Complexity of automaton identification from given data. Zbl 0376.68041
Gold, E. Mark
91
1978
Processes and the denotational semantics of concurrency. Zbl 0508.68011
de Bakker, J. W.; Zucker, J. I.
90
1982
A formal theory of inductive inference. II. Zbl 0259.68038
Solomonoff, R. J.
88
1964
Deterministic coin tossing with applications to optimal parallel list ranking. Zbl 0612.68044
Cole, Richard; Vishkin, Uzi
84
1986
Recognition and parsing of context-free languages in time \(n^ 3\). Zbl 0149.24803
Younger, D. H.
82
1967
Deterministic context free languages. Zbl 0145.00802
Ginsburg, S.; Greibach, S.
80
1966
An upper bound for self-dual codes. Zbl 0254.94011
Mallows, C. L.; Sloane, N. J. A.
80
1973
Algebraically punctured cyclic codes. Zbl 0149.15903
Solomon, Gustave; Stiffler, J. J.
76
1965
Four fundamental parameters of a code and their combinatorial significance. Zbl 0274.94010
Delsarte, Philippe
76
1973
On generalized Reed-Muller codes and their relatives. Zbl 0267.94014
Delsarte, P.; Goethals, J. M.; Mac Williams, F. J.
75
1970
Optimal state estimation in high noise. Zbl 0169.21902
Anderson, B. D. O.; Moore, J. B.
73
1968
Algebraic automata and context-free sets. Zbl 0155.34301
Mezei, J.; Wright, J. B.
71
1967
Fast parallel matrix and GCD computations. Zbl 0507.68020
Borodin, Allan; von zur Gathen, Joachim; Hopcroft, John
70
1982
Exponential observers for nonlinear dynamic systems. Zbl 0319.93049
Kou, Shauying R.; Elliott, David L.; Tarn, Tzyh Jong
70
1975
One-tape, off-line Turing machine computations. Zbl 0231.02048
Hennie, F. C.
70
1966
Reversible codes. Zbl 0137.37704
Massey, J. L.
65
1964
On \(\omega\)-regular sets. Zbl 0434.68061
Wagner, Klaus
64
1979
Weights of irreducible cyclic codes. Zbl 0239.94007
Baumert, L. D.; McEliece, R. J.
64
1972
The complexity of promise problems with applications to public-key cryptography. Zbl 0592.94012
Even, Shimon; Selman, Alan L.; Yacobi, Yacov
64
1984
Classes of languages and linear-bounded automata. Zbl 0199.04002
Kuroda, S.-Y.
63
1964
Tree generating regular systems. Zbl 0169.31601
Brainerd, W. S.
62
1969
Algorithms for approximate string matching. Zbl 0575.68090
Ukkonen, Esko
62
1985
On context-free languages and push-down automata. Zbl 0123.12502
Schützenberger, M. P.
60
1963
Fuzzy digital topology. Zbl 0404.68071
Rosenfeld, Azriel
60
1979
Properties of deterministic top-down grammars. Zbl 0209.02703
Rosenkrantz, D. J.; Stearns, R. E.
60
1970
Maximin automata. Zbl 0174.03601
Santos, Eugene S.
59
1968
On the solution of algebraic equations over finite fields. Zbl 0166.04803
Berlekamp, E. R.; Rumsey, H.; Solomon, Gustave
58
1967
The non-sequential behaviour of Petri nets. Zbl 0551.68050
Goltz, U.; Reisig, W.
57
1983
On a class of error correcting binary group codes. Zbl 0104.36402
Bose, R. C.; Ray-Chaudhuri, D. K.
56
1960
Randomness conservation inequalities; information and independence in mathematical theories. Zbl 0592.03035
Levin, Leonid A.
56
1984
Automata in general algebras. Zbl 0175.27902
Eilenberg, S.; Wright, J. B.
54
1967
Translations on a context free grammar. Zbl 0244.68035
Aho, A. V.; Ullman, J. D.
54
1972
The equivalence problem for deterministic finite-turn pushdown automata. Zbl 0285.68025
Valiant, Leslie G.
53
1974
Information-theoretical considerations on estimation problems. Zbl 0222.94022
Arimoto, Suguru
53
1971
Deciding full branching time logic. Zbl 0593.03007
Emerson, E. Allen; Sistla, A. Prasad
53
1984
An 8-state minimal time solution to the firing squad synchronization problem. Zbl 1347.68249
Balzer, Robert
51
1967
Propositional dynamic logic of looping and converse is elementarily decidable. Zbl 0515.68062
Streett, Robert S.
51
1982
On the entropy of context-free languages. Zbl 0193.32603
Kuich, W.
49
1970
Simple matrix languages. Zbl 0221.68041
Ibarra, Oscar H.
48
1970
On the unique satisfiability problem. Zbl 0543.03027
Blass, Andreas; Gurevich, Yuri
48
1982
An optimum solution to the firing squad synchronization problem. Zbl 1111.68527
Waksman, Abraham
46
1966
Boundary NLC graph grammars - basic definitions, normal forms, and complexity. Zbl 0608.68060
Rozenberg, Grzegorz; Welzl, Emo
46
1986
A theory of modal control. Zbl 0237.93004
Simon, J. D.; Mitter, S. K.
46
1968
Criteria of language learning. Zbl 0505.68038
Osherson, Daniel N.; Weinstein, Scott
44
1982
Sparse sets in NP-P: EXPTIME versus NEXPTIME. Zbl 0586.68042
Hartmanis, J.; Immerman, N.; Sewelson, V.
42
1985
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
Picture languages with array rewriting rules. Zbl 0266.68037
Siromoney, Gift; Siromoney, Rani; Krithivasan, Kamala
41
1973
Full AFLs and nested iterated substitution. Zbl 0188.03102
Greibach, S. A.
41
1970
A note on fuzzy sets. Zbl 0217.01403
Brown, J. G.
41
1971
Parallel computation for well-endowed rings and space-bounded probabilistic machines. Zbl 0598.68043
Borodin, A.; Cook, S.; Pippenger, N.
41
1983
Sorting Jordan sequences in linear time using level-linked search trees. Zbl 0614.68051
Hoffmann, Kurt; Mehlhorn, Kurt; Rosenstiehl, Pierre; Tarjan, Robert E.
40
1986
Every sequence is reducible to a random one. Zbl 0628.03024
Gács, Péter
40
1986
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.
40
1967
What is a model of the lambda calculus? Zbl 0507.03002
Meyer, Albert R.
39
1982
A class of low-rate nonlinear binary codes. Zbl 0271.94016
Kerdock, A. M.
39
1972
Tally languages and complexity classes. Zbl 0287.68029
Book, Ronald V.
39
1974
One-way bounded cellular automata. Zbl 0442.68082
Dyer, Charles R.
39
1980
Using string languages to describe picture languages. Zbl 0523.68065
Maurer, H. A.; Rozenberg, G.; Welzl, E.
39
1982
An ideal model for recursive polymorphic types. Zbl 0636.68016
MacQueen, David; Plotkin, Gordon; Sethi, Ravi
38
1986
A regularity test for pushdown machines. Zbl 0155.01901
Stearns, R. E.
38
1967
On the measure of fuzziness and negation. II. Lattices. Zbl 0429.04008
Yager, Ronald R.
38
1980
Multi-tape and multi-head pushdown automata. Zbl 0174.02701
Harrison, M. A.; Ibarra, O. H.
37
1968
Infinite-dimensional filtering: The Kalman-Bucy filter in Hilbert space. Zbl 0178.18902
Falb, Peter L.
37
1967
Operations in a fuzzy-valued logic. Zbl 0434.03020
Dubois, Didier; Prade, Henri
37
1979
Application of model theoretic games to discrete linear orders and finite automata. Zbl 0387.68037
Ladner, Richard E.
36
1977
Finite state languages. Zbl 0081.14503
Chomsky, Noam; Miller, George A.
36
1958
Circuit-size lower bounds and non-reducibility to sparse sets. Zbl 0537.94027
Kannan, R.
36
1982
Logical relations and the typed \(\lambda\)-calculus. Zbl 0594.03006
Statman, R.
35
1985
New parametric measures of information. Zbl 0524.62005
Ferentinos, K.; Papaioannou, T.
35
1981
Some results on quasi-cyclic codes. Zbl 0185.47403
Chen, C. L.; Peterson, W. W.; Weldon, E. J. jun.
34
1969
A variant of the Kolmogorov concept of complexity. Zbl 0188.52101
Loveland, D. W.
34
1969
A directed-divergence function of type \(\beta\). Zbl 0231.94015
Rathie, P. N.; Kannappan, Pl.
34
1972
Turing machines with restricted memory access. Zbl 0145.24205
Fischer, P. C.
33
1966
A class of optimum nonlinear double-error-correcting codes. Zbl 0167.47702
Preparata, Franco P.
33
1968
Relational queries computable in polynomial time. Zbl 0612.68086
Immerman, Neil
129
1986
Deterministic coin tossing with applications to optimal parallel list ranking. Zbl 0612.68044
Cole, Richard; Vishkin, Uzi
84
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.
40
1986
Every sequence is reducible to a random one. Zbl 0628.03024
Gács, Péter
40
1986
An ideal model for recursive polymorphic types. Zbl 0636.68016
MacQueen, David; Plotkin, Gordon; Sethi, Ravi
38
1986
An automata-theoretical characterization of the OI-hierarchy. Zbl 0628.68061
Damm, Werner; Goerdt, Andreas
26
1986
A note on succinct representations of graphs. Zbl 0616.68041
Papadimitriou, Christos H.; Yannakakis, Mihalis
23
1986
On relativized exponential and probabilistic complexity classes. Zbl 0628.68047
Heller, Hans
21
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.
16
1986
On specifications, theories, and models with higher types. Zbl 0591.68019
Poigné, Axel
16
1986
Categorical combinators. Zbl 0607.03005
Curien, P.-L.
15
1986
A decisive characterization of BPP. Zbl 0616.68049
Zachos, Stathis; Heller, Hans
15
1986
Definability by constant-depth polynomial-size circuits. Zbl 0629.94023
Denenberg, Larry; Gurevich, Yuri; Shelah, Saharon
15
1986
Aggregating inductive expertise. Zbl 0612.68077
Osherson, Daniel N.; Stob, Michael; Weinstein, Scott
12
1986
A modal characterization of observational congruence on finite terms of CCS. Zbl 0591.68031
Graf, S.; Sifakis, J.
12
1986
New upper bounds for neighbor searching. Zbl 0595.68055
Chazelle, B.; Cole, R.; Preparata, F. P.; Yap, C.
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
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
Simulation of large networks on smaller networks. Zbl 0627.68055
Bodlaender, H. L.; van Leeuwen, J.
6
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
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
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
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
Syntax directed analysis of liveness properties of while programs. Zbl 0591.68016
Apt, Krzysztof R.; Delporte-Gallet, Carole
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.
178
1985
Algorithms for approximate string matching. Zbl 0575.68090
Ukkonen, Esko
62
1985
Sparse sets in NP-P: EXPTIME versus NEXPTIME. Zbl 0586.68042
Hartmanis, J.; Immerman, N.; Sewelson, V.
42
1985
Logical relations and the typed \(\lambda\)-calculus. Zbl 0594.03006
Statman, R.
35
1985
Complexity of some problems from the theory of automata. Zbl 0603.68059
Stern, Jacques
27
1985
Optimal parallel pattern matching in strings. Zbl 0588.68023
Vishkin, Uzi
25
1985
Semantic confluence tests and completion methods. Zbl 0598.68058
Plaisted, David A.
24
1985
Optimal parallel algorithms for string matching. Zbl 0588.68022
Galil, Zvi
23
1985
A zero-one law for logic with a fixed-point operator. Zbl 0608.68077
Blass, Andreas; Gurevich, Yuri; Kozen, Dexter
18
1985
Computing with rewrite systems. Zbl 0584.68020
Dershowitz, Nachum
17
1985
A proof rule for fair termination of guarded commands. Zbl 0577.68022
Grumberg, Orna; Francez, Nissim; Makowsky, Johann A.
15
1985
The power of the future perfect in program logics. Zbl 0582.68010
Hennessy, Matthew; Stirling, Colin
14
1985
Sublattices of the polynomial time degrees. Zbl 0556.03033
Ambos-Spies, Klaus
13
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.
9
1985
AVL-trees for localized search. Zbl 0588.68033
Tsakalidis, Athanasios K.
6
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
Normalization and axiomatization for numerical dependencies. Zbl 0602.68095
Grant, John; Minker, Jack
6
1985
The critical complexity of all (monotone) Boolean functions and monotone graph properties. Zbl 0588.68024
Wegener, Ingo
5
1985
Uniform characterizations of non-uniform complexity measures. Zbl 0588.68021
Balcázar, José L.; Díaz, Josep; Gabarró, Joaquim
4
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
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
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
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
Alternation with restrictions on looping. Zbl 0611.68020
Robson, J. M.
2
1985
Separation in nonlinear time models. Zbl 0617.03005
Amir, Amihood
1
1985
Some characterizations of multihead finite automata. Zbl 0588.68027
Ibarra, Oscar H.; Kim, Sam M.; Rosier, Louis E.
1
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
Process algebra of synchronous communication. Zbl 0597.68027
Bergstra, J. A.; Klop, J. W.
188
1984
The complexity of promise problems with applications to public-key cryptography. Zbl 0592.94012
Even, Shimon; Selman, Alan L.; Yacobi, Yacov
64
1984
Randomness conservation inequalities; information and independence in mathematical theories. Zbl 0592.03035
Levin, Leonid A.
56
1984
Deciding full branching time logic. Zbl 0593.03007
Emerson, E. Allen; Sistla, A. Prasad
53
1984
An upper and lower bound for clock synchronization. Zbl 0591.68023
Lundelius, Jennifer; Lynch, Nancy
22
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.
17
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
12
1984
On static logics, dynamic logics, and complexity classes. Zbl 0589.68030
Harel, D.; Peleg, D.
11
1984
Geometric retrieval problems. Zbl 0591.68091
Cole, Richard; Yap, Chee K.
11
1984
A programming language for the inductive sets, and applications. Zbl 0591.68037
Harel, David; Kozen, Dexter
10
1984
An algorithm for covering polygons with rectangles. Zbl 0591.68073
Franzblau, D. S.; Kleitman, D. J.
10
1984
The uniform conjugacy problem for finite Church-Rosser Thue systems is NP-complete. Zbl 0592.03025
Narendran, Paliath; Otto, Friedrich; Winklmann, Karl
10
1984
Effectively given domains and lambda-calculus models. Zbl 0599.03008
Giannini, Paola; Longo, Giuseppe
10
1984
A fresh look at free choice nets. Zbl 0589.68044
Thiagarajan, P. S.; Voss, K.
9
1984
An average case analysis of Floyd’s algorithm to construct heaps. Zbl 0589.68046
Doberkat, Ernst E.
9
1984
Hash functions for priority queues. Zbl 0591.68093
Ajtai, M.; Fredman, M.; Komlós, J.
8
1984
A decidable propositional dynamic logic with explicit probabilities. Zbl 0592.68031
Feldman, Yishai A.
8
1984
Alternation bounded auxiliary pushdown automata. Zbl 0589.68058
Ladner, Richard E.; Stockmeyer, Larry J.; Lipton, Richard J.
7
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
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
Ďuriš, 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 1067 more Documents
all top 5

Cited by 18,261 Authors

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

Cited in 890 Journals

1,678 Fuzzy Sets and Systems
1,561 Theoretical Computer Science
877 Information Sciences
538 Journal of Computer and System Sciences
441 Information and Computation
389 Soft Computing
357 Information Processing Letters
238 Journal of Intelligent and Fuzzy Systems
235 International Journal of Approximate Reasoning
227 Discrete Mathematics
219 Journal of Mathematical Analysis and Applications
203 Computers & Mathematics with Applications
190 Designs, Codes and Cryptography
190 European Journal of Operational Research
181 Acta Informatica
179 International Journal of Computer Mathematics
167 Mathematical Systems Theory
163 Discrete Applied Mathematics
154 International Journal of Foundations of Computer Science
151 International Journal of General Systems
142 Computational and Applied Mathematics
141 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
138 Finite Fields and their Applications
131 Kybernetika
127 International Journal of Systems Science
117 Fuzzy Optimization and Decision Making
112 Automatica
100 Mathematical Problems in Engineering
98 International Journal of Control
96 Applied Mathematical Modelling
95 Theory of Computing Systems
94 Applied Mathematics and Computation
93 Iranian Journal of Fuzzy Systems
87 Annals of Pure and Applied Logic
85 Journal of Combinatorial Theory. Series A
83 The Journal of Symbolic Logic
83 Kybernetes
82 Journal of Function Spaces
81 Pattern Recognition
76 Journal of Computational and Applied Mathematics
76 Mathematical and Computer Modelling
72 Chaos, Solitons and Fractals
70 Journal of the Franklin Institute
70 Symmetry
69 Advances in Fuzzy Systems
68 Afrika Matematika
66 Algorithmica
65 Journal of Mathematics
63 Artificial Intelligence
63 RAIRO. Informatique Théorique et Applications
63 Journal of Applied Mathematics and Computing
54 RAIRO, Informatique Théorique
54 Journal of Discrete Mathematical Sciences & Cryptography
54 Cryptography and Communications
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
51 Annals of Operations Research
51 Linear Algebra and its Applications
50 New Mathematics and Natural Computation
49 International Journal of Production Research
49 Fuzzy Information and Engineering
48 Journal of Symbolic Computation
48 International Journal of Intelligent Systems
48 MSCS. Mathematical Structures in Computer Science
48 Annals of Mathematics and Artificial Intelligence
47 Journal of Optimization Theory and Applications
46 Systems & Control Letters
45 Cybernetics and Systems
44 Problems of Information Transmission
44 Applicable Algebra in Engineering, Communication and Computing
43 Computing
42 Semigroup Forum
41 International Journal of Control, I. Series
40 Discrete Dynamics in Nature and Society
39 Formal Aspects of Computing
39 Computational Complexity
38 Opsearch
38 Complexity
37 Abstract and Applied Analysis
37 Advances in Mathematics of Communications
37 Logical Methods in Computer Science
36 Journal of Inequalities and Applications
36 International Journal of Systems Science. Principles and Applications of Systems and Integration
35 Computers & Operations Research
35 Journal of Mathematical Sciences (New York)
33 International Journal of Mathematics and Mathematical Sciences
33 Studia Logica
33 Filomat
32 Journal of Mathematical Physics
32 Mathematics and Computers in Simulation
32 Communications in Statistics. Theory and Methods
32 Fixed Point Theory and Applications
31 Journal of Soviet Mathematics
31 European Journal of Combinatorics
31 Journal of Information & Optimization Sciences
31 Distributed Computing
31 Cybernetics and Systems Analysis
31 Journal of Logical and Algebraic Methods in Programming
...and 790 more Journals
all top 5

Cited in 63 Fields

7,959 Computer science (68-XX)
3,864 Mathematical logic and foundations (03-XX)
2,358 Information and communication theory, circuits (94-XX)
1,639 Operations research, mathematical programming (90-XX)
1,376 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1,151 Systems theory; control (93-XX)
1,045 Statistics (62-XX)
923 Combinatorics (05-XX)
848 General topology (54-XX)
691 Group theory and generalizations (20-XX)
596 Probability theory and stochastic processes (60-XX)
566 Order, lattices, ordered algebraic structures (06-XX)
473 Number theory (11-XX)
399 Numerical analysis (65-XX)
333 Biology and other natural sciences (92-XX)
282 Real functions (26-XX)
252 Associative rings and algebras (16-XX)
249 Linear and multilinear algebra; matrix theory (15-XX)
249 Measure and integration (28-XX)
219 General algebraic systems (08-XX)
219 Ordinary differential equations (34-XX)
201 Operator theory (47-XX)
198 Category theory; homological algebra (18-XX)
197 Calculus of variations and optimal control; optimization (49-XX)
194 Quantum theory (81-XX)
192 Functional analysis (46-XX)
125 Dynamical systems and ergodic theory (37-XX)
113 Geometry (51-XX)
112 Commutative algebra (13-XX)
111 Statistical mechanics, structure of matter (82-XX)
110 Difference and functional equations (39-XX)
105 Convex and discrete geometry (52-XX)
104 Sequences, series, summability (40-XX)
75 History and biography (01-XX)
73 Partial differential equations (35-XX)
73 Approximations and expansions (41-XX)
70 Field theory and polynomials (12-XX)
67 Mechanics of deformable solids (74-XX)
62 Algebraic geometry (14-XX)
58 Harmonic analysis on Euclidean spaces (42-XX)
51 General and overarching topics; collections (00-XX)
51 Mechanics of particles and systems (70-XX)
48 Integral equations (45-XX)
39 Geophysics (86-XX)
28 Manifolds and cell complexes (57-XX)
25 Algebraic topology (55-XX)
25 Fluid mechanics (76-XX)
24 Topological groups, Lie groups (22-XX)
22 Functions of a complex variable (30-XX)
22 Special functions (33-XX)
21 Integral transforms, operational calculus (44-XX)
16 Differential geometry (53-XX)
16 Global analysis, analysis on manifolds (58-XX)
15 Nonassociative rings and algebras (17-XX)
15 Abstract harmonic analysis (43-XX)
11 Optics, electromagnetic theory (78-XX)
11 Classical thermodynamics, heat transfer (80-XX)
6 Relativity and gravitational theory (83-XX)
5 Several complex variables and analytic spaces (32-XX)
1 \(K\)-theory (19-XX)
1 Potential theory (31-XX)
1 Astronomy and astrophysics (85-XX)
1 Mathematics education (97-XX)

Citations by Year