×

EATCS Monographs on Theoretical Computer Science

Short Title: EATCS Monogr. Theoret. Comput. Sci.
Publisher: Springer, Cham
ISSN: 1431-2654; 2193-2069/e
Online: https://link.springer.com/bookseries/776
Successor: Monographs in Theoretical Computer Science. An EATCS Series
Comments: Book series; No longer indexed; Numbered up to Vol. 25
Documents Indexed: 36 Publications (1984–1999)

Publications by Year

Citations contained in zbMATH Open

36 Publications have been cited 2,784 times in 2,568 Documents Cited by Year
Algorithms in combinatorial geometry. Zbl 0634.52001
Edelsbrunner, Herbert
557
1987
Rational series and their languages. Zbl 0668.68005
Berstel, Jean; Reutenauer, Christophe
255
1988
Semirings, automata, languages. Zbl 0582.68002
Kuich, Werner; Salomaa, Arto
239
1986
Fundamentals of algebraic specification 1. Equations and initial semantics. Zbl 0557.68013
Ehrig, H.; Mahr, B.
224
1985
Petri nets. An introduction. Transl. from the German. Zbl 0555.68033
Reisig, Wolfgang
219
1985
Structural complexity. I. Zbl 0638.68040
Balcázar, José Luis; Díaz, Josep; Gabarró, Joaquim
128
1988
Data structures and algorithms 1: Sorting and searching. Transl. from the German. Zbl 0556.68001
Mehlhorn, Kurt
97
1984
Relations and graphs. Discrete mathematics for computer scientists. Zbl 0900.68328
Schmidt, Gunther; Ströhlein, Thomas
91
1993
Data structures and algorithms 2: Graph algorithms and NP-completeness. Transl. from the German. Zbl 0556.68002
Mehlhorn, Kurt
85
1984
Iteration theories. The equational logic of iterative processes. Zbl 0773.03033
Bloom, Stephen; Ésik, Zoltán
78
1993
Structural complexity II. Zbl 0746.68032
Balcázar, José Luis; Díaz, Josep; Gabarró, Joaquim
68
1990
Universal algebra for computer scientists. Zbl 0748.68002
Wechler, Wolfgang
68
1992
Data structures and algorithms 3: Multi-dimensional searching and computational geometry. Transl. from the German. Zbl 0556.68003
Mehlhorn, Kurt
63
1984
Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 1. Zbl 0762.68004
Jensen, Kurt
57
1992
Computability. Zbl 0611.03002
Weihrauch, Klaus
53
1987
Fundamentals of algebraic specification 2. Module specifications and constraints. Zbl 0759.68013
Ehrig, Hartmut; Mahr, Bernd
43
1990
Finiteness and regularity in semigroups and formal languages. Zbl 0935.68056
De Luca, Aldo; Varricchio, Stefano
42
1999
Regulated rewriting in formal language theory. Zbl 0697.68067
Dassow, Jürgen; Paun, Gheorghe
40
1988
The structure of the relational database model. Zbl 0669.68060
Paredaens, Jan; de Bra, Paul; Gyssens, Marc; van Gucht, Dirk
40
1989
Information and randomness. An algorithmic perspective. Zbl 0922.68073
Calude, Cristian
39
1994
Temporal logic of programs. Zbl 0609.03007
Kröger, Fred
39
1987
Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 3. Zbl 0883.68098
Jensen, Kurt
35
1997
Nonsequential processes. A Petri net view. Zbl 0656.68005
Best, Eike; Fernández, César C.
33
1988
Syntax-directed semantics. Formal models based on tree transducers. Zbl 0913.68127
Fülöp, Zoltán; Vogler, Heiko
32
1998
Computing in Horn clause theories. Zbl 0646.68004
Padawitz, Peter
30
1988
Confluent string rewriting. Zbl 1097.68572
Jantzen, Matthias
30
1988
Parsing theory. Vol. I: Languages and parsing. Zbl 0651.68007
Sippu, Seppo; Soisalm-Soininen, Eljas
28
1988
Public-key cryptography. Zbl 0712.68003
Salomaa, Arto
18
1990
Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 1. 2nd ed. Zbl 0842.68049
Jensen, Kurt
16
1996
Parsing theory. Volume II: LR (k) and LL (k) parsing. Zbl 0703.68071
Sippu, Seppo; Soisalon-Soininen, Eljas
12
1990
Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 2. Zbl 0865.68084
Jensen, Kurt
9
1995
Specification and analysis of concurrent systems. The COSY approach. Zbl 0765.68007
Janicki, Ryszard; Lauer, Peter E.
6
1992
Products of automata. Zbl 0622.68049
Gécseg, Ferenc
3
1986
Kolmogorov complexity and computational complexity. Zbl 0755.68017
3
1992
Compiler generators. What they can do, what they might do, and what they will probably never do. Zbl 0744.68035
Tofte, Mads
2
1990
First-order programming theories. Zbl 0799.68006
Gergely, Tamás; Úry, László
2
1991
Finiteness and regularity in semigroups and formal languages. Zbl 0935.68056
De Luca, Aldo; Varricchio, Stefano
42
1999
Syntax-directed semantics. Formal models based on tree transducers. Zbl 0913.68127
Fülöp, Zoltán; Vogler, Heiko
32
1998
Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 3. Zbl 0883.68098
Jensen, Kurt
35
1997
Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 1. 2nd ed. Zbl 0842.68049
Jensen, Kurt
16
1996
Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 2. Zbl 0865.68084
Jensen, Kurt
9
1995
Information and randomness. An algorithmic perspective. Zbl 0922.68073
Calude, Cristian
39
1994
Relations and graphs. Discrete mathematics for computer scientists. Zbl 0900.68328
Schmidt, Gunther; Ströhlein, Thomas
91
1993
Iteration theories. The equational logic of iterative processes. Zbl 0773.03033
Bloom, Stephen; Ésik, Zoltán
78
1993
Universal algebra for computer scientists. Zbl 0748.68002
Wechler, Wolfgang
68
1992
Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 1. Zbl 0762.68004
Jensen, Kurt
57
1992
Specification and analysis of concurrent systems. The COSY approach. Zbl 0765.68007
Janicki, Ryszard; Lauer, Peter E.
6
1992
Kolmogorov complexity and computational complexity. Zbl 0755.68017
3
1992
First-order programming theories. Zbl 0799.68006
Gergely, Tamás; Úry, László
2
1991
Structural complexity II. Zbl 0746.68032
Balcázar, José Luis; Díaz, Josep; Gabarró, Joaquim
68
1990
Fundamentals of algebraic specification 2. Module specifications and constraints. Zbl 0759.68013
Ehrig, Hartmut; Mahr, Bernd
43
1990
Public-key cryptography. Zbl 0712.68003
Salomaa, Arto
18
1990
Parsing theory. Volume II: LR (k) and LL (k) parsing. Zbl 0703.68071
Sippu, Seppo; Soisalon-Soininen, Eljas
12
1990
Compiler generators. What they can do, what they might do, and what they will probably never do. Zbl 0744.68035
Tofte, Mads
2
1990
The structure of the relational database model. Zbl 0669.68060
Paredaens, Jan; de Bra, Paul; Gyssens, Marc; van Gucht, Dirk
40
1989
Rational series and their languages. Zbl 0668.68005
Berstel, Jean; Reutenauer, Christophe
255
1988
Structural complexity. I. Zbl 0638.68040
Balcázar, José Luis; Díaz, Josep; Gabarró, Joaquim
128
1988
Regulated rewriting in formal language theory. Zbl 0697.68067
Dassow, Jürgen; Paun, Gheorghe
40
1988
Nonsequential processes. A Petri net view. Zbl 0656.68005
Best, Eike; Fernández, César C.
33
1988
Computing in Horn clause theories. Zbl 0646.68004
Padawitz, Peter
30
1988
Confluent string rewriting. Zbl 1097.68572
Jantzen, Matthias
30
1988
Parsing theory. Vol. I: Languages and parsing. Zbl 0651.68007
Sippu, Seppo; Soisalm-Soininen, Eljas
28
1988
Algorithms in combinatorial geometry. Zbl 0634.52001
Edelsbrunner, Herbert
557
1987
Computability. Zbl 0611.03002
Weihrauch, Klaus
53
1987
Temporal logic of programs. Zbl 0609.03007
Kröger, Fred
39
1987
Semirings, automata, languages. Zbl 0582.68002
Kuich, Werner; Salomaa, Arto
239
1986
Products of automata. Zbl 0622.68049
Gécseg, Ferenc
3
1986
Fundamentals of algebraic specification 1. Equations and initial semantics. Zbl 0557.68013
Ehrig, H.; Mahr, B.
224
1985
Petri nets. An introduction. Transl. from the German. Zbl 0555.68033
Reisig, Wolfgang
219
1985
Data structures and algorithms 1: Sorting and searching. Transl. from the German. Zbl 0556.68001
Mehlhorn, Kurt
97
1984
Data structures and algorithms 2: Graph algorithms and NP-completeness. Transl. from the German. Zbl 0556.68002
Mehlhorn, Kurt
85
1984
Data structures and algorithms 3: Multi-dimensional searching and computational geometry. Transl. from the German. Zbl 0556.68003
Mehlhorn, Kurt
63
1984
all top 5

Cited by 2,975 Authors

43 Sharir, Micha
36 Droste, Manfred
35 Ésik, Zoltán
30 Edelsbrunner, Herbert
25 Honkala, Juha
24 Berghammer, Rudolf
23 Ehrig, Hartmut
22 Matoušek, Jiří
20 Kuich, Werner
19 Guibas, Leonidas John
18 Agarwal, Pankaj Kumar
15 Chazelle, Bernard
15 D’Alessandro, Flavio
15 Vogler, Heiko
14 Aronov, Boris
14 Engelfriet, Joost
14 Fülöp, Zoltán
14 Hershberger, John E.
14 Overmars, Mark H.
14 van Kreveld, Marc J.
13 Corradini, Andrea
13 Möller, Bernhard
13 Tucker, John V.
13 Welzl, Emo
12 Agahi, Hamzeh
12 Fernau, Henning
12 Mehlhorn, Kurt
12 Pap, Endre
12 Snoeyink, Jack Scott
11 Best, Eike
11 Bloom, Stephen L.
11 Goldwurm, Massimiliano
11 Hennicker, Rolf
11 Link, Sebastian
11 Maletti, Andreas
11 Pach, János
11 Weihrauch, Klaus
10 Baldan, Paolo
10 Duchamp, Gerard Henry Edmond
10 Koutny, Maciej
10 Montanari, Ugo G.
10 Vychodil, Vilém
9 Calude, Cristian S.
9 de Berg, Mark Theodoor
9 Fukuda, Komei
9 Goodrich, Michael Truman
9 Gray, W. Steven
9 Höfner, Peter
9 Levcopoulos, Christos
9 Lowe, Michael J. S.
9 Mohri, Mehryar
9 Orejas, Fernando
9 Rahonis, George
9 Rutten, Jan J. M. M.
9 Steiger, William L.
9 Varricchio, Stefano
8 Buhrman, Harry
8 Chajda, Ivan
8 Ćirić, Miroslav D.
8 Drewes, Frank
8 Eppstein, David Arthur
8 Hartmann, Sven
8 Hoang Ngoc Minh, Vincel
8 Ignjatović, Jelena
8 Kawahara, Yasuo
8 Kedem, Klara
8 Lingas, Andrzej
8 Maneth, Sebastian
8 Meseguer Guaita, José
8 Milius, Stefan
8 Perrin, Dominique
8 Puerto Albandoz, Justo
8 Rozenberg, Grzegorz
8 Salomaa, Arto Kustaa
8 Seidel, Raimund
8 Štrboja, Mirjana
8 Suri, Subhash
8 Tarlecki, Andrzej
8 Yu, Sheng
7 Avis, David M.
7 Babakhani, Azizollah
7 Bergstra, Jan A.
7 Bidoit, Michel
7 Costa, José Félix
7 De Felice, Clelia
7 Gastin, Paul
7 Goncharov, Sergeĭ Savost’yanovich
7 Halperin, Dan
7 Hegner, Stephen J.
7 Kindler, Ekkart
7 Klaudel, Hanna
7 König, Barbara
7 Länger, Helmut M.
7 Lutz, Jack H.
7 Woeginger, Gerhard
7 Wood, Derick
6 Adámek, Jiří
6 Alhazov, Artiom
6 Bonchi, Filippo
6 Brattka, Vasco
...and 2,875 more Authors
all top 5

Cited in 288 Journals

410 Theoretical Computer Science
115 Information Processing Letters
88 Computational Geometry
87 Discrete & Computational Geometry
86 Information and Computation
66 Algorithmica
54 Journal of Computer and System Sciences
50 Acta Informatica
50 Discrete Applied Mathematics
36 Journal of Logical and Algebraic Methods in Programming
28 Information Sciences
28 Formal Aspects of Computing
28 The Journal of Logic and Algebraic Programming
26 RAIRO. Theoretical Informatics and Applications
22 Fuzzy Sets and Systems
21 European Journal of Operational Research
21 RAIRO. Informatique Théorique et Applications
19 Discrete Mathematics
19 Theory of Computing Systems
18 International Journal of Foundations of Computer Science
16 Mathematical Systems Theory
16 Journal of Symbolic Computation
16 MSCS. Mathematical Structures in Computer Science
15 Annals of Pure and Applied Logic
14 Annals of Mathematics and Artificial Intelligence
13 Algebra Universalis
13 Semigroup Forum
13 Soft Computing
11 Artificial Intelligence
11 The Journal of Symbolic Logic
11 Computer Aided Geometric Design
10 Computers & Mathematics with Applications
10 Automatica
10 Natural Computing
9 Journal of Algebra
9 Operations Research Letters
9 Designs, Codes and Cryptography
9 Computational Statistics and Data Analysis
9 Logical Methods in Computer Science
8 BIT
8 Journal of Complexity
8 Journal of Computer Science and Technology
8 Discrete Event Dynamic Systems
7 Journal of Combinatorial Theory. Series A
7 Combinatorica
7 International Journal of Computer Mathematics
7 Archive for Mathematical Logic
6 Mathematics and Computers in Simulation
6 Transactions of the American Mathematical Society
6 European Journal of Combinatorics
6 Advances in Applied Mathematics
6 Science of Computer Programming
6 Linear Algebra and its Applications
6 Mathematical Programming. Series A. Series B
5 Applied Mathematics and Computation
5 Computing
5 Journal of Pure and Applied Algebra
5 Computers & Operations Research
5 Diagrammes
5 Asian-European Journal of Mathematics
4 Systems & Control Letters
4 International Journal of Production Research
4 Journal of Automated Reasoning
4 Mathematical and Computer Modelling
4 Applicable Algebra in Engineering, Communication and Computing
4 Computational Complexity
4 Formal Methods in System Design
4 Applied Categorical Structures
4 The Bulletin of Symbolic Logic
4 Fundamenta Informaticae
4 Journal of Discrete Algorithms
4 Computability
3 International Journal of Theoretical Physics
3 Israel Journal of Mathematics
3 Advances in Mathematics
3 International Journal for Numerical Methods in Engineering
3 Journal of Computational and Applied Mathematics
3 Kybernetika
3 Mathematica Slovaca
3 Notre Dame Journal of Formal Logic
3 Proceedings of the American Mathematical Society
3 Studia Logica
3 RAIRO. Modélisation Mathématique et Analyse Numérique
3 International Journal of Approximate Reasoning
3 Applied Mathematics Letters
3 International Journal of Algebra and Computation
3 Journal of Global Optimization
3 Pattern Recognition
3 Journal of Applied Non-Classical Logics
3 Mathematical Logic Quarterly (MLQ)
3 Journal of Automata, Languages and Combinatorics
3 Journal of Combinatorial Optimization
3 RAIRO. Theoretical Informatics and Applications
3 Computer Science Review
3 Journal of Membrane Computing
2 Communications in Algebra
2 International Journal of Control
2 International Journal of General Systems
2 Acta Scientiarum Mathematicarum
2 The Annals of Statistics
...and 188 more Journals
all top 5

Cited in 53 Fields

2,058 Computer science (68-XX)
341 Mathematical logic and foundations (03-XX)
184 Combinatorics (05-XX)
148 Convex and discrete geometry (52-XX)
143 Operations research, mathematical programming (90-XX)
90 Category theory; homological algebra (18-XX)
81 Associative rings and algebras (16-XX)
73 Numerical analysis (65-XX)
61 Order, lattices, ordered algebraic structures (06-XX)
58 Systems theory; control (93-XX)
58 Information and communication theory, circuits (94-XX)
56 Group theory and generalizations (20-XX)
55 General algebraic systems (08-XX)
42 Number theory (11-XX)
41 Statistics (62-XX)
40 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
32 Probability theory and stochastic processes (60-XX)
29 Measure and integration (28-XX)
28 Real functions (26-XX)
26 Biology and other natural sciences (92-XX)
19 Geometry (51-XX)
18 Algebraic geometry (14-XX)
16 Linear and multilinear algebra; matrix theory (15-XX)
13 Dynamical systems and ergodic theory (37-XX)
13 Quantum theory (81-XX)
11 Commutative algebra (13-XX)
9 General topology (54-XX)
8 General and overarching topics; collections (00-XX)
8 History and biography (01-XX)
8 Operator theory (47-XX)
7 Field theory and polynomials (12-XX)
7 Approximations and expansions (41-XX)
7 Manifolds and cell complexes (57-XX)
6 Special functions (33-XX)
6 Algebraic topology (55-XX)
5 Calculus of variations and optimal control; optimization (49-XX)
4 Ordinary differential equations (34-XX)
4 Functional analysis (46-XX)
3 Nonassociative rings and algebras (17-XX)
3 Functions of a complex variable (30-XX)
3 Several complex variables and analytic spaces (32-XX)
3 Mathematics education (97-XX)
2 Mechanics of particles and systems (70-XX)
2 Mechanics of deformable solids (74-XX)
1 \(K\)-theory (19-XX)
1 Partial differential equations (35-XX)
1 Difference and functional equations (39-XX)
1 Sequences, series, summability (40-XX)
1 Integral transforms, operational calculus (44-XX)
1 Integral equations (45-XX)
1 Differential geometry (53-XX)
1 Fluid mechanics (76-XX)
1 Optics, electromagnetic theory (78-XX)

Citations by Year