×

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

Cited by 2,710 Authors

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

Cited in 271 Journals

371 Theoretical Computer Science
109 Information Processing Letters
86 Computational Geometry
84 Discrete & Computational Geometry
71 Information and Computation
64 Algorithmica
49 Acta Informatica
49 Discrete Applied Mathematics
49 Journal of Computer and System Sciences
34 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
20 European Journal of Operational Research
19 Theory of Computing Systems
17 Discrete Mathematics
16 Mathematical Systems Theory
16 MSCS. Mathematical Structures in Computer Science
15 Annals of Pure and Applied Logic
15 Journal of Symbolic Computation
14 Annals of Mathematics and Artificial Intelligence
13 Algebra Universalis
13 Semigroup Forum
12 Soft Computing
11 Computer Aided Geometric Design
10 Automatica
10 The Journal of Symbolic Logic
9 Artificial Intelligence
9 Computers & Mathematics with Applications
9 Operations Research Letters
9 Designs, Codes and Cryptography
9 Computational Statistics and Data Analysis
8 BIT
8 Journal of Algebra
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
7 Natural Computing
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 Archive for Mathematical Logic
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 International Journal of Foundations of Computer Science
5 Diagrammes
4 Systems & Control Letters
4 International Journal of Production Research
4 Journal of Automated Reasoning
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 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 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 Automata, Languages and Combinatorics
3 Journal of Combinatorial Optimization
3 Fundamenta Informaticae
3 Asian-European Journal of Mathematics
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 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 Order
...and 171 more Journals
all top 5

Cited in 52 Fields

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