×

zbMATH — the first resource for mathematics

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,459 Publications (since 1975)
References Indexed: 12,857 Publications with 299,894 References.
all top 5

Authors

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

Fields

11,793 Computer science (68-XX)
1,729 Combinatorics (05-XX)
1,464 Mathematical logic and foundations (03-XX)
791 Operations research, mathematical programming (90-XX)
626 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
529 Information and communication theory, circuits (94-XX)
403 General and overarching topics; collections (00-XX)
335 Biology and other natural sciences (92-XX)
254 Number theory (11-XX)
241 Group theory and generalizations (20-XX)
200 Category theory; homological algebra (18-XX)
192 Order, lattices, ordered algebraic structures (06-XX)
169 Numerical analysis (65-XX)
130 Dynamical systems and ergodic theory (37-XX)
116 Probability theory and stochastic processes (60-XX)
115 Quantum theory (81-XX)
100 General algebraic systems (08-XX)
83 Convex and discrete geometry (52-XX)
78 General topology (54-XX)
68 Statistics (62-XX)
63 Systems theory; control (93-XX)
60 Linear and multilinear algebra; matrix theory (15-XX)
55 Field theory and polynomials (12-XX)
46 Commutative algebra (13-XX)
41 Associative rings and algebras (16-XX)
38 History and biography (01-XX)
31 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 Approximations and expansions (41-XX)
7 Nonassociative rings and algebras (17-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)

Publications by Year

Citations contained in zbMATH Open

9,694 Publications have been cited 79,655 times in 42,929 Documents Cited by Year
Linear logic. Zbl 0625.03037
Girard, Jean-Yves
713
1987
Some simplified NP-complete graph problems. Zbl 0338.05120
Garey, M. R.; Johnson, D. S.; Stockmeyer, L.
568
1976
A theory of timed automata. Zbl 0803.68071
Alur, Rajeev; Dill, David L.
542
1994
Quantum cryptography: public key distribution and coin tossing. Zbl 1306.81030
Bennett, Charles H.; Brassard, Gilles
541
2014
The complexity of computing the permanent. Zbl 0415.68008
Valiant, L. G.
531
1979
The polynomial-time hierarchy. Zbl 0353.02024
Stockmeyer, Larry J.
323
1977
Universal coalgebra: A theory of systems. Zbl 0951.68038
Rutten, J. J. M. M.
303
2000
A partial k-arboretum of graphs with bounded treewidth. Zbl 0912.68148
Bodlaender, Hans L.
288
1998
Results on the propositional \(\mu\)-calculus. Zbl 0553.03007
Kozen, Dexter
272
1983
Testing equivalences for processes. Zbl 0985.68518
De Nicola, R.; Hennessy, M. C. B.
224
1984
LCF considered as a programming language. Zbl 0369.68006
Plotkin, G. D.
198
1978
Call-by-name, call-by-value and the \(\lambda\)-calculus. Zbl 0325.68006
Plotkin, G. D.
195
1975
The directed subgraph homeomorphism problem. Zbl 0419.05028
Fortune, Steven; Hopcroft, John; Wyllie, James
191
1980
Conditional rewriting logic as a unified model of concurrency. Zbl 0758.68043
Meseguer, José
183
1992
Random generation of combinatorial structures from a uniform distribution. Zbl 0597.68056
Jerrum, Mark R.; Valiant, Leslie G.; Vazirani, Vijay V.
176
1986
Petri nets, event structures and domains. I. Zbl 0452.68067
Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn
174
1981
Mobile ambients. Zbl 0954.68108
Cardelli, L.; Gordon, A. D.
170
2000
Calculi for synchrony and asynchrony. Zbl 0512.68026
Milner, Robin
165
1983
The intractability of resolution. Zbl 0586.03010
Haken, Armin
157
1985
The algorithmic analysis of hybrid systems. Zbl 0874.68206
Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H.
145
1995
Mellin transforms and asymptotics: Harmonic sums. Zbl 0869.68057
Flajolet, Philippe; Gourdon, Xavier; Dumas, Philippe
140
1995
Definability and fast quantifier elimination in algebraically closed fields. Zbl 0546.03017
Heintz, Joos
134
1983
A comparison of polynomial time reducibilities. Zbl 0321.68039
Ladner, R. E.; Lynch, N. A.; Selman, A. L.
134
1975
Comparison of identification criteria for machine inductive inference. Zbl 0524.03025
Case, John; Smith, Carl
133
1983
Some APX-completeness results for cubic graphs. Zbl 0939.68052
Alimonti, P.; Kann, V.
131
2000
Orderings for term-rewriting systems. Zbl 0525.68054
Dershowitz, Nachum
131
1982
Episturmian words and some constructions of de Luca and Rauzy. Zbl 0981.68126
Droubay, X.; Justin, J.; Pirillo, G.
127
2001
NP is as easy as detecting unique solutions. Zbl 0621.68030
Valiant, L. G.; Vazirani, V. V.
127
1986
The complexity of mean payoff games on graphs. Zbl 0871.68138
Zwick, Uri; Paterson, Mike
124
1996
Algebra of communicating processes with abstraction. Zbl 0579.68016
Bergstra, J. A.; Klop, J. W.
122
1985
Fundamental properties of infinite trees. Zbl 0521.68013
Courcelle, Bruno
119
1983
On the analysis of the \((1+1)\) evolutionary algorithm. Zbl 1002.68037
Droste, Stefan; Jansen, Thomas; Wegener, Ingo
118
2002
The chemical abstract machine. Zbl 0747.68013
Berry, Gérard; Boudol, Gérard
118
1992
Fixed-parameter tractability and completeness II: On completeness for W[1]. Zbl 0873.68059
Downey, Rod G.; Fellows, Michael R.
117
1995
Clustering to minimize the maximum intercluster distance. Zbl 0567.62048
Gonzalez, Teofilo F.
116
1985
A hierarchy of polynomial time lattice basis reduction algorithms. Zbl 0642.10030
Schnorr, C. P.
116
1987
Algebraic languages and polyominoes enumeration. Zbl 0985.68516
Delest, Marie-Pierre; Viennot, Gérard
115
1984
Well-structured transition systems everywhere! Zbl 0973.68170
Finkel, A.; Schnoebelen, P.
114
2001
The state complexities of some basic operations on regular languages. Zbl 0795.68112
Yu, Sheng; Zhuang, Qingyu; Salomaa, Kai
111
1994
The system \({\mathcal F}\) of variable types, fifteen years later. Zbl 0623.03013
Girard, Jean-Yves
111
1986
Termination of term rewriting using dependency pairs. Zbl 0938.68051
Arts, T.; Giesl, J.
108
2000
On the parameterized complexity of multiple-interval graph problems. Zbl 1161.68038
Fellows, Michael R.; Hermelin, Danny; Rosamond, Frances; Vialette, Stéphane
105
2009
Quantum automata and quantum grammars. Zbl 0939.68037
Moore, Cristopher; Crutchfield, J. P.
100
2000
BioAmbients: an abstraction for biological compartments. Zbl 1069.68569
Regev, Aviv; Panina, Ekaterina M.; Silverman, William; Cardelli, Luca; Shapiro, Ehud
100
2004
The ring of \(k\)-regular sequences. Zbl 0774.68072
Allouche, Jean-Paul; Shallit, Jeffrey
100
1992
Sturmian words: structure, combinatorics, and their arithmetics. Zbl 0911.68098
de Luca, Aldo
98
1997
An annotated bibliography on guaranteed graph searching. Zbl 1160.68007
Fomin, Fedor V.; Thilikos, Dimitrios M.
97
2008
Complete sets and the polynomial-time hierarchy. Zbl 0366.02031
Wrathall, Celia
96
1977
Fully abstract models of typed \(\lambda\)-calculi. Zbl 0386.03006
Milner, Robin
96
1977
Theory of cellular automata: a survey. Zbl 1080.68070
Kari, Jarkko
96
2005
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056
Goguen, Joseph A.; Meseguer, José
96
1992
Some combinatorial properties of Sturmian words. Zbl 0874.68245
de Luca, Aldo; Mignosi, Filippo
94
1994
Searching and pebbling. Zbl 0616.68064
Kirousis, Lefteris M.; Papadimitriou, Christos H.
94
1986
The Euclidean traveling salesman problem is NP-complete. Zbl 0386.90057
Papadimitriou, Christos H.
93
1977
Finite automata and unary languages. Zbl 0638.68096
Chrobak, Marek
88
1986
Tissue P systems. Zbl 1045.68063
Martín-Vide, Carlos; Păun, Gheorghe; Pazos, Juan; Rodríguez-Patón, Alfonso
87
2003
An introduction to commutative and noncommutative Gröbner bases. Zbl 0824.68056
Mora, Teo
85
1994
The covering and boundedness problems for vector addition systems. Zbl 0368.68054
Rackoff, Charles
85
1978
The existence of refinement mappings. Zbl 0728.68083
Abadi, Martín; Lamport, Leslie
85
1991
Remarks on blind and partially blind one-way multicounter machines. Zbl 0389.68030
Greibach, S. A.
83
1978
Complexity measures and decision tree complexity: a survey. Zbl 1061.68058
Buhrman, Harry; de Wolf, Ronald
82
2002
Formal molecular biology. Zbl 1071.68041
Danos, Vincent; Laneve, Cosimo
82
2004
The complexity of partial derivatives. Zbl 0498.68028
Baur, Walter; Strassen, Volker
82
1983
Ant colony optimization theory: a survey. Zbl 1154.90626
Dorigo, Marco; Blum, Christian
82
2005
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.
79
2006
Infinite games on finitely coloured graphs with applications to automata on infinite trees. Zbl 0915.68120
Zielonka, Wiesław
79
1998
Terminal coalgebras in well-founded set theory. Zbl 0779.18004
Barr, Michael
78
1993
On reduction-based process semantics. Zbl 0871.68122
Honda, Kohei; Yoshida, Nobuko
78
1995
The theory of ends, pushdown automata, and second-order logic. Zbl 0605.03005
Muller, David E.; Schupp, Paul E.
78
1985
Improved upper bounds for vertex cover. Zbl 1205.05217
Chen, Jianer; Kanj, Iyad A.; Xia, Ge
78
2010
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.
77
2000
Shortest paths without a map. Zbl 0733.68065
Papadimitriou, Christos H.; Yannakakis, Mihalis
77
1991
Higher-level synchronising devices in Meije-SCCS. Zbl 0598.68027
De Simone, Robert
76
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
75
1992
Complete problems for deterministic polynomial time. Zbl 0352.68068
Jones, Neil D.; Laaser, William T.
73
1977
\(\beta\)-expansions and symbolic dynamics. Zbl 0682.68081
Blanchard, F.
73
1989
A computational model for metric spaces. Zbl 1011.54026
Edalat, Abbas; Heckmann, Reinhold
72
1998
Computational interpretations of linear logic. Zbl 0791.03003
Abramsky, Samson
72
1993
Monadic second-order evaluations on tree-decomposable graphs. Zbl 0789.68083
Courcelle, B.; Mosbah, M.
72
1993
A calculus for the random generation of labelled combinatorial structures. Zbl 0799.68143
Flajolet, Philippe; Zimmerman, Paul; van Cutsem, Bernard
72
1994
On the algebraic structure of combinatorial problems. Zbl 0915.68074
Jeavons, Peter
71
1998
Partial derivatives of regular expressions and finite automaton constructions. Zbl 0872.68120
Antimirov, Valentin
70
1996
Parameterized graph separation problems. Zbl 1086.68104
Marx, Dániel
70
2006
Computational complexity of real functions. Zbl 0498.03047
Ko, Ker-I.; Friedman, Harvey
70
1982
Gathering of asynchronous robots with limited visibility. Zbl 1108.68120
Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Widmayer, Peter
69
2005
Kernel bounds for disjoint cycles and disjoint paths. Zbl 1221.68099
Bodlaender, Hans L.; Thomassé, Stéphan; Yeo, Anders
69
2011
Systèmes codés. (Coded systems). Zbl 0601.68056
Blanchard, F.; Hansel, G.
68
1986
Maude: specification and programming in rewriting logic. Zbl 1001.68059
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.
67
2002
Applications of graphical condensation for enumerating matchings and tilings. Zbl 1043.05099
Kuo, Eric H.
67
2004
On the distributional complexity of disjointness. Zbl 0787.68055
Razborov, A. A.
67
1992
The temporal semantics of concurrent programs. Zbl 0441.68010
Pnueli, Amir
66
1981
Résolution des systèmes d’équations algébriques. Zbl 0459.68013
Lazard, Daniel
66
1981
Local majorities, coalitions and monopolies in graphs: A review. Zbl 0997.68088
Peleg, David
66
2002
A unification algorithm for typed \(\overline\lambda\)-calculus. Zbl 0337.68027
Huet, G. P.
66
1975
Sturmian words, Lyndon words and trees. Zbl 0901.68155
Berstel, Jean; de Luca, Aldo
65
1997
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
65
2011
The undecidability of the second-order unification problem. Zbl 0457.03006
Goldfarb, Warren D.
64
1981
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
64
2003
A coding theory construction of new systematic authentication codes. Zbl 1078.68030
Ding, Cunsheng; Wang, Xuesong
63
2005
Data exchange: semantics and query answering. Zbl 1080.68019
Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian
63
2005
Equitable list tree-coloring of bounded treewidth graphs. Zbl 07300956
Li, Yan; Zhang, Xin
3
2021
On cherry-picking and network containment. Zbl 07297783
Janssen, Remie; Murakami, Yukihiro
2
2021
Disposability in square-free words. Zbl 07318715
Harju, Tero
2
2021
Constructing dual-CISTs of folded divide-and-swap cubes. Zbl 07297780
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 07300876
Niu, Bei; Li, Bi; Zhang, Xin
1
2021
Cops and robbers on oriented toroidal grids. Zbl 07300887
González Hermosillo de la Maza, Sebastián; Hosseini, Seyyed Aliasghar; Knox, Fiachra; Mohar, Bojan; Reed, Bruce
1
2021
Improved lower bounds for the radio number of trees. Zbl 07300900
Liu, Daphne Der-Fen; Saha, Laxman; Das, Satyabrata
1
2021
Fault diagnosability of bicube networks under the PMC diagnostic model. Zbl 07300901
Liu, Jiafei; Zhou, Shuming; Gu, Zhendong; Zhou, Qianru; Wang, Dajin
1
2021
Revisiting the prefer-same and prefer-opposite de Bruijn sequence constructions. Zbl 07300917
Alhakim, Abbas; Sala, Evan; Sawada, Joe
1
2021
On the price of stability of some simple graph-based hedonic games. Zbl 07300953
Kaklamanis, Christos; Kanellopoulos, Panagiotis; Papaioannou, Konstantinos; Patouchas, Dimitris
1
2021
Ostrowski-automatic sequences: theory and applications. Zbl 1467.68146
Baranwal, Aseem; Schaeffer, Luke; Shallit, Jeffrey
1
2021
The sum of digits functions of the Zeckendorf and the base phi expansions. Zbl 07310531
Dekking, F. Michel
1
2021
A new quantum random number generator certified by value indefiniteness. Zbl 07318705
Agüero Trejo, José Manuel; Calude, Cristian S.
1
2021
New results for the \(k\)-secretary problem. Zbl 07325911
Albers, Susanne; Ladewig, Leon
1
2021
Minimum power partial multi-cover on a line. Zbl 07331462
Liang, Wei; Li, Menghong; Zhang, Zhao; Huang, Xiaohui
1
2021
Complexity of modification problems for best match graphs. Zbl 07331472
Schaller, David; Stadler, Peter F.; Hellmuth, Marc
1
2021
Theoretical aspects of equitable partition of networks into sparse modules. Zbl 07356472
Zhang, Huaqiang; Zhang, Xin
1
2021
Universal locally verifiable codes and 3-round interactive proofs of proximity for CSP. Zbl 07373868
Goldreich, Oded; Gur, Tom
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
Structure connectivity and substructure connectivity of wheel networks. Zbl 1464.68284
Feng, Wei; Wang, Shiying
1
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
1
2021
Exploration of dynamic tori by multiple agents. Zbl 1464.68402
Gotoh, Tsuyoshi; Sudo, Yuichi; Ooshita, Fukuhito; Kakugawa, Hirotsugu; Masuzawa, Toshimitsu
1
2021
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
4
2020
Temporal graph classes: a view through temporal separators. Zbl 1436.68234
Fluschnik, Till; Molter, Hendrik; Niedermeier, Rolf; Renken, Malte; Zschoche, Philipp
4
2020
Morphic words, Beatty sequences and integer images of the Fibonacci language. Zbl 1447.68012
Dekking, Michel
4
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úš
4
2020
Almost envy-freeness in group resource allocation. Zbl 1458.91109
Kyropoulou, Maria; Suksompong, Warut; Voudouris, Alexandros A.
4
2020
Optimal parameter choices via precise black-box analysis. Zbl 1436.68408
Doerr, Benjamin; Doerr, Carola; Yang, Jing
3
2020
Probabilistic divide & congruence: branching bisimilarity. Zbl 1436.68209
Castiglioni, Valentina; Tini, Simone
3
2020
The hardness of resilience for nested aggregation query. Zbl 1436.68090
Miao, Dongjing; Yu, Jiguo; Cai, Zhipeng
3
2020
(Strong) conflict-free connectivity: algorithm and complexity. Zbl 1436.68243
Ji, Meng; Li, Xueliang; Zhu, Xiaoyu
3
2020
Patterns of relation triples in inversion and ascent sequences. Zbl 07146697
Lin, Zhicong
3
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
3
2020
Complexity of modification problems for reciprocal best match graphs. Zbl 1443.92120
Hellmuth, Marc; Geiß, Manuela; Stadler, Peter F.
3
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
3
2020
Equitable improper choosability of graphs. Zbl 07263633
Drgas-Burchardt, Ewa; Furmańczyk, Hanna; Sidorowicz, Elżbieta
3
2020
Singular value decomposition assisted multicarrier continuous-variable quantum key distribution. Zbl 1442.81022
Gyongyosi, Laszlo
2
2020
A bicriteria algorithm for the minimum submodular cost partial set multi-cover problem. Zbl 1436.90128
Shi, Yishuo; Ran, Yingli; Zhang, Zhao; Du, Ding-Zhu
2
2020
Approximation algorithms for the \(p\)-hub center routing problem in parameterized metric graphs. Zbl 1436.68226
Chen, Li-Hsuan; Hsieh, Sun-Yuan; Hung, Ling-Ju; Klasing, Ralf
2
2020
Minsum \(k\)-sink problem on path networks. Zbl 1442.90024
Benkoczi, Robert; Bhattacharya, Binay; Higashikawa, Yuya; Kameda, Tsunehiko; Katoh, Naoki
2
2020
\( \omega \)-Lyndon words. Zbl 1458.68153
Postic, Mickaël; Zamboni, Luca Q.
2
2020
Lattice-based revocable (hierarchical) IBE with decryption key exposure resistance. Zbl 1447.94049
Katsumata, Shuichi; Matsuda, Takahiro; Takayasu, Atsushi
2
2020
Computing the nearest polynomial to multiple given polynomials with a given zero via \(l_{2,q}\)-norm minimization. Zbl 1443.26008
Hu, Wenyu; Li, Shenghao; Huang, Jinhong; Wang, Tinghua; Yu, Gaohang
2
2020
Orbit expandability of automaton semigroups and groups. Zbl 1455.68107
D’Angeli, Daniele; Rodaro, Emanuele; Wächter, Jan Philipp
2
2020
Plug-in context providers for reaction systems. Zbl 1440.68085
Kleijn, Jetty; Koutny, Maciej; Rozenberg, Grzegorz
2
2020
A note of vertex arboricity of planar graphs without 4-cycles intersecting with 6-cycles. Zbl 1455.05016
Cui, Xuyang; Teng, Wenshun; Liu, Xing; Wang, Huijuan
2
2020
Online graph exploration on a restricted graph class: optimal solutions for tadpole graphs. Zbl 1453.68214
Brandt, Sebastian; Foerster, Klaus-Tycho; Maurer, Jonathan; Wattenhofer, Roger
2
2020
On fan-crossing graphs. Zbl 1461.68145
Brandenburg, Franz J.
2
2020
Connectivity and super connectivity of the divide-and-swap cube. Zbl 1461.68163
Ning, Wantao
2
2020
Online presentations of finitely generated structures. Zbl 1464.68443
Bazhenov, Nikolay; Kalimullin, Iskander; Melnikov, Alexander; Ng, Keng Meng
2
2020
Gathering in dynamic rings. Zbl 1437.68195
Di Luna, Giuseppe Antonio; Flocchini, Paola; Pagli, Linda; Prencipe, Giuseppe; Santoro, Nicola; Viglietta, Giovanni
2
2020
Approximate proof-labeling schemes. Zbl 1437.68193
Censor-Hillel, Keren; Paz, Ami; Perry, Mor
2
2020
Approximate pattern matching on elastic-degenerate text. Zbl 1437.68207
Bernardini, Giulia; Pisanti, Nadia; Pissis, Solon P.; Rosone, Giovanna
2
2020
\(R_g\) conditional diagnosability: a novel generalized measure of system-level diagnosis. Zbl 1435.68050
Guo, Chen; Xiao, Zhifang; Liu, Zhihong; Peng, Shuo
2
2020
Destructiveness of lexicographic parsimony pressure and alleviation by a concatenation crossover in genetic programming. Zbl 1432.68623
Kötzing, Timo; Lagodzinski, J. A. Gregor; Lengler, Johannes; Melnichenko, Anna
2
2020
Reliability analysis of subsystem in dual cubes. Zbl 1432.68046
Zhang, Qifan; Xu, Liqiong; Zhou, Shuming; Yang, Weihua
2
2020
A decision procedure and complete axiomatization for projection temporal logic. Zbl 07188529
Shu, Xinfeng; Duan, Zhenhua; Du, Hongwei
2
2020
A logic for Lawson compact algebraic L-domains. Zbl 07191325
Wang, Longchun; Li, Qingguo
2
2020
Structure connectivity and substructure connectivity of the crossed cube. Zbl 1442.68182
Pan, Zhuowen; Cheng, Dongqin
2
2020
On a simple hard variant of Not-All-Equal 3-Sat. Zbl 1433.68272
Darmann, Andreas; Döcker, Janosch
2
2020
Gathering anonymous, oblivious robots on a grid. Zbl 1433.68597
Castenow, Jannik; Fischer, Matthias; Harbig, Jonas; Jung, Daniel; Meyer auf der Heide, Friedhelm
2
2020
The graph tessellation cover number: chromatic bounds, efficient algorithms and hardness. Zbl 1442.05168
Abreu, A.; Cunha, L.; de Figueiredo, C.; Kowada, L.; Marquezino, F.; Posner, D.; Portugal, R.
1
2020
A core model for choreographic programming. Zbl 1436.68078
Cruz-Filipe, Luís; Montesi, Fabrizio
1
2020
Strassen’s theorem for quantum couplings. Zbl 1442.81005
Zhou, Li; Ying, Shenggang; Yu, Nengkun; Ying, Mingsheng
1
2020
Viral marketing of online game by DS decomposition in social networks. Zbl 1443.91240
Gao, Chuangen; Du, Hai; Wu, Weili; Wang, Hua
1
2020
Quality-aware online task assignment mechanisms using latent topic model. Zbl 1443.91174
Du, Yang; Sun, Yu-E; Huang, He; Huang, Liusheng; Xu, Hongli; Wu, Xiaocan
1
2020
Practical card-based implementations of Yao’s millionaire protocol. Zbl 1436.94084
Miyahara, Daiki; Hayashi, Yu-ichi; Mizuki, Takaaki; Sone, Hideaki
1
2020
Novel updatable identity-based hash proof system and its applications. Zbl 1455.94202
Zhou, Yanwei; Yang, Bo; Wang, Tao; Mu, Yi
1
2020
Two-stage combinatorial optimization problems under risk. Zbl 1436.90122
Goerigk, Marc; Kasperski, Adam; Zieliński, Paweł
1
2020
On the Carathéodory and exchange numbers of geodetic convexity in graphs. Zbl 1442.05040
Anand, Bijo S.; Chandran S. V., Ullas; Changat, Manoj; Dourado, Mitre C.; Hossein Nezhad, Ferdoos; Narasimha-Shenoi, Prasanth G.
1
2020
Algorithmic aspects of upper paired-domination in graphs. Zbl 1436.68242
Henning, Michael A.; Pradhan, D.
1
2020
On the \(g\)-good-neighbor connectivity of graphs. Zbl 1436.68264
Wang, Zhao; Mao, Yaping; Hsieh, Sun-Yuan; Wu, Jichang
1
2020
Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games. Zbl 1436.68154
Rocha, Thiago Alves; Martins, Ana Teresa; Ferreira, Francicleber Martins
1
2020
Local time membrane systems and time Petri nets. Zbl 1436.68110
Aman, Bogdan; Battyányi, Péter; Ciobanu, Gabriel; Vaszil, György
1
2020
Subroutines in P systems and closure properties of their complexity classes. Zbl 1436.68116
Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio
1
2020
P systems with symport/antiport rules: when do the surroundings matter? Zbl 1436.68118
Orellana-Martín, David; Martínez-del-Amor, Miguel Á.; Valencia-Cabrera, Luis; Song, Bosheng; Pan, Linqiang; Pérez-Jiménez, Mario J.
1
2020
When object production tunes the efficiency of membrane systems. Zbl 1436.68117
Orellana-Martín, David; Martínez-del-Amor, Miguel Á.; Pérez-Hurtado, Ignacio; Riscos-Núñez, Agustín; Valencia-Cabrera, Luis; Pérez-Jiménez, Mario J.
1
2020
More on the dynamics of the symbolic square root map. Zbl 1436.68286
Peltomäki, Jarkko; Whiteland, Markus A.
1
2020
The connected metric dimension at a vertex of a graph. Zbl 1442.05048
Eroh, Linda; Kang, Cong X.; Yi, Eunjeong
1
2020
Alternative parameterizations of Metric Dimension. Zbl 1436.68146
Gutin, Gregory; Ramanujan, M. S.; Reidl, Felix; Wahlström, Magnus
1
2020
The solid-metric dimension. Zbl 1436.68241
Hakanen, Anni; Junnila, Ville; Laihonen, Tero
1
2020
Temporal matching. Zbl 1436.68220
Baste, Julien; Bui-Xuan, Binh-Minh; Roux, Antoine
1
2020
Parametrised second-order complexity theory with applications to the study of interval computation. Zbl 1454.03057
Neumann, Eike; Steinberg, Florian
1
2020
Enumeration of nonisomorphic interval graphs and nonisomorphic permutation graphs. Zbl 1442.05099
Yamazaki, Kazuaki; Saitoh, Toshiki; Kiyomi, Masashi; Uehara, Ryuhei
1
2020
Priority evacuation from a disk: the case of \(n = 1,2,3\). Zbl 1437.68173
Czyzowicz, Jurek; Georgiou, Konstantinos; Killick, Ryan; Kranakis, Evangelos; Krizanc, Danny; Narayanan, Lata; Opatrny, Jaroslav; Shende, Sunil
1
2020
Towards ‘up to context’ reasoning about higher-order processes. Zbl 1436.68211
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
1
2020
Improved average complexity for comparison-based sorting. Zbl 1436.68087
Iwama, Kazuo; Teruyama, Junichi
1
2020
Generalized Lyndon factorizations of infinite words. Zbl 1458.68149
Burcroff, Amanda; Winsor, Eric
1
2020
Polyline drawings with topological constraints. Zbl 1436.68232
Di Giacomo, Emilio; Eades, Peter; Liotta, Giuseppe; Meijer, Henk; Montecchiani, Fabrizio
1
2020
Popular matchings with two-sided preference lists and matroid constraints. Zbl 1436.91086
Kamiyama, Naoyuki
1
2020
Identity-based encryption with leakage-amplified chosen-ciphertext attacks security. Zbl 1448.94238
Zhou, Yanwei; Yang, Bo; Xia, Zhe; Zhang, Mingwu; Mu, Yi
1
2020
Principal component analysis in the local differential privacy model. Zbl 1436.68100
Wang, Di; Xu, Jinhui
1
2020
An oracle separating conjectures about incompleteness in the finite domain. Zbl 1436.68124
Dose, Titus
1
2020
New bounds on the price of bandit feedback for mistake-bounded online multiclass learning. Zbl 1436.68153
Long, Philip M.
1
2020
Note on matching preclusion number of random graphs. Zbl 1453.05101
Gu, Ran; Mao, Yaping; Ye, Guoju
1
2020
Eccentricity function in distance-hereditary graphs. Zbl 1453.05026
Dragan, Feodor F.; Guarnera, Heather M.
1
2020
Relationship between extra edge connectivity and component edge connectivity for regular graphs. Zbl 1453.05054
Hao, Rong-Xia; Gu, Mei-Mei; Chang, Jou-Ming
1
2020
Tightly secure inner product functional encryption: multi-input and function-hiding constructions. Zbl 1457.94187
Tomida, Junichi
1
2020
Coding by minimal linear grammars. Zbl 1440.68147
Carpi, Arturo; D’Alessandro, Flavio
1
2020
...and 649 more Documents
all top 5

Cited by 34,417 Authors

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

Cited in 945 Journals

7,991 Theoretical Computer Science
1,551 Discrete Applied Mathematics
1,417 Information Processing Letters
1,354 Information and Computation
1,108 Journal of Computer and System Sciences
942 Algorithmica
693 International Journal of Foundations of Computer Science
641 Discrete Mathematics
549 Theory of Computing Systems
515 Journal of Combinatorial Optimization
463 Annals of Pure and Applied Logic
424 MSCS. Mathematical Structures in Computer Science
416 Acta Informatica
385 Information Sciences
341 Journal of Symbolic Computation
339 Artificial Intelligence
309 European Journal of Operational Research
309 Quantum Information Processing
291 Journal of Discrete Algorithms
287 Formal Aspects of Computing
249 Journal of Automated Reasoning
237 European Journal of Combinatorics
236 International Journal of Computer Mathematics
234 RAIRO. Theoretical Informatics and Applications
228 International Journal of Theoretical Physics
225 Distributed Computing
225 Logical Methods in Computer Science
219 Annals of Mathematics and Artificial Intelligence
215 Applied Mathematics and Computation
215 The Journal of Logic and Algebraic Programming
214 Journal of Logical and Algebraic Methods in Programming
198 The Journal of Symbolic Logic
192 Computational Geometry
180 SIAM Journal on Computing
178 Fuzzy Sets and Systems
175 Journal of Pure and Applied Algebra
175 International Journal of Algebra and Computation
167 Linear Algebra and its Applications
166 Computers & Operations Research
164 Formal Methods in System Design
156 Advances in Applied Mathematics
156 Computational Complexity
155 RAIRO. Informatique Théorique et Applications
154 Natural Computing
153 Mathematical Systems Theory
150 Journal of Combinatorial Theory. Series A
148 SIAM Journal on Discrete Mathematics
145 Journal of Complexity
144 Discrete & Computational Geometry
132 Studia Logica
128 Topology and its Applications
125 Journal of Scheduling
121 Journal of Functional Programming
120 Semigroup Forum
118 Operations Research Letters
116 Journal of Algebra
116 Discrete Optimization
111 Graphs and Combinatorics
111 Annals of Operations Research
110 Mathematical Programming. Series A. Series B
109 RAIRO. Theoretical Informatics and Applications
107 Theory and Practice of Logic Programming
101 International Journal of Approximate Reasoning
98 Computers & Mathematics with Applications
98 Transactions of the American Mathematical Society
93 Random Structures & Algorithms
93 Journal of Applied Non-Classical Logics
89 Applicable Algebra in Engineering, Communication and Computing
87 Mathematics of Computation
87 Soft Computing
87 Discrete Mathematics, Algorithms and Applications
85 Archive for Mathematical Logic
85 The Electronic Journal of Combinatorics
84 Journal of Combinatorial Theory. Series B
82 Designs, Codes and Cryptography
79 Optimization Letters
79 Algorithms
77 Advances in Mathematics
77 Journal of Graph Theory
77 Ergodic Theory and Dynamical Systems
77 Journal of Mathematical Sciences (New York)
76 Journal of Global Optimization
76 Journal of Applied Logic
75 International Journal of Computational Geometry & Applications
73 Networks
72 Automatica
72 Combinatorics, Probability and Computing
70 Journal of Number Theory
70 Combinatorica
70 Cybernetics and Systems Analysis
70 ACM Transactions on Computational Logic
69 Order
69 Journal of Logic, Language and Information
68 The Bulletin of Symbolic Logic
67 Journal of Computational and Applied Mathematics
67 Discrete Event Dynamic Systems
67 Applied Categorical Structures
67 Mathematical Problems in Engineering
64 Journal of Computer Science and Technology
64 Machine Learning
...and 845 more Journals
all top 5

Cited in 62 Fields

29,065 Computer science (68-XX)
7,814 Combinatorics (05-XX)
6,124 Mathematical logic and foundations (03-XX)
4,195 Operations research, mathematical programming (90-XX)
1,912 Information and communication theory, circuits (94-XX)
1,885 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1,297 Number theory (11-XX)
1,135 Numerical analysis (65-XX)
1,078 Biology and other natural sciences (92-XX)
1,069 Quantum theory (81-XX)
1,044 Group theory and generalizations (20-XX)
1,041 Order, lattices, ordered algebraic structures (06-XX)
1,012 Category theory; homological algebra (18-XX)
830 Probability theory and stochastic processes (60-XX)
809 Dynamical systems and ergodic theory (37-XX)
622 General topology (54-XX)
542 Linear and multilinear algebra; matrix theory (15-XX)
518 Systems theory; control (93-XX)
482 Convex and discrete geometry (52-XX)
441 Statistics (62-XX)
373 Commutative algebra (13-XX)
367 Algebraic geometry (14-XX)
366 General algebraic systems (08-XX)
302 Associative rings and algebras (16-XX)
257 Field theory and polynomials (12-XX)
225 Statistical mechanics, structure of matter (82-XX)
212 Measure and integration (28-XX)
139 Ordinary differential equations (34-XX)
129 Operator theory (47-XX)
124 Algebraic topology (55-XX)
114 History and biography (01-XX)
110 Partial differential equations (35-XX)
107 Manifolds and cell complexes (57-XX)
106 Real functions (26-XX)
106 Functions of a complex variable (30-XX)
100 General and overarching topics; collections (00-XX)
90 Special functions (33-XX)
89 Functional analysis (46-XX)
77 Geometry (51-XX)
76 Approximations and expansions (41-XX)
72 Calculus of variations and optimal control; optimization (49-XX)
59 Difference and functional equations (39-XX)
59 Mechanics of deformable solids (74-XX)
54 Nonassociative rings and algebras (17-XX)
47 Differential geometry (53-XX)
42 Fluid mechanics (76-XX)
37 Topological groups, Lie groups (22-XX)
37 Integral transforms, operational calculus (44-XX)
33 Mechanics of particles and systems (70-XX)
32 Global analysis, analysis on manifolds (58-XX)
31 Harmonic analysis on Euclidean spaces (42-XX)
22 Optics, electromagnetic theory (78-XX)
22 Relativity and gravitational theory (83-XX)
21 Abstract harmonic analysis (43-XX)
20 Sequences, series, summability (40-XX)
19 Several complex variables and analytic spaces (32-XX)
17 Classical thermodynamics, heat transfer (80-XX)
14 Mathematics education (97-XX)
13 Geophysics (86-XX)
12 Integral equations (45-XX)
11 Potential theory (31-XX)
10 \(K\)-theory (19-XX)

Citations by Year