×

Theoretical Computer Science

Algorithms, Automata, Complexity and Games

Short Title: Theor. Comput. Sci.
Publisher: Elsevier, Amsterdam
ISSN: 0304-3975
Online: https://www.sciencedirect.com/journal/theoretical-computer-science/issues
Comments: Journal; Indexed cover-to-cover
Documents Indexed: 14,538 Publications (since 1975)
References Indexed: 13,921 Publications with 332,486 References.
all top 5

Authors

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

Fields

12,739 Computer science (68-XX)
1,904 Combinatorics (05-XX)
1,518 Mathematical logic and foundations (03-XX)
862 Operations research, mathematical programming (90-XX)
684 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
583 Information and communication theory, circuits (94-XX)
418 General and overarching topics; collections (00-XX)
356 Biology and other natural sciences (92-XX)
263 Number theory (11-XX)
246 Group theory and generalizations (20-XX)
209 Category theory; homological algebra (18-XX)
207 Order, lattices, ordered algebraic structures (06-XX)
169 Numerical analysis (65-XX)
139 Dynamical systems and ergodic theory (37-XX)
130 Quantum theory (81-XX)
123 Probability theory and stochastic processes (60-XX)
101 General algebraic systems (08-XX)
86 Convex and discrete geometry (52-XX)
81 General topology (54-XX)
77 Statistics (62-XX)
66 Systems theory; control (93-XX)
63 Linear and multilinear algebra; matrix theory (15-XX)
57 Field theory and polynomials (12-XX)
47 Commutative algebra (13-XX)
43 History and biography (01-XX)
42 Associative rings and algebras (16-XX)
32 Algebraic geometry (14-XX)
30 Measure and integration (28-XX)
20 Real functions (26-XX)
20 Ordinary differential equations (34-XX)
18 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 Partial differential equations (35-XX)
4 Difference and functional equations (39-XX)
4 Harmonic analysis on Euclidean spaces (42-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 Several complex variables and analytic spaces (32-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,985 Publications have been cited 105,891 times in 56,210 Documents Cited by Year
Quantum cryptography: public key distribution and coin tossing. Zbl 1306.81030
Bennett, Charles H.; Brassard, Gilles
947
2014
Linear logic. Zbl 0625.03037
Girard, Jean-Yves
910
1987
A theory of timed automata. Zbl 0803.68071
Alur, Rajeev; Dill, David L.
743
1994
Some simplified NP-complete graph problems. Zbl 0338.05120
Garey, M. R.; Johnson, D. S.; Stockmeyer, L.
673
1976
The complexity of computing the permanent. Zbl 0415.68008
Valiant, L. G.
667
1979
A partial k-arboretum of graphs with bounded treewidth. Zbl 0912.68148
Bodlaender, Hans L.
398
1998
Universal coalgebra: A theory of systems. Zbl 0951.68038
Rutten, J. J. M. M.
384
2000
The polynomial-time hierarchy. Zbl 0353.02024
Stockmeyer, Larry J.
370
1977
Results on the propositional \(\mu\)-calculus. Zbl 0553.03007
Kozen, Dexter
362
1983
Testing equivalences for processes. Zbl 0985.68518
De Nicola, R.; Hennessy, M. C. B.
266
1984
Conditional rewriting logic as a unified model of concurrency. Zbl 0758.68043
Meseguer, José
246
1992
The directed subgraph homeomorphism problem. Zbl 0419.05028
Fortune, Steven; Hopcroft, John; Wyllie, James
241
1980
Random generation of combinatorial structures from a uniform distribution. Zbl 0597.68056
Jerrum, Mark R.; Valiant, Leslie G.; Vazirani, Vijay V.
240
1986
LCF considered as a programming language. Zbl 0369.68006
Plotkin, G. D.
239
1978
Call-by-name, call-by-value and the \(\lambda\)-calculus. Zbl 0325.68006
Plotkin, G. D.
237
1975
Petri nets, event structures and domains. I. Zbl 0452.68067
Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn
236
1981
The intractability of resolution. Zbl 0586.03010
Haken, Armin
212
1985
Clustering to minimize the maximum intercluster distance. Zbl 0567.62048
Gonzalez, Teofilo F.
210
1985
Mobile ambients. Zbl 0954.68108
Cardelli, L.; Gordon, A. D.
198
2000
The algorithmic analysis of hybrid systems. Zbl 0874.68206
Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H.
191
1995
Calculi for synchrony and asynchrony. Zbl 0512.68026
Milner, Robin
185
1983
The complexity of mean payoff games on graphs. Zbl 0871.68138
Zwick, Uri; Paterson, Mike
181
1996
Some APX-completeness results for cubic graphs. Zbl 0939.68052
Alimonti, P.; Kann, V.
180
2000
Orderings for term-rewriting systems. Zbl 0525.68054
Dershowitz, Nachum
176
1982
A hierarchy of polynomial time lattice basis reduction algorithms. Zbl 0642.10030
Schnorr, C. P.
172
1987
Mellin transforms and asymptotics: Harmonic sums. Zbl 0869.68057
Flajolet, Philippe; Gourdon, Xavier; Dumas, Philippe
172
1995
NP is as easy as detecting unique solutions. Zbl 0621.68030
Valiant, L. G.; Vazirani, V. V.
169
1986
Episturmian words and some constructions of de Luca and Rauzy. Zbl 0981.68126
Droubay, X.; Justin, J.; Pirillo, G.
163
2001
Fixed-parameter tractability and completeness II: On completeness for W[1]. Zbl 0873.68059
Downey, Rod G.; Fellows, Michael R.
162
1995
Well-structured transition systems everywhere! Zbl 0973.68170
Finkel, A.; Schnoebelen, P.
157
2001
Definability and fast quantifier elimination in algebraically closed fields. Zbl 0546.03017
Heintz, Joos
156
1983
On the analysis of the \((1+1)\) evolutionary algorithm. Zbl 1002.68037
Droste, Stefan; Jansen, Thomas; Wegener, Ingo
154
2002
On the parameterized complexity of multiple-interval graph problems. Zbl 1161.68038
Fellows, Michael R.; Hermelin, Danny; Rosamond, Frances; Vialette, Stéphane
151
2009
Termination of term rewriting using dependency pairs. Zbl 0938.68051
Arts, T.; Giesl, J.
150
2000
Fundamental properties of infinite trees. Zbl 0521.68013
Courcelle, Bruno
149
1983
Algebra of communicating processes with abstraction. Zbl 0579.68016
Bergstra, J. A.; Klop, J. W.
147
1985
The state complexities of some basic operations on regular languages. Zbl 0795.68112
Yu, Sheng; Zhuang, Qingyu; Salomaa, Kai
147
1994
A comparison of polynomial time reducibilities. Zbl 0321.68039
Ladner, R. E.; Lynch, N. A.; Selman, A. L.
145
1975
Comparison of identification criteria for machine inductive inference. Zbl 0524.03025
Case, John; Smith, Carl
144
1983
The chemical abstract machine. Zbl 0747.68013
Berry, Gérard; Boudol, Gérard
138
1992
Infinite games on finitely coloured graphs with applications to automata on infinite trees. Zbl 0915.68120
Zielonka, Wiesław
137
1998
The ring of \(k\)-regular sequences. Zbl 0774.68072
Allouche, Jean-Paul; Shallit, Jeffrey
137
1992
Algebraic languages and polyominoes enumeration. Zbl 0985.68516
Delest, Marie-Pierre; Viennot, Gérard
133
1984
Theory of cellular automata: a survey. Zbl 1080.68070
Kari, Jarkko
133
2005
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
128
2011
An annotated bibliography on guaranteed graph searching. Zbl 1160.68007
Fomin, Fedor V.; Thilikos, Dimitrios M.
127
2008
The Euclidean traveling salesman problem is NP-complete. Zbl 0386.90057
Papadimitriou, Christos H.
126
1977
Improved upper bounds for vertex cover. Zbl 1205.05217
Chen, Jianer; Kanj, Iyad A.; Xia, Ge
125
2010
Quantum automata and quantum grammars. Zbl 0939.68037
Moore, Cristopher; Crutchfield, J. P.
122
2000
Tissue P systems. Zbl 1045.68063
Martín-Vide, Carlos; Păun, Gheorghe; Pazos, Juan; Rodríguez-Patón, Alfonso
122
2003
Finite automata and unary languages. Zbl 0638.68096
Chrobak, Marek
121
1986
The system \({\mathcal F}\) of variable types, fifteen years later. Zbl 0623.03013
Girard, Jean-Yves
121
1986
The covering and boundedness problems for vector addition systems. Zbl 0368.68054
Rackoff, Charles
117
1978
Fully abstract models of typed \(\lambda\)-calculi. Zbl 0386.03006
Milner, Robin
117
1977
Complexity measures and decision tree complexity: a survey. Zbl 1061.68058
Buhrman, Harry; de Wolf, Ronald
117
2002
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056
Goguen, Joseph A.; Meseguer, José
116
1992
Searching and pebbling. Zbl 0616.68064
Kirousis, Lefteris M.; Papadimitriou, Christos H.
115
1986
Sturmian words: structure, combinatorics, and their arithmetics. Zbl 0911.68098
de Luca, Aldo
112
1997
BioAmbients: an abstraction for biological compartments. Zbl 1069.68569
Regev, Aviv; Panina, Ekaterina M.; Silverman, William; Cardelli, Luca; Shapiro, Ehud
112
2004
The complexity of partial derivatives. Zbl 0498.68028
Baur, Walter; Strassen, Volker
111
1983
The existence of refinement mappings. Zbl 0728.68083
Abadi, Martín; Lamport, Leslie
111
1991
Complete sets and the polynomial-time hierarchy. Zbl 0366.02031
Wrathall, Celia
109
1977
Remarks on blind and partially blind one-way multicounter machines. Zbl 0389.68030
Greibach, S. A.
108
1978
Ant colony optimization theory: a survey. Zbl 1154.90626
Dorigo, Marco; Blum, Christian
107
2005
Some combinatorial properties of Sturmian words. Zbl 0874.68245
de Luca, Aldo; Mignosi, Filippo
105
1994
Formal molecular biology. Zbl 1071.68041
Danos, Vincent; Laneve, Cosimo
103
2004
Parameterized graph separation problems. Zbl 1086.68104
Marx, Dániel
103
2006
An introduction to commutative and noncommutative Gröbner bases. Zbl 0824.68056
Mora, Teo
101
1994
Gathering of asynchronous robots with limited visibility. Zbl 1108.68120
Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Widmayer, Peter
101
2005
Partial derivatives of regular expressions and finite automaton constructions. Zbl 0872.68120
Antimirov, Valentin
101
1996
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.
99
2000
On the algebraic structure of combinatorial problems. Zbl 0915.68074
Jeavons, Peter
97
1998
The theory of ends, pushdown automata, and second-order logic. Zbl 0605.03005
Muller, David E.; Schupp, Paul E.
96
1985
On the distributional complexity of disjointness. Zbl 0787.68055
Razborov, A. A.
96
1992
Finite-memory automata. Zbl 0938.68711
Kaminski, Michael; Francez, Nissim
94
1994
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.
94
2006
\(\beta\)-expansions and symbolic dynamics. Zbl 0682.68081
Blanchard, F.
93
1989
A new algorithm for optimal 2-constraint satisfaction and its implications. Zbl 1081.68095
Williams, Ryan
93
2005
A coding theory construction of new systematic authentication codes. Zbl 1078.68030
Ding, Cunsheng; Wang, Xuesong
93
2005
Terminal coalgebras in well-founded set theory. Zbl 0779.18004
Barr, Michael
93
1993
PSPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation. Zbl 1079.68040
Hearn, Robert A.; Demaine, Erik D.
92
2005
Data exchange: semantics and query answering. Zbl 1080.68019
Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian
92
2005
Shortest paths without a map. Zbl 0733.68065
Papadimitriou, Christos H.; Yannakakis, Mihalis
92
1991
Kernel bounds for disjoint cycles and disjoint paths. Zbl 1221.68099
Bodlaender, Hans L.; Thomassé, Stéphan; Yeo, Anders
91
2011
Metrics for labelled Markov processes. Zbl 1068.68093
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
91
2004
Higher-level synchronising devices in Meije-SCCS. Zbl 0598.68027
De Simone, Robert
90
1985
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
90
1992
On reduction-based process semantics. Zbl 0871.68122
Honda, Kohei; Yoshida, Nobuko
90
1995
Weighted automata and weighted logics. Zbl 1118.68076
Droste, Manfred; Gastin, Paul
89
2007
A computational model for metric spaces. Zbl 1011.54026
Edalat, Abbas; Heckmann, Reinhold
89
1998
The differential lambda-calculus. Zbl 1070.68020
Ehrhard, Thomas; Regnier, Laurent
89
2003
Monadic second-order evaluations on tree-decomposable graphs. Zbl 0789.68083
Courcelle, B.; Mosbah, M.
89
1993
Algorithms for plane representations of acyclic digraphs. Zbl 0678.68059
Di Battista, Giuseppe; Tamassia, Roberto
88
1988
Basic analytic combinatorics of directed lattice paths. Zbl 0996.68126
Banderier, Cyril; Flajolet, Philippe
87
2002
A calculus for the random generation of labelled combinatorial structures. Zbl 0799.68143
Flajolet, Philippe; Zimmerman, Paul; van Cutsem, Bernard
87
1994
Applications of graphical condensation for enumerating matchings and tilings. Zbl 1043.05099
Kuo, Eric H.
85
2004
Local majorities, coalitions and monopolies in graphs: A review. Zbl 0997.68088
Peleg, David
83
2002
The undecidability of the second-order unification problem. Zbl 0457.03006
Goldfarb, Warren D.
83
1981
Restriction categories. I: Categories of partial maps. Zbl 0988.18003
Cockett, J. R. B.; Lack, Stephen
82
2002
Finding paths between graph colourings: PSPACE-completeness and superpolynomial distances. Zbl 1177.05112
Bonsma, Paul; Cereceda, Luis
81
2009
On the 2-binomial complexity of the generalized Thue-Morse words. Zbl 07789587
Lü, Xiao-Tao; Chen, Jin; Wen, Zhi-Xiong; Wu, Wen
1
2024
An improved fixed-parameter algorithm for 2-Club Cluster Edge Deletion. Zbl 07681301
Abu-Khzam, Faisal N.; Makarem, Norma; Shehab, Maryam
3
2023
Representable Markov categories and comparison of statistical experiments in categorical probability. Zbl 07688224
Fritz, Tobias; Gonda, Tomáš; Perrone, Paolo; Fjeldgren Rischel, Eigil
3
2023
Self-adjusting population sizes for the (1,\( \lambda )\)-EA on monotone functions. Zbl 07755511
Kaufmann, Marc; Larcher, Maxime; Lengler, Johannes; Zou, Xun
3
2023
Variety of mutual-visibility problems in graphs. Zbl 07739129
Cicerone, Serafino; Di Stefano, Gabriele; Drožđek, Lara; Hedžet, Jaka; Klavžar, Sandi; Yero, Ismael G.
3
2023
Reversible computing from a programming language perspective. Zbl 07667524
Glück, Robert; Yokoyama, Tetsuo
3
2023
Secure connected domination and secure total domination in unit disk graphs and rectangle graphs. Zbl 07679988
Wang, Cai-Xia; Yang, Yu; Xu, Shou-Jun
2
2023
Weakly weighted generalised quasi-metric spaces and semilattices. Zbl 07751506
Castellano, Ilaria; Giordano Bruno, Anna; Zava, Nicolò
2
2023
Query-based selection of optimal candidates under the Mallows model. Zbl 07755523
Liu, Xujun; Milenkovic, Olgica; Moustakides, George V.
2
2023
On the parameterized complexity of s-club cluster deletion problems. Zbl 07720779
Montecchiani, Fabrizio; Ortali, Giacomo; Piselli, Tommaso; Tappini, Alessandra
2
2023
On balanced sequences and their critical exponent. Zbl 1507.68234
Dolce, Francesco; Dvořáková, L’ubomíra; Pelantová, Edita
2
2023
Few induced disjoint paths for \(H\)-free graphs. Zbl 1527.05104
Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan
2
2023
Arbitrary pattern formation on infinite regular tessellation graphs. Zbl 07635990
Cicerone, Serafino; Di Fonso, Alessia; Di Stefano, Gabriele; Navarra, Alfredo
2
2023
Modelling of oppositional Aquila Optimizer with machine learning enabled secure access control in Internet of drones environment. Zbl 07638348
Perumalla, Subhadra; Chatterjee, Santanu; Kumar, A. P. Siva
2
2023
Stagnation detection meets fast mutation. Zbl 1522.68773
Doerr, Benjamin; Rajabi, Amirhossein
2
2023
Recognizing DAGs with page-number 2 is NP-complete. Zbl 1512.68190
Bekos, Michael A.; Da Lozzo, Giordano; Frati, Fabrizio; Gronemann, Martin; Mchedlidze, Tamara; Raftopoulou, Chrysanthi N.
2
2023
Attractor separation and signed cycles in asynchronous Boolean networks. Zbl 1517.37050
Richard, Adrien; Tonello, Elisa
2
2023
Concentration of rainbow \(k\)-connectivity of a multiplex random graph. Zbl 1509.05160
Shang, Yilun
2
2023
Tight FPT approximation for constrained \(k\)-center and \(k\)-supplier. Zbl 07676480
Goyal, Dishant; Jaiswal, Ragesh
2
2023
On recognising words that are squares for the shuffle product. Zbl 07679025
Rizzi, Romeo; Vialette, Stéphane
1
2023
Sorting by prefix block-interchanges. Zbl 07681296
Labarre, Anthony
1
2023
Space-efficient algorithms for reachability in directed geometric graphs. Zbl 07688228
Bhore, Sujoy; Jain, Rahul
1
2023
Matroidal connectivity and conditional matroidal connectivity of star graphs. Zbl 07751513
Zhuang, Hongbin; Lin, Wanling; Li, Xiao-Yan; Chang, Jou-Ming
1
2023
An array P system based on a new variant of pure 2D context-free grammars. Zbl 07715631
Bera, Somnath; Nagar, Atulya K.; Sriram, Sastha; Subramanian, K. G.
1
2023
Relating randomized right-hand sides to communicating rewriting rules. Zbl 07729838
Aman, Bogdan; Ciobanu, Gabriel
1
2023
A Java-like calculus with heterogeneous coeffects. Zbl 07729839
Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
1
2023
Self-stabilizing Byzantine fault-tolerant repeated reliable broadcast. Zbl 07735118
Duvignau, Romaric; Raynal, Michel; Schiller, Elad Michael
1
2023
Priced gerrymandering. Zbl 1522.91102
Dey, Palash
1
2023
Linear-time computation of DAWGs, symmetric indexing structures, and MAWs for integer alphabets. Zbl 1520.68229
Fujishige, Yuta; Tsujimaru, Yuki; Inenaga, Shunsuke; Bannai, Hideo; Takeda, Masayuki
1
2023
Maximal closed set and half-space separations in finite closure systems. Zbl 1520.68158
Seiffarth, Florian; Horváth, Tamás; Wrobel, Stefan
1
2023
Weighted group search on a line & implications to the priority evacuation problem. Zbl 1498.68030
Georgiou, Konstantinos; Lucier, Jesse
1
2023
Stand up indulgent gathering. Zbl 1507.68307
Bramas, Quentin; Lamani, Anissa; Tixeuil, Sébastien
1
2023
Using edge contractions to reduce the semitotal domination number. Zbl 1502.05187
Galby, Esther; Lima, Paloma T.; Mann, Felix; Ries, Bernard
1
2023
Deciding path size of nondeterministic (and input-driven) pushdown automata. Zbl 07619402
Han, Yo-Sub; Ko, Sang-Ki; Salomaa, Kai
1
2023
Improved approximation algorithms for solving the squared metric \(k\)-facility location problem. Zbl 07635996
Zhang, Zhen; Feng, Qilong; Huang, Junyu; Wang, Jianxin
1
2023
String inference from longest-common-prefix array. Zbl 07636000
Kärkkäinen, Juha; Piątkowski, Marcin; Puglisi, Simon J.
1
2023
Reliability analysis of the generalized balanced hypercube. Zbl 07636006
Liu, Xiaoqing; Zhou, Shuming; Cheng, Eddie; Zhang, Hong
1
2023
On shuffled-square-free words. Zbl 07638351
Bulteau, Laurent; Jugé, Vincent; Vialette, Stéphane
1
2023
Compact representation of interval graphs and circular-arc graphs of bounded degree and chromatic number. Zbl 07638356
Chakraborty, Sankardeep; Jo, Seungbum
1
2023
Colouring graphs with no induced six-vertex path or diamond. Zbl 07638364
Goedgebeur, Jan; Huang, Shenwei; Ju, Yiao; Merkel, Owen
1
2023
Acyclic matching in some subclasses of graphs. Zbl 1512.68243
Panda, B. S.; Chaudhary, Juhi
1
2023
A new approximation algorithm for the minimum 2-edge-connected spanning subgraph problem. Zbl 1512.68205
Çivril, A.
1
2023
Reconfiguring (non-spanning) arborescences. Zbl 1512.68232
Ito, Takehiro; Iwamasa, Yuni; Kobayashi, Yasuaki; Nakahata, Yu; Otachi, Yota; Wasa, Kunihiro
1
2023
Radical theory of Scott-open filters. Zbl 07648673
Misselbeck-Wessel, Daniel; Schuster, Peter
1
2023
Adaptively code-correlation robustness functions and its applications to private set intersection. Zbl 1512.68085
Nan, Jiehui; Zhu, Haiming; Liu, Shigang; Hu, Honggang
1
2023
Distance problems within Helly graphs and \(k\)-Helly graphs. Zbl 1517.05045
Ducoffe, Guillaume
1
2023
Two-disjoint-cycle-cover vertex bipancyclicity of bipartite hypercube-like networks. Zbl 1517.05145
Niu, Ruichao; Zhou, Shujie; Xu, Min
1
2023
Hamiltonian cycles of balanced hypercube with more faulty edges. Zbl 1512.68239
Lan, Ting; Lü, Huazhong
1
2023
Learning algebraic structures with the help of Borel equivalence relations. Zbl 07661889
Bazhenov, Nikolay; Cipriani, Vittorio; San Mauro, Luca
1
2023
Hyper star fault tolerance of bubble sort networks. Zbl 07661890
Yang, Lulu; Hua, Xiaohui; Yang, Yuxing
1
2023
Lower and upper bounds for deterministic convergecast with labeling schemes. Zbl 1522.68048
Bu, Gewu; Lotker, Zvi; Potop-Butucaru, Maria; Rabie, Mikaël
1
2023
Component connectivity of augmented cubes. Zbl 1522.68433
Zhang, Qifan; Zhou, Shuming; Cheng, Eddie
1
2023
The connected greedy coloring game. Zbl 07676457
Lima, Carlos V. G. C.; Marcilon, Thiago; Martins, Nicolas; Sampaio, Rudini
1
2023
Re-examining regular expressions with backreferences. Zbl 07676466
Berglund, Martin; van der Merwe, Brink
1
2023
Numerical spiking neural P systems with production functions on synapses. Zbl 07676467
Jiang, Suxia; Xu, Bowen; Liang, Tao; Zhu, Xiaoliang; Wu, Tingfang
1
2023
On the complexity of solution extension of optimization problems. Zbl 07467463
Casel, Katrin; Fernau, Henning; Khosravian Ghadikolaei, Mehdi; Monnot, Jérôme; Sikora, Florian
5
2022
Disjoint paths and connected subgraphs for \(H\)-free graphs. Zbl 07437224
Kern, Walter; Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan
4
2022
Upper and lower degree-constrained graph orientation with minimum penalty. Zbl 1515.68222
Asahiro, Yuichi; Jansson, Jesper; Miyano, Eiji; Ono, Hirotaka
4
2022
Two-way and one-way quantum and classical automata with advice for online minimization problems. Zbl 07527766
Khadiev, Kamil; Khadieva, Aliya; Ziatdinov, Mansur; Mannapov, Ilnaz; Kravchenko, Dmitry; Rivosh, Alexander; Yamilov, Ramis
4
2022
Joint realizability of monotone Boolean functions. Zbl 07540223
Crawford-Kahrl, Peter; Cummins, Bree; Gedeon, Tomáš
4
2022
Approximation algorithms for the minimum power cover problem with submodular/linear penalties. Zbl 07540242
Liu, Xiaofei; Li, Weidong; Dai, Han
4
2022
Local certification of graphs on surfaces. Zbl 07482355
Esperet, Louis; Lévêque, Benjamin
4
2022
The localization capture time of a graph. Zbl 07496388
Behague, Natalie C.; Bonato, Anthony; Huggan, Melissa A.; Marbach, Trent G.; Pittman, Brittany
4
2022
A proof system for disjoint parallel quantum programs. Zbl 1478.68047
Ying, Mingsheng; Zhou, Li; Li, Yangjia; Feng, Yuan
3
2022
The \(R_g\)-conditional diagnosability of international networks. Zbl 1478.68023
Yuan, Jun; Qiao, Huijuan; Liu, Aixia
3
2022
Determinisability of unary weighted automata over the rational numbers. Zbl 1490.68127
Kostolányi, Peter
3
2022
Computing subset transversals in \(H\)-free graphs. Zbl 07458786
Brettell, Nick; Johnson, Matthew; Paesani, Giacomo; Paulusma, Daniël
3
2022
Simple algorithms for partial and simultaneous rectangular duals with given contact orientations. Zbl 07524440
Chaplick, Steven; Felsner, Stefan; Kindermann, Philipp; Klawitter, Jonathan; Rutter, Ignaz; Wolff, Alexander
3
2022
Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids. Zbl 07524445
Droste, Manfred; Fülöp, Zoltán; Kószó, Dávid; Vogler, Heiko
3
2022
\(k\)-circle formation by disoriented asynchronous robots. Zbl 07533870
Das, Bibhuti; Chakraborty, Abhinav; Bhagat, Subhash; Mukhopadhyaya, Krishnendu
3
2022
Aperiodic SFTs on Baumslag-Solitar groups. Zbl 07533876
Esnay, Solène J.; Moutot, Etienne
3
2022
Extremal cubic graphs for fault-tolerant locating domination. Zbl 07533880
Jean, Devin C.; Seo, Suk J.
3
2022
On vertex-weighted realizations of acyclic and general graphs. Zbl 07540196
Bar-Noy, Amotz; Böhnlein, Toni; Peleg, David; Rawitz, Dror
3
2022
Quantum and classical query complexities for generalized Simon’s problem. Zbl 07540261
Wu, Zhenggang; Qiu, Daowen; Tan, Jiawei; Li, Hao; Cai, Guangya
3
2022
Lie complexity of words. Zbl 07570316
Bell, Jason P.; Shallit, Jeffrey
3
2022
Finding Cheeger cuts in hypergraphs via heat equation. Zbl 07575092
Ikeda, Masahiro; Miyauchi, Atsushi; Takai, Yuuki; Yoshida, Yuichi
3
2022
Succinct navigational oracles for families of intersection graphs on a circle. Zbl 1509.68055
Acan, Hüseyin; Chakraborty, Sankardeep; Jo, Seungbum; Nakashima, Kei; Sadakane, Kunihiko; Satti, Srinivasa Rao
3
2022
Centralised connectivity-preserving transformations for programmable matter: a minimal seed approach. Zbl 1508.68376
Connor, Matthew; Michail, Othon; Potapov, Igor
3
2022
The diagnosability of Möbius cubes for the \(g\)-extra condition. Zbl 07477144
Wang, Shiying
3
2022
The unpaired many-to-many \(k\)-disjoint paths in bipartite hypercube-like networks. Zbl 07496384
Niu, Ruichao; Xu, Min
3
2022
A data structure for substring-substring LCS length queries. Zbl 07496385
Sakai, Yoshifumi
3
2022
Rewriting systems, plain groups, and geodetic graphs. Zbl 07467472
Elder, Murray; Piggott, Adam
3
2022
Crossing numbers of beyond-planar graphs. Zbl 1485.68176
Chimani, Markus; Kindermann, Philipp; Montecchiani, Fabrizio; Valtr, Pavel
2
2022
Exploring the gap between treedepth and vertex cover through vertex integrity. Zbl 07524431
Gima, Tatsuya; Hanaka, Tesshu; Kiyomi, Masashi; Kobayashi, Yasuaki; Otachi, Yota
2
2022
From reversible programming languages to reversible metalanguages. Zbl 07527764
Glück, Robert; Kaarsgaard, Robin; Yokoyama, Tetsuo
2
2022
On the \(g\)-extra diagnosability of enhanced hypercubes. Zbl 07530336
Cheng, Eddie; Qiu, Ke; Shen, Zhizhang
2
2022
Multi-attribute based influence maximization in social networks: algorithms and analysis. Zbl 07530339
Ni, Qiufen; Guo, Jianxiong; Du, Hongmin W.; Wang, Huan
2
2022
Monotone \(k\)-submodular secretary problems: cardinality and knapsack constraints. Zbl 07530342
Tang, Zhongzheng; Wang, Chenhao; Chan, Hau
2
2022
Reliability measure of the \(n\)-th Cartesian product of complete graph \(K_4\) on \(h\)-extra edge-connectivity. Zbl 07540194
Tian, Zhaoxia; Zhang, Mingzu; Feng, Xing
2
2022
On minimal critical exponent of balanced sequences. Zbl 07540202
Dvořáková, L’ubomíra; Pelantová, Edita; Opočenská, Daniela; Shur, Arseny M.
2
2022
Internal shortest absent word queries in constant time and linear space. Zbl 07540210
Badkobeh, Golnaz; Charalampopoulos, Panagiotis; Kosolobov, Dmitry; Pissis, Solon P.
2
2022
Strongly Menger-edge-connectedness of DCell networks. Zbl 07540213
Liu, Xuemei; Meng, Jixiang
2
2022
Reconfiguration of connected graph partitions via recombination. Zbl 07540228
Akitaya, Hugo A.; Korman, Matias; Korten, Oliver; Souvaine, Diane L.; Tóth, Csaba D.
2
2022
A model learning based testing approach for spiking neural P systems. Zbl 1497.68191
Ipate, Florentin; Gheorghe, Marian
2
2022
A collective interpretation semantics for reversing Petri nets. Zbl 07540260
Philippou, Anna; Psara, Kyriaki
2
2022
The perfect matching cut problem revisited. Zbl 07579640
Van Bang Le; Telle, Jan Arne
2
2022
On the probe problem for \((r, \ell)\)-well-coveredness: algorithms and complexity. Zbl 07585795
Faria, Luerbio; Souza, Uéverton S.
2
2022
Checking whether a word is Hamming-isometric in linear time. Zbl 07593351
Béal, Marie-Pierre; Crochemore, Maxime
2
2022
Flip-swap languages in binary reflected Gray code order. Zbl 07593358
Sawada, Joe; Williams, Aaron; Wong, Dennis
2
2022
Defensive alliances in graphs. Zbl 07597582
Gaikwad, Ajinkya; Maity, Soumen
2
2022
...and 759 more Documents
all top 5

Cited by 43,785 Authors

143 Paulusma, Daniël
140 Saurabh, Saket
122 Ibarra, Oscar H.
119 Golovach, Petr A.
115 Kutrib, Martin
115 Rozenberg, Grzegorz
114 Niedermeier, Rolf
113 Jain, Sanjay
109 Fernau, Henning
109 Salomaa, Kai T.
107 Stephan, Frank
106 Shallit, Jeffrey Outlaw
105 Fomin, Fedor V.
104 Epstein, Leah
99 Meseguer Guaita, José
97 Otto, Friedrich
88 Yuan, Jinjiang
87 Ésik, Zoltán
84 Okhotin, Alexander
84 Pelc, Andrzej
84 Rytter, Wojciech
80 Courcelle, Bruno
79 Thilikos, Dimitrios M.
78 Karhumaki, Juhani
78 Raman, Venkatesh
77 Bodlaender, Hans L.
77 Larsen, Kim Guldstrand
75 Navarro, Gonzalo
74 Harju, Tero
74 Restivo, Antonio
73 Hemaspaandra, Lane A.
73 Liotta, Giuseppe
73 Spirakis, Paul G.
72 Holzer, Markus
71 Inenaga, Shunsuke
71 Lokshtanov, Daniel
71 Rautenbach, Dieter
70 Crochemore, Maxime
70 Montanari, Ugo G.
69 Droste, Manfred
69 Iliopoulos, Costas S.
67 Blanchet-Sadri, Francine
67 Ito, Takehiro
67 Salomaa, Arto Kustaa
66 Engelfriet, Joost
66 Li, Qingguo
66 Prodinger, Helmut
65 Ehrenfeucht, Andrzej
64 Lozin, Vadim Vladislavovich
63 Paschos, Vangelis Th.
62 Vardi, Moshe Ya’akov
62 Xu, Yinfeng
61 Aceto, Luca
61 Kari, Lila
60 de Luca, Aldo
60 Păun, Gheorghe
59 Bergstra, Jan A.
59 Henzinger, Thomas A.
59 Santoro, Nicola
58 Cai, Jin-Yi
58 Cheng, Tai-Chiu Edwin
58 Flocchini, Paola
58 Malcher, Andreas
58 Sau, Ignasi
57 Han, Yo-Sub
57 Milius, Stefan
57 Rampersad, Narad
57 Zhang, Zhao
56 Bannai, Hideo
56 Wang, Shiying
56 Zehavi, Meirav
55 Chen, Jian-er
55 Gawrychowski, Paweł
55 Komusiewicz, Christian
55 Otachi, Yota
55 Rothe, Jörg-Matthias
55 Wang, Jianxin
54 Adámek, Jiří
54 Doerr, Benjamin
54 Honkala, Juha
54 Kratsch, Dieter
54 Kupferman, Orna
54 Manea, Florin
54 Monnot, Jérôme
54 Pan, Victor Yakovlevich
54 Yu, Sheng
53 Chatterjee, Krishnendu
53 Cheng, Eddie
53 Fellows, Michael Ralph
53 Ingólfsdóttir, Anna
52 Hromkovič, Juraj
52 Lohrey, Markus
52 Pelantová, Edita
52 Peleg, David
52 Pérez-Jiménez, Mario J.
52 Radoszewski, Jakub
52 Takeda, Masayuki
52 Wu, Weili
51 Zamboni, Luca Quardo
50 Bose, Prosenjit K.
...and 43,685 more Authors
all top 5

Cited in 1,072 Journals

8,749 Theoretical Computer Science
1,800 Discrete Applied Mathematics
1,581 Information and Computation
1,500 Information Processing Letters
1,196 Journal of Computer and System Sciences
1,155 Algorithmica
773 International Journal of Foundations of Computer Science
714 Discrete Mathematics
641 Journal of Combinatorial Optimization
622 Quantum Information Processing
617 Theory of Computing Systems
493 MSCS. Mathematical Structures in Computer Science
481 Annals of Pure and Applied Logic
469 Information Sciences
452 Acta Informatica
423 Artificial Intelligence
420 Logical Methods in Computer Science
377 European Journal of Operational Research
370 Journal of Symbolic Computation
321 International Journal of Theoretical Physics
294 Formal Aspects of Computing
291 Journal of Discrete Algorithms
289 Journal of Logical and Algebraic Methods in Programming
283 Applied Mathematics and Computation
283 Journal of Automated Reasoning
259 European Journal of Combinatorics
254 Natural Computing
253 Distributed Computing
249 SIAM Journal on Computing
240 International Journal of Computer Mathematics
237 Annals of Mathematics and Artificial Intelligence
234 RAIRO. Theoretical Informatics and Applications
230 The Electronic Journal of Combinatorics
226 Computers & Operations Research
224 Computational Geometry
219 SIAM Journal on Discrete Mathematics
216 The Journal of Logic and Algebraic Programming
211 The Journal of Symbolic Logic
197 Fuzzy Sets and Systems
194 Formal Methods in System Design
190 Advances in Applied Mathematics
190 Linear Algebra and its Applications
189 Journal of Pure and Applied Algebra
187 International Journal of Algebra and Computation
171 Discrete & Computational Geometry
170 Computational Complexity
169 Graphs and Combinatorics
163 Journal of Combinatorial Theory. Series A
156 Topology and its Applications
156 Journal of Complexity
155 RAIRO. Informatique Théorique et Applications
153 Mathematical Systems Theory
150 Studia Logica
147 Mathematical Programming. Series A. Series B
147 Journal of Scheduling
143 Journal of Algebra
141 Operations Research Letters
139 Discrete Mathematics, Algorithms and Applications
136 Journal of Functional Programming
133 Discrete Optimization
133 RAIRO. Theoretical Informatics and Applications
132 Semigroup Forum
132 International Journal of Approximate Reasoning
126 Annals of Operations Research
120 Theory and Practice of Logic Programming
119 Journal of Graph Theory
114 Networks
110 Random Structures & Algorithms
108 Optimization Letters
107 Fundamenta Informaticae
105 Transactions of the American Mathematical Society
105 Soft Computing
101 Automatica
99 Computers & Mathematics with Applications
99 Mathematics of Computation
99 Designs, Codes and Cryptography
99 ACM Transactions on Computational Logic
98 Journal of Combinatorial Theory. Series B
97 Applicable Algebra in Engineering, Communication and Computing
97 Journal of Applied Non-Classical Logics
96 Archive for Mathematical Logic
92 Advances in Mathematics
92 Ergodic Theory and Dynamical Systems
91 Machine Learning
89 Journal of Global Optimization
83 International Journal of Computational Geometry & Applications
82 Journal of Computational and Applied Mathematics
82 Combinatorica
82 Order
82 Discrete Event Dynamic Systems
81 Combinatorics, Probability and Computing
80 Journal of Logic, Language and Information
80 Journal of Mathematical Sciences (New York)
80 Algorithms
77 Applied Categorical Structures
77 Journal of Graph Algorithms and Applications
77 Journal of Membrane Computing
76 Journal of Number Theory
76 The Bulletin of Symbolic Logic
76 Journal of Applied Logic
...and 972 more Journals
all top 5

Cited in 62 Fields

37,978 Computer science (68-XX)
10,374 Combinatorics (05-XX)
7,760 Mathematical logic and foundations (03-XX)
5,503 Operations research, mathematical programming (90-XX)
2,705 Information and communication theory, circuits (94-XX)
2,670 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1,764 Quantum theory (81-XX)
1,649 Number theory (11-XX)
1,374 Biology and other natural sciences (92-XX)
1,333 Numerical analysis (65-XX)
1,306 Order, lattices, ordered algebraic structures (06-XX)
1,300 Category theory; homological algebra (18-XX)
1,268 Group theory and generalizations (20-XX)
1,117 Probability theory and stochastic processes (60-XX)
1,062 Dynamical systems and ergodic theory (37-XX)
758 General topology (54-XX)
708 Linear and multilinear algebra; matrix theory (15-XX)
704 Systems theory; control (93-XX)
649 Statistics (62-XX)
618 Convex and discrete geometry (52-XX)
471 Algebraic geometry (14-XX)
459 Commutative algebra (13-XX)
441 General algebraic systems (08-XX)
375 Associative rings and algebras (16-XX)
333 Statistical mechanics, structure of matter (82-XX)
287 Field theory and polynomials (12-XX)
270 Measure and integration (28-XX)
173 Ordinary differential equations (34-XX)
172 Algebraic topology (55-XX)
162 Operator theory (47-XX)
148 History and biography (01-XX)
140 Manifolds and cell complexes (57-XX)
138 Partial differential equations (35-XX)
135 Functions of a complex variable (30-XX)
131 General and overarching topics; collections (00-XX)
123 Real functions (26-XX)
121 Functional analysis (46-XX)
113 Special functions (33-XX)
100 Geometry (51-XX)
95 Calculus of variations and optimal control; optimization (49-XX)
91 Approximations and expansions (41-XX)
75 Mechanics of deformable solids (74-XX)
71 Difference and functional equations (39-XX)
68 Nonassociative rings and algebras (17-XX)
65 Differential geometry (53-XX)
57 Mechanics of particles and systems (70-XX)
54 Topological groups, Lie groups (22-XX)
51 Fluid mechanics (76-XX)
48 Global analysis, analysis on manifolds (58-XX)
46 Harmonic analysis on Euclidean spaces (42-XX)
44 Integral transforms, operational calculus (44-XX)
31 Relativity and gravitational theory (83-XX)
30 Several complex variables and analytic spaces (32-XX)
26 Abstract harmonic analysis (43-XX)
25 Optics, electromagnetic theory (78-XX)
24 Sequences, series, summability (40-XX)
22 Classical thermodynamics, heat transfer (80-XX)
19 Mathematics education (97-XX)
14 Integral equations (45-XX)
14 Geophysics (86-XX)
12 Potential theory (31-XX)
11 \(K\)-theory (19-XX)

Citations by Year