×

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

Cited by 3,310 Authors

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

Cited in 304 Journals

506 Theoretical Computer Science
144 Information Processing Letters
105 Information and Computation
99 Computational Geometry
95 Discrete & Computational Geometry
67 Journal of Computer and System Sciences
66 Algorithmica
53 Discrete Applied Mathematics
51 Acta Informatica
39 Journal of Logical and Algebraic Methods in Programming
35 Information Sciences
35 The Journal of Logic and Algebraic Programming
28 Fuzzy Sets and Systems
28 Formal Aspects of Computing
26 RAIRO. Theoretical Informatics and Applications
23 European Journal of Operational Research
22 Theory of Computing Systems
21 RAIRO. Informatique Théorique et Applications
20 Discrete Mathematics
19 Annals of Pure and Applied Logic
18 Mathematical Structures in Computer Science
18 International Journal of Foundations of Computer Science
17 Artificial Intelligence
17 Journal of Symbolic Computation
16 Mathematical Systems Theory
15 Computers & Mathematics with Applications
15 Journal of Complexity
15 Logical Methods in Computer Science
14 Semigroup Forum
14 Annals of Mathematics and Artificial Intelligence
13 Algebra Universalis
13 Soft Computing
12 Computer Aided Geometric Design
11 Automatica
11 The Journal of Symbolic Logic
10 Journal of Algebra
10 Journal of Combinatorial Theory. Series A
10 Natural Computing
9 Operations Research Letters
9 Designs, Codes and Cryptography
9 Computational Statistics and Data Analysis
8 BIT
8 Journal of Computer Science and Technology
8 Discrete Event Dynamic Systems
7 Applied Mathematics and Computation
7 Journal of Pure and Applied Algebra
7 Combinatorica
7 International Journal of Computer Mathematics
7 Linear Algebra and its Applications
7 Archive for Mathematical Logic
7 Mathematical Programming. Series A. Series B
6 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 Fundamenta Informaticae
6 Journal of Discrete Algorithms
6 Asian-European Journal of Mathematics
5 Journal of Computational and Applied Mathematics
5 Computers & Operations Research
5 Applied Mathematics Letters
5 Mathematical and Computer Modelling
5 Pattern Recognition
5 Diagrammes
5 The Bulletin of Symbolic Logic
5 Computer Science Review
4 Advances in Mathematics
4 Systems & Control Letters
4 International Journal of Production Research
4 Journal of Automated Reasoning
4 Applicable Algebra in Engineering, Communication and Computing
4 Computational Complexity
4 Formal Methods in System Design
4 Applied Categorical Structures
4 Journal of Combinatorial Optimization
4 Computability
4 Journal of Membrane Computing
3 International Journal of Theoretical Physics
3 Israel Journal of Mathematics
3 International Journal for Numerical Methods in Engineering
3 Journal of the London Mathematical Society. Second Series
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 SIAM Journal on Discrete Mathematics
3 International Journal of Algebra and Computation
3 Journal of Global Optimization
3 Journal of Applied Non-Classical Logics
3 Mathematical Logic Quarterly (MLQ)
3 Journal of Automata, Languages and Combinatorics
3 Journal of the ACM
3 Theory and Practice of Logic Programming
3 Journal of Analysis and Applications
3 Journal of Pseudo-Differential Operators and Applications
...and 204 more Journals
all top 5

Cited in 54 Fields

2,387 Computer science (68-XX)
402 Mathematical logic and foundations (03-XX)
210 Combinatorics (05-XX)
163 Convex and discrete geometry (52-XX)
158 Operations research, mathematical programming (90-XX)
103 Category theory; homological algebra (18-XX)
94 Associative rings and algebras (16-XX)
86 Numerical analysis (65-XX)
67 Order, lattices, ordered algebraic structures (06-XX)
64 Information and communication theory, circuits (94-XX)
63 Group theory and generalizations (20-XX)
59 Systems theory; control (93-XX)
57 General algebraic systems (08-XX)
47 Number theory (11-XX)
47 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
43 Statistics (62-XX)
36 Real functions (26-XX)
36 Probability theory and stochastic processes (60-XX)
31 Measure and integration (28-XX)
28 Biology and other natural sciences (92-XX)
21 Algebraic geometry (14-XX)
21 Quantum theory (81-XX)
20 Geometry (51-XX)
19 Linear and multilinear algebra; matrix theory (15-XX)
16 Dynamical systems and ergodic theory (37-XX)
12 Commutative algebra (13-XX)
12 General topology (54-XX)
11 Operator theory (47-XX)
10 History and biography (01-XX)
9 General and overarching topics; collections (00-XX)
9 Field theory and polynomials (12-XX)
9 Manifolds and cell complexes (57-XX)
8 Approximations and expansions (41-XX)
7 Special functions (33-XX)
7 Algebraic topology (55-XX)
6 Calculus of variations and optimal control; optimization (49-XX)
5 Ordinary differential equations (34-XX)
5 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 Partial differential equations (35-XX)
3 Mechanics of particles and systems (70-XX)
3 Mathematics education (97-XX)
2 Difference and functional equations (39-XX)
2 Mechanics of deformable solids (74-XX)
1 \(K\)-theory (19-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)
1 Statistical mechanics, structure of matter (82-XX)

Citations by Year