×

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: Journal; 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 Ralph
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 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,212 more Authors
all top 5

Fields

684 Computer science (68-XX)
390 Information and communication theory, circuits (94-XX)
157 Mathematical logic and foundations (03-XX)
86 Systems theory; control (93-XX)
51 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,181 Publications have been cited 25,916 times in 20,457 Documents Cited by Year
Fuzzy sets. Zbl 0139.24606
Zadeh, L. A.
1965
Language identification in the limit. Zbl 0259.68032
Gold, E. Mark
506
1967
Resolution of composite fuzzy relation equations. Zbl 0326.02048
Sanchez, Elie
378
1976
The definition of random sequences. Zbl 0244.62008
Martin-Löf, Per
358
1966
A definition of a nonprobabilistic entropy in the setting of fuzzy sets theory. Zbl 0239.94028
De Luca, A.; Termini, S.
357
1972
On finite monoids having only trivial subgroups. Zbl 0131.02001
Schützenberger, M. P.
261
1965
On the definition of a family of automata. Zbl 0104.00702
Schützenberger, M. P.
243
1961
Probabilistic automata. Zbl 0182.33602
Rabin, M. O.
216
1963
Toward a mathematical theory of inductive inference. Zbl 0375.02028
Blum, Lenore; Blum, Manuel
216
1975
A new approach to clustering. Zbl 0192.57101
Ruspini, E. H.
211
1969
Process algebra of synchronous communication. Zbl 0597.68027
Bergstra, J. A.; Klop, J. W.
209
1984
Inductive inference of formal languages from positive data. Zbl 0459.68051
Angluin, Dana
198
1980
A taxonomy of problems with fast parallel algorithms. Zbl 0575.68045
Cook, Stephen A.
194
1985
Some inequalities satisfied by the quantities of information of Fisher and Shannon. Zbl 0085.34701
Stam, A. J.
193
1959
Testing and generating infinite sequences by a finite automaton. Zbl 0212.33902
McNaughton, R.
173
1966
A formal theory of inductive inference. I. Zbl 0258.68045
Solomonoff, R. J.
168
1964
Some properties of fuzzy sets of type 2. Zbl 0331.02042
Mizumoto, Masaharu; Tanaka, Kokichi
158
1976
Generalized information functions. Zbl 0205.46901
Daróczy, Z.
155
1970
Relational queries computable in polynomial time. Zbl 0612.68086
Immerman, Neil
141
1986
Temporal logic can be more expressive. Zbl 0534.03009
Wolper, Pierre
128
1983
On the translation of languages from left to right. Zbl 0231.68027
Knuth, Donald E.
121
1966
The weight enumerators for several classes of subcodes of the 2nd order binary Reed-Muller codes. Zbl 0217.58802
Kasami, T.
120
1971
Complexity of automaton identification from given data. Zbl 0376.68041
Gold, E. Mark
107
1978
Deterministic coin tossing with applications to optimal parallel list ranking. Zbl 0612.68044
Cole, Richard; Vishkin, Uzi
105
1986
On certain formal properties of grammars. Zbl 0088.10801
Chomsky, Noam
104
1959
A formal theory of inductive inference. II. Zbl 0259.68038
Solomonoff, R. J.
102
1964
Fuzzy algorithms. Zbl 0182.33301
Zadeh, L. A.
101
1968
The matrix minimum principle. Zbl 0176.07301
Athans, M.
100
1967
Processes and the denotational semantics of concurrency. Zbl 0508.68011
de Bakker, J. W.; Zucker, J. I.
99
1982
Deterministic context free languages. Zbl 0145.00802
Ginsburg, S.; Greibach, S.
92
1966
An upper bound for self-dual codes. Zbl 0254.94011
Mallows, C. L.; Sloane, N. J. A.
91
1973
Recognition and parsing of context-free languages in time \(n^ 3\). Zbl 0149.24803
Younger, D. H.
87
1967
On generalized Reed-Muller codes and their relatives. Zbl 0267.94014
Delsarte, P.; Goethals, J. M.; Mac Williams, F. J.
86
1970
Reversible codes. Zbl 0137.37704
Massey, J. L.
84
1964
Four fundamental parameters of a code and their combinatorial significance. Zbl 0274.94010
Delsarte, Philippe
83
1973
On \(\omega\)-regular sets. Zbl 0434.68061
Wagner, Klaus
83
1979
Algebraically punctured cyclic codes. Zbl 0149.15903
Solomon, Gustave; Stiffler, J. J.
83
1965
The complexity of promise problems with applications to public-key cryptography. Zbl 0592.94012
Even, Shimon; Selman, Alan L.; Yacobi, Yacov
76
1984
Maximin automata. Zbl 0174.03601
Santos, Eugene S.
75
1968
One-tape, off-line Turing machine computations. Zbl 0231.02048
Hennie, F. C.
75
1966
Fast parallel matrix and GCD computations. Zbl 0507.68020
Borodin, Allan; von zur Gathen, Joachim; Hopcroft, John
74
1982
The non-sequential behaviour of Petri nets. Zbl 0551.68050
Goltz, U.; Reisig, W.
74
1983
Algebraic automata and context-free sets. Zbl 0155.34301
Mezei, J.; Wright, J. B.
74
1967
Optimal state estimation in high noise. Zbl 0169.21902
Anderson, B. D. O.; Moore, J. B.
73
1968
Exponential observers for nonlinear dynamic systems. Zbl 0319.93049
Kou, Shauying R.; Elliott, David L.; Tarn, Tzyh Jong
73
1975
Classes of languages and linear-bounded automata. Zbl 0199.04002
Kuroda, S.-Y.
72
1964
Fuzzy digital topology. Zbl 0404.68071
Rosenfeld, Azriel
71
1979
Algorithms for approximate string matching. Zbl 0575.68090
Ukkonen, Esko
70
1985
Weights of irreducible cyclic codes. Zbl 0239.94007
Baumert, L. D.; McEliece, R. J.
69
1972
Tree generating regular systems. Zbl 0169.31601
Brainerd, W. S.
68
1969
On the solution of algebraic equations over finite fields. Zbl 0166.04803
Berlekamp, E. R.; Rumsey, H.; Solomon, Gustave
66
1967
Properties of deterministic top-down grammars. Zbl 0209.02703
Rosenkrantz, D. J.; Stearns, R. E.
66
1970
On a class of error correcting binary group codes. Zbl 0104.36402
Bose, R. C.; Ray-Chaudhuri, D. K.
66
1960
Randomness conservation inequalities; information and independence in mathematical theories. Zbl 0592.03035
Levin, Leonid A.
64
1984
On context-free languages and push-down automata. Zbl 0123.12502
Schützenberger, M. P.
64
1963
Information-theoretical considerations on estimation problems. Zbl 0222.94022
Arimoto, Suguru
60
1971
Translations on a context free grammar. Zbl 0244.68035
Aho, A. V.; Ullman, J. D.
60
1972
An 8-state minimal time solution to the firing squad synchronization problem. Zbl 1347.68249
Balzer, Robert
60
1967
Propositional dynamic logic of looping and converse is elementarily decidable. Zbl 0515.68062
Streett, Robert S.
59
1982
Deciding full branching time logic. Zbl 0593.03007
Emerson, E. Allen; Sistla, A. Prasad
58
1984
Automata in general algebras. Zbl 0175.27902
Eilenberg, S.; Wright, J. B.
56
1967
The equivalence problem for deterministic finite-turn pushdown automata. Zbl 0285.68025
Valiant, Leslie G.
56
1974
On the unique satisfiability problem. Zbl 0543.03027
Blass, Andreas; Gurevich, Yuri
54
1982
On the entropy of context-free languages. Zbl 0193.32603
Kuich, W.
54
1970
An optimum solution to the firing squad synchronization problem. Zbl 1111.68527
Waksman, Abraham
53
1966
Picture languages with array rewriting rules. Zbl 0266.68037
Siromoney, Gift; Siromoney, Rani; Krithivasan, Kamala
52
1973
Boundary NLC graph grammars - basic definitions, normal forms, and complexity. Zbl 0608.68060
Rozenberg, Grzegorz; Welzl, Emo
50
1986
Simple matrix languages. Zbl 0221.68041
Ibarra, Oscar H.
49
1970
One-way bounded cellular automata. Zbl 0442.68082
Dyer, Charles R.
49
1980
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.
48
1967
Every sequence is reducible to a random one. Zbl 0628.03024
Gács, Péter
47
1986
A theory of modal control. Zbl 0237.93004
Simon, J. D.; Mitter, S. K.
47
1968
Criteria of language learning. Zbl 0505.68038
Osherson, Daniel N.; Weinstein, Scott
46
1982
Some results on quasi-cyclic codes. Zbl 0185.47403
Chen, C. L.; Peterson, W. W.; Weldon, E. J. jun.
46
1969
What is a model of the lambda calculus? Zbl 0507.03002
Meyer, Albert R.
45
1982
Sparse sets in NP-P: EXPTIME versus NEXPTIME. Zbl 0586.68042
Hartmanis, J.; Immerman, N.; Sewelson, V.
45
1985
Sorting Jordan sequences in linear time using level-linked search trees. Zbl 0614.68051
Hoffmann, Kurt; Mehlhorn, Kurt; Rosenstiehl, Pierre; Tarjan, Robert E.
45
1986
A note on fuzzy sets. Zbl 0217.01403
Brown, J. G.
45
1971
A class of low-rate nonlinear binary codes. Zbl 0271.94016
Kerdock, A. M.
45
1972
Full AFLs and nested iterated substitution. Zbl 0188.03102
Greibach, S. A.
44
1970
Circuit-size lower bounds and non-reducibility to sparse sets. Zbl 0537.94027
Kannan, R.
43
1982
On the size of machines. Zbl 0165.02102
Blum, M.
43
1967
The decidability of the equivalence problem for DOL-systems. Zbl 0365.68074
Čulik, Karel II; Fris, I.
43
1977
A regularity test for pushdown machines. Zbl 0155.01901
Stearns, R. E.
43
1967
Parallel computation for well-endowed rings and space-bounded probabilistic machines. Zbl 0598.68043
Borodin, A.; Cook, S.; Pippenger, N.
42
1983
Semantic confluence tests and completion methods. Zbl 0598.68058
Plaisted, David A.
42
1985
Application of model theoretic games to discrete linear orders and finite automata. Zbl 0387.68037
Ladner, Richard E.
42
1977
Tally languages and complexity classes. Zbl 0287.68029
Book, Ronald V.
41
1974
Finite state languages. Zbl 0081.14503
Chomsky, Noam; Miller, George A.
41
1958
Using string languages to describe picture languages. Zbl 0523.68065
Maurer, H. A.; Rozenberg, G.; Welzl, E.
40
1982
Succinct representations of graphs. Zbl 0538.68053
Galperin, Hana; Wigderson, Avi
40
1983
Logical relations and the typed \(\lambda\)-calculus. Zbl 0594.03006
Statman, R.
40
1985
A directed-divergence function of type \(\beta\). Zbl 0231.94015
Rathie, P. N.; Kannappan, Pl.
40
1972
Codes over integer residue rings. Zbl 0319.94003
Blake, Ian F.
40
1975
Star-free regular sets of \(\omega\)-sequences. Zbl 0411.03031
Thomas, Wolfgang
40
1979
An ideal model for recursive polymorphic types. Zbl 0636.68016
MacQueen, David; Plotkin, Gordon; Sethi, Ravi
39
1986
Multi-tape and multi-head pushdown automata. Zbl 0174.02701
Harrison, M. A.; Ibarra, O. H.
39
1968
Infinite-dimensional filtering: The Kalman-Bucy filter in Hilbert space. Zbl 0178.18902
Falb, Peter L.
39
1967
A coding theorem and Renyi’s entropy. Zbl 0138.15103
Campbell, L. L.
39
1965
New parametric measures of information. Zbl 0524.62005
Ferentinos, K.; Papaioannou, T.
38
1981
Relational queries computable in polynomial time. Zbl 0612.68086
Immerman, Neil
141
1986
Deterministic coin tossing with applications to optimal parallel list ranking. Zbl 0612.68044
Cole, Richard; Vishkin, Uzi
105
1986
Boundary NLC graph grammars - basic definitions, normal forms, and complexity. Zbl 0608.68060
Rozenberg, Grzegorz; Welzl, Emo
50
1986
Every sequence is reducible to a random one. Zbl 0628.03024
Gács, Péter
47
1986
Sorting Jordan sequences in linear time using level-linked search trees. Zbl 0614.68051
Hoffmann, Kurt; Mehlhorn, Kurt; Rosenstiehl, Pierre; Tarjan, Robert E.
45
1986
An ideal model for recursive polymorphic types. Zbl 0636.68016
MacQueen, David; Plotkin, Gordon; Sethi, Ravi
39
1986
A note on succinct representations of graphs. Zbl 0616.68041
Papadimitriou, Christos H.; Yannakakis, Mihalis
31
1986
An automata-theoretical characterization of the OI-hierarchy. Zbl 0628.68061
Damm, Werner; Goerdt, Andreas
29
1986
On relativized exponential and probabilistic complexity classes. Zbl 0628.68047
Heller, Hans
23
1986
Functional dependencies and constraints on null values in database relations. Zbl 0612.68087
Atzeni, Paolo; Morfuni, Nicola M.
20
1986
On the complexity of inductive inference. Zbl 0648.68090
Daley, Robert P.; Smith, Carl H.
19
1986
On specifications, theories, and models with higher types. Zbl 0591.68019
Poigné, Axel
18
1986
A modal characterization of observational congruence on finite terms of CCS. Zbl 0591.68031
Graf, S.; Sifakis, J.
17
1986
Categorical combinators. Zbl 0607.03005
Curien, P.-L.
17
1986
A logic for the description of non-deterministic programs and their properties. Zbl 0591.68017
Graf, S.; Sifakis, J.
16
1986
A decisive characterization of BPP. Zbl 0616.68049
Zachos, Stathis; Heller, Hans
16
1986
Systolic trellis automata: Stability, decidability and complexity. Zbl 0626.68048
Culik, K. II; Gruska, J.; Salomaa, A.
16
1986
Definability by constant-depth polynomial-size circuits. Zbl 0629.94023
Denenberg, Larry; Gurevich, Yuri; Shelah, Saharon
15
1986
New upper bounds for neighbor searching. Zbl 0595.68055
Chazelle, B.; Cole, R.; Preparata, F. P.; Yap, C.
14
1986
A superexponential lower bound for Gröbner bases and Church-Rosser commutative Thue systems. Zbl 0612.68033
Huynh, Dung T.
13
1986
The density and complexity of polynomial cores for intractable sets. Zbl 0611.68021
Orponen, Pekka; Schöning, Uwe
12
1986
Aggregating inductive expertise. Zbl 0612.68077
Osherson, Daniel N.; Stob, Michael; Weinstein, Scott
12
1986
Inductive inference of approximations. Zbl 0618.68073
Royer, James S.
10
1986
Probabilistic propositional temporal logics. Zbl 0614.03024
Hart, Sergiu; Sharir, Micha
9
1986
Simulation of large networks on smaller networks. Zbl 0627.68055
Bodlaender, H. L.; van Leeuwen, J.
8
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
Syntax directed analysis of liveness properties of while programs. Zbl 0591.68016
Apt, Krzysztof R.; Delporte-Gallet, Carole
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
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
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
Function definitions in term rewriting and applicative programming. Zbl 0629.68033
Mohan, Chilukuri K.; Srivas, Mandayam K.
1
1986
A taxonomy of problems with fast parallel algorithms. Zbl 0575.68045
Cook, Stephen A.
194
1985
Algorithms for approximate string matching. Zbl 0575.68090
Ukkonen, Esko
70
1985
Sparse sets in NP-P: EXPTIME versus NEXPTIME. Zbl 0586.68042
Hartmanis, J.; Immerman, N.; Sewelson, V.
45
1985
Semantic confluence tests and completion methods. Zbl 0598.68058
Plaisted, David A.
42
1985
Logical relations and the typed \(\lambda\)-calculus. Zbl 0594.03006
Statman, R.
40
1985
Complexity of some problems from the theory of automata. Zbl 0603.68059
Stern, Jacques
33
1985
Computing with rewrite systems. Zbl 0584.68020
Dershowitz, Nachum
26
1985
Optimal parallel algorithms for string matching. Zbl 0588.68022
Galil, Zvi
25
1985
Optimal parallel pattern matching in strings. Zbl 0588.68023
Vishkin, Uzi
25
1985
A zero-one law for logic with a fixed-point operator. Zbl 0608.68077
Blass, Andreas; Gurevich, Yuri; Kozen, Dexter
20
1985
A proof rule for fair termination of guarded commands. Zbl 0577.68022
Grumberg, Orna; Francez, Nissim; Makowsky, Johann A.
18
1985
The power of the future perfect in program logics. Zbl 0582.68010
Hennessy, Matthew; Stirling, Colin
15
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
The complexity of equivalence problems for commutative grammars. Zbl 0601.68048
Huynh, Dung T.
10
1985
Fast recognition of pushdown automaton and context-free languages. Zbl 0611.68052
Rytter, Wojciech
10
1985
Effective Hilbert irreducibility. Zbl 0584.12019
Kaltofen, Erich
9
1985
A new solution for the Byzantine generals problem. Zbl 0575.68025
Reischuk, Rüdiger
8
1985
Normalization and axiomatization for numerical dependencies. Zbl 0602.68095
Grant, John; Minker, Jack
8
1985
Propositional dynamic logic of flowcharts. Zbl 0575.68039
Harel, D.; Sherman, R.
6
1985
The critical complexity of all (monotone) Boolean functions and monotone graph properties. Zbl 0588.68024
Wegener, Ingo
6
1985
AVL-trees for localized search. Zbl 0588.68033
Tsakalidis, Athanasios K.
6
1985
Fast triangulation of the plane with respect to simple polygons. Zbl 0575.68049
Hertel, Stefan; Mehlhorn, Kurt
5
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
There is no polynomial deterministic space simulation of probabilistic space with a two-way random-tape generator. Zbl 0588.68026
Karpinski, Marek; Verbeek, Rutger
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
Some characterizations of multihead finite automata. Zbl 0588.68027
Ibarra, Oscar H.; Kim, Sam M.; Rosier, Louis E.
3
1985
Symmetrical one-dimensional cellular spaces. Zbl 0588.68030
Szwerinski, Helge
3
1985
Pseudorandom number generation and space complexity. Zbl 0575.68048
Furst, Merrick; Lipton, Richard; Stockmeyer, Larry
2
1985
Alternation with restrictions on looping. Zbl 0611.68020
Robson, J. M.
2
1985
Separation in nonlinear time models. Zbl 0617.03005
Amir, Amihood
2
1985
Powerposets. Zbl 0588.06002
Adachi, Takanori
1
1985
Process algebra of synchronous communication. Zbl 0597.68027
Bergstra, J. A.; Klop, J. W.
209
1984
The complexity of promise problems with applications to public-key cryptography. Zbl 0592.94012
Even, Shimon; Selman, Alan L.; Yacobi, Yacov
76
1984
Randomness conservation inequalities; information and independence in mathematical theories. Zbl 0592.03035
Levin, Leonid A.
64
1984
Deciding full branching time logic. Zbl 0593.03007
Emerson, E. Allen; Sistla, A. Prasad
58
1984
An upper and lower bound for clock synchronization. Zbl 0591.68023
Lundelius, Jennifer; Lynch, Nancy
25
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.
20
1984
A logic for constant-depth circuits. Zbl 0592.94023
Gurevich, Yuri; Lewis, Harry R.
14
1984
Optimal decision trees and one-time-only branching programs for symmetric Boolean functions. Zbl 0592.94025
Wegener, Ingo
13
1984
On static logics, dynamic logics, and complexity classes. Zbl 0589.68030
Harel, D.; Peleg, D.
12
1984
Geometric retrieval problems. Zbl 0591.68091
Cole, Richard; Yap, Chee K.
12
1984
An average case analysis of Floyd’s algorithm to construct heaps. Zbl 0589.68046
Doberkat, Ernst E.
11
1984
A fresh look at free choice nets. Zbl 0589.68044
Thiagarajan, P. S.; Voss, K.
10
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
Hash functions for priority queues. Zbl 0591.68093
Ajtai, M.; Fredman, M.; Komlós, 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
A decidable propositional dynamic logic with explicit probabilities. Zbl 0592.68031
Feldman, Yishai A.
10
1984
Effectively given domains and lambda-calculus models. Zbl 0599.03008
Giannini, Paola; Longo, Giuseppe
10
1984
On the progress of communication between two finite state machines. Zbl 0591.68057
Gouda, M. G.; Manning, E. G.; Yu, Y. T.
8
1984
Alternation bounded auxiliary pushdown automata. Zbl 0589.68058
Ladner, Richard E.; Stockmeyer, Larry J.; Lipton, Richard J.
7
1984
Dynamic c-oriented polygonal intersection searching. Zbl 0591.68061
Güting, Ralf Hartmut
7
1984
Functional behavior of nondeterministic and concurrent programs. Zbl 0591.68018
Main, Michael G.; Benson, David B.
6
1984
On similarity and duality of computation. I. Zbl 0589.68038
Hong, Jia-Wei
5
1984
Can message buffers be axiomatized in linear temporal logic? Zbl 0591.68022
Sistla, A. P.; Clarke, E. M.; Francez, N.; Meyer, A. R.
5
1984
...and 1081 more Documents
all top 5

Cited by 20,692 Authors

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

Cited in 952 Journals

1,758 Fuzzy Sets and Systems
1,601 Theoretical Computer Science
1,028 Information Sciences
559 Journal of Computer and System Sciences
465 Information and Computation
457 Soft Computing
365 Information Processing Letters
247 International Journal of Approximate Reasoning
241 Discrete Mathematics
238 Journal of Intelligent and Fuzzy Systems
225 Journal of Mathematical Analysis and Applications
214 Designs, Codes and Cryptography
207 Computers & Mathematics with Applications
196 European Journal of Operational Research
195 Computational and Applied Mathematics
184 Acta Informatica
180 International Journal of Computer Mathematics
174 International Journal of Foundations of Computer Science
167 Mathematical Systems Theory
165 Discrete Applied Mathematics
159 Finite Fields and their Applications
151 International Journal of General Systems
146 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
135 Kybernetika
127 International Journal of Systems Science
121 Automatica
120 Fuzzy Optimization and Decision Making
114 Applied Mathematical Modelling
114 Mathematical Problems in Engineering
109 Iranian Journal of Fuzzy Systems
101 Theory of Computing Systems
99 International Journal of Control
99 Applied Mathematics and Computation
88 Annals of Pure and Applied Logic
87 Journal of Combinatorial Theory. Series A
87 Advances in Fuzzy Systems
86 Journal of Function Spaces
83 The Journal of Symbolic Logic
83 Kybernetes
81 Journal of the Franklin Institute
81 Pattern Recognition
80 Journal of Computational and Applied Mathematics
77 Chaos, Solitons and Fractals
77 Mathematical and Computer Modelling
72 Journal of Applied Mathematics and Computing
72 New Mathematics and Natural Computation
71 Symmetry
71 Afrika Matematika
70 Artificial Intelligence
68 Algorithmica
66 Journal of Mathematics
65 Cryptography and Communications
64 Logical Methods in Computer Science
63 RAIRO. Informatique Théorique et Applications
58 Journal of Discrete Mathematical Sciences & Cryptography
57 Annals of Operations Research
57 Journal of Applied Mathematics
54 RAIRO, Informatique Théorique
54 Linear Algebra and its Applications
54 Advances in Mathematics of Communications
53 Journal of Statistical Planning and Inference
52 RAIRO. Theoretical Informatics and Applications
51 International Journal of Computer & Information Sciences
50 Journal of Optimization Theory and Applications
50 Journal of Symbolic Computation
50 MSCS. Mathematical Structures in Computer Science
50 Annals of Mathematics and Artificial Intelligence
49 Opsearch
49 International Journal of Production Research
49 Fuzzy Information and Engineering
48 Systems & Control Letters
48 International Journal of Intelligent Systems
47 Applicable Algebra in Engineering, Communication and Computing
45 Cybernetics and Systems
45 Discrete Dynamics in Nature and Society
44 Problems of Information Transmission
43 Computing
42 Semigroup Forum
42 Computational Complexity
41 International Journal of Control, I. Series
40 Physica A
40 International Journal of Systems Science. Principles and Applications of Systems and Integration
39 Formal Aspects of Computing
39 Complexity
39 Journal of Inequalities and Applications
38 Mathematics and Computers in Simulation
38 Computers & Operations Research
37 Abstract and Applied Analysis
36 International Journal of Mathematics and Mathematical Sciences
35 Journal of Mathematical Sciences (New York)
34 Journal of Mathematical Physics
34 Distributed Computing
34 Cybernetics and Systems Analysis
34 Journal of Logical and Algebraic Methods in Programming
34 Korean Journal of Mathematics
33 International Journal of Theoretical Physics
33 Studia Logica
33 Filomat
33 Thai Journal of Mathematics
32 Communications in Statistics. Theory and Methods
...and 852 more Journals
all top 5

Cited in 63 Fields

8,900 Computer science (68-XX)
4,296 Mathematical logic and foundations (03-XX)
2,614 Information and communication theory, circuits (94-XX)
1,897 Operations research, mathematical programming (90-XX)
1,625 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1,233 Systems theory; control (93-XX)
1,150 Statistics (62-XX)
1,038 Combinatorics (05-XX)
978 General topology (54-XX)
771 Group theory and generalizations (20-XX)
666 Probability theory and stochastic processes (60-XX)
629 Order, lattices, ordered algebraic structures (06-XX)
549 Number theory (11-XX)
433 Numerical analysis (65-XX)
388 Biology and other natural sciences (92-XX)
330 Real functions (26-XX)
280 Associative rings and algebras (16-XX)
269 Linear and multilinear algebra; matrix theory (15-XX)
267 Measure and integration (28-XX)
261 Ordinary differential equations (34-XX)
254 Quantum theory (81-XX)
238 Operator theory (47-XX)
227 Functional analysis (46-XX)
217 General algebraic systems (08-XX)
215 Category theory; homological algebra (18-XX)
214 Calculus of variations and optimal control; optimization (49-XX)
160 Dynamical systems and ergodic theory (37-XX)
144 Statistical mechanics, structure of matter (82-XX)
140 Sequences, series, summability (40-XX)
126 Geometry (51-XX)
125 Difference and functional equations (39-XX)
123 Convex and discrete geometry (52-XX)
122 Commutative algebra (13-XX)
96 Partial differential equations (35-XX)
86 History and biography (01-XX)
80 Approximations and expansions (41-XX)
77 Mechanics of deformable solids (74-XX)
74 Field theory and polynomials (12-XX)
67 Harmonic analysis on Euclidean spaces (42-XX)
66 Algebraic geometry (14-XX)
61 General and overarching topics; collections (00-XX)
56 Integral equations (45-XX)
55 Mechanics of particles and systems (70-XX)
40 Geophysics (86-XX)
34 Fluid mechanics (76-XX)
29 Algebraic topology (55-XX)
29 Manifolds and cell complexes (57-XX)
27 Topological groups, Lie groups (22-XX)
27 Functions of a complex variable (30-XX)
27 Special functions (33-XX)
25 Integral transforms, operational calculus (44-XX)
18 Differential geometry (53-XX)
17 Nonassociative rings and algebras (17-XX)
16 Global analysis, analysis on manifolds (58-XX)
16 Classical thermodynamics, heat transfer (80-XX)
15 Abstract harmonic analysis (43-XX)
12 Optics, electromagnetic theory (78-XX)
6 Several complex variables and analytic spaces (32-XX)
6 Relativity and gravitational theory (83-XX)
2 Mathematics education (97-XX)
1 \(K\)-theory (19-XX)
1 Potential theory (31-XX)
1 Astronomy and astrophysics (85-XX)

Citations by Year