×

zbMATH — the first resource for mathematics

Monographs in Theoretical Computer Science. An EATCS Series

Short Title: Monogr. Theoret. Comput. Sci., EATCS Ser.
Publisher: Springer, Cham
ISSN: 1431-2654; 2193-2069/e
Online: https://rd.springer.com/bookseries/776
Predecessor: EATCS Monographs on Theoretical Computer Science
Comments: Book series
Documents Indexed: 25 Publications (since 2000)

Latest Volumes

(2000-2020)

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 745 times in 729 Documents Cited by Year
Patterns in permutations and words. Zbl 1257.68007
Kitaev, Sergey
134
2011
Time-dependent scheduling. Zbl 1155.90004
Gawiejnowicz, Stanisław
124
2008
Handbook of weighted automata. Zbl 1200.68001
Droste, Manfred (ed.); Kuich, Werner (ed.); Vogler, Heiko (ed.)
107
2009
Fundamentals of algebraic graph transformation. Zbl 1095.68047
Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
87
2006
Unfoldings: A partial-order approach to model checking. Zbl 1153.68035
Esparza, Javier; Heljanko, Keijo
59
2008
Foundations of algebraic specification and formal software development. Zbl 1237.68129
Sannella, Donald; Tarlecki, Andrzej
47
2012
Process algebra with timing. Zbl 1021.68063
Baeten, J. C. M.; Middelburg, C. A.
26
2002
Duration calculus. A formal approach to real-time systems. Zbl 1071.68062
Zhou, Chaochen; Hansen, Michael R.
23
2004
Incomplete information: Structure, inference, complexity. Zbl 1016.68163
Demri, Stéphane P.; Orłowska, Ewa S.
21
2002
Theoretical aspects of local search. Zbl 1130.90061
Michiels, Wil; Aarts, Emile; Korst, Jan
19
2007
Fault-tolerant search algorithms. Reliable computation with unreliable information. Zbl 1295.68006
Cicalese, Ferdinando
18
2013
Words and graphs. Zbl 1409.05003
Kitaev, Sergey; Lozin, Vadim
17
2015
Petri net algebra. Zbl 0968.68110
Best, Eike; Devillers, Raymond; Koutny, Maciej
10
2000
Theory of semi-feasible algorithms. Zbl 1021.68042
Hemaspaandra, Lane A.; Torenvliet, Leen
8
2003
Restricted-orientation convexity. Zbl 1060.52001
Fink, Eugene; Wood, Derick
8
2004
Stochastic coalgebraic logic. Zbl 1207.03039
Doberkat, Ernst-Erich
8
2010
Theory of reversible computing. Zbl 1383.68002
Morita, Kenichi
6
2017
Modeling time in computing. Zbl 1260.68004
Furia, Carlo A.; Mandrioli, Dino; Morzenti, Angelo; Rossi, Matteo
6
2012
Process algebras for Petri nets. The alphabetization of distributed systems. Zbl 1377.68002
Gorrieri, Roberto
5
2017
Graph and model transformation. General framework and applications. Zbl 1341.68002
Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Hermann, Frank
4
2015
Theoretical aspects of distributed computing in sensor networks. Zbl 1207.68013
Nikoletseas, Sotiris (ed.); Rolim, José D. P. (ed.)
2
2011
Models and algorithms of time-dependent scheduling. 2nd revised and updated edition. Zbl 1453.90002
Gawiejnowicz, Stanisław
2
2020
Logics of specification languages. Zbl 1138.68302
Bjørner, Dines (ed.); Henson, Martin C. (ed.)
2
2008
Semantic integration of heterogeneous software specifications. Zbl 1058.68073
Große-Rhode, Martin
1
2004
Deterministic extraction from weak random sources. Zbl 1208.68162
Gabizon, A.
1
2011
Models and algorithms of time-dependent scheduling. 2nd revised and updated edition. Zbl 1453.90002
Gawiejnowicz, Stanisław
2
2020
Theory of reversible computing. Zbl 1383.68002
Morita, Kenichi
6
2017
Process algebras for Petri nets. The alphabetization of distributed systems. Zbl 1377.68002
Gorrieri, Roberto
5
2017
Words and graphs. Zbl 1409.05003
Kitaev, Sergey; Lozin, Vadim
17
2015
Graph and model transformation. General framework and applications. Zbl 1341.68002
Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Hermann, Frank
4
2015
Fault-tolerant search algorithms. Reliable computation with unreliable information. Zbl 1295.68006
Cicalese, Ferdinando
18
2013
Foundations of algebraic specification and formal software development. Zbl 1237.68129
Sannella, Donald; Tarlecki, Andrzej
47
2012
Modeling time in computing. Zbl 1260.68004
Furia, Carlo A.; Mandrioli, Dino; Morzenti, Angelo; Rossi, Matteo
6
2012
Patterns in permutations and words. Zbl 1257.68007
Kitaev, Sergey
134
2011
Theoretical aspects of distributed computing in sensor networks. Zbl 1207.68013
Nikoletseas, Sotiris; Rolim, José D. P.
2
2011
Deterministic extraction from weak random sources. Zbl 1208.68162
Gabizon, A.
1
2011
Stochastic coalgebraic logic. Zbl 1207.03039
Doberkat, Ernst-Erich
8
2010
Handbook of weighted automata. Zbl 1200.68001
Droste, Manfred; Kuich, Werner; Vogler, Heiko
107
2009
Time-dependent scheduling. Zbl 1155.90004
Gawiejnowicz, Stanisław
124
2008
Unfoldings: A partial-order approach to model checking. Zbl 1153.68035
Esparza, Javier; Heljanko, Keijo
59
2008
Logics of specification languages. Zbl 1138.68302
Bjørner, Dines; Henson, Martin C.
2
2008
Theoretical aspects of local search. Zbl 1130.90061
Michiels, Wil; Aarts, Emile; Korst, Jan
19
2007
Fundamentals of algebraic graph transformation. Zbl 1095.68047
Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
87
2006
Duration calculus. A formal approach to real-time systems. Zbl 1071.68062
Zhou, Chaochen; Hansen, Michael R.
23
2004
Restricted-orientation convexity. Zbl 1060.52001
Fink, Eugene; Wood, Derick
8
2004
Semantic integration of heterogeneous software specifications. Zbl 1058.68073
Große-Rhode, Martin
1
2004
Theory of semi-feasible algorithms. Zbl 1021.68042
Hemaspaandra, Lane A.; Torenvliet, Leen
8
2003
Process algebra with timing. Zbl 1021.68063
Baeten, J. C. M.; Middelburg, C. A.
26
2002
Incomplete information: Structure, inference, complexity. Zbl 1016.68163
Demri, Stéphane P.; Orłowska, Ewa S.
21
2002
Petri net algebra. Zbl 0968.68110
Best, Eike; Devillers, Raymond; Koutny, Maciej
10
2000
all top 5

Cited by 1,156 Authors

20 Kitaev, Sergey
18 Wang, Jibo
16 Ehrig, Hartmut
13 Droste, Manfred
11 Huang, Xue
11 Ji, Ping
11 Mansour, Toufik
11 Orejas, Fernando
9 Diaconescu, Răzvan
9 Lin, Zhicong
8 Baldan, Paolo
8 Corradini, Andrea
8 Defant, Colin
8 Lambers, Leen
8 Reniers, Michel Adriaan
8 Wang, Jianjun
7 Cheng, Tai-Chiu Edwin
7 Fu, Shishuo
7 Li, Shisheng
7 Madeira, Alexandre
7 Tarlecki, Andrzej
7 Vogler, Heiko
7 Yang, Dar-Li
7 Yang, Suh-Jenq
7 Zhao, Chuanli
6 Golas, Ulrike
6 Hsu, Chou-Jung
6 König, Barbara
6 König, Harald
6 Meinecke, Ingmar
6 Mossakowski, Till
6 Prange, Ulrike
6 Remmel, Jeffrey B.
6 Sannella, Donald T.
6 Shattuck, Mark A.
6 Vajnovszki, Vincent
6 Wang, Mingzheng
6 Wolter, Uwe E.
5 de Lara, Juan
5 Gawiejnowicz, Stanisław
5 Guelev, Dimitar P.
5 Hennicker, Rolf
5 Khan, Md. Aquil
5 Kupferman, Orna
5 Larsen, Kim Guldstrand
5 Martins, Manuel António
5 Montanari, Angelo
5 Olderog, Ernst-Rüdiger
5 Taentzer, Gabriele
5 Ţuţu, Ionuţ
5 Valero, Valentín
5 Wei, Caimin
5 Yin, Na
5 Yin, Yunqiang
4 Barbosa, Luís Soares
4 Baril, Jean-Luc
4 Ermel, Claudia
4 Guerra, Esther
4 Henzinger, Thomas A.
4 Hermann, Frank
4 Knapp, Alexander
4 Lebedev, Vladimir Sergeevich
4 Macià, Hermenegilda
4 Mosheiov, Gur
4 Otop, Jan
4 Pak, Igor
4 Perevoshchikov, Vitaly
4 Ribeiro, Leila
4 Rutle, Adrian
4 Sala, Pietro
4 Strusevich, Vitaly A.
4 Tenner, Bridget Eileen
4 Yuan, Jinjiang
4 Zhang, Xingong
3 Aceto, Luca
3 Baeten, Jos C. M.
3 Banerjee, Mohua
3 Bergstra, Jan A.
3 Bjørner, Dines
3 Chatterjee, Krishnendu
3 Cicalese, Ferdinando
3 Della Monica, Dario
3 Dück, Stefan
3 Ésik, Zoltán
3 Fülöp, Zoltán
3 Gadducci, Fabio
3 Gastin, Paul
3 Giese, Holger
3 Hemaspaandra, Lane A.
3 Ingólfsdóttir, Anna
3 Järvinen, Jouni
3 Kahl, Wolfram
3 Kirgizov, Sergey
3 Kirsten, Daniel
3 Kosiol, Jens
3 Lahaye, Sébastien
3 Lazar, Mircea
3 Lehtonen, Erkko
3 Leung, Joseph Y.-T.
3 Liu, Xinbao
...and 1,056 more Authors
all top 5

Cited in 136 Journals

65 Theoretical Computer Science
23 Journal of Logical and Algebraic Methods in Programming
22 Information and Computation
19 Applied Mathematical Modelling
18 Discrete Mathematics
17 Advances in Applied Mathematics
17 Formal Aspects of Computing
14 Discrete Applied Mathematics
14 Information Sciences
14 Optimization Letters
13 MSCS. Mathematical Structures in Computer Science
12 Information Processing Letters
12 Applied Mathematics and Computation
12 Asia-Pacific Journal of Operational Research
11 Acta Informatica
11 Journal of Combinatorial Theory. Series A
11 The Journal of Logic and Algebraic Programming
10 Journal of Scheduling
9 Computers & Operations Research
9 European Journal of Operational Research
9 The Electronic Journal of Combinatorics
9 Theory of Computing Systems
9 Journal of Combinatorial Optimization
8 European Journal of Combinatorics
8 Algorithmica
7 Journal of Computer and System Sciences
6 International Journal of Approximate Reasoning
6 Annals of Operations Research
5 Science of Computer Programming
5 International Journal of Foundations of Computer Science
5 The Australasian Journal of Combinatorics
5 Formal Methods in System Design
5 Applied Categorical Structures
5 Annals of Mathematics and Artificial Intelligence
5 Logical Methods in Computer Science
4 Fuzzy Sets and Systems
4 SIAM Journal on Discrete Mathematics
4 Cybernetics and Systems Analysis
4 Séminaire Lotharingien de Combinatoire
4 Soft Computing
4 ACM Transactions on Computational Logic
4 Journal of Industrial and Management Optimization
3 Artificial Intelligence
3 Graphs and Combinatorics
3 Discrete Event Dynamic Systems
3 Journal of Applied Non-Classical Logics
3 Journal of Difference Equations and Applications
3 Logica Universalis
2 ACM Computing Surveys
2 Mathematical Notes
2 Problems of Information Transmission
2 Bulletin of Mathematical Biology
2 Journal of Philosophical Logic
2 SIAM Journal on Computing
2 Annals of Pure and Applied Logic
2 Journal of Symbolic Computation
2 Real-Time Systems
2 International Journal of Computer Mathematics
2 Mathematical Programming. Series A. Series B
2 Journal of Algebraic Combinatorics
2 Journal of Mathematical Sciences (New York)
2 Mathematical Problems in Engineering
2 Journal of the ACM
2 Annals of Combinatorics
2 Journal of Integer Sequences
2 Journal of Applied Mathematics and Computing
2 4OR
2 Sibirskie Èlektronnye Matematicheskie Izvestiya
2 Discrete Mathematics, Algorithms and Applications
2 Algebraic Combinatorics
2 Journal of Membrane Computing
1 Computers & Mathematics with Applications
1 International Journal of Control
1 Journal of Statistical Physics
1 Physica A
1 Mathematics of Computation
1 Algebra Universalis
1 The Annals of Probability
1 Automatica
1 Journal of Graph Theory
1 Journal of Mathematical Psychology
1 Journal of Optimization Theory and Applications
1 Journal of Pure and Applied Algebra
1 Naval Research Logistics
1 Networks
1 Opsearch
1 Proceedings of the American Mathematical Society
1 Programming and Computer Software
1 Studia Logica
1 Transactions of the American Mathematical Society
1 Order
1 Probability Theory and Related Fields
1 Discrete & Computational Geometry
1 Forum Mathematicum
1 Random Structures & Algorithms
1 Japan Journal of Industrial and Applied Mathematics
1 The Annals of Applied Probability
1 Computational Geometry
1 Journal of Global Optimization
1 Elemente der Mathematik
...and 36 more Journals
all top 5

Cited in 41 Fields

441 Computer science (68-XX)
153 Combinatorics (05-XX)
141 Operations research, mathematical programming (90-XX)
94 Mathematical logic and foundations (03-XX)
29 Category theory; homological algebra (18-XX)
21 Order, lattices, ordered algebraic structures (06-XX)
21 Number theory (11-XX)
21 Systems theory; control (93-XX)
19 Probability theory and stochastic processes (60-XX)
15 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
9 Group theory and generalizations (20-XX)
8 Associative rings and algebras (16-XX)
8 Biology and other natural sciences (92-XX)
7 Convex and discrete geometry (52-XX)
7 Information and communication theory, circuits (94-XX)
5 General algebraic systems (08-XX)
5 Linear and multilinear algebra; matrix theory (15-XX)
4 Special functions (33-XX)
4 Dynamical systems and ergodic theory (37-XX)
3 Algebraic geometry (14-XX)
3 Ordinary differential equations (34-XX)
3 Numerical analysis (65-XX)
2 General and overarching topics; collections (00-XX)
2 Commutative algebra (13-XX)
2 Partial differential equations (35-XX)
2 Geometry (51-XX)
1 History and biography (01-XX)
1 Field theory and polynomials (12-XX)
1 Real functions (26-XX)
1 Integral transforms, operational calculus (44-XX)
1 Functional analysis (46-XX)
1 Operator theory (47-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Differential geometry (53-XX)
1 General topology (54-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Statistics (62-XX)
1 Mechanics of particles and systems (70-XX)
1 Fluid mechanics (76-XX)
1 Quantum theory (81-XX)
1 Statistical mechanics, structure of matter (82-XX)

Citations by Year