×

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

Cited by 2,885 Authors

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

Cited in 281 Journals

407 Theoretical Computer Science
115 Information Processing Letters
88 Computational Geometry
87 Discrete & Computational Geometry
86 Information and Computation
61 Algorithmica
54 Journal of Computer and System Sciences
50 Acta Informatica
50 Discrete Applied Mathematics
35 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
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 International Journal of Foundations of Computer Science
12 Soft Computing
11 Computer Aided Geometric Design
10 Artificial Intelligence
10 Computers & Mathematics with Applications
10 Automatica
10 The Journal of Symbolic Logic
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
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 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
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 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 Computability
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 Israel Journal of Mathematics
2 The Annals of Statistics
2 Geometriae Dedicata
...and 181 more Journals
all top 5

Cited in 53 Fields

1,938 Computer science (68-XX)
322 Mathematical logic and foundations (03-XX)
175 Combinatorics (05-XX)
142 Convex and discrete geometry (52-XX)
140 Operations research, mathematical programming (90-XX)
83 Category theory; homological algebra (18-XX)
79 Associative rings and algebras (16-XX)
72 Numerical analysis (65-XX)
58 Order, lattices, ordered algebraic structures (06-XX)
56 Group theory and generalizations (20-XX)
55 Systems theory; control (93-XX)
54 Information and communication theory, circuits (94-XX)
52 General algebraic systems (08-XX)
41 Statistics (62-XX)
40 Number theory (11-XX)
36 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
31 Probability theory and stochastic processes (60-XX)
27 Measure and integration (28-XX)
26 Real functions (26-XX)
26 Biology and other natural sciences (92-XX)
18 Algebraic geometry (14-XX)
18 Geometry (51-XX)
15 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 History and biography (01-XX)
7 General and overarching topics; collections (00-XX)
7 Field theory and polynomials (12-XX)
7 Approximations and expansions (41-XX)
7 Operator theory (47-XX)
6 Manifolds and cell complexes (57-XX)
5 Special functions (33-XX)
5 Calculus of variations and optimal control; optimization (49-XX)
5 Algebraic topology (55-XX)
4 Ordinary differential equations (34-XX)
4 Functional analysis (46-XX)
3 Nonassociative rings and algebras (17-XX)
3 Several complex variables and analytic spaces (32-XX)
2 Functions of a complex variable (30-XX)
2 Mechanics of particles and systems (70-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 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