×

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,137 times in 2,000 Documents Cited by Year
Algorithms in combinatorial geometry. Zbl 0634.52001
Edelsbrunner, Herbert
486
1987
Rational series and their languages. Zbl 0668.68005
Berstel, Jean; Reutenauer, Christophe
208
1988
Fundamentals of algebraic specification 1. Equations and initial semantics. Zbl 0557.68013
Ehrig, H.; Mahr, B.
166
1985
Petri nets. An introduction. Transl. from the German. Zbl 0555.68033
Reisig, Wolfgang
149
1985
Semirings, automata, languages. Zbl 0582.68002
Kuich, Werner; Salomaa, Arto
145
1986
Structural complexity. I. Zbl 0638.68040
Balcázar, José Luis; Díaz, Josep; Gabarró, Joaquim
93
1988
Data structures and algorithms 1: Sorting and searching. Transl. from the German. Zbl 0556.68001
Mehlhorn, Kurt
73
1984
Data structures and algorithms 2: Graph algorithms and NP-completeness. Transl. from the German. Zbl 0556.68002
Mehlhorn, Kurt
70
1984
Relations and graphs. Discrete mathematics for computer scientists. Zbl 0900.68328
Schmidt, Gunther; Ströhlein, Thomas
61
1993
Universal algebra for computer scientists. Zbl 0748.68002
Wechler, Wolfgang
60
1992
Iteration theories. The equational logic of iterative processes. Zbl 0773.03033
Bloom, Stephen; Ésik, Zoltán
58
1993
Structural complexity II. Zbl 0746.68032
Balcázar, José Luis; Díaz, Josep; Gabarró, Joaquim
54
1990
Data structures and algorithms 3: Multi-dimensional searching and computational geometry. Transl. from the German. Zbl 0556.68003
Mehlhorn, Kurt
51
1984
Computability. Zbl 0611.03002
Weihrauch, Klaus
45
1987
The structure of the relational database model. Zbl 0669.68060
Paredaens, Jan; de Bra, Paul; Gyssens, Marc; van Gucht, Dirk
36
1989
Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 1. Zbl 0762.68004
Jensen, Kurt
35
1992
Temporal logic of programs. Zbl 0609.03007
Kröger, Fred
34
1987
Fundamentals of algebraic specification 2. Module specifications and constraints. Zbl 0759.68013
Ehrig, Hartmut; Mahr, Bernd
34
1990
Information and randomness. An algorithmic perspective. Zbl 0922.68073
Calude, Cristian
34
1994
Finiteness and regularity in semigroups and formal languages. Zbl 0935.68056
De Luca, Aldo; Varricchio, Stefano
32
1999
Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 3. Zbl 0883.68098
Jensen, Kurt
30
1997
Syntax-directed semantics. Formal models based on tree transducers. Zbl 0913.68127
Fülöp, Zoltán; Vogler, Heiko
24
1998
Nonsequential processes. A Petri net view. Zbl 0656.68005
Best, Eike; Fernández, César C.
22
1988
Regulated rewriting in formal language theory. Zbl 0697.68067
Dassow, Jürgen; Paun, Gheorghe
22
1988
Confluent string rewriting. Zbl 1097.68572
Jantzen, Matthias
20
1988
Computing in Horn clause theories. Zbl 0646.68004
Padawitz, Peter
20
1988
Parsing theory. Vol. I: Languages and parsing. Zbl 0651.68007
Sippu, Seppo; Soisalm-Soininen, Eljas
19
1988
Public-key cryptography. Zbl 0712.68003
Salomaa, Arto
16
1990
Parsing theory. Volume II: LR (k) and LL (k) parsing. Zbl 0703.68071
Sippu, Seppo; Soisalon-Soininen, Eljas
11
1990
Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 1. 2nd ed. Zbl 0842.68049
Jensen, Kurt
9
1996
Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 2. Zbl 0865.68084
Jensen, Kurt
7
1995
Specification and analysis of concurrent systems. The COSY approach. Zbl 0765.68007
Janicki, Ryszard; Lauer, Peter E.
4
1992
Products of automata. Zbl 0622.68049
Gécseg, Ferenc
3
1986
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
Kolmogorov complexity and computational complexity. Zbl 0755.68017
2
1992
Finiteness and regularity in semigroups and formal languages. Zbl 0935.68056
De Luca, Aldo; Varricchio, Stefano
32
1999
Syntax-directed semantics. Formal models based on tree transducers. Zbl 0913.68127
Fülöp, Zoltán; Vogler, Heiko
24
1998
Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 3. Zbl 0883.68098
Jensen, Kurt
30
1997
Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 1. 2nd ed. Zbl 0842.68049
Jensen, Kurt
9
1996
Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 2. Zbl 0865.68084
Jensen, Kurt
7
1995
Information and randomness. An algorithmic perspective. Zbl 0922.68073
Calude, Cristian
34
1994
Relations and graphs. Discrete mathematics for computer scientists. Zbl 0900.68328
Schmidt, Gunther; Ströhlein, Thomas
61
1993
Iteration theories. The equational logic of iterative processes. Zbl 0773.03033
Bloom, Stephen; Ésik, Zoltán
58
1993
Universal algebra for computer scientists. Zbl 0748.68002
Wechler, Wolfgang
60
1992
Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 1. Zbl 0762.68004
Jensen, Kurt
35
1992
Specification and analysis of concurrent systems. The COSY approach. Zbl 0765.68007
Janicki, Ryszard; Lauer, Peter E.
4
1992
Kolmogorov complexity and computational complexity. Zbl 0755.68017
2
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
54
1990
Fundamentals of algebraic specification 2. Module specifications and constraints. Zbl 0759.68013
Ehrig, Hartmut; Mahr, Bernd
34
1990
Public-key cryptography. Zbl 0712.68003
Salomaa, Arto
16
1990
Parsing theory. Volume II: LR (k) and LL (k) parsing. Zbl 0703.68071
Sippu, Seppo; Soisalon-Soininen, Eljas
11
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
36
1989
Rational series and their languages. Zbl 0668.68005
Berstel, Jean; Reutenauer, Christophe
208
1988
Structural complexity. I. Zbl 0638.68040
Balcázar, José Luis; Díaz, Josep; Gabarró, Joaquim
93
1988
Nonsequential processes. A Petri net view. Zbl 0656.68005
Best, Eike; Fernández, César C.
22
1988
Regulated rewriting in formal language theory. Zbl 0697.68067
Dassow, Jürgen; Paun, Gheorghe
22
1988
Confluent string rewriting. Zbl 1097.68572
Jantzen, Matthias
20
1988
Computing in Horn clause theories. Zbl 0646.68004
Padawitz, Peter
20
1988
Parsing theory. Vol. I: Languages and parsing. Zbl 0651.68007
Sippu, Seppo; Soisalm-Soininen, Eljas
19
1988
Algorithms in combinatorial geometry. Zbl 0634.52001
Edelsbrunner, Herbert
486
1987
Computability. Zbl 0611.03002
Weihrauch, Klaus
45
1987
Temporal logic of programs. Zbl 0609.03007
Kröger, Fred
34
1987
Semirings, automata, languages. Zbl 0582.68002
Kuich, Werner; Salomaa, Arto
145
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.
166
1985
Petri nets. An introduction. Transl. from the German. Zbl 0555.68033
Reisig, Wolfgang
149
1985
Data structures and algorithms 1: Sorting and searching. Transl. from the German. Zbl 0556.68001
Mehlhorn, Kurt
73
1984
Data structures and algorithms 2: Graph algorithms and NP-completeness. Transl. from the German. Zbl 0556.68002
Mehlhorn, Kurt
70
1984
Data structures and algorithms 3: Multi-dimensional searching and computational geometry. Transl. from the German. Zbl 0556.68003
Mehlhorn, Kurt
51
1984
all top 5

Cited by 2,545 Authors

38 Sharir, Micha
25 Edelsbrunner, Herbert
23 Ésik, Zoltán
23 Honkala, Juha
22 Droste, Manfred
21 Matoušek, Jiří
17 Berghammer, Rudolf
17 Ehrig, Hartmut
17 Guibas, Leonidas John
14 Chazelle, Bernard
14 Kuich, Werner
13 Agarwal, Pankaj Kumar
12 Engelfriet, Joost
11 Aronov, Boris
11 D’Alessandro, Flavio
11 Fülöp, Zoltán
11 Overmars, Mark H.
11 Pach, János
11 Pap, Endre
11 Vogler, Heiko
10 Link, Sebastian
10 Tucker, John V.
10 Vychodil, Vilém
10 Weihrauch, Klaus
10 Welzl, Emo
9 Agahi, Hamzeh
9 Duchamp, Gerard Henry Edmond
9 Fukuda, Komei
9 Hennicker, Rolf
9 Hershberger, John E.
9 Lowe, Michael J. S.
9 Mehlhorn, Kurt
9 Möller, Bernhard
9 Rutten, Jan J. M. M.
9 Snoeyink, Jack Scott
9 van Kreveld, Marc J.
8 Bloom, Stephen L.
8 Calude, Cristian S.
8 Ćirić, Miroslav D.
8 de Berg, Mark Theodoor
8 Fernau, Henning
8 Goldwurm, Massimiliano
8 Goodrich, Michael Truman
8 Hartmann, Sven
8 Höfner, Peter
8 Ignjatović, Jelena
8 Maneth, Sebastian
8 Milius, Stefan
8 Perrin, Dominique
8 Puerto Albandoz, Justo
8 Salomaa, Arto Kustaa
8 Steiger, William L.
8 Tarlecki, Andrzej
7 Avis, David M.
7 Chajda, Ivan
7 Gray, W. Steven
7 Meseguer Guaita, José
7 Orejas, Fernando
7 Rozenberg, Grzegorz
7 Štrboja, Mirjana
7 Varricchio, Stefano
6 Adámek, Jiří
6 Babakhani, Azizollah
6 Best, Eike
6 Bidoit, Michel
6 Buhrman, Harry
6 Corradini, Andrea
6 De Felice, Clelia
6 Eppstein, David Arthur
6 Furusawa, Hitoshi
6 Goncharov, Sergeĭ Savost’yanovich
6 Halperin, Dan
6 Hegner, Stephen J.
6 Hoang Ngoc Minh, Vincel
6 Koutny, Maciej
6 Länger, Helmut M.
6 Lutz, Jack H.
6 Mesiar, Radko
6 Montanari, Ugo G.
6 Păun, Gheorghe
6 Pinna, G. Michele
6 Reutenauer, Christophe
6 Sannella, Donald T.
6 Seidel, Raimund
6 Selivanov, Viktor L’vovich
6 Wang, Huaxiong
6 Woeginger, Gerhard Johannes
5 Aichholzer, Oswin
5 Aurenhammer, Franz
5 Baldan, Paolo
5 Béal, Marie-Pierre
5 Bergstra, Jan A.
5 Cheong, Otfried
5 Choffrut, Christian
5 Dillencourt, Michael B.
5 Drewes, Frank
5 Hertling, Peter H.
5 Janardan, Ravi
5 Karhumaki, Juhani
5 Kawahara, Yasuo
...and 2,445 more Authors
all top 5

Cited in 258 Journals

362 Theoretical Computer Science
108 Information Processing Letters
84 Computational Geometry
81 Discrete & Computational Geometry
68 Information and Computation
63 Algorithmica
50 Acta Informatica
48 Journal of Computer and System Sciences
45 Discrete Applied Mathematics
32 Journal of Logical and Algebraic Methods in Programming
28 Formal Aspects of Computing
26 RAIRO. Theoretical Informatics and Applications
25 Information Sciences
24 The Journal of Logic and Algebraic Programming
21 RAIRO. Informatique Théorique et Applications
20 Fuzzy Sets and Systems
19 European Journal of Operational Research
19 Theory of Computing Systems
16 Discrete Mathematics
16 Mathematical Systems Theory
15 Annals of Pure and Applied Logic
15 Journal of Symbolic Computation
15 MSCS. Mathematical Structures in Computer Science
14 Annals of Mathematics and Artificial Intelligence
13 Algebra Universalis
11 Semigroup Forum
11 Computer Aided Geometric Design
11 Soft Computing
10 The Journal of Symbolic Logic
9 Computers & Mathematics with Applications
9 Operations Research Letters
9 Designs, Codes and Cryptography
9 Computational Statistics and Data Analysis
8 Automatica
8 BIT
8 Journal of Complexity
8 Journal of Computer Science and Technology
8 Discrete Event Dynamic Systems
8 Logical Methods in Computer Science
7 Journal of Combinatorial Theory. Series A
7 Combinatorica
7 International Journal of Computer Mathematics
6 Journal of Algebra
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 Archive for Mathematical Logic
6 Natural Computing
5 Artificial Intelligence
5 Applied Mathematics and Computation
5 Computing
5 Journal of Pure and Applied Algebra
5 Computers & Operations Research
5 International Journal of Foundations of Computer Science
5 Linear Algebra and its Applications
5 Mathematical Programming. Series A. Series B
5 Diagrammes
4 Systems & Control Letters
4 International Journal of Production Research
4 Mathematical and Computer Modelling
4 Computational Complexity
4 Formal Methods in System Design
4 Applied Categorical Structures
4 The Bulletin of Symbolic Logic
4 Journal of Discrete Algorithms
3 International Journal of Theoretical Physics
3 Advances in Mathematics
3 International Journal for Numerical Methods in Engineering
3 Journal of Computational and Applied Mathematics
3 Kybernetika
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 Journal of Automated Reasoning
3 International Journal of Approximate Reasoning
3 Applied Mathematics Letters
3 Journal of Global Optimization
3 Pattern Recognition
3 Applicable Algebra in Engineering, Communication and Computing
3 Journal of Applied Non-Classical Logics
3 Mathematical Logic Quarterly (MLQ)
3 Journal of Combinatorial Optimization
3 Fundamenta Informaticae
3 RAIRO. Theoretical Informatics and Applications
2 International Journal of General Systems
2 Israel Journal of Mathematics
2 The Annals of Statistics
2 Geometriae Dedicata
2 Journal of Mathematical Psychology
2 Journal of Multivariate Analysis
2 Journal of Number Theory
2 Journal of Optimization Theory and Applications
2 Mathematica Slovaca
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 Order
2 Optimization
2 Graphs and Combinatorics
...and 158 more Journals
all top 5

Cited in 52 Fields

1,568 Computer science (68-XX)
261 Mathematical logic and foundations (03-XX)
155 Combinatorics (05-XX)
132 Convex and discrete geometry (52-XX)
117 Operations research, mathematical programming (90-XX)
72 Numerical analysis (65-XX)
67 Associative rings and algebras (16-XX)
63 Category theory; homological algebra (18-XX)
47 Order, lattices, ordered algebraic structures (06-XX)
47 Information and communication theory, circuits (94-XX)
45 General algebraic systems (08-XX)
45 Systems theory; control (93-XX)
42 Group theory and generalizations (20-XX)
36 Number theory (11-XX)
36 Statistics (62-XX)
31 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
25 Biology and other natural sciences (92-XX)
24 Probability theory and stochastic processes (60-XX)
20 Measure and integration (28-XX)
19 Real functions (26-XX)
19 Geometry (51-XX)
15 Algebraic geometry (14-XX)
14 Linear and multilinear algebra; matrix theory (15-XX)
12 Dynamical systems and ergodic theory (37-XX)
10 Commutative algebra (13-XX)
9 General topology (54-XX)
9 Quantum theory (81-XX)
6 Field theory and polynomials (12-XX)
6 Approximations and expansions (41-XX)
6 Manifolds and cell complexes (57-XX)
5 General and overarching topics; collections (00-XX)
5 History and biography (01-XX)
5 Special functions (33-XX)
5 Operator theory (47-XX)
4 Ordinary differential equations (34-XX)
4 Calculus of variations and optimal control; optimization (49-XX)
4 Algebraic topology (55-XX)
3 Nonassociative rings and algebras (17-XX)
3 Several complex variables and analytic spaces (32-XX)
3 Mathematics education (97-XX)
2 Functions of a complex variable (30-XX)
2 Functional analysis (46-XX)
2 Mechanics of deformable solids (74-XX)
1 \(K\)-theory (19-XX)
1 Partial differential equations (35-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 Mechanics of particles and systems (70-XX)
1 Fluid mechanics (76-XX)
1 Optics, electromagnetic theory (78-XX)

Citations by Year