Theoretical Computer ScienceAlgorithms, 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 Latest Issues 920 (2022) 919 (2022) 918 (2022) 914 (2022) 913 (2022) 912 (2022) 911 (2022) 910 (2022) 909 (2022) 908 (2022) 907 (2022) 906 (2022) 905 (2022) 904 (2022) 903 (2022) 902 (2022) 901 (2022) 900 (2022) 899 (2022) 898 (2022) 897 (2022) 896 (2021) 895 (2021) 894 (2021) 893 (2021) 892 (2021) 891 (2021) 890 (2021) 889 (2021) 888 (2021) 887 (2021) 886 (2021) 885 (2021) 884 (2021) 883 (2021) 882 (2021) 881 (2021) 880 (2021) 878-879 (2021) 877 (2021) 876 (2021) 875 (2021) 874 (2021) 873 (2021) 872 (2021) 871 (2021) 870 (2021) 869 (2021) 868 (2021) 867 (2021) 866 (2021) 865 (2021) 864 (2021) 863 (2021) 862 (2021) 861 (2021) 860 (2021) 859 (2021) 858 (2021) 857 (2021) 856 (2021) 855 (2021) 854 (2021) 853 (2021) 852 (2021) 851 (2021) 850 (2021) 849 (2021) 848 (2020) 847 (2020) 846 (2020) 845 (2020) 844 (2020) 843 (2020) 842 (2020) 841 (2020) 840 (2020) 839 (2020) 838 (2020) 837 (2020) 836 (2020) 835 (2020) 834 (2020) 833 (2020) 832 (2020) 830-831 (2020) 828-829 (2020) 826-827 (2020) 824-825 (2020) 823 (2020) 822 (2020) 821 (2020) 820 (2020) 819 (2020) 818 (2020) 817 (2020) 816 (2020) 815 (2020) 814 (2020) 813 (2020) ...and 1,159 more Volumes 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 all cited Publications top 5 cited Publications 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.03037Girard, Jean-Yves 761 1987 Quantum cryptography: public key distribution and coin tossing. Zbl 1306.81030Bennett, Charles H.; Brassard, Gilles 601 2014 Some simplified NP-complete graph problems. Zbl 0338.05120Garey, M. R.; Johnson, D. S.; Stockmeyer, L. 587 1976 A theory of timed automata. Zbl 0803.68071Alur, Rajeev; Dill, David L. 582 1994 The complexity of computing the permanent. Zbl 0415.68008Valiant, L. G. 567 1979 The polynomial-time hierarchy. Zbl 0353.02024Stockmeyer, Larry J. 338 1977 Universal coalgebra: A theory of systems. Zbl 0951.68038Rutten, J. J. M. M. 318 2000 A partial k-arboretum of graphs with bounded treewidth. Zbl 0912.68148Bodlaender, Hans L. 315 1998 Results on the propositional \(\mu\)-calculus. Zbl 0553.03007Kozen, Dexter 296 1983 Testing equivalences for processes. Zbl 0985.68518De Nicola, R.; Hennessy, M. C. B. 231 1984 LCF considered as a programming language. Zbl 0369.68006Plotkin, G. D. 204 1978 Call-by-name, call-by-value and the \(\lambda\)-calculus. Zbl 0325.68006Plotkin, G. D. 200 1975 The directed subgraph homeomorphism problem. Zbl 0419.05028Fortune, Steven; Hopcroft, John; Wyllie, James 198 1980 Conditional rewriting logic as a unified model of concurrency. Zbl 0758.68043Meseguer, José 193 1992 Random generation of combinatorial structures from a uniform distribution. Zbl 0597.68056Jerrum, Mark R.; Valiant, Leslie G.; Vazirani, Vijay V. 190 1986 Petri nets, event structures and domains. I. Zbl 0452.68067Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn 190 1981 The intractability of resolution. Zbl 0586.03010Haken, Armin 176 1985 Mobile ambients. Zbl 0954.68108Cardelli, L.; Gordon, A. D. 174 2000 Calculi for synchrony and asynchrony. Zbl 0512.68026Milner, Robin 169 1983 The algorithmic analysis of hybrid systems. Zbl 0874.68206Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H. 149 1995 Mellin transforms and asymptotics: Harmonic sums. Zbl 0869.68057Flajolet, Philippe; Gourdon, Xavier; Dumas, Philippe 145 1995 Some APX-completeness results for cubic graphs. Zbl 0939.68052Alimonti, P.; Kann, V. 140 2000 The complexity of mean payoff games on graphs. Zbl 0871.68138Zwick, Uri; Paterson, Mike 139 1996 Definability and fast quantifier elimination in algebraically closed fields. Zbl 0546.03017Heintz, Joos 139 1983 Clustering to minimize the maximum intercluster distance. Zbl 0567.62048Gonzalez, Teofilo F. 139 1985 Episturmian words and some constructions of de Luca and Rauzy. Zbl 0981.68126Droubay, X.; Justin, J.; Pirillo, G. 138 2001 A comparison of polynomial time reducibilities. Zbl 0321.68039Ladner, R. E.; Lynch, N. A.; Selman, A. L. 136 1975 Comparison of identification criteria for machine inductive inference. Zbl 0524.03025Case, John; Smith, Carl 136 1983 Orderings for term-rewriting systems. Zbl 0525.68054Dershowitz, Nachum 136 1982 NP is as easy as detecting unique solutions. Zbl 0621.68030Valiant, L. G.; Vazirani, V. V. 134 1986 A hierarchy of polynomial time lattice basis reduction algorithms. Zbl 0642.10030Schnorr, C. P. 133 1987 Fixed-parameter tractability and completeness II: On completeness for W[1]. Zbl 0873.68059Downey, Rod G.; Fellows, Michael R. 130 1995 Well-structured transition systems everywhere! Zbl 0973.68170Finkel, A.; Schnoebelen, P. 128 2001 Fundamental properties of infinite trees. Zbl 0521.68013Courcelle, Bruno 128 1983 On the analysis of the \((1+1)\) evolutionary algorithm. Zbl 1002.68037Droste, Stefan; Jansen, Thomas; Wegener, Ingo 124 2002 Algebra of communicating processes with abstraction. Zbl 0579.68016Bergstra, J. A.; Klop, J. W. 123 1985 Algebraic languages and polyominoes enumeration. Zbl 0985.68516Delest, Marie-Pierre; Viennot, Gérard 122 1984 The chemical abstract machine. Zbl 0747.68013Berry, Gérard; Boudol, Gérard 122 1992 On the parameterized complexity of multiple-interval graph problems. Zbl 1161.68038Fellows, Michael R.; Hermelin, Danny; Rosamond, Frances; Vialette, Stéphane 118 2009 The state complexities of some basic operations on regular languages. Zbl 0795.68112Yu, Sheng; Zhuang, Qingyu; Salomaa, Kai 115 1994 The ring of \(k\)-regular sequences. Zbl 0774.68072Allouche, Jean-Paul; Shallit, Jeffrey 113 1992 Termination of term rewriting using dependency pairs. Zbl 0938.68051Arts, T.; Giesl, J. 113 2000 The system \({\mathcal F}\) of variable types, fifteen years later. Zbl 0623.03013Girard, Jean-Yves 112 1986 An annotated bibliography on guaranteed graph searching. Zbl 1160.68007Fomin, Fedor V.; Thilikos, Dimitrios M. 106 2008 Sturmian words: structure, combinatorics, and their arithmetics. Zbl 0911.68098de Luca, Aldo 102 1997 Theory of cellular automata: a survey. Zbl 1080.68070Kari, Jarkko 102 2005 Quantum automata and quantum grammars. Zbl 0939.68037Moore, Cristopher; Crutchfield, J. P. 102 2000 Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056Goguen, Joseph A.; Meseguer, José 101 1992 BioAmbients: an abstraction for biological compartments. Zbl 1069.68569Regev, Aviv; Panina, Ekaterina M.; Silverman, William; Cardelli, Luca; Shapiro, Ehud 100 2004 Fully abstract models of typed \(\lambda\)-calculi. Zbl 0386.03006Milner, Robin 100 1977 Some combinatorial properties of Sturmian words. Zbl 0874.68245de Luca, Aldo; Mignosi, Filippo 99 1994 Complete sets and the polynomial-time hierarchy. Zbl 0366.02031Wrathall, Celia 99 1977 The Euclidean traveling salesman problem is NP-complete. Zbl 0386.90057Papadimitriou, Christos H. 99 1977 Searching and pebbling. Zbl 0616.68064Kirousis, Lefteris M.; Papadimitriou, Christos H. 99 1986 Infinite games on finitely coloured graphs with applications to automata on infinite trees. Zbl 0915.68120Zielonka, Wiesław 96 1998 Tissue P systems. Zbl 1045.68063Martín-Vide, Carlos; Păun, Gheorghe; Pazos, Juan; Rodríguez-Patón, Alfonso 94 2003 Finite automata and unary languages. Zbl 0638.68096Chrobak, Marek 93 1986 The covering and boundedness problems for vector addition systems. Zbl 0368.68054Rackoff, Charles 92 1978 Ant colony optimization theory: a survey. Zbl 1154.90626Dorigo, Marco; Blum, Christian 90 2005 The existence of refinement mappings. Zbl 0728.68083Abadi, Martín; Lamport, Leslie 89 1991 Formal molecular biology. Zbl 1071.68041Danos, Vincent; Laneve, Cosimo 88 2004 Remarks on blind and partially blind one-way multicounter machines. Zbl 0389.68030Greibach, S. A. 88 1978 The complexity of partial derivatives. Zbl 0498.68028Baur, Walter; Strassen, Volker 88 1983 An introduction to commutative and noncommutative Gröbner bases. Zbl 0824.68056Mora, Teo 88 1994 Complexity measures and decision tree complexity: a survey. Zbl 1061.68058Buhrman, Harry; de Wolf, Ronald 86 2002 Improved upper bounds for vertex cover. Zbl 1205.05217Chen, Jianer; Kanj, Iyad A.; Xia, Ge 86 2010 On reduction-based process semantics. Zbl 0871.68122Honda, Kohei; Yoshida, Nobuko 82 1995 Multi-agent scheduling on a single machine to minimize total weighted number of tardy jobs. Zbl 1100.68007Cheng, T. C. E.; Ng, C. T.; Yuan, J. J. 81 2006 The theory of ends, pushdown automata, and second-order logic. Zbl 0605.03005Muller, David E.; Schupp, Paul E. 81 1985 A computational model for metric spaces. Zbl 1011.54026Edalat, Abbas; Heckmann, Reinhold 80 1998 Shortest paths without a map. Zbl 0733.68065Papadimitriou, 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.68189Habib, M.; McConnell, R.; Paul, C.; Viennot, L. 80 2000 Terminal coalgebras in well-founded set theory. Zbl 0779.18004Barr, Michael 80 1993 Partial derivatives of regular expressions and finite automaton constructions. Zbl 0872.68120Antimirov, Valentin 79 1996 Higher-level synchronising devices in Meije-SCCS. Zbl 0598.68027De Simone, Robert 79 1985 \(\beta\)-expansions and symbolic dynamics. Zbl 0682.68081Blanchard, F. 79 1989 On the algebraic structure of combinatorial problems. Zbl 0915.68074Jeavons, Peter 78 1998 Applications of graphical condensation for enumerating matchings and tilings. Zbl 1043.05099Kuo, 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.68049Mossé, Brigitte 77 1992 Monadic second-order evaluations on tree-decomposable graphs. Zbl 0789.68083Courcelle, B.; Mosbah, M. 77 1993 A calculus for the random generation of labelled combinatorial structures. Zbl 0799.68143Flajolet, Philippe; Zimmerman, Paul; van Cutsem, Bernard 75 1994 Complete problems for deterministic polynomial time. Zbl 0352.68068Jones, Neil D.; Laaser, William T. 74 1977 Computational interpretations of linear logic. Zbl 0791.03003Abramsky, Samson 74 1993 On the distributional complexity of disjointness. Zbl 0787.68055Razborov, A. A. 73 1992 Gathering of asynchronous robots with limited visibility. Zbl 1108.68120Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Widmayer, Peter 72 2005 Restriction categories. I: Categories of partial maps. Zbl 0988.18003Cockett, J. R. B.; Lack, Stephen 72 2002 On the complexity of reconfiguration problems. Zbl 1207.68166Ito, 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.68020Ehrhard, Thomas; Regnier, Laurent 71 2003 Kernel bounds for disjoint cycles and disjoint paths. Zbl 1221.68099Bodlaender, Hans L.; Thomassé, Stéphan; Yeo, Anders 71 2011 Computational complexity of real functions. Zbl 0498.03047Ko, Ker-I.; Friedman, Harvey 71 1982 Weighted automata and weighted logics. Zbl 1118.68076Droste, Manfred; Gastin, Paul 71 2007 Local majorities, coalitions and monopolies in graphs: A review. Zbl 0997.68088Peleg, David 70 2002 Minimizing the size of an identifying or locating-dominating code in a graph is NP-hard. Zbl 1044.68066Charon, Irène; Hudry, Olivier; Lobstein, Antoine 70 2003 Metrics for labelled Markov processes. Zbl 1068.68093Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 70 2004 Parameterized graph separation problems. Zbl 1086.68104Marx, Dániel 70 2006 Maude: specification and programming in rewriting logic. Zbl 1001.68059Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N. 69 2002 Sturmian words, Lyndon words and trees. Zbl 0901.68155Berstel, Jean; de Luca, Aldo 69 1997 A unification algorithm for typed \(\overline\lambda\)-calculus. Zbl 0337.68027Huet, G. P. 68 1975 The temporal semantics of concurrent programs. Zbl 0441.68010Pnueli, Amir 68 1981 Systèmes codés. (Coded systems). Zbl 0601.68056Blanchard, F.; Hansel, G. 68 1986 Randomness and initial segment complexity for measures. Zbl 07450577Nies, André; Stephan, Frank 1 2022 Computing subset transversals in \(H\)-free graphs. Zbl 07458786Brettell, Nick; Johnson, Matthew; Paesani, Giacomo; Paulusma, Daniël 1 2022 Constructing light spanners deterministically in near-linear time. Zbl 07477126Alstrup, Stephen; Dahlgaard, Søren; Filtser, Arnold; Stöckel, Morten; Wulff-Nilsen, Christian 1 2022 On cherry-picking and network containment. Zbl 1478.92134Janssen, Remie; Murakami, Yukihiro 6 2021 Improved lower bounds for the radio number of trees. Zbl 1481.05137Liu, Daphne Der-Fen; Saha, Laxman; Das, Satyabrata 4 2021 Fault diagnosability of bicube networks under the PMC diagnostic model. Zbl 1477.68039Liu, Jiafei; Zhou, Shuming; Gu, Zhendong; Zhou, Qianru; Wang, Dajin 4 2021 Equitable list tree-coloring of bounded treewidth graphs. Zbl 1481.05049Li, Yan; Zhang, Xin 4 2021 Structure connectivity and substructure connectivity of wheel networks. Zbl 1464.68284Feng, Wei; Wang, Shiying 3 2021 Complexity of modification problems for best match graphs. Zbl 07331472Schaller, David; Stadler, Peter F.; Hellmuth, Marc 3 2021 Multistage graph problems on a global budget. Zbl 07346934Heeger, Klaus; Himmel, Anne-Sophie; Kammer, Frank; Niedermeier, Rolf; Renken, Malte; Sajenko, Andrej 3 2021 Antipodal number of full \(m\)-ary trees. Zbl 07391554Basunia, Alamgir Rahaman; Das, Satyabrata; Saha, Laxman; Tiwary, Kalishankar 2 2021 Reallocating multiple facilities on the line. Zbl 1457.90089Fotakis, Dimitris; Kavouras, Loukas; Kostopanagiotis, Panagiotis; Lazos, Philip; Skoulakis, Stratis; Zarifis, Nikos 2 2021 Ostrowski-automatic sequences: theory and applications. Zbl 1467.68146Baranwal, Aseem; Schaeffer, Luke; Shallit, Jeffrey 2 2021 Note on \(R_g\)-conditional diagnosability of hypercube. Zbl 1467.68016Wang, 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.68165Engelfriet, Joost; Hoogeboom, Hendrik Jan; Samwel, Bart 2 2021 Exploration of dynamic tori by multiple agents. Zbl 1464.68402Gotoh, Tsuyoshi; Sudo, Yuichi; Ooshita, Fukuhito; Kakugawa, Hirotsugu; Masuzawa, Toshimitsu 2 2021 Cops and robbers on oriented toroidal grids. Zbl 1480.91057Gonzá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.68551Alhakim, Abbas; Sala, Evan; Sawada, Joe 2 2021 How to compute digraph width measures on directed co-graphs. Zbl 07300963Gurski, Frank; Komander, Dominique; Rehs, Carolin 2 2021 A new quantum random number generator certified by value indefiniteness. Zbl 07318705Agüero Trejo, José Manuel; Calude, Cristian S. 2 2021 Disposability in square-free words. Zbl 07318715Harju, Tero 2 2021 Maximum Nash welfare and other stories about EFX. Zbl 07325909Amanatidis, Georgios; Birmpas, Georgios; Filos-Ratsikas, Aris; Hollender, Alexandros; Voudouris, Alexandros A. 2 2021 Minimum power partial multi-cover on a line. Zbl 07331462Liang, Wei; Li, Menghong; Zhang, Zhao; Huang, Xiaohui 2 2021 The undirected repetition threshold and undirected pattern avoidance. Zbl 07333006Currie, James D.; Mol, Lucas 2 2021 Query-competitive sorting with uncertainty. Zbl 1462.68031Halldórsson, Magnús M.; de Lima, Murilo Santos 2 2021 Theoretical aspects of equitable partition of networks into sparse modules. Zbl 1482.05322Zhang, Huaqiang; Zhang, Xin 2 2021 Hybrid fault-tolerant prescribed hyper-Hamiltonian laceability of hypercubes. Zbl 07401225Yang, Yuxing; Li, Jing 1 2021 On the proper orientation number of chordal graphs. Zbl 07401226Araujo, 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 07412736Yuan, Hanchun; Ke, Yuping; Cao, Yixin 1 2021 Subcomputable Hausdorff function dimension. Zbl 07412741Sureson, Claude 1 2021 Quasi-universal \(k\)-regular sequences. Zbl 07412742Honkala, Juha 1 2021 Largest triangle inside a terrain. Zbl 1454.68155Das, Arun Kumar; Das, Sandip; Mukherjee, Joydeep 1 2021 Local distance constrained bribery in voting. Zbl 1467.91042Dey, Palash 1 2021 Revocable identity-based encryption with bounded decryption key exposure resistance: lattice-based construction and more. Zbl 1467.94041Takayasu, Atsushi; Watanabe, Yohei 1 2021 Fault-tolerant complete visibility for asynchronous robots with lights under one-axis agreement. Zbl 1464.68405Poudel, Pavan; Aljohani, Aisha; Sharma, Gokarna 1 2021 A hierarchy of local decision. Zbl 1476.68100Feuilloley, Laurent; Fraigniaud, Pierre; Hirvonen, Juho 1 2021 Constructing dual-CISTs of folded divide-and-swap cubes. Zbl 1477.68211Chang, 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.68242Niu, Bei; Li, Bi; Zhang, Xin 1 2021 Computational power of dynamic threshold neural P systems for generating string languages. Zbl 1477.68109Huang, Yue; Yi, Wenmei; Peng, Hong; Wang, Jun; Luo, Xiaohui; Yang, Qian 1 2021 A continuous strategy for collisionless gathering. Zbl 1477.68315Li, 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.68214Covella, Barbara; Frati, Fabrizio; Patrignani, Maurizio 1 2021 Maximize a monotone function with a generic submodularity ratio. Zbl 1477.68537Gong, 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.68540Zhang, Dongmei; Cheng, Yukun; Li, Min; Wang, Yishui; Xu, Dachuan 1 2021 Parameterized dictionary matching and recognition with one gap. Zbl 1477.68557Shalom, B. Riva 1 2021 Experimental evaluation of algorithms for computing quasiperiods. Zbl 1477.68553Czajka, Patryk; Radoszewski, Jakub 1 2021 On the price of stability of some simple graph-based hedonic games. Zbl 1480.91058Kaklamanis, Christos; Kanellopoulos, Panagiotis; Papaioannou, Konstantinos; Patouchas, Dimitris 1 2021 Cryptographic reverse firewalls for interactive proof systems. Zbl 07300960Ganesh, Chaya; Magri, Bernardo; Venturi, Daniele 1 2021 The sum of digits functions of the Zeckendorf and the base phi expansions. Zbl 07310531Dekking, F. Michel 1 2021 On infinite prefix normal words. Zbl 07310534Cicalese, Ferdinando; Lipták, Zsuzsanna; Rossi, Massimiliano 1 2021 Optimisation of electrical network configuration: complexity and algorithms for ring topologies. Zbl 07310536Barth, 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 07373868Goldreich, Oded; Gur, Tom 1 2021 Modified Schelling games. Zbl 07373870Kanellopoulos, 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 07373873Dosa, Gyorgy; Kellerer, Hans; Olaj, Tomas; Tuza, Zsolt 1 2021 A categorial approach to reaction systems: first steps. Zbl 07380854Kreowski, Hans-Jörg; Lye, Aaron 1 2021 Reducing the ambiguity of Parikh matrices. Zbl 07318685Dick, 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 07318707Bonizzoni, Paola; De Felice, Clelia; Zaccagnino, Rocco; Zizza, Rosalba 1 2021 Spiking neural P systems with target indications. Zbl 07318722Wu, Tingfang; Zhang, Luping; Pan, Linqiang 1 2021 Shortest reconfiguration of sliding tokens on subclasses of interval graphs. Zbl 07325908Yamada, Takeshi; Uehara, Ryuhei 1 2021 New results for the \(k\)-secretary problem. Zbl 07325911Albers, Susanne; Ladewig, Leon 1 2021 \(k\)-critical graphs in \(P_5\)-free graphs. Zbl 07331459Cameron, Kathie; Goedgebeur, Jan; Huang, Shenwei; Shi, Yongtang 1 2021 Binary intersection formalized. Zbl 1477.68152Holub, Štěpán; Starosta, Štěpán 1 2021 Primitive sets of words. Zbl 07333003Castiglione, Giuseppa; Fici, Gabriele; Restivo, Antonio 1 2021 Complexity and approximability of the happy set problem. Zbl 1477.68195Asahiro, Yuichi; Eto, Hiroshi; Hanaka, Tesshu; Lin, Guohui; Miyano, Eiji; Terabaru, Ippei 1 2021 Steiner trees for hereditary graph classes: a treewidth perspective. Zbl 1477.68203Bodlaender, 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 07346937Frosini, Andrea; Picouleau, Christophe; Rinaldi, Simone 1 2021 On the hardness of covering-interdiction problems. Zbl 07356469Fröhlich, Nicolas; Ruzika, Stefan 1 2021 Simultaneous FPQ-ordering and hybrid planarity testing. Zbl 07361609Liotta, Giuseppe; Rutter, Ignaz; Tappini, Alessandra 1 2021 Vertex-pancyclicity of the \((n,k)\)-bubble-sort networks. Zbl 07362192Wang, Xin; Ma, Chaoqun; Guo, Jia 1 2021 The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable. Zbl 07429274Graça, Daniel S.; Zhong, Ning 1 2021 A family of formulas with reversal of arbitrarily high avoidability index. Zbl 07429297Ochem, Pascal 1 2021 Temporal graph classes: a view through temporal separators. Zbl 1436.68234Fluschnik, Till; Molter, Hendrik; Niedermeier, Rolf; Renken, Malte; Zschoche, Philipp 11 2020 Efficient card-based zero-knowledge proof for Sudoku. Zbl 1453.94113Sasaki, Tatsuya; Miyahara, Daiki; Mizuki, Takaaki; Sone, Hideaki 6 2020 Practical card-based implementations of Yao’s millionaire protocol. Zbl 1436.94084Miyahara, Daiki; Hayashi, Yu-ichi; Mizuki, Takaaki; Sone, Hideaki 6 2020 Beyond level planarity: cyclic, torus, and simultaneous level planarity. Zbl 1436.68377Angelini, Patrizio; Da Lozzo, Giordano; Di Battista, Giuseppe; Frati, Fabrizio; Patrignani, Maurizio; Rutter, Ignaz 6 2020 Almost envy-freeness in group resource allocation. Zbl 1458.91109Kyropoulou, Maria; Suksompong, Warut; Voudouris, Alexandros A. 5 2020 (Strong) conflict-free connectivity: algorithm and complexity. Zbl 1436.68243Ji, Meng; Li, Xueliang; Zhu, Xiaoyu 5 2020 Collaborative delivery with energy-constrained mobile robots. Zbl 1437.68034Bä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.91107Amanatidis, Georgios; Markakis, Evangelos; Ntokos, Apostolos 4 2020 Equitable improper choosability of graphs. Zbl 1468.05073Drgas-Burchardt, Ewa; Furmańczyk, Hanna; Sidorowicz, Elżbieta 4 2020 Card-based protocols for secure ranking computations. Zbl 1455.68066Takashima, 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.68408Doerr, Benjamin; Doerr, Carola; Yang, Jing 4 2020 Two-stage combinatorial optimization problems under risk. Zbl 1436.90122Goerigk, Marc; Kasperski, Adam; Zieliński, Paweł 4 2020 Algorithmic aspects of upper paired-domination in graphs. Zbl 1436.68242Henning, Michael A.; Pradhan, D. 4 2020 A game-based approximate verification of deep neural networks with provable guarantees. Zbl 1436.68199Wu, Min; Wicker, Matthew; Ruan, Wenjie; Huang, Xiaowei; Kwiatkowska, Marta 4 2020 Morphic words, Beatty sequences and integer images of the Fibonacci language. Zbl 1447.68012Dekking, Michel 4 2020 \(R_g\) conditional diagnosability: a novel generalized measure of system-level diagnosis. Zbl 1435.68050Guo, 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.68112Galby, Esther; Munaro, Andrea; Ries, Bernard 4 2020 Subset feedback vertex set on graphs of bounded independent set size. Zbl 1435.68244Papadopoulos, Charis; Tzimas, Spyridon 4 2020 Fault-tolerant metric dimension of circulant graphs \(C_n(1,2,3)\). Zbl 1436.05054Basak, Mithun; Saha, Laxman; Das, Gour Kanta; Tiwary, Kalishankar 4 2020 Calibration scheduling with time slot cost. Zbl 1436.90058Wang, Kai 4 2020 Structure connectivity and substructure connectivity of the crossed cube. Zbl 1442.68182Pan, Zhuowen; Cheng, Dongqin 4 2020 Runtime analysis of RLS and \((1 + 1)\) EA for the dynamic weighted vertex cover problem. Zbl 1443.68229Pourhassan, Mojgan; Roostapour, Vahid; Neumann, Frank 4 2020 On fan-crossing graphs. Zbl 1461.68145Brandenburg, Franz J. 3 2020 Connectivity and super connectivity of the divide-and-swap cube. Zbl 1461.68163Ning, Wantao 3 2020 Online presentations of finitely generated structures. Zbl 1464.68443Bazhenov, Nikolay; Kalimullin, Iskander; Melnikov, Alexander; Ng, Keng Meng 3 2020 Singular value decomposition assisted multicarrier continuous-variable quantum key distribution. Zbl 1442.81022Gyongyosi, Laszlo 3 2020 A core model for choreographic programming. Zbl 1436.68078Cruz-Filipe, Luís; Montesi, Fabrizio 3 2020 Probabilistic divide & congruence: branching bisimilarity. Zbl 1436.68209Castiglioni, Valentina; Tini, Simone 3 2020 Temporal matching. Zbl 1436.68220Baste, Julien; Bui-Xuan, Binh-Minh; Roux, Antoine 3 2020 Minsum \(k\)-sink problem on path networks. Zbl 1442.90024Benkoczi, Robert; Bhattacharya, Binay; Higashikawa, Yuya; Kameda, Tsunehiko; Katoh, Naoki 3 2020 ...and 629 more Documents all cited Publications top 5 cited Publications 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