×

Theoretical Computer Science

Algorithms, Automata, Complexity and Games

Short Title: Theor. Comput. Sci.
Publisher: Elsevier, Amsterdam
ISSN: 0304-3975
Online: http://www.sciencedirect.com/science/journal/03043975
Comments: Indexed cover-to-cover
Documents Indexed: 13,953 Publications (since 1975)
References Indexed: 13,345 Publications with 314,739 References.
all top 5

Authors

71 Rozenberg, Grzegorz
65 Ibarra, Oscar H.
47 Rytter, Wojciech
46 Salomaa, Arto Kustaa
44 Restivo, Antonio
43 Jain, Sanjay
41 Salomaa, Kai T.
41 Spirakis, Paul G.
38 Păun, Gheorghe
37 Karhumaki, Juhani
36 Ehrenfeucht, Andrzej
36 Stephan, Frank
36 Wang, Jianxin
35 Crochemore, Maxime
34 Harju, Tero
33 Chen, Jian-er
33 Wu, Weili
32 Iliopoulos, Costas S.
31 Pelc, Andrzej
30 Ésik, Zoltán
30 Goles Chacc, Eric
30 Peleg, David
29 de Luca, Aldo
29 Kari, Lila
28 Kranakis, Evangelos Konstantinou
28 Okhotin, Alexander
28 Otto, Friedrich
28 Paulusma, Daniël
28 Shallit, Jeffrey O.
28 Yuan, Jinjiang
26 Hromkovič, Juraj
26 Montanari, Ugo G.
26 Reutenauer, Christophe
26 Susilo, Willy
26 Yu, Sheng
25 Fernau, Henning
25 Holzer, Markus
25 Navarro, Gonzalo
24 Bergstra, Jan A.
24 Epstein, Leah
24 Mauri, Giancarlo
24 Zhu, Binhai
23 Amir, Amihood
23 Blanchet-Sadri, Francine
23 Courcelle, Bruno
23 Golovach, Petr A.
23 Hemaspaandra, Lane A.
23 Lin, Guohui
23 Mignosi, Filippo
23 Munro, J. Ian
23 Prodinger, Helmut
23 Saurabh, Saket
22 Chrobak, Marek
22 Demaine, Erik D.
22 Du, Ding-Zhu
22 Honkala, Juha
22 Landau, Gad M.
22 Park, Kunsoo
22 Zeugmann, Thomas
21 Calude, Cristian S.
21 Duan, Zhenhua
21 Formenti, Enrico
21 Kutrib, Martin
21 Liotta, Giuseppe
21 Pérez-Jiménez, Mario J.
21 Petre, Ion
21 Santoro, Nicola
21 Vágvölgyi, Sándor
20 Choffrut, Christian
20 Czyzowicz, Jurek
20 Flocchini, Paola
20 Han, Yo-Sub
20 Ko, Ker-I
20 Pan, Linqiang
20 Wegener, Ingo
20 Xu, Yinfeng
19 Dezani-Ciancaglini, Mariangiola
19 Droste, Manfred
19 Gargano, Luisa
19 Halldórsson, Magnús Mar
19 Li, Minming
19 Meseguer Guaita, José
19 Monien, Burkhard
19 Palamidessi, Catuscia
19 Paschos, Vangelis Th.
19 Pelantová, Edita
19 Perrin, Dominique
19 Smyth, William F.
19 Vaccaro, Ugo
19 Zaks, Shmuel
19 Zhou, Shuming
18 Bodlaender, Hans L.
18 Brlek, Srečko
18 Doerr, Benjamin
18 Du, Hongwei
18 Feng, Qilong
18 Ito, Takehiro
18 Monnot, Jérôme
18 Nagamochi, Hiroshi
18 Raynal, Michel
...and 13,975 more Authors
all top 5

Fields

12,260 Computer science (68-XX)
1,764 Combinatorics (05-XX)
1,480 Mathematical logic and foundations (03-XX)
811 Operations research, mathematical programming (90-XX)
640 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
538 Information and communication theory, circuits (94-XX)
409 General and overarching topics; collections (00-XX)
338 Biology and other natural sciences (92-XX)
255 Number theory (11-XX)
243 Group theory and generalizations (20-XX)
204 Category theory; homological algebra (18-XX)
196 Order, lattices, ordered algebraic structures (06-XX)
169 Numerical analysis (65-XX)
132 Dynamical systems and ergodic theory (37-XX)
122 Quantum theory (81-XX)
117 Probability theory and stochastic processes (60-XX)
100 General algebraic systems (08-XX)
84 Convex and discrete geometry (52-XX)
80 General topology (54-XX)
70 Statistics (62-XX)
63 Systems theory; control (93-XX)
62 Linear and multilinear algebra; matrix theory (15-XX)
56 Field theory and polynomials (12-XX)
47 Commutative algebra (13-XX)
41 History and biography (01-XX)
41 Associative rings and algebras (16-XX)
32 Algebraic geometry (14-XX)
29 Measure and integration (28-XX)
20 Real functions (26-XX)
20 Ordinary differential equations (34-XX)
15 Statistical mechanics, structure of matter (82-XX)
11 Functions of a complex variable (30-XX)
9 Special functions (33-XX)
9 Algebraic topology (55-XX)
9 Mechanics of particles and systems (70-XX)
8 Nonassociative rings and algebras (17-XX)
8 Approximations and expansions (41-XX)
7 Geometry (51-XX)
6 Calculus of variations and optimal control; optimization (49-XX)
6 Relativity and gravitational theory (83-XX)
5 Integral transforms, operational calculus (44-XX)
5 Functional analysis (46-XX)
5 Manifolds and cell complexes (57-XX)
4 Difference and functional equations (39-XX)
4 Harmonic analysis on Euclidean spaces (42-XX)
3 Partial differential equations (35-XX)
3 Sequences, series, summability (40-XX)
3 Classical thermodynamics, heat transfer (80-XX)
2 Operator theory (47-XX)
2 Differential geometry (53-XX)
2 Global analysis, analysis on manifolds (58-XX)
2 Geophysics (86-XX)
1 Topological groups, Lie groups (22-XX)
1 Mechanics of deformable solids (74-XX)
1 Fluid mechanics (76-XX)
1 Astronomy and astrophysics (85-XX)
1 Mathematics education (97-XX)

Publications by Year

Citations contained in zbMATH Open

10,287 Publications have been cited 88,687 times in 47,807 Documents Cited by Year
Linear logic. Zbl 0625.03037
Girard, Jean-Yves
791
1987
Quantum cryptography: public key distribution and coin tossing. Zbl 1306.81030
Bennett, Charles H.; Brassard, Gilles
621
2014
Some simplified NP-complete graph problems. Zbl 0338.05120
Garey, M. R.; Johnson, D. S.; Stockmeyer, L.
601
1976
A theory of timed automata. Zbl 0803.68071
Alur, Rajeev; Dill, David L.
598
1994
The complexity of computing the permanent. Zbl 0415.68008
Valiant, L. G.
582
1979
The polynomial-time hierarchy. Zbl 0353.02024
Stockmeyer, Larry J.
341
1977
Universal coalgebra: A theory of systems. Zbl 0951.68038
Rutten, J. J. M. M.
331
2000
A partial k-arboretum of graphs with bounded treewidth. Zbl 0912.68148
Bodlaender, Hans L.
325
1998
Results on the propositional \(\mu\)-calculus. Zbl 0553.03007
Kozen, Dexter
309
1983
Testing equivalences for processes. Zbl 0985.68518
De Nicola, R.; Hennessy, M. C. B.
238
1984
LCF considered as a programming language. Zbl 0369.68006
Plotkin, G. D.
208
1978
The directed subgraph homeomorphism problem. Zbl 0419.05028
Fortune, Steven; Hopcroft, John; Wyllie, James
208
1980
Call-by-name, call-by-value and the \(\lambda\)-calculus. Zbl 0325.68006
Plotkin, G. D.
206
1975
Random generation of combinatorial structures from a uniform distribution. Zbl 0597.68056
Jerrum, Mark R.; Valiant, Leslie G.; Vazirani, Vijay V.
200
1986
Conditional rewriting logic as a unified model of concurrency. Zbl 0758.68043
Meseguer, José
198
1992
Petri nets, event structures and domains. I. Zbl 0452.68067
Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn
197
1981
The intractability of resolution. Zbl 0586.03010
Haken, Armin
183
1985
Mobile ambients. Zbl 0954.68108
Cardelli, L.; Gordon, A. D.
175
2000
Calculi for synchrony and asynchrony. Zbl 0512.68026
Milner, Robin
172
1983
The algorithmic analysis of hybrid systems. Zbl 0874.68206
Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H.
155
1995
Mellin transforms and asymptotics: Harmonic sums. Zbl 0869.68057
Flajolet, Philippe; Gourdon, Xavier; Dumas, Philippe
147
1995
NP is as easy as detecting unique solutions. Zbl 0621.68030
Valiant, L. G.; Vazirani, V. V.
147
1986
Clustering to minimize the maximum intercluster distance. Zbl 0567.62048
Gonzalez, Teofilo F.
147
1985
Some APX-completeness results for cubic graphs. Zbl 0939.68052
Alimonti, P.; Kann, V.
146
2000
The complexity of mean payoff games on graphs. Zbl 0871.68138
Zwick, Uri; Paterson, Mike
145
1996
Episturmian words and some constructions of de Luca and Rauzy. Zbl 0981.68126
Droubay, X.; Justin, J.; Pirillo, G.
142
2001
A hierarchy of polynomial time lattice basis reduction algorithms. Zbl 0642.10030
Schnorr, C. P.
141
1987
Definability and fast quantifier elimination in algebraically closed fields. Zbl 0546.03017
Heintz, Joos
141
1983
A comparison of polynomial time reducibilities. Zbl 0321.68039
Ladner, R. E.; Lynch, N. A.; Selman, A. L.
139
1975
Orderings for term-rewriting systems. Zbl 0525.68054
Dershowitz, Nachum
139
1982
Fixed-parameter tractability and completeness II: On completeness for W[1]. Zbl 0873.68059
Downey, Rod G.; Fellows, Michael R.
137
1995
Comparison of identification criteria for machine inductive inference. Zbl 0524.03025
Case, John; Smith, Carl
137
1983
Fundamental properties of infinite trees. Zbl 0521.68013
Courcelle, Bruno
134
1983
Well-structured transition systems everywhere! Zbl 0973.68170
Finkel, A.; Schnoebelen, P.
133
2001
On the analysis of the \((1+1)\) evolutionary algorithm. Zbl 1002.68037
Droste, Stefan; Jansen, Thomas; Wegener, Ingo
128
2002
Algebraic languages and polyominoes enumeration. Zbl 0985.68516
Delest, Marie-Pierre; Viennot, Gérard
126
1984
On the parameterized complexity of multiple-interval graph problems. Zbl 1161.68038
Fellows, Michael R.; Hermelin, Danny; Rosamond, Frances; Vialette, Stéphane
125
2009
The chemical abstract machine. Zbl 0747.68013
Berry, Gérard; Boudol, Gérard
124
1992
Algebra of communicating processes with abstraction. Zbl 0579.68016
Bergstra, J. A.; Klop, J. W.
124
1985
The state complexities of some basic operations on regular languages. Zbl 0795.68112
Yu, Sheng; Zhuang, Qingyu; Salomaa, Kai
117
1994
The system \({\mathcal F}\) of variable types, fifteen years later. Zbl 0623.03013
Girard, Jean-Yves
117
1986
The ring of \(k\)-regular sequences. Zbl 0774.68072
Allouche, Jean-Paul; Shallit, Jeffrey
117
1992
Termination of term rewriting using dependency pairs. Zbl 0938.68051
Arts, T.; Giesl, J.
115
2000
An annotated bibliography on guaranteed graph searching. Zbl 1160.68007
Fomin, Fedor V.; Thilikos, Dimitrios M.
107
2008
Quantum automata and quantum grammars. Zbl 0939.68037
Moore, Cristopher; Crutchfield, J. P.
106
2000
Theory of cellular automata: a survey. Zbl 1080.68070
Kari, Jarkko
105
2005
Fully abstract models of typed \(\lambda\)-calculi. Zbl 0386.03006
Milner, Robin
104
1977
Sturmian words: structure, combinatorics, and their arithmetics. Zbl 0911.68098
de Luca, Aldo
104
1997
The Euclidean traveling salesman problem is NP-complete. Zbl 0386.90057
Papadimitriou, Christos H.
103
1977
Infinite games on finitely coloured graphs with applications to automata on infinite trees. Zbl 0915.68120
Zielonka, Wiesław
103
1998
BioAmbients: an abstraction for biological compartments. Zbl 1069.68569
Regev, Aviv; Panina, Ekaterina M.; Silverman, William; Cardelli, Luca; Shapiro, Ehud
102
2004
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056
Goguen, Joseph A.; Meseguer, José
102
1992
Complete sets and the polynomial-time hierarchy. Zbl 0366.02031
Wrathall, Celia
100
1977
Some combinatorial properties of Sturmian words. Zbl 0874.68245
de Luca, Aldo; Mignosi, Filippo
100
1994
Searching and pebbling. Zbl 0616.68064
Kirousis, Lefteris M.; Papadimitriou, Christos H.
100
1986
Tissue P systems. Zbl 1045.68063
Martín-Vide, Carlos; Păun, Gheorghe; Pazos, Juan; Rodríguez-Patón, Alfonso
99
2003
The covering and boundedness problems for vector addition systems. Zbl 0368.68054
Rackoff, Charles
97
1978
Finite automata and unary languages. Zbl 0638.68096
Chrobak, Marek
95
1986
The complexity of partial derivatives. Zbl 0498.68028
Baur, Walter; Strassen, Volker
95
1983
Complexity measures and decision tree complexity: a survey. Zbl 1061.68058
Buhrman, Harry; de Wolf, Ronald
94
2002
Ant colony optimization theory: a survey. Zbl 1154.90626
Dorigo, Marco; Blum, Christian
93
2005
Improved upper bounds for vertex cover. Zbl 1205.05217
Chen, Jianer; Kanj, Iyad A.; Xia, Ge
93
2010
An introduction to commutative and noncommutative Gröbner bases. Zbl 0824.68056
Mora, Teo
91
1994
The existence of refinement mappings. Zbl 0728.68083
Abadi, Martín; Lamport, Leslie
91
1991
Remarks on blind and partially blind one-way multicounter machines. Zbl 0389.68030
Greibach, S. A.
90
1978
Formal molecular biology. Zbl 1071.68041
Danos, Vincent; Laneve, Cosimo
90
2004
On the algebraic structure of combinatorial problems. Zbl 0915.68074
Jeavons, Peter
87
1998
The theory of ends, pushdown automata, and second-order logic. Zbl 0605.03005
Muller, David E.; Schupp, Paul E.
85
1985
Lex-BFS and partition refinement, with applications to transitive orientation, interval graph recognition and consecutive ones testing. Zbl 0945.68189
Habib, M.; McConnell, R.; Paul, C.; Viennot, L.
83
2000
On reduction-based process semantics. Zbl 0871.68122
Honda, Kohei; Yoshida, Nobuko
82
1995
Shortest paths without a map. Zbl 0733.68065
Papadimitriou, Christos H.; Yannakakis, Mihalis
82
1991
Terminal coalgebras in well-founded set theory. Zbl 0779.18004
Barr, Michael
81
1993
Monadic second-order evaluations on tree-decomposable graphs. Zbl 0789.68083
Courcelle, B.; Mosbah, M.
81
1993
Higher-level synchronising devices in Meije-SCCS. Zbl 0598.68027
De Simone, Robert
81
1985
On the complexity of reconfiguration problems. Zbl 1207.68166
Ito, Takehiro; Demaine, Erik D.; Harvey, Nicholas J. A.; Papadimitriou, Christos H.; Sideri, Martha; Uehara, Ryuhei; Uno, Yushi
81
2011
A computational model for metric spaces. Zbl 1011.54026
Edalat, Abbas; Heckmann, Reinhold
81
1998
\(\beta\)-expansions and symbolic dynamics. Zbl 0682.68081
Blanchard, F.
81
1989
Multi-agent scheduling on a single machine to minimize total weighted number of tardy jobs. Zbl 1100.68007
Cheng, T. C. E.; Ng, C. T.; Yuan, J. J.
81
2006
Partial derivatives of regular expressions and finite automaton constructions. Zbl 0872.68120
Antimirov, Valentin
80
1996
The differential lambda-calculus. Zbl 1070.68020
Ehrhard, Thomas; Regnier, Laurent
80
2003
On the distributional complexity of disjointness. Zbl 0787.68055
Razborov, A. A.
80
1992
Kernel bounds for disjoint cycles and disjoint paths. Zbl 1221.68099
Bodlaender, Hans L.; Thomassé, Stéphan; Yeo, Anders
79
2011
Power of words and recognizability of fixpoints of a substitution. (Puissances de mots et reconnaissabilité des points fixes d’une substitution.) Zbl 0763.68049
Mossé, Brigitte
78
1992
Parameterized graph separation problems. Zbl 1086.68104
Marx, Dániel
78
2006
Applications of graphical condensation for enumerating matchings and tilings. Zbl 1043.05099
Kuo, Eric H.
77
2004
A calculus for the random generation of labelled combinatorial structures. Zbl 0799.68143
Flajolet, Philippe; Zimmerman, Paul; van Cutsem, Bernard
76
1994
Gathering of asynchronous robots with limited visibility. Zbl 1108.68120
Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Widmayer, Peter
76
2005
Computational interpretations of linear logic. Zbl 0791.03003
Abramsky, Samson
75
1993
Complete problems for deterministic polynomial time. Zbl 0352.68068
Jones, Neil D.; Laaser, William T.
75
1977
Metrics for labelled Markov processes. Zbl 1068.68093
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
74
2004
Local majorities, coalitions and monopolies in graphs: A review. Zbl 0997.68088
Peleg, David
74
2002
Restriction categories. I: Categories of partial maps. Zbl 0988.18003
Cockett, J. R. B.; Lack, Stephen
73
2002
Weighted automata and weighted logics. Zbl 1118.68076
Droste, Manfred; Gastin, Paul
73
2007
Data exchange: semantics and query answering. Zbl 1080.68019
Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian
71
2005
Minimizing the size of an identifying or locating-dominating code in a graph is NP-hard. Zbl 1044.68066
Charon, Irène; Hudry, Olivier; Lobstein, Antoine
71
2003
Computational complexity of real functions. Zbl 0498.03047
Ko, Ker-I.; Friedman, Harvey
71
1982
Systèmes codés. (Coded systems). Zbl 0601.68056
Blanchard, F.; Hansel, G.
70
1986
A coding theory construction of new systematic authentication codes. Zbl 1078.68030
Ding, Cunsheng; Wang, Xuesong
70
2005
Sturmian words, Lyndon words and trees. Zbl 0901.68155
Berstel, Jean; de Luca, Aldo
70
1997
The undecidability of the second-order unification problem. Zbl 0457.03006
Goldfarb, Warren D.
70
1981
Computing subset transversals in \(H\)-free graphs. Zbl 07458786
Brettell, Nick; Johnson, Matthew; Paesani, Giacomo; Paulusma, Daniël
2
2022
Joint realizability of monotone Boolean functions. Zbl 07540223
Crawford-Kahrl, Peter; Cummins, Bree; Gedeon, Tomáš
2
2022
Constructing light spanners deterministically in near-linear time. Zbl 07477126
Alstrup, Stephen; Dahlgaard, Søren; Filtser, Arnold; Stöckel, Morten; Wulff-Nilsen, Christian
1
2022
Local certification of graphs on surfaces. Zbl 07482355
Esperet, Louis; Lévêque, Benjamin
1
2022
A data structure for substring-substring LCS length queries. Zbl 07496385
Sakai, Yoshifumi
1
2022
Behavioural logics for configuration structures. Zbl 1483.68222
Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano
1
2022
Stable routing scheduling algorithms in multi-hop wireless networks. Zbl 07530337
Cholvi, Vicent; Garncarek, P.; Jurdziński, T.; Kowalski, Dariusz R.
1
2022
In-place initializable arrays. Zbl 07533871
Katoh, Takashi; Goto, Keisuke
1
2022
Aperiodic SFTs on Baumslag-Solitar groups. Zbl 07533876
Esnay, Solène J.; Moutot, Etienne
1
2022
On vertex-weighted realizations of acyclic and general graphs. Zbl 07540196
Bar-Noy, Amotz; Böhnlein, Toni; Peleg, David; Rawitz, Dror
1
2022
On the complexity of independent dominating set with obligations in graphs. Zbl 07467460
Laforest, Christian; Martinod, Timothée
1
2022
Complexity and algorithms for constant diameter augmentation problems. Zbl 07467461
Kim, Eun Jung; Milanič, Martin; Monnot, Jérôme; Picouleau, Christophe
1
2022
Beyond pairwise comparisons in social choice: a setwise Kemeny aggregation problem. Zbl 07467462
Gilbert, Hugo; Portoleau, Tom; Spanjaard, Olivier
1
2022
On the complexity of solution extension of optimization problems. Zbl 07467463
Casel, Katrin; Fernau, Henning; Khosravian Ghadikolaei, Mehdi; Monnot, Jérôme; Sikora, Florian
1
2022
Extension and its price for the connected vertex cover problem. Zbl 07467464
Khosravian Ghadikolaei, Mehdi; Melissinos, Nikolaos; Monnot, Jérôme; Pagourtzis, Aris
1
2022
Chosen-ciphertext lattice-based public key encryption with equality test in standard model. Zbl 07467477
Duong, Dung Hoang; Roy, Partha Sarathi; Susilo, Willy; Fukushima, Kazuhide; Kiyomoto, Shinsaku; Sipasseuth, Arnaud
1
2022
The \(R_g\)-conditional diagnosability of international networks. Zbl 1478.68023
Yuan, Jun; Qiao, Huijuan; Liu, Aixia
1
2022
From decidability to undecidability by considering regular sets of instances. Zbl 07450572
Wolf, Petra
1
2022
Near-optimal clustering in the \(k\)-machine model. Zbl 07450575
Bandyapadhyay, Sayan; Inamdar, Tanmay; Pai, Shreyas; Pemmaraju, Sriram V.
1
2022
Randomness and initial segment complexity for measures. Zbl 07450577
Nies, André; Stephan, Frank
1
2022
Partitioning \(H\)-free graphs of bounded diameter. Zbl 07575095
Brause, Christoph; Golovach, Petr; Martin, Barnaby; Paulusma, Daniël; Smith, Siani
1
2022
On cherry-picking and network containment. Zbl 1478.92134
Janssen, Remie; Murakami, Yukihiro
7
2021
Improved lower bounds for the radio number of trees. Zbl 1481.05137
Liu, Daphne Der-Fen; Saha, Laxman; Das, Satyabrata
5
2021
Fault diagnosability of bicube networks under the PMC diagnostic model. Zbl 1477.68039
Liu, Jiafei; Zhou, Shuming; Gu, Zhendong; Zhou, Qianru; Wang, Dajin
5
2021
Maximize a monotone function with a generic submodularity ratio. Zbl 1477.68537
Gong, Suning; Nong, Qingqin; Sun, Tao; Fang, Qizhi; Du, Dingzhu; Shao, Xiaoyu
5
2021
Maximum Nash welfare and other stories about EFX. Zbl 07325909
Amanatidis, Georgios; Birmpas, Georgios; Filos-Ratsikas, Aris; Hollender, Alexandros; Voudouris, Alexandros A.
4
2021
Minimum power partial multi-cover on a line. Zbl 07331462
Liang, Wei; Li, Menghong; Zhang, Zhao; Huang, Xiaohui
4
2021
Complexity of modification problems for best match graphs. Zbl 07331472
Schaller, David; Stadler, Peter F.; Hellmuth, Marc
4
2021
Multistage graph problems on a global budget. Zbl 07346934
Heeger, Klaus; Himmel, Anne-Sophie; Kammer, Frank; Niedermeier, Rolf; Renken, Malte; Sajenko, Andrej
4
2021
Note on \(R_g\)-conditional diagnosability of hypercube. Zbl 1467.68016
Wang, Yihong; Lin, Cheng-Kuan; Zhou, Qianru; Zhou, Shuming
4
2021
Structure connectivity and substructure connectivity of wheel networks. Zbl 1464.68284
Feng, Wei; Wang, Shiying
4
2021
Exploration of dynamic tori by multiple agents. Zbl 1464.68402
Gotoh, Tsuyoshi; Sudo, Yuichi; Ooshita, Fukuhito; Kakugawa, Hirotsugu; Masuzawa, Toshimitsu
4
2021
Equitable list tree-coloring of bounded treewidth graphs. Zbl 1481.05049
Li, Yan; Zhang, Xin
4
2021
Disposability in square-free words. Zbl 07318715
Harju, Tero
3
2021
Query-competitive sorting with uncertainty. Zbl 1462.68031
Halldórsson, Magnús M.; de Lima, Murilo Santos
3
2021
influence: a partizan scoring game on graphs. Zbl 07373864
Duchêne, Eric; Gonzalez, Stéphane; Parreau, Aline; Rémila, Eric; Solal, Philippe
3
2021
How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition. Zbl 07401221
Lafourcade, Pascal; Miyahara, Daiki; Mizuki, Takaaki; Robert, Léo; Sasaki, Tatsuya; Sone, Hideaki
3
2021
Reallocating multiple facilities on the line. Zbl 1457.90089
Fotakis, Dimitris; Kavouras, Loukas; Kostopanagiotis, Panagiotis; Lazos, Philip; Skoulakis, Stratis; Zarifis, Nikos
3
2021
Computing longest palindromic substring after single-character or block-wise edits. Zbl 07310533
Funakoshi, Mitsuru; Nakashima, Yuto; Inenaga, Shunsuke; Bannai, Hideo; Takeda, Masayuki
3
2021
XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles. Zbl 1464.68165
Engelfriet, Joost; Hoogeboom, Hendrik Jan; Samwel, Bart
3
2021
Revisiting the prefer-same and prefer-opposite de Bruijn sequence constructions. Zbl 1477.68551
Alhakim, Abbas; Sala, Evan; Sawada, Joe
3
2021
Cryptographic reverse firewalls for interactive proof systems. Zbl 07300960
Ganesh, Chaya; Magri, Bernardo; Venturi, Daniele
3
2021
How to compute digraph width measures on directed co-graphs. Zbl 07300963
Gurski, Frank; Komander, Dominique; Rehs, Carolin
3
2021
Reducing the ambiguity of Parikh matrices. Zbl 07318685
Dick, Jeffery; Hutchinson, Laura K.; Mercaş, Robert; Reidenbach, Daniel
2
2021
A new quantum random number generator certified by value indefiniteness. Zbl 07318705
Agüero Trejo, José Manuel; Calude, Cristian S.
2
2021
On the longest common prefix of suffixes in an inverse Lyndon factorization and other properties. Zbl 07318707
Bonizzoni, Paola; De Felice, Clelia; Zaccagnino, Rocco; Zizza, Rosalba
2
2021
Spiking neural P systems with target indications. Zbl 07318722
Wu, Tingfang; Zhang, Luping; Pan, Linqiang
2
2021
The undirected repetition threshold and undirected pattern avoidance. Zbl 1489.68215
Currie, James D.; Mol, Lucas
2
2021
Complexity and approximability of the happy set problem. Zbl 1477.68195
Asahiro, Yuichi; Eto, Hiroshi; Hanaka, Tesshu; Lin, Guohui; Miyano, Eiji; Terabaru, Ippei
2
2021
Helly-gap of a graph and vertex eccentricities. Zbl 1465.05053
Dragan, Feodor F.; Guarnera, Heather M.
2
2021
Algorithms for gerrymandering over graphs. Zbl 07346933
Ito, Takehiro; Kamiyama, Naoyuki; Kobayashi, Yusuke; Okamoto, Yoshio
2
2021
Theoretical aspects of equitable partition of networks into sparse modules. Zbl 1482.05322
Zhang, Huaqiang; Zhang, Xin
2
2021
Simultaneous FPQ-ordering and hybrid planarity testing. Zbl 07361609
Liotta, Giuseppe; Rutter, Ignaz; Tappini, Alessandra
2
2021
Blocking total dominating sets via edge contractions. Zbl 1478.68239
Galby, E.; Mann, F.; Ries, B.
2
2021
A categorial approach to reaction systems: first steps. Zbl 1491.68071
Kreowski, Hans-Jörg; Lye, Aaron
2
2021
Antipodal number of full \(m\)-ary trees. Zbl 07391554
Basunia, Alamgir Rahaman; Das, Satyabrata; Saha, Laxman; Tiwary, Kalishankar
2
2021
Ostrowski-automatic sequences: theory and applications. Zbl 1467.68146
Baranwal, Aseem; Schaeffer, Luke; Shallit, Jeffrey
2
2021
The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable. Zbl 07429274
Graça, Daniel S.; Zhong, Ning
2
2021
Belief-invariant and quantum equilibria in games of incomplete information. Zbl 07429282
Auletta, Vincenzo; Ferraioli, Diodato; Rai, Ashutosh; Scarpa, Giannicola; Winter, Andreas
2
2021
Better 3-coloring algorithms: excluding a triangle and a seven vertex path. Zbl 1468.05283
Bonomo-Braberman, Flavia; Chudnovsky, Maria; Goedgebeur, Jan; Maceli, Peter; Schaudt, Oliver; Stein, Maya; Zhong, Mingxian
2
2021
Fault-tolerant complete visibility for asynchronous robots with lights under one-axis agreement. Zbl 1464.68405
Poudel, Pavan; Aljohani, Aisha; Sharma, Gokarna
2
2021
Beyond pointwise submodularity: non-monotone adaptive submodular maximization in linear time. Zbl 1467.68218
Tang, Shaojie
2
2021
Injective coloring of planar graphs. Zbl 1490.05064
Bu, Yuehua; Qi, Chentao; Zhu, Junlei; Xu, Ting
2
2021
Cops and robbers on oriented toroidal grids. Zbl 1480.91057
González Hermosillo de la Maza, Sebastián; Hosseini, Seyyed Aliasghar; Knox, Fiachra; Mohar, Bojan; Reed, Bruce
2
2021
A continuous strategy for collisionless gathering. Zbl 1477.68315
Li, Shouwei; Markarian, Christine; Meyer auf der Heide, Friedhelm; Podlipyan, Pavel
2
2021
A constrained two-stage submodular maximization. Zbl 1482.90189
Yang, Ruiqi; Gu, Shuyang; Gao, Chuangen; Wu, Weili; Wang, Hua; Xu, Dachuan
2
2021
Computing a longest common almost-increasing subsequence of two sequences. Zbl 1478.68462
Ta, Toan Thang; Shieh, Yi-Kung; Lu, Chin Lung
2
2021
Constrained synchronization and commutativity. Zbl 07412731
Hoffmann, Stefan
1
2021
Algorithms for diameters of unicycle graphs and diameter-optimally augmenting trees. Zbl 07412733
Wang, Haitao; Zhao, Yiming
1
2021
Polynomial kernels for paw-free edge modification problems. Zbl 07412736
Yuan, Hanchun; Ke, Yuping; Cao, Yixin
1
2021
On prefix palindromic length of automatic words. Zbl 07412737
Frid, Anna E.; Laborde, Enzo; Peltomäki, Jarkko
1
2021
Symmetric PMC model of diagnosis, \(b\)-matchings in graphs and fault identification in \(t\)-diagnosable systems. Zbl 07412739
Zhu, Qiang; Thulasiraman, Krishnaiyan; Naik, Kshirasagar; Radhakrishnan, Sridhar; Xu, Min
1
2021
Subcomputable Hausdorff function dimension. Zbl 07412741
Sureson, Claude
1
2021
Quasi-universal \(k\)-regular sequences. Zbl 07412742
Honkala, Juha
1
2021
Optimal radio labellings of block graphs and line graphs of trees. Zbl 07412743
Bantva, Devsi; Liu, Daphne Der-Fen
1
2021
Polynomial-time algorithms for submodular Laplacian systems. Zbl 07412759
Fujii, Kaito; Soma, Tasuku; Yoshida, Yuichi
1
2021
On the role of 3s for the 1–2–3 conjecture. Zbl 07412762
Bensmail, Julien; Fioravantes, Foivos; Mc Inerney, Fionn
1
2021
Enumeration of subtrees and BC-subtrees with maximum degree no more than \(k\) in trees. Zbl 07412763
Yang, Yu; Li, Xiao-xiao; Jin, Meng-yuan; Li, Long; Wang, Hua; Zhang, Xiao-Dong
1
2021
On dispersable book embeddings. Zbl 07318693
Alam, Jawaherul Md.; Bekos, Michael A.; Dujmović, Vida; Gronemann, Martin; Kaufmann, Michael; Pupyrev, Sergey
1
2021
The generalized measure of edge fault tolerance in exchanged crossed cube. Zbl 07318697
Ning, Wantao; Li, Hao
1
2021
Rumor correction maximization problem in social networks. Zbl 07318699
Zhang, Yapu; Yang, Wenguo; Du, Ding-Zhu
1
2021
Constrained routing between non-visible vertices. Zbl 07318702
Bose, Prosenjit; Korman, Matias; van Renssen, André; Verdonschot, Sander
1
2021
Computing the multi-string BWT and LCP array in external memory. Zbl 07318708
Bonizzoni, Paola; Della Vedova, Gianluca; Pirola, Yuri; Previtali, Marco; Rizzi, Raffaella
1
2021
Filters defined by random contexts versus polarization in networks of evolutionary processors. Zbl 07318719
Mitrana, Victor; Negru, Maria C.
1
2021
On the computing powers of \(\mathcal{L}\)-reductions of insertion languages. Zbl 07318720
Okubo, Fumiya; Yokomori, Takashi
1
2021
Ortho-polygon visibility representations of 3-connected 1-plane graphs. Zbl 07325907
Liotta, Giuseppe; Montecchiani, Fabrizio; Tappini, Alessandra
1
2021
Shortest reconfiguration of sliding tokens on subclasses of interval graphs. Zbl 07325908
Yamada, Takeshi; Uehara, Ryuhei
1
2021
New results for the \(k\)-secretary problem. Zbl 07325911
Albers, Susanne; Ladewig, Leon
1
2021
Multiple facility location games with envy ratio. Zbl 1482.91059
Liu, Wenjing; Ding, Yuan; Chen, Xin; Fang, Qizhi; Nong, Qingqin
1
2021
Improved hardness and approximation results for single allocation hub location problems. Zbl 1482.68186
Wang, Xing; Chen, Guangting; Chen, Yong; Lin, Guohui; Wang, Yonghao; Zhang, An
1
2021
Finding the size and the diameter of a radio network using short labels. Zbl 07331454
Gorain, Barun; Pelc, Andrzej
1
2021
An approximation algorithm for General Energy Restricted Sweep Coverage Problem. Zbl 07331458
Nie, Zixiong; Du, Hongwei
1
2021
\(k\)-critical graphs in \(P_5\)-free graphs. Zbl 07331459
Cameron, Kathie; Goedgebeur, Jan; Huang, Shenwei; Shi, Yongtang
1
2021
Two-way deterministic automata with jumping mode. Zbl 07331460
Fazekas, Szilárd Zsolt; Hoshi, Kaito; Yamamura, Akihiro
1
2021
Efficiency and equity in the multi organization scheduling problem. Zbl 07331461
Durand, Martin; Pascual, Fanny
1
2021
Binary intersection formalized. Zbl 1477.68152
Holub, Štěpán; Starosta, Štěpán
1
2021
Primitive sets of words. Zbl 1485.68204
Castiglione, Giuseppa; Fici, Gabriele; Restivo, Antonio
1
2021
Steiner trees for hereditary graph classes: a treewidth perspective. Zbl 1477.68203
Bodlaender, Hans L.; Brettell, Nick; Johnson, Matthew; Paesani, Giacomo; Paulusma, Daniël; van Leeuwen, Erik Jan
1
2021
New sufficient conditions on the degree sequences of uniform hypergraphs. Zbl 07346937
Frosini, Andrea; Picouleau, Christophe; Rinaldi, Simone
1
2021
Alternation in two-way finite automata. Zbl 07354759
Kapoutsis, Christos; Zakzok, Mohammad
1
2021
...and 691 more Documents
all top 5

Cited by 38,050 Authors

114 Paulusma, Daniël
111 Rozenberg, Grzegorz
109 Ibarra, Oscar H.
108 Jain, Sanjay
108 Saurabh, Saket
100 Golovach, Petr A.
100 Stephan, Frank
94 Epstein, Leah
93 Niedermeier, Rolf
91 Fernau, Henning
90 Meseguer Guaita, José
89 Shallit, Jeffrey O.
88 Fomin, Fedor V.
87 Salomaa, Kai T.
85 Kutrib, Martin
85 Otto, Friedrich
82 Yuan, Jinjiang
78 Rytter, Wojciech
77 Ésik, Zoltán
73 Karhumaki, Juhani
73 Pelc, Andrzej
72 Courcelle, Bruno
70 Hemaspaandra, Lane A.
69 Harju, Tero
69 Navarro, Gonzalo
69 Okhotin, Alexander
68 Larsen, Kim Guldstrand
68 Spirakis, Paul G.
67 Restivo, Antonio
66 Rautenbach, Dieter
65 Bodlaender, Hans L.
65 Crochemore, Maxime
65 Montanari, Ugo G.
65 Salomaa, Arto Kustaa
64 Ehrenfeucht, Andrzej
63 Blanchet-Sadri, Francine
63 Engelfriet, Joost
63 Iliopoulos, Costas S.
62 Holzer, Markus
61 Inenaga, Shunsuke
60 Raman, Venkatesh
59 de Luca, Aldo
59 Droste, Manfred
59 Lokshtanov, Daniel
59 Paschos, Vangelis Th.
59 Prodinger, Helmut
59 Thilikos, Dimitrios M.
58 Liotta, Giuseppe
57 Bergstra, Jan A.
57 Păun, Gheorghe
57 Xu, Yinfeng
56 Lozin, Vadim Vladislavovich
54 Pan, Victor Yakovlevich
54 Santoro, Nicola
53 Cheng, Tai-Chiu Edwin
53 Flocchini, Paola
53 Kari, Lila
53 Wang, Jianxin
52 Adámek, Jiří
52 Honkala, Juha
51 Aceto, Luca
51 Rampersad, Narad
51 Vardi, Moshe Ya’akov
51 Yu, Sheng
50 Cai, Jin-Yi
50 Kratsch, Dieter
50 Milius, Stefan
50 Wang, Shiying
49 Chen, Jian-er
49 Monnot, Jérôme
48 Bannai, Hideo
48 Chatterjee, Krishnendu
48 Li, Qingguo
48 Sau, Ignasi
47 Cheng, Eddie
47 Henzinger, Thomas A.
47 Ito, Takehiro
47 Pelantová, Edita
47 Takeda, Masayuki
46 Fellows, Michael Ralph
46 Ingólfsdóttir, Anna
46 Pan, Linqiang
46 Pérez-Jiménez, Mario J.
46 Radoszewski, Jakub
45 Case, John
45 Demaine, Erik D.
45 Diekert, Volker
45 Heggernes, Pinar
45 Hromkovič, Juraj
45 Malcher, Andreas
45 Peleg, David
45 Pilipczuk, Michał
45 Pin, Jean-Eric
44 Lohrey, Markus
44 Zamboni, Luca Quardo
44 Zehavi, Meirav
44 Zhang, Zhao
43 Doerr, Benjamin
43 Gąsieniec, Leszek Antoni
43 Komusiewicz, Christian
...and 37,950 more Authors
all top 5

Cited in 1,003 Journals

8,307 Theoretical Computer Science
1,651 Discrete Applied Mathematics
1,466 Information and Computation
1,456 Information Processing Letters
1,146 Journal of Computer and System Sciences
1,031 Algorithmica
693 International Journal of Foundations of Computer Science
666 Discrete Mathematics
575 Theory of Computing Systems
564 Journal of Combinatorial Optimization
473 Annals of Pure and Applied Logic
442 MSCS. Mathematical Structures in Computer Science
437 Acta Informatica
399 Information Sciences
375 Artificial Intelligence
357 Journal of Symbolic Computation
344 European Journal of Operational Research
325 Logical Methods in Computer Science
309 Quantum Information Processing
296 International Journal of Theoretical Physics
293 Formal Aspects of Computing
291 Journal of Discrete Algorithms
260 Journal of Automated Reasoning
249 Applied Mathematics and Computation
243 European Journal of Combinatorics
239 International Journal of Computer Mathematics
239 Distributed Computing
239 Journal of Logical and Algebraic Methods in Programming
234 RAIRO. Theoretical Informatics and Applications
229 Annals of Mathematics and Artificial Intelligence
222 SIAM Journal on Computing
215 The Journal of Logic and Algebraic Programming
206 The Journal of Symbolic Logic
206 Computers & Operations Research
201 Computational Geometry
198 The Electronic Journal of Combinatorics
184 Linear Algebra and its Applications
183 Journal of Pure and Applied Algebra
180 SIAM Journal on Discrete Mathematics
180 International Journal of Algebra and Computation
178 Fuzzy Sets and Systems
178 Formal Methods in System Design
170 Advances in Applied Mathematics
161 Computational Complexity
156 Journal of Combinatorial Theory. Series A
156 Discrete & Computational Geometry
155 RAIRO. Informatique Théorique et Applications
154 Natural Computing
153 Mathematical Systems Theory
149 Journal of Complexity
144 Topology and its Applications
143 Studia Logica
139 Graphs and Combinatorics
138 Journal of Scheduling
131 Operations Research Letters
130 Journal of Functional Programming
126 Journal of Algebra
124 Semigroup Forum
123 Discrete Optimization
123 RAIRO. Theoretical Informatics and Applications
122 Mathematical Programming. Series A. Series B
121 Annals of Operations Research
113 International Journal of Approximate Reasoning
113 Discrete Mathematics, Algorithms and Applications
107 Theory and Practice of Logic Programming
102 Transactions of the American Mathematical Society
100 Soft Computing
98 Computers & Mathematics with Applications
95 Journal of Applied Non-Classical Logics
93 Random Structures & Algorithms
91 Designs, Codes and Cryptography
90 Mathematics of Computation
90 Applicable Algebra in Engineering, Communication and Computing
90 Optimization Letters
89 Journal of Combinatorial Theory. Series B
89 Archive for Mathematical Logic
85 Automatica
84 Advances in Mathematics
84 Machine Learning
81 Ergodic Theory and Dynamical Systems
81 Combinatorica
81 International Journal of Computational Geometry & Applications
79 Algorithms
77 Journal of Graph Theory
77 Journal of Global Optimization
77 Discrete Event Dynamic Systems
76 Journal of Mathematical Sciences (New York)
76 Fundamenta Informaticae
76 Journal of Applied Logic
75 Journal of Number Theory
73 Journal of Computational and Applied Mathematics
73 Networks
73 Order
73 Journal of Logic, Language and Information
72 Combinatorics, Probability and Computing
71 Cybernetics and Systems Analysis
71 Applied Categorical Structures
71 The Bulletin of Symbolic Logic
70 ACM Transactions on Computational Logic
67 Discussiones Mathematicae. Graph Theory
...and 903 more Journals
all top 5

Cited in 62 Fields

32,304 Computer science (68-XX)
8,787 Combinatorics (05-XX)
6,748 Mathematical logic and foundations (03-XX)
4,669 Operations research, mathematical programming (90-XX)
2,186 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2,165 Information and communication theory, circuits (94-XX)
1,431 Number theory (11-XX)
1,227 Numerical analysis (65-XX)
1,225 Quantum theory (81-XX)
1,186 Biology and other natural sciences (92-XX)
1,141 Order, lattices, ordered algebraic structures (06-XX)
1,130 Group theory and generalizations (20-XX)
1,118 Category theory; homological algebra (18-XX)
946 Probability theory and stochastic processes (60-XX)
886 Dynamical systems and ergodic theory (37-XX)
677 General topology (54-XX)
610 Linear and multilinear algebra; matrix theory (15-XX)
574 Systems theory; control (93-XX)
533 Convex and discrete geometry (52-XX)
527 Statistics (62-XX)
409 Commutative algebra (13-XX)
402 General algebraic systems (08-XX)
398 Algebraic geometry (14-XX)
336 Associative rings and algebras (16-XX)
279 Statistical mechanics, structure of matter (82-XX)
271 Field theory and polynomials (12-XX)
226 Measure and integration (28-XX)
152 Ordinary differential equations (34-XX)
143 Algebraic topology (55-XX)
140 Operator theory (47-XX)
126 History and biography (01-XX)
122 Manifolds and cell complexes (57-XX)
119 Partial differential equations (35-XX)
117 Functions of a complex variable (30-XX)
113 General and overarching topics; collections (00-XX)
110 Real functions (26-XX)
104 Special functions (33-XX)
98 Functional analysis (46-XX)
88 Approximations and expansions (41-XX)
86 Geometry (51-XX)
81 Calculus of variations and optimal control; optimization (49-XX)
62 Difference and functional equations (39-XX)
60 Mechanics of deformable solids (74-XX)
59 Nonassociative rings and algebras (17-XX)
53 Differential geometry (53-XX)
48 Fluid mechanics (76-XX)
45 Topological groups, Lie groups (22-XX)
40 Integral transforms, operational calculus (44-XX)
39 Harmonic analysis on Euclidean spaces (42-XX)
39 Mechanics of particles and systems (70-XX)
36 Global analysis, analysis on manifolds (58-XX)
25 Relativity and gravitational theory (83-XX)
24 Sequences, series, summability (40-XX)
24 Optics, electromagnetic theory (78-XX)
22 Several complex variables and analytic spaces (32-XX)
22 Abstract harmonic analysis (43-XX)
19 Classical thermodynamics, heat transfer (80-XX)
17 Mathematics education (97-XX)
15 Integral equations (45-XX)
15 Geophysics (86-XX)
12 Potential theory (31-XX)
11 \(K\)-theory (19-XX)

Citations by Year