×

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,761 Publications (since 1975)
References Indexed: 13,154 Publications with 309,339 References.
all top 5

Authors

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

Fields

12,072 Computer science (68-XX)
1,759 Combinatorics (05-XX)
1,477 Mathematical logic and foundations (03-XX)
807 Operations research, mathematical programming (90-XX)
640 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
534 Information and communication theory, circuits (94-XX)
406 General and overarching topics; collections (00-XX)
337 Biology and other natural sciences (92-XX)
254 Number theory (11-XX)
243 Group theory and generalizations (20-XX)
203 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)
83 Convex and discrete geometry (52-XX)
80 General topology (54-XX)
69 Statistics (62-XX)
63 Systems theory; control (93-XX)
61 Linear and multilinear algebra; matrix theory (15-XX)
56 Field theory and polynomials (12-XX)
47 Commutative algebra (13-XX)
41 Associative rings and algebras (16-XX)
39 History and biography (01-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,033 Publications have been cited 84,920 times in 45,791 Documents Cited by Year
Linear logic. Zbl 0625.03037
Girard, Jean-Yves
761
1987
Quantum cryptography: public key distribution and coin tossing. Zbl 1306.81030
Bennett, Charles H.; Brassard, Gilles
601
2014
Some simplified NP-complete graph problems. Zbl 0338.05120
Garey, M. R.; Johnson, D. S.; Stockmeyer, L.
587
1976
A theory of timed automata. Zbl 0803.68071
Alur, Rajeev; Dill, David L.
582
1994
The complexity of computing the permanent. Zbl 0415.68008
Valiant, L. G.
567
1979
The polynomial-time hierarchy. Zbl 0353.02024
Stockmeyer, Larry J.
338
1977
Universal coalgebra: A theory of systems. Zbl 0951.68038
Rutten, J. J. M. M.
318
2000
A partial k-arboretum of graphs with bounded treewidth. Zbl 0912.68148
Bodlaender, Hans L.
315
1998
Results on the propositional \(\mu\)-calculus. Zbl 0553.03007
Kozen, Dexter
296
1983
Testing equivalences for processes. Zbl 0985.68518
De Nicola, R.; Hennessy, M. C. B.
231
1984
LCF considered as a programming language. Zbl 0369.68006
Plotkin, G. D.
204
1978
Call-by-name, call-by-value and the \(\lambda\)-calculus. Zbl 0325.68006
Plotkin, G. D.
200
1975
The directed subgraph homeomorphism problem. Zbl 0419.05028
Fortune, Steven; Hopcroft, John; Wyllie, James
198
1980
Conditional rewriting logic as a unified model of concurrency. Zbl 0758.68043
Meseguer, José
193
1992
Random generation of combinatorial structures from a uniform distribution. Zbl 0597.68056
Jerrum, Mark R.; Valiant, Leslie G.; Vazirani, Vijay V.
190
1986
Petri nets, event structures and domains. I. Zbl 0452.68067
Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn
190
1981
The intractability of resolution. Zbl 0586.03010
Haken, Armin
176
1985
Mobile ambients. Zbl 0954.68108
Cardelli, L.; Gordon, A. D.
174
2000
Calculi for synchrony and asynchrony. Zbl 0512.68026
Milner, Robin
169
1983
The algorithmic analysis of hybrid systems. Zbl 0874.68206
Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H.
149
1995
Mellin transforms and asymptotics: Harmonic sums. Zbl 0869.68057
Flajolet, Philippe; Gourdon, Xavier; Dumas, Philippe
145
1995
Some APX-completeness results for cubic graphs. Zbl 0939.68052
Alimonti, P.; Kann, V.
140
2000
The complexity of mean payoff games on graphs. Zbl 0871.68138
Zwick, Uri; Paterson, Mike
139
1996
Definability and fast quantifier elimination in algebraically closed fields. Zbl 0546.03017
Heintz, Joos
139
1983
Clustering to minimize the maximum intercluster distance. Zbl 0567.62048
Gonzalez, Teofilo F.
139
1985
Episturmian words and some constructions of de Luca and Rauzy. Zbl 0981.68126
Droubay, X.; Justin, J.; Pirillo, G.
138
2001
A comparison of polynomial time reducibilities. Zbl 0321.68039
Ladner, R. E.; Lynch, N. A.; Selman, A. L.
136
1975
Comparison of identification criteria for machine inductive inference. Zbl 0524.03025
Case, John; Smith, Carl
136
1983
Orderings for term-rewriting systems. Zbl 0525.68054
Dershowitz, Nachum
136
1982
NP is as easy as detecting unique solutions. Zbl 0621.68030
Valiant, L. G.; Vazirani, V. V.
134
1986
A hierarchy of polynomial time lattice basis reduction algorithms. Zbl 0642.10030
Schnorr, C. P.
133
1987
Fixed-parameter tractability and completeness II: On completeness for W[1]. Zbl 0873.68059
Downey, Rod G.; Fellows, Michael R.
130
1995
Well-structured transition systems everywhere! Zbl 0973.68170
Finkel, A.; Schnoebelen, P.
128
2001
Fundamental properties of infinite trees. Zbl 0521.68013
Courcelle, Bruno
128
1983
On the analysis of the \((1+1)\) evolutionary algorithm. Zbl 1002.68037
Droste, Stefan; Jansen, Thomas; Wegener, Ingo
124
2002
Algebra of communicating processes with abstraction. Zbl 0579.68016
Bergstra, J. A.; Klop, J. W.
123
1985
Algebraic languages and polyominoes enumeration. Zbl 0985.68516
Delest, Marie-Pierre; Viennot, Gérard
122
1984
The chemical abstract machine. Zbl 0747.68013
Berry, Gérard; Boudol, Gérard
122
1992
On the parameterized complexity of multiple-interval graph problems. Zbl 1161.68038
Fellows, Michael R.; Hermelin, Danny; Rosamond, Frances; Vialette, Stéphane
118
2009
The state complexities of some basic operations on regular languages. Zbl 0795.68112
Yu, Sheng; Zhuang, Qingyu; Salomaa, Kai
115
1994
The ring of \(k\)-regular sequences. Zbl 0774.68072
Allouche, Jean-Paul; Shallit, Jeffrey
113
1992
Termination of term rewriting using dependency pairs. Zbl 0938.68051
Arts, T.; Giesl, J.
113
2000
The system \({\mathcal F}\) of variable types, fifteen years later. Zbl 0623.03013
Girard, Jean-Yves
112
1986
An annotated bibliography on guaranteed graph searching. Zbl 1160.68007
Fomin, Fedor V.; Thilikos, Dimitrios M.
106
2008
Sturmian words: structure, combinatorics, and their arithmetics. Zbl 0911.68098
de Luca, Aldo
102
1997
Theory of cellular automata: a survey. Zbl 1080.68070
Kari, Jarkko
102
2005
Quantum automata and quantum grammars. Zbl 0939.68037
Moore, Cristopher; Crutchfield, J. P.
102
2000
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056
Goguen, Joseph A.; Meseguer, José
101
1992
BioAmbients: an abstraction for biological compartments. Zbl 1069.68569
Regev, Aviv; Panina, Ekaterina M.; Silverman, William; Cardelli, Luca; Shapiro, Ehud
100
2004
Fully abstract models of typed \(\lambda\)-calculi. Zbl 0386.03006
Milner, Robin
100
1977
Some combinatorial properties of Sturmian words. Zbl 0874.68245
de Luca, Aldo; Mignosi, Filippo
99
1994
Complete sets and the polynomial-time hierarchy. Zbl 0366.02031
Wrathall, Celia
99
1977
The Euclidean traveling salesman problem is NP-complete. Zbl 0386.90057
Papadimitriou, Christos H.
99
1977
Searching and pebbling. Zbl 0616.68064
Kirousis, Lefteris M.; Papadimitriou, Christos H.
99
1986
Infinite games on finitely coloured graphs with applications to automata on infinite trees. Zbl 0915.68120
Zielonka, Wiesław
96
1998
Tissue P systems. Zbl 1045.68063
Martín-Vide, Carlos; Păun, Gheorghe; Pazos, Juan; Rodríguez-Patón, Alfonso
94
2003
Finite automata and unary languages. Zbl 0638.68096
Chrobak, Marek
93
1986
The covering and boundedness problems for vector addition systems. Zbl 0368.68054
Rackoff, Charles
92
1978
Ant colony optimization theory: a survey. Zbl 1154.90626
Dorigo, Marco; Blum, Christian
90
2005
The existence of refinement mappings. Zbl 0728.68083
Abadi, Martín; Lamport, Leslie
89
1991
Formal molecular biology. Zbl 1071.68041
Danos, Vincent; Laneve, Cosimo
88
2004
Remarks on blind and partially blind one-way multicounter machines. Zbl 0389.68030
Greibach, S. A.
88
1978
The complexity of partial derivatives. Zbl 0498.68028
Baur, Walter; Strassen, Volker
88
1983
An introduction to commutative and noncommutative Gröbner bases. Zbl 0824.68056
Mora, Teo
88
1994
Complexity measures and decision tree complexity: a survey. Zbl 1061.68058
Buhrman, Harry; de Wolf, Ronald
86
2002
Improved upper bounds for vertex cover. Zbl 1205.05217
Chen, Jianer; Kanj, Iyad A.; Xia, Ge
86
2010
On reduction-based process semantics. Zbl 0871.68122
Honda, Kohei; Yoshida, Nobuko
82
1995
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
The theory of ends, pushdown automata, and second-order logic. Zbl 0605.03005
Muller, David E.; Schupp, Paul E.
81
1985
A computational model for metric spaces. Zbl 1011.54026
Edalat, Abbas; Heckmann, Reinhold
80
1998
Shortest paths without a map. Zbl 0733.68065
Papadimitriou, Christos H.; Yannakakis, Mihalis
80
1991
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.
80
2000
Terminal coalgebras in well-founded set theory. Zbl 0779.18004
Barr, Michael
80
1993
Partial derivatives of regular expressions and finite automaton constructions. Zbl 0872.68120
Antimirov, Valentin
79
1996
Higher-level synchronising devices in Meije-SCCS. Zbl 0598.68027
De Simone, Robert
79
1985
\(\beta\)-expansions and symbolic dynamics. Zbl 0682.68081
Blanchard, F.
79
1989
On the algebraic structure of combinatorial problems. Zbl 0915.68074
Jeavons, Peter
78
1998
Applications of graphical condensation for enumerating matchings and tilings. Zbl 1043.05099
Kuo, Eric H.
77
2004
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
77
1992
Monadic second-order evaluations on tree-decomposable graphs. Zbl 0789.68083
Courcelle, B.; Mosbah, M.
77
1993
A calculus for the random generation of labelled combinatorial structures. Zbl 0799.68143
Flajolet, Philippe; Zimmerman, Paul; van Cutsem, Bernard
75
1994
Complete problems for deterministic polynomial time. Zbl 0352.68068
Jones, Neil D.; Laaser, William T.
74
1977
Computational interpretations of linear logic. Zbl 0791.03003
Abramsky, Samson
74
1993
On the distributional complexity of disjointness. Zbl 0787.68055
Razborov, A. A.
73
1992
Gathering of asynchronous robots with limited visibility. Zbl 1108.68120
Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Widmayer, Peter
72
2005
Restriction categories. I: Categories of partial maps. Zbl 0988.18003
Cockett, J. R. B.; Lack, Stephen
72
2002
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
72
2011
The differential lambda-calculus. Zbl 1070.68020
Ehrhard, Thomas; Regnier, Laurent
71
2003
Kernel bounds for disjoint cycles and disjoint paths. Zbl 1221.68099
Bodlaender, Hans L.; Thomassé, Stéphan; Yeo, Anders
71
2011
Computational complexity of real functions. Zbl 0498.03047
Ko, Ker-I.; Friedman, Harvey
71
1982
Weighted automata and weighted logics. Zbl 1118.68076
Droste, Manfred; Gastin, Paul
71
2007
Local majorities, coalitions and monopolies in graphs: A review. Zbl 0997.68088
Peleg, David
70
2002
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
70
2003
Metrics for labelled Markov processes. Zbl 1068.68093
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
70
2004
Parameterized graph separation problems. Zbl 1086.68104
Marx, Dániel
70
2006
Maude: specification and programming in rewriting logic. Zbl 1001.68059
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.
69
2002
Sturmian words, Lyndon words and trees. Zbl 0901.68155
Berstel, Jean; de Luca, Aldo
69
1997
A unification algorithm for typed \(\overline\lambda\)-calculus. Zbl 0337.68027
Huet, G. P.
68
1975
The temporal semantics of concurrent programs. Zbl 0441.68010
Pnueli, Amir
68
1981
Systèmes codés. (Coded systems). Zbl 0601.68056
Blanchard, F.; Hansel, G.
68
1986
Randomness and initial segment complexity for measures. Zbl 07450577
Nies, André; Stephan, Frank
1
2022
Computing subset transversals in \(H\)-free graphs. Zbl 07458786
Brettell, Nick; Johnson, Matthew; Paesani, Giacomo; Paulusma, Daniël
1
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
On cherry-picking and network containment. Zbl 1478.92134
Janssen, Remie; Murakami, Yukihiro
6
2021
Improved lower bounds for the radio number of trees. Zbl 1481.05137
Liu, Daphne Der-Fen; Saha, Laxman; Das, Satyabrata
4
2021
Fault diagnosability of bicube networks under the PMC diagnostic model. Zbl 1477.68039
Liu, Jiafei; Zhou, Shuming; Gu, Zhendong; Zhou, Qianru; Wang, Dajin
4
2021
Equitable list tree-coloring of bounded treewidth graphs. Zbl 1481.05049
Li, Yan; Zhang, Xin
4
2021
Structure connectivity and substructure connectivity of wheel networks. Zbl 1464.68284
Feng, Wei; Wang, Shiying
3
2021
Complexity of modification problems for best match graphs. Zbl 07331472
Schaller, David; Stadler, Peter F.; Hellmuth, Marc
3
2021
Multistage graph problems on a global budget. Zbl 07346934
Heeger, Klaus; Himmel, Anne-Sophie; Kammer, Frank; Niedermeier, Rolf; Renken, Malte; Sajenko, Andrej
3
2021
Antipodal number of full \(m\)-ary trees. Zbl 07391554
Basunia, Alamgir Rahaman; Das, Satyabrata; Saha, Laxman; Tiwary, Kalishankar
2
2021
Reallocating multiple facilities on the line. Zbl 1457.90089
Fotakis, Dimitris; Kavouras, Loukas; Kostopanagiotis, Panagiotis; Lazos, Philip; Skoulakis, Stratis; Zarifis, Nikos
2
2021
Ostrowski-automatic sequences: theory and applications. Zbl 1467.68146
Baranwal, Aseem; Schaeffer, Luke; Shallit, Jeffrey
2
2021
Note on \(R_g\)-conditional diagnosability of hypercube. Zbl 1467.68016
Wang, Yihong; Lin, Cheng-Kuan; Zhou, Qianru; Zhou, Shuming
2
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
2
2021
Exploration of dynamic tori by multiple agents. Zbl 1464.68402
Gotoh, Tsuyoshi; Sudo, Yuichi; Ooshita, Fukuhito; Kakugawa, Hirotsugu; Masuzawa, Toshimitsu
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
Revisiting the prefer-same and prefer-opposite de Bruijn sequence constructions. Zbl 1477.68551
Alhakim, Abbas; Sala, Evan; Sawada, Joe
2
2021
How to compute digraph width measures on directed co-graphs. Zbl 07300963
Gurski, Frank; Komander, Dominique; Rehs, Carolin
2
2021
A new quantum random number generator certified by value indefiniteness. Zbl 07318705
Agüero Trejo, José Manuel; Calude, Cristian S.
2
2021
Disposability in square-free words. Zbl 07318715
Harju, Tero
2
2021
Maximum Nash welfare and other stories about EFX. Zbl 07325909
Amanatidis, Georgios; Birmpas, Georgios; Filos-Ratsikas, Aris; Hollender, Alexandros; Voudouris, Alexandros A.
2
2021
Minimum power partial multi-cover on a line. Zbl 07331462
Liang, Wei; Li, Menghong; Zhang, Zhao; Huang, Xiaohui
2
2021
The undirected repetition threshold and undirected pattern avoidance. Zbl 07333006
Currie, James D.; Mol, Lucas
2
2021
Query-competitive sorting with uncertainty. Zbl 1462.68031
Halldórsson, Magnús M.; de Lima, Murilo Santos
2
2021
Theoretical aspects of equitable partition of networks into sparse modules. Zbl 1482.05322
Zhang, Huaqiang; Zhang, Xin
2
2021
Hybrid fault-tolerant prescribed hyper-Hamiltonian laceability of hypercubes. Zbl 07401225
Yang, Yuxing; Li, Jing
1
2021
On the proper orientation number of chordal graphs. Zbl 07401226
Araujo, J.; Cezar, A.; Lima, C. V. G. C.; dos Santos, V. F.; Silva, A.
1
2021
Polynomial kernels for paw-free edge modification problems. Zbl 07412736
Yuan, Hanchun; Ke, Yuping; Cao, Yixin
1
2021
Subcomputable Hausdorff function dimension. Zbl 07412741
Sureson, Claude
1
2021
Quasi-universal \(k\)-regular sequences. Zbl 07412742
Honkala, Juha
1
2021
Largest triangle inside a terrain. Zbl 1454.68155
Das, Arun Kumar; Das, Sandip; Mukherjee, Joydeep
1
2021
Local distance constrained bribery in voting. Zbl 1467.91042
Dey, Palash
1
2021
Revocable identity-based encryption with bounded decryption key exposure resistance: lattice-based construction and more. Zbl 1467.94041
Takayasu, Atsushi; Watanabe, Yohei
1
2021
Fault-tolerant complete visibility for asynchronous robots with lights under one-axis agreement. Zbl 1464.68405
Poudel, Pavan; Aljohani, Aisha; Sharma, Gokarna
1
2021
A hierarchy of local decision. Zbl 1476.68100
Feuilloley, Laurent; Fraigniaud, Pierre; Hirvonen, Juho
1
2021
Constructing dual-CISTs of folded divide-and-swap cubes. Zbl 1477.68211
Chang, Yu-Huei; Pai, Kung-Jui; Hsu, Chiun-Chieh; Yang, Jinn-Shyong; Chang, Jou-Ming
1
2021
Hardness and algorithms of equitable tree-coloring problem in chordal graphs. Zbl 1477.68242
Niu, Bei; Li, Bi; Zhang, Xin
1
2021
Computational power of dynamic threshold neural P systems for generating string languages. Zbl 1477.68109
Huang, Yue; Yi, Wenmei; Peng, Hong; Wang, Jun; Luo, Xiaohui; Yang, Qian
1
2021
A continuous strategy for collisionless gathering. Zbl 1477.68315
Li, Shouwei; Markarian, Christine; Meyer auf der Heide, Friedhelm; Podlipyan, Pavel
1
2021
On the area requirements of planar straight-line orthogonal drawings of ternary trees. Zbl 1477.68214
Covella, Barbara; Frati, Fabrizio; Patrignani, Maurizio
1
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
1
2021
Approximation algorithms for spherical \(k\)-means problem using local search scheme. Zbl 1477.68540
Zhang, Dongmei; Cheng, Yukun; Li, Min; Wang, Yishui; Xu, Dachuan
1
2021
Parameterized dictionary matching and recognition with one gap. Zbl 1477.68557
Shalom, B. Riva
1
2021
Experimental evaluation of algorithms for computing quasiperiods. Zbl 1477.68553
Czajka, Patryk; Radoszewski, Jakub
1
2021
On the price of stability of some simple graph-based hedonic games. Zbl 1480.91058
Kaklamanis, Christos; Kanellopoulos, Panagiotis; Papaioannou, Konstantinos; Patouchas, Dimitris
1
2021
Cryptographic reverse firewalls for interactive proof systems. Zbl 07300960
Ganesh, Chaya; Magri, Bernardo; Venturi, Daniele
1
2021
The sum of digits functions of the Zeckendorf and the base phi expansions. Zbl 07310531
Dekking, F. Michel
1
2021
On infinite prefix normal words. Zbl 07310534
Cicalese, Ferdinando; Lipták, Zsuzsanna; Rossi, Massimiliano
1
2021
Optimisation of electrical network configuration: complexity and algorithms for ring topologies. Zbl 07310536
Barth, Dominique; Mautor, Thierry; de Moissac, Arnaud; Watel, Dimitri; Weisser, Marc-Antoine
1
2021
Universal locally verifiable codes and 3-round interactive proofs of proximity for CSP. Zbl 07373868
Goldreich, Oded; Gur, Tom
1
2021
Modified Schelling games. Zbl 07373870
Kanellopoulos, Panagiotis; Kyropoulou, Maria; Voudouris, Alexandros A.
1
2021
An improved parametric algorithm on two-machine scheduling with given lower and upper bounds for the total processing time. Zbl 07373873
Dosa, Gyorgy; Kellerer, Hans; Olaj, Tomas; Tuza, Zsolt
1
2021
A categorial approach to reaction systems: first steps. Zbl 07380854
Kreowski, Hans-Jörg; Lye, Aaron
1
2021
Reducing the ambiguity of Parikh matrices. Zbl 07318685
Dick, Jeffery; Hutchinson, Laura K.; Mercaş, Robert; Reidenbach, Daniel
1
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
1
2021
Spiking neural P systems with target indications. Zbl 07318722
Wu, Tingfang; Zhang, Luping; Pan, Linqiang
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
\(k\)-critical graphs in \(P_5\)-free graphs. Zbl 07331459
Cameron, Kathie; Goedgebeur, Jan; Huang, Shenwei; Shi, Yongtang
1
2021
Binary intersection formalized. Zbl 1477.68152
Holub, Štěpán; Starosta, Štěpán
1
2021
Primitive sets of words. Zbl 07333003
Castiglione, Giuseppa; Fici, Gabriele; Restivo, Antonio
1
2021
Complexity and approximability of the happy set problem. Zbl 1477.68195
Asahiro, Yuichi; Eto, Hiroshi; Hanaka, Tesshu; Lin, Guohui; Miyano, Eiji; Terabaru, Ippei
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
On the hardness of covering-interdiction problems. Zbl 07356469
Fröhlich, Nicolas; Ruzika, Stefan
1
2021
Simultaneous FPQ-ordering and hybrid planarity testing. Zbl 07361609
Liotta, Giuseppe; Rutter, Ignaz; Tappini, Alessandra
1
2021
Vertex-pancyclicity of the \((n,k)\)-bubble-sort networks. Zbl 07362192
Wang, Xin; Ma, Chaoqun; Guo, Jia
1
2021
The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable. Zbl 07429274
Graça, Daniel S.; Zhong, Ning
1
2021
A family of formulas with reversal of arbitrarily high avoidability index. Zbl 07429297
Ochem, Pascal
1
2021
Temporal graph classes: a view through temporal separators. Zbl 1436.68234
Fluschnik, Till; Molter, Hendrik; Niedermeier, Rolf; Renken, Malte; Zschoche, Philipp
11
2020
Efficient card-based zero-knowledge proof for Sudoku. Zbl 1453.94113
Sasaki, Tatsuya; Miyahara, Daiki; Mizuki, Takaaki; Sone, Hideaki
6
2020
Practical card-based implementations of Yao’s millionaire protocol. Zbl 1436.94084
Miyahara, Daiki; Hayashi, Yu-ichi; Mizuki, Takaaki; Sone, Hideaki
6
2020
Beyond level planarity: cyclic, torus, and simultaneous level planarity. Zbl 1436.68377
Angelini, Patrizio; Da Lozzo, Giordano; Di Battista, Giuseppe; Frati, Fabrizio; Patrignani, Maurizio; Rutter, Ignaz
6
2020
Almost envy-freeness in group resource allocation. Zbl 1458.91109
Kyropoulou, Maria; Suksompong, Warut; Voudouris, Alexandros A.
5
2020
(Strong) conflict-free connectivity: algorithm and complexity. Zbl 1436.68243
Ji, Meng; Li, Xueliang; Zhu, Xiaoyu
5
2020
Collaborative delivery with energy-constrained mobile robots. Zbl 1437.68034
Bärtschi, Andreas; Chalopin, Jérémie; Das, Shantanu; Disser, Yann; Geissmann, Barbara; Graf, Daniel; Labourel, Arnaud; Mihalák, Matúš
5
2020
Multiple birds with one stone: beating 1/2 for EFX and GMMS via envy cycle elimination. Zbl 1458.91107
Amanatidis, Georgios; Markakis, Evangelos; Ntokos, Apostolos
4
2020
Equitable improper choosability of graphs. Zbl 1468.05073
Drgas-Burchardt, Ewa; Furmańczyk, Hanna; Sidorowicz, Elżbieta
4
2020
Card-based protocols for secure ranking computations. Zbl 1455.68066
Takashima, Ken; Abe, Yuta; Sasaki, Tatsuya; Miyahara, Daiki; Shinagawa, Kazumasa; Mizuki, Takaaki; Sone, Hideaki
4
2020
Optimal parameter choices via precise black-box analysis. Zbl 1436.68408
Doerr, Benjamin; Doerr, Carola; Yang, Jing
4
2020
Two-stage combinatorial optimization problems under risk. Zbl 1436.90122
Goerigk, Marc; Kasperski, Adam; Zieliński, Paweł
4
2020
Algorithmic aspects of upper paired-domination in graphs. Zbl 1436.68242
Henning, Michael A.; Pradhan, D.
4
2020
A game-based approximate verification of deep neural networks with provable guarantees. Zbl 1436.68199
Wu, Min; Wicker, Matthew; Ruan, Wenjie; Huang, Xiaowei; Kwiatkowska, Marta
4
2020
Morphic words, Beatty sequences and integer images of the Fibonacci language. Zbl 1447.68012
Dekking, Michel
4
2020
\(R_g\) conditional diagnosability: a novel generalized measure of system-level diagnosis. Zbl 1435.68050
Guo, Chen; Xiao, Zhifang; Liu, Zhihong; Peng, Shuo
4
2020
Semitotal domination: new hardness results and a polynomial-time algorithm for graphs of bounded mim-width. Zbl 1435.68112
Galby, Esther; Munaro, Andrea; Ries, Bernard
4
2020
Subset feedback vertex set on graphs of bounded independent set size. Zbl 1435.68244
Papadopoulos, Charis; Tzimas, Spyridon
4
2020
Fault-tolerant metric dimension of circulant graphs \(C_n(1,2,3)\). Zbl 1436.05054
Basak, Mithun; Saha, Laxman; Das, Gour Kanta; Tiwary, Kalishankar
4
2020
Calibration scheduling with time slot cost. Zbl 1436.90058
Wang, Kai
4
2020
Structure connectivity and substructure connectivity of the crossed cube. Zbl 1442.68182
Pan, Zhuowen; Cheng, Dongqin
4
2020
Runtime analysis of RLS and \((1 + 1)\) EA for the dynamic weighted vertex cover problem. Zbl 1443.68229
Pourhassan, Mojgan; Roostapour, Vahid; Neumann, Frank
4
2020
On fan-crossing graphs. Zbl 1461.68145
Brandenburg, Franz J.
3
2020
Connectivity and super connectivity of the divide-and-swap cube. Zbl 1461.68163
Ning, Wantao
3
2020
Online presentations of finitely generated structures. Zbl 1464.68443
Bazhenov, Nikolay; Kalimullin, Iskander; Melnikov, Alexander; Ng, Keng Meng
3
2020
Singular value decomposition assisted multicarrier continuous-variable quantum key distribution. Zbl 1442.81022
Gyongyosi, Laszlo
3
2020
A core model for choreographic programming. Zbl 1436.68078
Cruz-Filipe, Luís; Montesi, Fabrizio
3
2020
Probabilistic divide & congruence: branching bisimilarity. Zbl 1436.68209
Castiglioni, Valentina; Tini, Simone
3
2020
Temporal matching. Zbl 1436.68220
Baste, Julien; Bui-Xuan, Binh-Minh; Roux, Antoine
3
2020
Minsum \(k\)-sink problem on path networks. Zbl 1442.90024
Benkoczi, Robert; Bhattacharya, Binay; Higashikawa, Yuya; Kameda, Tsunehiko; Katoh, Naoki
3
2020
...and 629 more Documents
all top 5

Cited by 36,697 Authors

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

Cited in 984 Journals

8,188 Theoretical Computer Science
1,610 Discrete Applied Mathematics
1,447 Information Processing Letters
1,425 Information and Computation
1,140 Journal of Computer and System Sciences
997 Algorithmica
693 International Journal of Foundations of Computer Science
656 Discrete Mathematics
570 Theory of Computing Systems
530 Journal of Combinatorial Optimization
470 Annals of Pure and Applied Logic
438 MSCS. Mathematical Structures in Computer Science
427 Acta Informatica
399 Information Sciences
369 Artificial Intelligence
346 Journal of Symbolic Computation
334 European Journal of Operational Research
309 Quantum Information Processing
293 Formal Aspects of Computing
291 Journal of Discrete Algorithms
284 Logical Methods in Computer Science
278 International Journal of Theoretical Physics
258 Journal of Automated Reasoning
241 European Journal of Combinatorics
239 International Journal of Computer Mathematics
238 Applied Mathematics and Computation
235 Distributed Computing
234 RAIRO. Theoretical Informatics and Applications
228 Annals of Mathematics and Artificial Intelligence
228 Journal of Logical and Algebraic Methods in Programming
215 The Journal of Logic and Algebraic Programming
202 The Journal of Symbolic Logic
201 SIAM Journal on Computing
197 Computational Geometry
193 Computers & Operations Research
186 The Electronic Journal of Combinatorics
179 International Journal of Algebra and Computation
178 Fuzzy Sets and Systems
178 Journal of Pure and Applied Algebra
174 Linear Algebra and its Applications
171 Formal Methods in System Design
165 Advances in Applied Mathematics
165 SIAM Journal on Discrete Mathematics
158 Computational Complexity
155 RAIRO. Informatique Théorique et Applications
154 Journal of Combinatorial Theory. Series A
154 Natural Computing
153 Mathematical Systems Theory
151 Discrete & Computational Geometry
148 Journal of Complexity
141 Studia Logica
139 Topology and its Applications
135 Journal of Scheduling
131 Graphs and Combinatorics
130 Operations Research Letters
129 Journal of Functional Programming
122 Semigroup Forum
122 RAIRO. Theoretical Informatics and Applications
119 Journal of Algebra
118 Mathematical Programming. Series A. Series B
117 Discrete Optimization
116 Annals of Operations Research
111 International Journal of Approximate Reasoning
107 Theory and Practice of Logic Programming
99 Transactions of the American Mathematical Society
99 Discrete Mathematics, Algorithms and Applications
98 Computers & Mathematics with Applications
95 Journal of Applied Non-Classical Logics
93 Random Structures & Algorithms
90 Applicable Algebra in Engineering, Communication and Computing
88 Mathematics of Computation
88 Journal of Combinatorial Theory. Series B
87 Soft Computing
86 Designs, Codes and Cryptography
86 Archive for Mathematical Logic
85 Optimization Letters
84 Automatica
83 Advances in Mathematics
83 Machine Learning
80 International Journal of Computational Geometry & Applications
79 Ergodic Theory and Dynamical Systems
79 Combinatorica
79 Algorithms
77 Journal of Graph Theory
77 Discrete Event Dynamic Systems
77 Journal of Mathematical Sciences (New York)
76 Journal of Global Optimization
76 Journal of Applied Logic
74 Journal of Number Theory
73 Journal of Computational and Applied Mathematics
73 Networks
73 Fundamenta Informaticae
72 Journal of Logic, Language and Information
72 Combinatorics, Probability and Computing
71 Cybernetics and Systems Analysis
71 Applied Categorical Structures
70 Order
70 ACM Transactions on Computational Logic
69 The Bulletin of Symbolic Logic
66 Mathematical Problems in Engineering
...and 884 more Journals
all top 5

Cited in 62 Fields

30,890 Computer science (68-XX)
8,486 Combinatorics (05-XX)
6,499 Mathematical logic and foundations (03-XX)
4,464 Operations research, mathematical programming (90-XX)
2,083 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2,077 Information and communication theory, circuits (94-XX)
1,399 Number theory (11-XX)
1,192 Numerical analysis (65-XX)
1,175 Quantum theory (81-XX)
1,146 Biology and other natural sciences (92-XX)
1,108 Order, lattices, ordered algebraic structures (06-XX)
1,095 Group theory and generalizations (20-XX)
1,079 Category theory; homological algebra (18-XX)
915 Probability theory and stochastic processes (60-XX)
861 Dynamical systems and ergodic theory (37-XX)
652 General topology (54-XX)
592 Linear and multilinear algebra; matrix theory (15-XX)
559 Systems theory; control (93-XX)
516 Convex and discrete geometry (52-XX)
504 Statistics (62-XX)
393 Commutative algebra (13-XX)
392 General algebraic systems (08-XX)
384 Algebraic geometry (14-XX)
321 Associative rings and algebras (16-XX)
266 Field theory and polynomials (12-XX)
257 Statistical mechanics, structure of matter (82-XX)
221 Measure and integration (28-XX)
149 Ordinary differential equations (34-XX)
136 Operator theory (47-XX)
135 Algebraic topology (55-XX)
119 History and biography (01-XX)
117 Partial differential equations (35-XX)
117 Manifolds and cell complexes (57-XX)
110 Functions of a complex variable (30-XX)
108 General and overarching topics; collections (00-XX)
108 Real functions (26-XX)
98 Special functions (33-XX)
94 Functional analysis (46-XX)
84 Approximations and expansions (41-XX)
83 Geometry (51-XX)
77 Calculus of variations and optimal control; optimization (49-XX)
60 Difference and functional equations (39-XX)
59 Mechanics of deformable solids (74-XX)
57 Nonassociative rings and algebras (17-XX)
50 Differential geometry (53-XX)
47 Fluid mechanics (76-XX)
42 Topological groups, Lie groups (22-XX)
39 Integral transforms, operational calculus (44-XX)
37 Harmonic analysis on Euclidean spaces (42-XX)
37 Mechanics of particles and systems (70-XX)
34 Global analysis, analysis on manifolds (58-XX)
25 Relativity and gravitational theory (83-XX)
22 Sequences, series, summability (40-XX)
22 Optics, electromagnetic theory (78-XX)
21 Several complex variables and analytic spaces (32-XX)
21 Abstract harmonic analysis (43-XX)
21 Classical thermodynamics, heat transfer (80-XX)
17 Mathematics education (97-XX)
15 Geophysics (86-XX)
13 Integral equations (45-XX)
12 Potential theory (31-XX)
10 \(K\)-theory (19-XX)

Citations by Year