×

zbMATH — the first resource for mathematics

Staiger, Ludwig

Compute Distance To:
Author ID: staiger.ludwig Recent zbMATH articles by "Staiger, Ludwig"
Published as: Staiger, Ludwig; Staiger, L.
External Links: MGP
Documents Indexed: 134 Publications since 1972, including 6 Books
Reviewing Activity: 83 Reviews
all top 5

Serials

10 Theoretical Computer Science
9 Elektronische Informationsverarbeitung und Kybernetik
3 Information Processing Letters
3 Information and Computation
3 Journal of Information Processing and Cybernetics
3 RAIRO. Informatique Théorique et Applications
3 Theory of Computing Systems
3 Journal of Automata, Languages and Combinatorics
3 Bulletin of the European Association for Theoretical Computer Science EATCS
2 Acta Cybernetica
2 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
2 MSCS. Mathematical Structures in Computer Science
2 International Journal of Foundations of Computer Science
2 Atti del Seminario Matematico e Fisico dell’Università di Modena
2 Problemy Peredachi Informatsii
2 Journal of Universal Computer Science
1 Acta Informatica
1 IEEE Transactions on Information Theory
1 Revue Roumaine de Mathématiques Pures et Appliquées
1 Beiträge zur Algebra und Geometrie
1 Information and Control
1 Journal of Computer and System Sciences
1 Journal of Geometry
1 Journal of Statistical Planning and Inference
1 Kybernetika
1 Annals of Pure and Applied Logic
1 Bulletin of the European Association for Theoretical Computer Science (EATCS)
1 Problems of Control and Information Theory
1 Wissenschaftliche Zeitschrift der Friedrich-Schiller-Universität Jena. Mathematisch-Naturwissenschaftliche Reihe
1 Wissenschaftliche Zeitschrift der Friedrich-Schiller-Universität Jena. Naturwissenschaftliche Reihe
1 Mathematical Logic Quarterly (MLQ)
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
1 Grammars
1 Communications in Nonlinear Science and Numerical Simulation
1 RAIRO. Theoretical Informatics and Applications
1 Fundamenta Informaticae
1 Electronic Notes in Theoretical Computer Science
1 Logical Methods in Computer Science

Publications by Year

Citations contained in zbMATH Open

80 Publications have been cited 463 times in 229 Documents Cited by Year
Kolmogorov complexity and Hausdorff dimension. Zbl 0789.68076
Staiger, Ludwig
43
1993
On partial randomness. Zbl 1077.03022
Calude, Cristian S.; Staiger, Ludwig; Terwijn, Sebastiaan A.
27
2006
Automatentheoretische und automatenfreie Charakterisierungen topologischer Klassen regulärer Folgenmengen. Zbl 0301.94069
Staiger, Ludwig; Wagner, Klaus
27
1974
A tight upper bound on Kolmogorov complexity and uniformly optimal prediction. Zbl 0896.68080
Staiger, L.
26
1998
Hierarchies of recursive \(\omega\)-languages. Zbl 0627.03024
Staiger, Ludwig
22
1986
Finite-state \(\omega\)-languages. Zbl 0541.68052
Staiger, Ludwig
22
1983
Algebraische Codierungstheorie. Theorie der sequentiellen Codierungen. Zbl 0363.94016
Lindner, Rolf; Staiger, Ludwig
21
1977
Research in the theory of \(\omega\)-languages. Zbl 0637.68095
Staiger, Ludwig
15
1987
Constructive dimension equals Kolmogorov complexity. Zbl 1173.68542
Staiger, Ludwig
14
2005
On infinitary finite length codes. Zbl 0628.68056
Staiger, Ludwig
12
1986
On syntactic congruences for \(\omega\)-languages. Zbl 0911.68145
Maler, Oded; Staiger, Ludwig
11
1997
Rekursive Folgenmengen. I. Zbl 0421.03035
Staiger, Ludwig; Wagner, Klaus
9
1978
The entropy of finite-state \(\omega\)-languages. Zbl 0582.94012
Staiger, L.
9
1985
A note on connected \(\omega\)-languages. Zbl 0452.68085
Staiger, Ludwig
8
1980
The Kolmogorov complexity of real numbers. Zbl 1042.68056
Staiger, Ludwig
8
2002
The Kolmogorov complexity of infinite words. Zbl 1124.68050
Staiger, Ludwig
8
2007
Fractals, dimension, and formal languages. Zbl 0883.68078
Merzenich, W.; Staiger, L.
7
1994
Rich \(\omega\)-words and monadic second-order arithmetic. Zbl 0914.03058
Staiger, Ludwig
7
1998
The Kolmogorov complexity of real numbers. Zbl 0945.68081
Staiger, Ludwig
6
1999
Combinatorial properties of the Hausdorff dimension. Zbl 0709.11041
Staiger, Ludwig
6
1989
Recursive automata on infinite words. Zbl 0799.68139
Staiger, Ludwig
6
1993
Recursive \(\omega\)-languages. Zbl 0367.02017
Wagner, K.; Staiger, L.
6
1977
Sequential mappings of \(\omega\)-languages. Zbl 0634.68070
Staiger, Ludwig
6
1987
Iterated function systems and control languages. Zbl 1007.68096
Fernau, Henning; Staiger, Ludwig
5
2001
The entropy of Lukasiewicz-languages. Zbl 1073.68670
Staiger, Ludwig
5
2002
Codes and infinite words. Zbl 0938.68691
Devolder, J.; Latteux, M.; Litovsky, I.; Staiger, L.
5
1994
How large is the set of disjunctive sequences? Zbl 1258.68091
Staiger, Ludwig
5
2002
A topological characterization of random sequences. Zbl 1178.68255
Calude, Cristian S.; Marcus, Solomon; Staiger, Ludwig
5
2003
A note on accelerated Turing machines. Zbl 1220.03039
Calude, Cristian S.; Staiger, Ludwig
5
2010
The Hausdorff measure of regular \(\omega\)-languages is computable. Zbl 0912.68119
Staiger, Ludwig
4
1998
On the Hausdorff measure of \(\omega\)-power languages. Zbl 1117.68412
Staiger, Ludwig
4
2004
Quadtrees and the Hausdorff dimension of pictures. Zbl 0679.68169
Staiger, Ludwig
4
1989
Hausdorff dimension of constructively specified sets and applications to image processing. Zbl 0759.68092
Staiger, Ludwig
4
1992
Reguläre Nullmengen. Zbl 0345.94030
Staiger, Ludwig
4
1976
On oscillation-free \(\varepsilon\)-random sequences. Zbl 1262.03070
Staiger, Ludwig
4
2008
Topologies refining the Cantor topology on \(X^\omega\). Zbl 1198.68162
Schwarz, Sibylle; Staiger, Ludwig
4
2010
On universal computably enumerable prefix codes. Zbl 1156.94327
Calude, Cristian S.; Staiger, Ludwig
4
2009
Zur Theorie der abstrakten Familien von \(\omega\)-Sprachen (\(\omega\)-AFL). Zbl 0447.68088
Staiger, Ludwig; Wagner, Klaus
3
1976
Codes, simplifying words, and open set condition. Zbl 1004.68528
Staiger, Ludwig
3
1996
Weighted finite automata and metric in Cantor space. Zbl 1089.68061
Staiger, Ludwig
3
2003
Projection lemmas for \(\omega\)-languages. Zbl 0545.68074
Staiger, Ludwig
3
1984
Generalisations of disjunctive sequences. Zbl 1061.03077
Calude, Cristian S.; Staiger, Ludwig
3
2005
Infinite iterated function systems in Cantor space and the Hausdorff measure of \(\omega\)-power languages. Zbl 1161.68552
Staiger, Ludwig
3
2005
On syntactic congruences for \(\omega\)-languages. Zbl 0797.68093
Maler, Oded; Staiger, Ludwig
3
1993
Universal recursively enumerable sets of strings. Zbl 1159.68011
Calude, Cristian S.; Nies, André; Staiger, Ludwig; Stephan, Frank
3
2008
Decidability of code properties. Zbl 1203.68084
Fernau, Henning; Reinhardt, Klaus; Staiger, Ludwig
3
2007
Finite state incompressible infinite sequences. Zbl 1338.68128
Calude, Cristian S.; Staiger, Ludwig; Stephan, Frank
2
2016
Finite state omega-languages. Zbl 0479.68075
Staiger, Ludwig
2
1981
Numbers defined by Turing machines. Zbl 0851.03012
Freund, Rudolf; Staiger, Ludwig
2
1996
How much can you win when your adversary is handicapped? Zbl 0955.68058
Staiger, Ludwig
2
2000
Ein Satz über die Entropie von Untermonoiden. (A theorem on the entropy of submonoids). Zbl 0661.68075
Staiger, Ludwig
2
1988
Topologies for the set of disjunctive \(\omega\)-words. Zbl 1084.68067
Staiger, Ludwig
2
2005
On the Hausdorff measure of regular \(\omega \)-languages in Cantor space. Zbl 1323.68345
Staiger, Ludwig
2
2015
On the power of reading the whole infinite input tape. Zbl 0967.68099
Staiger, Ludwig
2
1999
Local Hausdorff dimension. Zbl 0829.68071
Jürgensen, H.; Staiger, L.
2
1995
Eine Bemerkung über nichtkonstantenfreie sequentielle Operatoren. Zbl 0283.94017
Lindner, Rolf; Staiger, Ludwig
2
1974
Universal recursively enumerable sets of strings. Zbl 1217.68115
Calude, Cristian S.; Nies, André; Staiger, Ludwig; Stephan, Frank
2
2011
\(\omega \)-P automata with communication rules. Zbl 1202.68192
Freund, Rudolf; Oswald, Marion; Staiger, Ludwig
2
2004
Constructive dimension and Hausdorff dimension: the case of exact dimension. Zbl 1342.68173
Staiger, Ludwig
2
2011
Subspaces of \(GF(q)^{\omega}\) and convolutional codes. Zbl 0552.94009
Staiger, Ludwig
2
1983
Shift-invariant topologies for the Cantor space \(X^{\omega}\). Zbl 1386.68090
Hoffmann, Stefan; Schwarz, Sibylle; Staiger, Ludwig
1
2017
Bounds on the Kolmogorov complexity function for infinite words. Zbl 1390.68359
Staiger, Ludwig
1
2017
Valuations and unambiguity of languages, with applications to fractal geometry. Zbl 1418.68117
Fernau, Henning; Staiger, Ludwig
1
1994
Convolutional codes as subspaces of \(\text{GF}(q)^\omega\). Zbl 0483.94020
Staiger, Ludwig
1
1980
Acceptance of \(\omega\)-languages by communicating deterministic Turing machines. Zbl 1007.68100
Freund, Rudolf; Staiger, Ludwig
1
2001
Finite acceptance of infinite words. Zbl 0902.68102
Litovsky, Igor; Staiger, Ludwig
1
1997
IFS and control languages. Zbl 0918.68060
Fernau, Henning; Staiger, Ludwig
1
1998
Finite automata encoding geometric figures. Zbl 1050.68568
Jürgensen, Helmut; Staiger, Ludwig
1
2001
Randomness relative to Cantor expansions. Zbl 1101.68615
Calude, Cristian S.; Staiger, Ludwig; Svozil, Karl
1
2005
How large is the set of disjunctive sequences? Zbl 0982.68085
Staiger, Ludwig
1
2001
Eine Bemerkung zur Charakterisierung von Folgenmengen durch Wortmengen. Zbl 0336.94036
Staiger, Ludwig
1
1972
Empty-storage-acceptance of \(\omega\)-languages. Zbl 0367.02016
Staiger, Ludwig
1
1977
Erkennungs-, Maß- und Informationstheoretische Eigenschaften regulärer Folgenmengen. Zbl 0384.68061
Lindner, Rolf; Staiger, Ludwig
1
1977
Decidability of code properties. Zbl 1013.68102
Fernau, Henning; Reinhardt, Klaus; Staiger, Ludwig
1
2000
On oscillation-free epsilon-random sequences. II. Zbl 1247.03086
Mielke, Jöran; Staiger, Ludwig
1
2009
Asymptotic subword complexity. Zbl 1367.68215
Staiger, Ludwig
1
2012
A correspondence principle for exact constructive dimension. Zbl 1358.68150
Staiger, Ludwig
1
2012
Towards the structure of convolutional codes. Zbl 0521.94013
Staiger, Ludwig
1
1982
Topology on words. Zbl 1167.68047
Calude, Cristian S.; Jürgensen, Helmut; Staiger, Ludwig
1
2009
P. Martin-Löf tests: representability and embeddability. Zbl 0587.03032
Calude, Cristian; Chitescu, Ion; Staiger, Ludwig
1
1985
Shift-invariant topologies for the Cantor space \(X^{\omega}\). Zbl 1386.68090
Hoffmann, Stefan; Schwarz, Sibylle; Staiger, Ludwig
1
2017
Bounds on the Kolmogorov complexity function for infinite words. Zbl 1390.68359
Staiger, Ludwig
1
2017
Finite state incompressible infinite sequences. Zbl 1338.68128
Calude, Cristian S.; Staiger, Ludwig; Stephan, Frank
2
2016
On the Hausdorff measure of regular \(\omega \)-languages in Cantor space. Zbl 1323.68345
Staiger, Ludwig
2
2015
Asymptotic subword complexity. Zbl 1367.68215
Staiger, Ludwig
1
2012
A correspondence principle for exact constructive dimension. Zbl 1358.68150
Staiger, Ludwig
1
2012
Universal recursively enumerable sets of strings. Zbl 1217.68115
Calude, Cristian S.; Nies, André; Staiger, Ludwig; Stephan, Frank
2
2011
Constructive dimension and Hausdorff dimension: the case of exact dimension. Zbl 1342.68173
Staiger, Ludwig
2
2011
A note on accelerated Turing machines. Zbl 1220.03039
Calude, Cristian S.; Staiger, Ludwig
5
2010
Topologies refining the Cantor topology on \(X^\omega\). Zbl 1198.68162
Schwarz, Sibylle; Staiger, Ludwig
4
2010
On universal computably enumerable prefix codes. Zbl 1156.94327
Calude, Cristian S.; Staiger, Ludwig
4
2009
On oscillation-free epsilon-random sequences. II. Zbl 1247.03086
Mielke, Jöran; Staiger, Ludwig
1
2009
Topology on words. Zbl 1167.68047
Calude, Cristian S.; Jürgensen, Helmut; Staiger, Ludwig
1
2009
On oscillation-free \(\varepsilon\)-random sequences. Zbl 1262.03070
Staiger, Ludwig
4
2008
Universal recursively enumerable sets of strings. Zbl 1159.68011
Calude, Cristian S.; Nies, André; Staiger, Ludwig; Stephan, Frank
3
2008
The Kolmogorov complexity of infinite words. Zbl 1124.68050
Staiger, Ludwig
8
2007
Decidability of code properties. Zbl 1203.68084
Fernau, Henning; Reinhardt, Klaus; Staiger, Ludwig
3
2007
On partial randomness. Zbl 1077.03022
Calude, Cristian S.; Staiger, Ludwig; Terwijn, Sebastiaan A.
27
2006
Constructive dimension equals Kolmogorov complexity. Zbl 1173.68542
Staiger, Ludwig
14
2005
Generalisations of disjunctive sequences. Zbl 1061.03077
Calude, Cristian S.; Staiger, Ludwig
3
2005
Infinite iterated function systems in Cantor space and the Hausdorff measure of \(\omega\)-power languages. Zbl 1161.68552
Staiger, Ludwig
3
2005
Topologies for the set of disjunctive \(\omega\)-words. Zbl 1084.68067
Staiger, Ludwig
2
2005
Randomness relative to Cantor expansions. Zbl 1101.68615
Calude, Cristian S.; Staiger, Ludwig; Svozil, Karl
1
2005
On the Hausdorff measure of \(\omega\)-power languages. Zbl 1117.68412
Staiger, Ludwig
4
2004
\(\omega \)-P automata with communication rules. Zbl 1202.68192
Freund, Rudolf; Oswald, Marion; Staiger, Ludwig
2
2004
A topological characterization of random sequences. Zbl 1178.68255
Calude, Cristian S.; Marcus, Solomon; Staiger, Ludwig
5
2003
Weighted finite automata and metric in Cantor space. Zbl 1089.68061
Staiger, Ludwig
3
2003
The Kolmogorov complexity of real numbers. Zbl 1042.68056
Staiger, Ludwig
8
2002
The entropy of Lukasiewicz-languages. Zbl 1073.68670
Staiger, Ludwig
5
2002
How large is the set of disjunctive sequences? Zbl 1258.68091
Staiger, Ludwig
5
2002
Iterated function systems and control languages. Zbl 1007.68096
Fernau, Henning; Staiger, Ludwig
5
2001
Acceptance of \(\omega\)-languages by communicating deterministic Turing machines. Zbl 1007.68100
Freund, Rudolf; Staiger, Ludwig
1
2001
Finite automata encoding geometric figures. Zbl 1050.68568
Jürgensen, Helmut; Staiger, Ludwig
1
2001
How large is the set of disjunctive sequences? Zbl 0982.68085
Staiger, Ludwig
1
2001
How much can you win when your adversary is handicapped? Zbl 0955.68058
Staiger, Ludwig
2
2000
Decidability of code properties. Zbl 1013.68102
Fernau, Henning; Reinhardt, Klaus; Staiger, Ludwig
1
2000
The Kolmogorov complexity of real numbers. Zbl 0945.68081
Staiger, Ludwig
6
1999
On the power of reading the whole infinite input tape. Zbl 0967.68099
Staiger, Ludwig
2
1999
A tight upper bound on Kolmogorov complexity and uniformly optimal prediction. Zbl 0896.68080
Staiger, L.
26
1998
Rich \(\omega\)-words and monadic second-order arithmetic. Zbl 0914.03058
Staiger, Ludwig
7
1998
The Hausdorff measure of regular \(\omega\)-languages is computable. Zbl 0912.68119
Staiger, Ludwig
4
1998
IFS and control languages. Zbl 0918.68060
Fernau, Henning; Staiger, Ludwig
1
1998
On syntactic congruences for \(\omega\)-languages. Zbl 0911.68145
Maler, Oded; Staiger, Ludwig
11
1997
Finite acceptance of infinite words. Zbl 0902.68102
Litovsky, Igor; Staiger, Ludwig
1
1997
Codes, simplifying words, and open set condition. Zbl 1004.68528
Staiger, Ludwig
3
1996
Numbers defined by Turing machines. Zbl 0851.03012
Freund, Rudolf; Staiger, Ludwig
2
1996
Local Hausdorff dimension. Zbl 0829.68071
Jürgensen, H.; Staiger, L.
2
1995
Fractals, dimension, and formal languages. Zbl 0883.68078
Merzenich, W.; Staiger, L.
7
1994
Codes and infinite words. Zbl 0938.68691
Devolder, J.; Latteux, M.; Litovsky, I.; Staiger, L.
5
1994
Valuations and unambiguity of languages, with applications to fractal geometry. Zbl 1418.68117
Fernau, Henning; Staiger, Ludwig
1
1994
Kolmogorov complexity and Hausdorff dimension. Zbl 0789.68076
Staiger, Ludwig
43
1993
Recursive automata on infinite words. Zbl 0799.68139
Staiger, Ludwig
6
1993
On syntactic congruences for \(\omega\)-languages. Zbl 0797.68093
Maler, Oded; Staiger, Ludwig
3
1993
Hausdorff dimension of constructively specified sets and applications to image processing. Zbl 0759.68092
Staiger, Ludwig
4
1992
Combinatorial properties of the Hausdorff dimension. Zbl 0709.11041
Staiger, Ludwig
6
1989
Quadtrees and the Hausdorff dimension of pictures. Zbl 0679.68169
Staiger, Ludwig
4
1989
Ein Satz über die Entropie von Untermonoiden. (A theorem on the entropy of submonoids). Zbl 0661.68075
Staiger, Ludwig
2
1988
Research in the theory of \(\omega\)-languages. Zbl 0637.68095
Staiger, Ludwig
15
1987
Sequential mappings of \(\omega\)-languages. Zbl 0634.68070
Staiger, Ludwig
6
1987
Hierarchies of recursive \(\omega\)-languages. Zbl 0627.03024
Staiger, Ludwig
22
1986
On infinitary finite length codes. Zbl 0628.68056
Staiger, Ludwig
12
1986
The entropy of finite-state \(\omega\)-languages. Zbl 0582.94012
Staiger, L.
9
1985
P. Martin-Löf tests: representability and embeddability. Zbl 0587.03032
Calude, Cristian; Chitescu, Ion; Staiger, Ludwig
1
1985
Projection lemmas for \(\omega\)-languages. Zbl 0545.68074
Staiger, Ludwig
3
1984
Finite-state \(\omega\)-languages. Zbl 0541.68052
Staiger, Ludwig
22
1983
Subspaces of \(GF(q)^{\omega}\) and convolutional codes. Zbl 0552.94009
Staiger, Ludwig
2
1983
Towards the structure of convolutional codes. Zbl 0521.94013
Staiger, Ludwig
1
1982
Finite state omega-languages. Zbl 0479.68075
Staiger, Ludwig
2
1981
A note on connected \(\omega\)-languages. Zbl 0452.68085
Staiger, Ludwig
8
1980
Convolutional codes as subspaces of \(\text{GF}(q)^\omega\). Zbl 0483.94020
Staiger, Ludwig
1
1980
Rekursive Folgenmengen. I. Zbl 0421.03035
Staiger, Ludwig; Wagner, Klaus
9
1978
Algebraische Codierungstheorie. Theorie der sequentiellen Codierungen. Zbl 0363.94016
Lindner, Rolf; Staiger, Ludwig
21
1977
Recursive \(\omega\)-languages. Zbl 0367.02017
Wagner, K.; Staiger, L.
6
1977
Empty-storage-acceptance of \(\omega\)-languages. Zbl 0367.02016
Staiger, Ludwig
1
1977
Erkennungs-, Maß- und Informationstheoretische Eigenschaften regulärer Folgenmengen. Zbl 0384.68061
Lindner, Rolf; Staiger, Ludwig
1
1977
Reguläre Nullmengen. Zbl 0345.94030
Staiger, Ludwig
4
1976
Zur Theorie der abstrakten Familien von \(\omega\)-Sprachen (\(\omega\)-AFL). Zbl 0447.68088
Staiger, Ludwig; Wagner, Klaus
3
1976
Automatentheoretische und automatenfreie Charakterisierungen topologischer Klassen regulärer Folgenmengen. Zbl 0301.94069
Staiger, Ludwig; Wagner, Klaus
27
1974
Eine Bemerkung über nichtkonstantenfreie sequentielle Operatoren. Zbl 0283.94017
Lindner, Rolf; Staiger, Ludwig
2
1974
Eine Bemerkung zur Charakterisierung von Folgenmengen durch Wortmengen. Zbl 0336.94036
Staiger, Ludwig
1
1972
all top 5

Cited by 220 Authors

34 Staiger, Ludwig
20 Calude, Cristian S.
17 Finkel, Olivier
8 Litovsky, Igor
7 Jürgensen, Helmut
7 Tadaki, Kohtaro
6 Fernau, Henning
6 Stephan, Frank
6 Yamasaki, Hideki
5 Barnsley, Michael Fielding
5 Dang, Zhe
5 Mayordomo, Elvira
5 Nies, André Otfrid
4 Do Long Van
4 Downey, Rodney Graham
4 Fischer, Thomas Robert
4 Fisman, Dana
4 Hitchcock, John M.
4 Ibarra, Oscar H.
4 Lecomte, Dominique
4 Leśniak, Krzysztof
4 Lutz, Jack H.
4 Takahashi, Masako
4 Vince, Andrew
3 Angluin, Dana
3 Carton, Olivier
3 Cui, Cewei
3 Devolder, Jeanne
3 Kupferman, Orna
3 Le Saëc, Bertrand
3 Reimann, Jan
3 Selivanov, Viktor L’vovich
3 Shen, Alexander
2 Becher, Verónica
2 Cenzer, Douglas
2 Dennunzio, Alberto
2 Formenti, Enrico
2 Hirschfeldt, Denis Roman
2 Hudelson, W. M. Phillip
2 Kjos-Hanssen, Bjørn
2 Klaedtke, Felix
2 Kobayashi, Kojiro
2 Konstantinidis, Stavros
2 Kufleitner, Manfred
2 Le Gonidec, Marion
2 Li, Qin
2 López-Valdés, María
2 Manin, Yuri Ivanovich
2 Merkle, Wolfgang
2 Michalewski, Henryk
2 Miller, Joseph S.
2 Mio, Matteo
2 Păun, Gheorghe
2 Pérez-Jiménez, Mario J.
2 Provillard, Julien
2 Redziejowski, Roman R.
2 Remmel, Jeffrey B.
2 Shanker, O.
2 Simpson, Stephen G.
2 Skrzypczak, Michał
2 Terwijn, Sebastiaan A.
2 Timmerman, Erick
2 Vardi, Moshe Y.
2 Vinodchandran, N. Variyam
2 Walter, Tobias
2 Zimand, Marius
1 Allaart, Pieter C.
1 Alrajeh, Dalal
1 Andreev, Mikhail
1 Anselmo, Marcella
1 Baez, John C.
1 Bandt, Christoph
1 Bárány, Vince
1 Bienvenu, Laurent
1 Bingham, Nicholas Hugh
1 Boker, Udi
1 Bourke, Chris
1 Brattka, Vasco
1 Câmpeanu, Cezar
1 Cavezza, Davide Giacomo
1 Charlier, Emilie
1 Chaturvedi, Namit
1 Chen, Changhao
1 Chen, Yu-Fang
1 Cooper, Stuart Barry
1 Courcelle, Bruno
1 Culik, Karel II
1 Dai, Jack Jie
1 Darondeau, Philippe
1 Desfontaines, Damien
1 Dinneen, Michael J.
1 Doty, David
1 Dube, Simant
1 Dudzinski, Krystian
1 Dumitrescu, Monica E. Bad
1 Duparc, Jacques
1 Eisinger, Jochen
1 Engelfriet, Joost
1 Farjudian, Amin
1 Ferrer, Maria Vicenta
...and 120 more Authors
all top 5

Cited in 55 Serials

61 Theoretical Computer Science
14 Information and Computation
12 Information Processing Letters
11 Annals of Pure and Applied Logic
10 Theory of Computing Systems
9 RAIRO. Theoretical Informatics and Applications
8 RAIRO. Informatique Théorique et Applications
7 International Journal of Foundations of Computer Science
6 Journal of Computer and System Sciences
5 MSCS. Mathematical Structures in Computer Science
5 Logical Methods in Computer Science
4 Natural Computing
3 The Journal of Symbolic Logic
2 Discrete Applied Mathematics
2 Chaos, Solitons and Fractals
2 Advances in Mathematics
2 Applied Mathematics and Computation
2 Systems & Control Letters
2 Experimental Mathematics
2 The Bulletin of Symbolic Logic
1 Modern Physics Letters B
1 Acta Informatica
1 Bulletin of the Australian Mathematical Society
1 Functional Analysis and its Applications
1 Geometriae Dedicata
1 Information Sciences
1 International Journal of Computer & Information Sciences
1 Journal of Statistical Planning and Inference
1 Mathematische Nachrichten
1 Mathematical Systems Theory
1 Monatshefte für Mathematik
1 Discrete & Computational Geometry
1 Forum Mathematicum
1 Formal Aspects of Computing
1 Sugaku Expositions
1 Neural Computation
1 International Journal of Algebra and Computation
1 Archive for Mathematical Logic
1 Applicable Algebra in Engineering, Communication and Computing
1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
1 Formal Methods in System Design
1 Mathematical Logic Quarterly (MLQ)
1 Fractals
1 Annals of Mathematics and Artificial Intelligence
1 Journal of Difference Equations and Applications
1 Chaos
1 Mathematics in Computer Science
1 Discrete and Continuous Dynamical Systems. Series S
1 Discrete Mathematics, Algorithms and Applications
1 Advances in Mathematical Physics
1 RAIRO. Theoretical Informatics and Applications
1 Bulletin of Mathematical Sciences
1 Computability
1 Journal of Logical and Algebraic Methods in Programming
1 European Journal of Mathematics

Citations by Year