×

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,213 more Authors
all top 5

Fields

684 Computer science (68-XX)
389 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,179 Publications have been cited 25,473 times in 20,123 Documents Cited by Year
Fuzzy sets. Zbl 0139.24606
Zadeh, L. A.
1965
Language identification in the limit. Zbl 0259.68032
Gold, E. Mark
504
1967
Resolution of composite fuzzy relation equations. Zbl 0326.02048
Sanchez, Elie
368
1976
The definition of random sequences. Zbl 0244.62008
Martin-Löf, Per
350
1966
A definition of a nonprobabilistic entropy in the setting of fuzzy sets theory. Zbl 0239.94028
De Luca, A.; Termini, S.
349
1972
On finite monoids having only trivial subgroups. Zbl 0131.02001
Schützenberger, M. P.
253
1965
On the definition of a family of automata. Zbl 0104.00702
Schützenberger, M. P.
232
1961
Toward a mathematical theory of inductive inference. Zbl 0375.02028
Blum, Lenore; Blum, Manuel
215
1975
Probabilistic automata. Zbl 0182.33602
Rabin, M. O.
213
1963
A new approach to clustering. Zbl 0192.57101
Ruspini, E. H.
210
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
197
1980
A taxonomy of problems with fast parallel algorithms. Zbl 0575.68045
Cook, Stephen A.
192
1985
Some inequalities satisfied by the quantities of information of Fisher and Shannon. Zbl 0085.34701
Stam, A. J.
182
1959
Testing and generating infinite sequences by a finite automaton. Zbl 0212.33902
McNaughton, R.
170
1966
A formal theory of inductive inference. I. Zbl 0258.68045
Solomonoff, R. J.
165
1964
Some properties of fuzzy sets of type 2. Zbl 0331.02042
Mizumoto, Masaharu; Tanaka, Kokichi
155
1976
Generalized information functions. Zbl 0205.46901
Daróczy, Z.
141
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
The weight enumerators for several classes of subcodes of the 2nd order binary Reed-Muller codes. Zbl 0217.58802
Kasami, T.
118
1971
On the translation of languages from left to right. Zbl 0231.68027
Knuth, Donald E.
116
1966
Complexity of automaton identification from given data. Zbl 0376.68041
Gold, E. Mark
107
1978
On certain formal properties of grammars. Zbl 0088.10801
Chomsky, Noam
103
1959
Deterministic coin tossing with applications to optimal parallel list ranking. Zbl 0612.68044
Cole, Richard; Vishkin, Uzi
102
1986
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
Fuzzy algorithms. Zbl 0182.33301
Zadeh, L. A.
99
1968
A formal theory of inductive inference. II. Zbl 0259.68038
Solomonoff, R. J.
99
1964
An upper bound for self-dual codes. Zbl 0254.94011
Mallows, C. L.; Sloane, N. J. A.
90
1973
Deterministic context free languages. Zbl 0145.00802
Ginsburg, S.; Greibach, S.
89
1966
Recognition and parsing of context-free languages in time \(n^ 3\). Zbl 0149.24803
Younger, D. H.
86
1967
On generalized Reed-Muller codes and their relatives. Zbl 0267.94014
Delsarte, P.; Goethals, J. M.; Mac Williams, F. J.
84
1970
Reversible codes. Zbl 0137.37704
Massey, J. L.
83
1964
Algebraically punctured cyclic codes. Zbl 0149.15903
Solomon, Gustave; Stiffler, J. J.
83
1965
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
The complexity of promise problems with applications to public-key cryptography. Zbl 0592.94012
Even, Shimon; Selman, Alan L.; Yacobi, Yacov
76
1984
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.
73
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
Maximin automata. Zbl 0174.03601
Santos, Eugene S.
71
1968
Fuzzy digital topology. Zbl 0404.68071
Rosenfeld, Azriel
71
1979
Classes of languages and linear-bounded automata. Zbl 0199.04002
Kuroda, S.-Y.
71
1964
Weights of irreducible cyclic codes. Zbl 0239.94007
Baumert, L. D.; McEliece, R. J.
69
1972
Algorithms for approximate string matching. Zbl 0575.68090
Ukkonen, Esko
69
1985
Tree generating regular systems. Zbl 0169.31601
Brainerd, W. S.
68
1969
Properties of deterministic top-down grammars. Zbl 0209.02703
Rosenkrantz, D. J.; Stearns, R. E.
66
1970
On the solution of algebraic equations over finite fields. Zbl 0166.04803
Berlekamp, E. R.; Rumsey, H.; Solomon, Gustave
66
1967
Randomness conservation inequalities; information and independence in mathematical theories. Zbl 0592.03035
Levin, Leonid A.
64
1984
On a class of error correcting binary group codes. Zbl 0104.36402
Bose, R. C.; Ray-Chaudhuri, D. K.
63
1960
On context-free languages and push-down automata. Zbl 0123.12502
Schützenberger, M. P.
62
1963
Translations on a context free grammar. Zbl 0244.68035
Aho, A. V.; Ullman, J. D.
60
1972
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
An 8-state minimal time solution to the firing squad synchronization problem. Zbl 1347.68249
Balzer, Robert
58
1967
Information-theoretical considerations on estimation problems. Zbl 0222.94022
Arimoto, Suguru
56
1971
The equivalence problem for deterministic finite-turn pushdown automata. Zbl 0285.68025
Valiant, Leslie G.
56
1974
Automata in general algebras. Zbl 0175.27902
Eilenberg, S.; Wright, J. B.
55
1967
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.
48
1980
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 cyclic codes which are invariant under the affine group and their applications. Zbl 0169.51101
Kasami, T.; Lin, S.; Peterson, W. W.
46
1967
Some results on quasi-cyclic codes. Zbl 0185.47403
Chen, C. L.; Peterson, W. W.; Weldon, E. J. jun.
46
1969
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
Sparse sets in NP-P: EXPTIME versus NEXPTIME. Zbl 0586.68042
Hartmanis, J.; Immerman, N.; Sewelson, V.
45
1985
What is a model of the lambda calculus? Zbl 0507.03002
Meyer, Albert R.
44
1982
Full AFLs and nested iterated substitution. Zbl 0188.03102
Greibach, S. A.
44
1970
Sorting Jordan sequences in linear time using level-linked search trees. Zbl 0614.68051
Hoffmann, Kurt; Mehlhorn, Kurt; Rosenstiehl, Pierre; Tarjan, Robert E.
43
1986
Circuit-size lower bounds and non-reducibility to sparse sets. Zbl 0537.94027
Kannan, R.
42
1982
A regularity test for pushdown machines. Zbl 0155.01901
Stearns, R. E.
42
1967
On the size of machines. Zbl 0165.02102
Blum, M.
42
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
The decidability of the equivalence problem for DOL-systems. Zbl 0365.68074
Čulik, Karel II; Fris, I.
42
1977
Tally languages and complexity classes. Zbl 0287.68029
Book, Ronald V.
41
1974
Application of model theoretic games to discrete linear orders and finite automata. Zbl 0387.68037
Ladner, Richard E.
41
1977
Using string languages to describe picture languages. Zbl 0523.68065
Maurer, H. A.; Rozenberg, G.; Welzl, E.
40
1982
Codes over integer residue rings. Zbl 0319.94003
Blake, Ian F.
40
1975
Logical relations and the typed \(\lambda\)-calculus. Zbl 0594.03006
Statman, R.
40
1985
Star-free regular sets of \(\omega\)-sequences. Zbl 0411.03031
Thomas, Wolfgang
40
1979
Finite state languages. Zbl 0081.14503
Chomsky, Noam; Miller, George A.
39
1958
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 directed-divergence function of type \(\beta\). Zbl 0231.94015
Rathie, P. N.; Kannappan, Pl.
39
1972
An ideal model for recursive polymorphic types. Zbl 0636.68016
MacQueen, David; Plotkin, Gordon; Sethi, Ravi
38
1986
Succinct representations of graphs. Zbl 0538.68053
Galperin, Hana; Wigderson, Avi
38
1983
On the measure of fuzziness and negation. II. Lattices. Zbl 0429.04008
Yager, Ronald R.
38
1980
Operations in a fuzzy-valued logic. Zbl 0434.03020
Dubois, Didier; Prade, Henri
38
1979
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
102
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.
43
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
29
1986
A note on succinct representations of graphs. Zbl 0616.68041
Papadimitriou, Christos H.; Yannakakis, Mihalis
28
1986
On relativized exponential and probabilistic complexity classes. Zbl 0628.68047
Heller, Hans
22
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
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
Categorical combinators. Zbl 0607.03005
Curien, P.-L.
16
1986
A decisive characterization of BPP. Zbl 0616.68049
Zachos, Stathis; Heller, Hans
16
1986
Definability by constant-depth polynomial-size circuits. Zbl 0629.94023
Denenberg, Larry; Gurevich, Yuri; Shelah, Saharon
15
1986
A modal characterization of observational congruence on finite terms of CCS. Zbl 0591.68031
Graf, S.; Sifakis, J.
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
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
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
Function definitions in term rewriting and applicative programming. Zbl 0629.68033
Mohan, Chilukuri K.; Srivas, Mandayam K.
1
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.
192
1985
Algorithms for approximate string matching. Zbl 0575.68090
Ukkonen, Esko
69
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.
17
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
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
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.
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
24
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.
19
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
A fresh look at free choice nets. Zbl 0589.68044
Thiagarajan, P. S.; Voss, K.
10
1984
An average case analysis of Floyd’s algorithm to construct heaps. Zbl 0589.68046
Doberkat, Ernst E.
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
A decidable propositional dynamic logic with explicit probabilities. Zbl 0592.68031
Feldman, Yishai A.
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
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
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 1079 more Documents
all top 5

Cited by 20,372 Authors

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

Cited in 946 Journals

1,747 Fuzzy Sets and Systems
1,587 Theoretical Computer Science
977 Information Sciences
544 Journal of Computer and System Sciences
460 Information and Computation
455 Soft Computing
361 Information Processing Letters
247 International Journal of Approximate Reasoning
238 Journal of Intelligent and Fuzzy Systems
237 Discrete Mathematics
225 Journal of Mathematical Analysis and Applications
214 Designs, Codes and Cryptography
204 Computers & Mathematics with Applications
194 European Journal of Operational Research
193 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
164 Discrete Applied Mathematics
158 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
120 Fuzzy Optimization and Decision Making
118 Automatica
114 Mathematical Problems in Engineering
107 Iranian Journal of Fuzzy Systems
105 Applied Mathematical Modelling
101 Theory of Computing Systems
99 International Journal of Control
98 Applied Mathematics and Computation
87 Annals of Pure and Applied Logic
87 Advances in Fuzzy Systems
86 Journal of Combinatorial Theory. Series A
86 Journal of Function Spaces
83 The Journal of Symbolic Logic
83 Kybernetes
81 Pattern Recognition
79 Journal of Computational and Applied Mathematics
76 Journal of the Franklin Institute
76 Mathematical and Computer Modelling
72 Journal of Applied Mathematics and Computing
71 Chaos, Solitons and Fractals
71 New Mathematics and Natural Computation
71 Symmetry
70 Artificial Intelligence
70 Afrika Matematika
68 Algorithmica
65 Cryptography and Communications
65 Journal of Mathematics
63 RAIRO. Informatique Théorique et Applications
58 Journal of Discrete Mathematical Sciences & Cryptography
57 Journal of Applied Mathematics
56 Annals of Operations Research
56 Logical Methods in Computer Science
54 RAIRO, Informatique Théorique
54 Advances in Mathematics of Communications
53 Journal of Statistical Planning and Inference
52 Linear Algebra and its Applications
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 International Journal of Production Research
49 Fuzzy Information and Engineering
48 Systems & Control Letters
48 International Journal of Intelligent Systems
47 Opsearch
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
39 Formal Aspects of Computing
39 Complexity
39 Journal of Inequalities and Applications
39 International Journal of Systems Science. Principles and Applications of Systems and Integration
37 Abstract and Applied Analysis
36 International Journal of Mathematics and Mathematical Sciences
36 Mathematics and Computers in Simulation
36 Computers & Operations Research
35 Journal of Mathematical Sciences (New York)
34 Journal of Mathematical Physics
34 Distributed Computing
34 Journal of Logical and Algebraic Methods in Programming
34 Korean Journal of Mathematics
33 International Journal of Theoretical Physics
33 Studia Logica
33 Cybernetics and Systems Analysis
33 Filomat
32 Communications in Statistics. Theory and Methods
32 Journal of Mathematical Imaging and Vision
32 Thai Journal of Mathematics
...and 846 more Journals
all top 5

Cited in 63 Fields

8,773 Computer science (68-XX)
4,236 Mathematical logic and foundations (03-XX)
2,564 Information and communication theory, circuits (94-XX)
1,861 Operations research, mathematical programming (90-XX)
1,602 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1,214 Systems theory; control (93-XX)
1,133 Statistics (62-XX)
1,022 Combinatorics (05-XX)
963 General topology (54-XX)
761 Group theory and generalizations (20-XX)
650 Probability theory and stochastic processes (60-XX)
624 Order, lattices, ordered algebraic structures (06-XX)
539 Number theory (11-XX)
422 Numerical analysis (65-XX)
379 Biology and other natural sciences (92-XX)
327 Real functions (26-XX)
276 Associative rings and algebras (16-XX)
268 Linear and multilinear algebra; matrix theory (15-XX)
265 Measure and integration (28-XX)
249 Ordinary differential equations (34-XX)
235 Operator theory (47-XX)
235 Quantum theory (81-XX)
225 Functional analysis (46-XX)
214 General algebraic systems (08-XX)
212 Category theory; homological algebra (18-XX)
210 Calculus of variations and optimal control; optimization (49-XX)
148 Dynamical systems and ergodic theory (37-XX)
136 Sequences, series, summability (40-XX)
126 Geometry (51-XX)
124 Difference and functional equations (39-XX)
122 Statistical mechanics, structure of matter (82-XX)
121 Commutative algebra (13-XX)
120 Convex and discrete geometry (52-XX)
87 Partial differential equations (35-XX)
86 History and biography (01-XX)
79 Approximations and expansions (41-XX)
75 Mechanics of deformable solids (74-XX)
74 Field theory and polynomials (12-XX)
67 Harmonic analysis on Euclidean spaces (42-XX)
65 Algebraic geometry (14-XX)
59 General and overarching topics; collections (00-XX)
55 Integral equations (45-XX)
53 Mechanics of particles and systems (70-XX)
40 Geophysics (86-XX)
29 Algebraic topology (55-XX)
29 Manifolds and cell complexes (57-XX)
29 Fluid mechanics (76-XX)
27 Topological groups, Lie groups (22-XX)
26 Special functions (33-XX)
25 Integral transforms, operational calculus (44-XX)
24 Functions of a complex variable (30-XX)
16 Nonassociative rings and algebras (17-XX)
15 Abstract harmonic analysis (43-XX)
15 Differential geometry (53-XX)
15 Global analysis, analysis on manifolds (58-XX)
13 Classical thermodynamics, heat transfer (80-XX)
12 Optics, electromagnetic theory (78-XX)
6 Relativity and gravitational theory (83-XX)
5 Several complex variables and analytic spaces (32-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