Theoretical Computer ScienceAlgorithms, Automata, Complexity and Games Short Title: Theor. Comput. Sci. Publisher: Elsevier, Amsterdam ISSN: 0304-3975 Online: https://www.sciencedirect.com/journal/theoretical-computer-science/issues Comments: Indexed cover-to-cover Documents Indexed: 14,259 Publications (since 1975) References Indexed: 13,643 Publications with 323,789 References. all top 5 Latest Issues 962 (2023) 961 (2023) 960 (2023) 959 (2023) 958 (2023) 957 (2023) 956 (2023) 955 (2023) 954 (2023) 953 (2023) 952 (2023) 951 (2023) 950 (2023) 949 (2023) 948 (2023) 947 (2023) 946 (2023) 945 (2023) 944 (2023) 943 (2023) 942 (2023) 941 (2023) 940 (2023) 939 (2023) 938 (2022) 937 (2022) 936 (2022) 935 (2022) 934 (2022) 933 (2022) 932 (2022) 931 (2022) 930 (2022) 929 (2022) 928 (2022) 927 (2022) 926 (2022) 925 (2022) 924 (2022) 923 (2022) 922 (2022) 921 (2022) 920 (2022) 919 (2022) 918 (2022) 917 (2022) 916 (2022) 915 (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) ...and 1,204 more Volumes all top 5 Authors 71 Rozenberg, Grzegorz 65 Ibarra, Oscar H. 47 Rytter, Wojciech 47 Salomaa, Arto Kustaa 44 Jain, Sanjay 44 Restivo, Antonio 42 Salomaa, Kai T. 42 Spirakis, Paul G. 38 Păun, Gheorghe 37 Karhumaki, Juhani 37 Stephan, Frank 37 Wang, Jianxin 36 Ehrenfeucht, Andrzej 35 Crochemore, Maxime 34 Harju, Tero 34 Wu, Weili 33 Chen, Jian-er 32 Iliopoulos, Costas S. 31 Pelc, Andrzej 30 Ésik, Zoltán 30 Goles Chacc, Eric 30 Kari, Lila 30 Paulusma, Daniël 30 Peleg, David 29 de Luca, Aldo 29 Okhotin, Alexander 28 Kranakis, Evangelos Konstantinou 28 Otto, Friedrich 28 Shallit, Jeffrey O. 28 Yuan, Jinjiang 27 Susilo, Willy 26 Hromkovič, Juraj 26 Montanari, Ugo G. 26 Reutenauer, Christophe 26 Yu, Sheng 25 Epstein, Leah 25 Fernau, Henning 25 Holzer, Markus 25 Navarro, Gonzalo 25 Saurabh, Saket 24 Bergstra, Jan A. 24 Mauri, Giancarlo 24 Zhou, Shuming 24 Zhu, Binhai 23 Amir, Amihood 23 Blanchet-Sadri, Francine 23 Courcelle, Bruno 23 Duan, Zhenhua 23 Golovach, Petr A. 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 Honkala, Juha 22 Landau, Gad M. 22 Park, Kunsoo 22 Pérez-Jiménez, Mario J. 22 Zeugmann, Thomas 21 Calude, Cristian S. 21 Formenti, Enrico 21 Han, Yo-Sub 21 Kutrib, Martin 21 Liotta, Giuseppe 21 Petre, Ion 21 Santoro, Nicola 21 Vágvölgyi, Sándor 20 Choffrut, Christian 20 Czyzowicz, Jurek 20 Flocchini, Paola 20 Halldórsson, Magnús Mar 20 Ito, Takehiro 20 Ko, Ker-I 20 Li, Deying 20 Pan, Linqiang 20 Pelantová, Edita 20 Tian, Cong 20 Wegener, Ingo 20 Xu, Yinfeng 19 Cheng, Eddie 19 Dezani-Ciancaglini, Mariangiola 19 Doerr, Benjamin 19 Droste, Manfred 19 Feng, Qilong 19 Gargano, Luisa 19 Li, Minming 19 Meseguer Guaita, José 19 Monien, Burkhard 19 Monnot, Jérôme 19 Palamidessi, Catuscia 19 Paschos, Vangelis Th. 19 Perrin, Dominique 19 Smyth, William F. 19 Vaccaro, Ugo 19 Zaks, Shmuel 19 Zhang, Zhao 18 Bodlaender, Hans L. ...and 14,392 more Authors all top 5 Fields 12,538 Computer science (68-XX) 1,803 Combinatorics (05-XX) 1,495 Mathematical logic and foundations (03-XX) 832 Operations research, mathematical programming (90-XX) 655 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 548 Information and communication theory, circuits (94-XX) 415 General and overarching topics; collections (00-XX) 343 Biology and other natural sciences (92-XX) 258 Number theory (11-XX) 243 Group theory and generalizations (20-XX) 205 Category theory; homological algebra (18-XX) 201 Order, lattices, ordered algebraic structures (06-XX) 169 Numerical analysis (65-XX) 133 Dynamical systems and ergodic theory (37-XX) 123 Quantum theory (81-XX) 118 Probability theory and stochastic processes (60-XX) 100 General algebraic systems (08-XX) 85 Convex and discrete geometry (52-XX) 81 General topology (54-XX) 74 Statistics (62-XX) 66 Systems theory; control (93-XX) 62 Linear and multilinear algebra; matrix theory (15-XX) 57 Field theory and polynomials (12-XX) 47 Commutative algebra (13-XX) 42 History and biography (01-XX) 41 Associative rings and algebras (16-XX) 32 Algebraic geometry (14-XX) 29 Measure and integration (28-XX) 20 Real functions (26-XX) 20 Ordinary differential equations (34-XX) 15 Statistical mechanics, structure of matter (82-XX) 11 Functions of a complex variable (30-XX) 9 Special functions (33-XX) 9 Algebraic topology (55-XX) 9 Mechanics of particles and systems (70-XX) 8 Nonassociative rings and algebras (17-XX) 8 Approximations and expansions (41-XX) 7 Geometry (51-XX) 6 Calculus of variations and optimal control; optimization (49-XX) 6 Relativity and gravitational theory (83-XX) 5 Integral transforms, operational calculus (44-XX) 5 Functional analysis (46-XX) 5 Manifolds and cell complexes (57-XX) 4 Difference and functional equations (39-XX) 4 Harmonic analysis on Euclidean spaces (42-XX) 3 Partial differential equations (35-XX) 3 Sequences, series, summability (40-XX) 3 Classical thermodynamics, heat transfer (80-XX) 2 Operator theory (47-XX) 2 Differential geometry (53-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Geophysics (86-XX) 1 Topological groups, Lie groups (22-XX) 1 Mechanics of deformable solids (74-XX) 1 Fluid mechanics (76-XX) 1 Astronomy and astrophysics (85-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 10,525 Publications have been cited 94,902 times in 50,378 Documents Cited by ▼ Year ▼ Quantum cryptography: public key distribution and coin tossing. Zbl 1306.81030Bennett, Charles H.; Brassard, Gilles 830 2014 Linear logic. Zbl 0625.03037Girard, Jean-Yves 827 1987 A theory of timed automata. Zbl 0803.68071Alur, Rajeev; Dill, David L. 652 1994 Some simplified NP-complete graph problems. Zbl 0338.05120Garey, M. R.; Johnson, D. S.; Stockmeyer, L. 628 1976 The complexity of computing the permanent. Zbl 0415.68008Valiant, L. G. 617 1979 Universal coalgebra: A theory of systems. Zbl 0951.68038Rutten, J. J. M. M. 368 2000 A partial k-arboretum of graphs with bounded treewidth. Zbl 0912.68148Bodlaender, Hans L. 352 1998 The polynomial-time hierarchy. Zbl 0353.02024Stockmeyer, Larry J. 348 1977 Results on the propositional \(\mu\)-calculus. Zbl 0553.03007Kozen, Dexter 328 1983 Testing equivalences for processes. Zbl 0985.68518De Nicola, R.; Hennessy, M. C. B. 248 1984 Conditional rewriting logic as a unified model of concurrency. Zbl 0758.68043Meseguer, José 224 1992 Call-by-name, call-by-value and the \(\lambda\)-calculus. Zbl 0325.68006Plotkin, G. D. 218 1975 Petri nets, event structures and domains. I. Zbl 0452.68067Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn 217 1981 Random generation of combinatorial structures from a uniform distribution. Zbl 0597.68056Jerrum, Mark R.; Valiant, Leslie G.; Vazirani, Vijay V. 216 1986 The directed subgraph homeomorphism problem. Zbl 0419.05028Fortune, Steven; Hopcroft, John; Wyllie, James 213 1980 LCF considered as a programming language. Zbl 0369.68006Plotkin, G. D. 211 1978 The intractability of resolution. Zbl 0586.03010Haken, Armin 199 1985 Mobile ambients. Zbl 0954.68108Cardelli, L.; Gordon, A. D. 185 2000 Calculi for synchrony and asynchrony. Zbl 0512.68026Milner, Robin 177 1983 The algorithmic analysis of hybrid systems. Zbl 0874.68206Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H. 166 1995 Clustering to minimize the maximum intercluster distance. Zbl 0567.62048Gonzalez, Teofilo F. 165 1985 Orderings for term-rewriting systems. Zbl 0525.68054Dershowitz, Nachum 161 1982 The complexity of mean payoff games on graphs. Zbl 0871.68138Zwick, Uri; Paterson, Mike 161 1996 NP is as easy as detecting unique solutions. Zbl 0621.68030Valiant, L. G.; Vazirani, V. V. 158 1986 Some APX-completeness results for cubic graphs. Zbl 0939.68052Alimonti, P.; Kann, V. 158 2000 Mellin transforms and asymptotics: Harmonic sums. Zbl 0869.68057Flajolet, Philippe; Gourdon, Xavier; Dumas, Philippe 158 1995 Definability and fast quantifier elimination in algebraically closed fields. Zbl 0546.03017Heintz, Joos 151 1983 A hierarchy of polynomial time lattice basis reduction algorithms. Zbl 0642.10030Schnorr, C. P. 147 1987 Fixed-parameter tractability and completeness II: On completeness for W[1]. Zbl 0873.68059Downey, Rod G.; Fellows, Michael R. 146 1995 Episturmian words and some constructions of de Luca and Rauzy. Zbl 0981.68126Droubay, X.; Justin, J.; Pirillo, G. 146 2001 On the analysis of the \((1+1)\) evolutionary algorithm. Zbl 1002.68037Droste, Stefan; Jansen, Thomas; Wegener, Ingo 143 2002 A comparison of polynomial time reducibilities. Zbl 0321.68039Ladner, R. E.; Lynch, N. A.; Selman, A. L. 142 1975 Well-structured transition systems everywhere! Zbl 0973.68170Finkel, A.; Schnoebelen, P. 142 2001 Fundamental properties of infinite trees. Zbl 0521.68013Courcelle, Bruno 141 1983 Comparison of identification criteria for machine inductive inference. Zbl 0524.03025Case, John; Smith, Carl 138 1983 Algebra of communicating processes with abstraction. Zbl 0579.68016Bergstra, J. A.; Klop, J. W. 136 1985 On the parameterized complexity of multiple-interval graph problems. Zbl 1161.68038Fellows, Michael R.; Hermelin, Danny; Rosamond, Frances; Vialette, Stéphane 135 2009 The chemical abstract machine. Zbl 0747.68013Berry, Gérard; Boudol, Gérard 130 1992 Termination of term rewriting using dependency pairs. Zbl 0938.68051Arts, T.; Giesl, J. 130 2000 Algebraic languages and polyominoes enumeration. Zbl 0985.68516Delest, Marie-Pierre; Viennot, Gérard 126 1984 The state complexities of some basic operations on regular languages. Zbl 0795.68112Yu, Sheng; Zhuang, Qingyu; Salomaa, Kai 126 1994 The ring of \(k\)-regular sequences. Zbl 0774.68072Allouche, Jean-Paul; Shallit, Jeffrey 122 1992 The system \({\mathcal F}\) of variable types, fifteen years later. Zbl 0623.03013Girard, Jean-Yves 117 1986 An annotated bibliography on guaranteed graph searching. Zbl 1160.68007Fomin, Fedor V.; Thilikos, Dimitrios M. 117 2008 Infinite games on finitely coloured graphs with applications to automata on infinite trees. Zbl 0915.68120Zielonka, Wiesław 116 1998 The covering and boundedness problems for vector addition systems. Zbl 0368.68054Rackoff, Charles 110 1978 Theory of cellular automata: a survey. Zbl 1080.68070Kari, Jarkko 110 2005 Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056Goguen, Joseph A.; Meseguer, José 109 1992 The Euclidean traveling salesman problem is NP-complete. Zbl 0386.90057Papadimitriou, Christos H. 109 1977 Complexity measures and decision tree complexity: a survey. Zbl 1061.68058Buhrman, Harry; de Wolf, Ronald 107 2002 Improved upper bounds for vertex cover. Zbl 1205.05217Chen, Jianer; Kanj, Iyad A.; Xia, Ge 106 2010 Quantum automata and quantum grammars. Zbl 0939.68037Moore, Cristopher; Crutchfield, J. P. 106 2000 Sturmian words: structure, combinatorics, and their arithmetics. Zbl 0911.68098de Luca, Aldo 106 1997 Searching and pebbling. Zbl 0616.68064Kirousis, Lefteris M.; Papadimitriou, Christos H. 105 1986 Finite automata and unary languages. Zbl 0638.68096Chrobak, Marek 105 1986 Fully abstract models of typed \(\lambda\)-calculi. Zbl 0386.03006Milner, Robin 105 1977 Tissue P systems. Zbl 1045.68063Martín-Vide, Carlos; Păun, Gheorghe; Pazos, Juan; Rodríguez-Patón, Alfonso 103 2003 Complete sets and the polynomial-time hierarchy. Zbl 0366.02031Wrathall, Celia 103 1977 BioAmbients: an abstraction for biological compartments. Zbl 1069.68569Regev, Aviv; Panina, Ekaterina M.; Silverman, William; Cardelli, Luca; Shapiro, Ehud 103 2004 Ant colony optimization theory: a survey. Zbl 1154.90626Dorigo, Marco; Blum, Christian 103 2005 Some combinatorial properties of Sturmian words. Zbl 0874.68245de Luca, Aldo; Mignosi, Filippo 102 1994 The complexity of partial derivatives. Zbl 0498.68028Baur, Walter; Strassen, Volker 101 1983 The existence of refinement mappings. Zbl 0728.68083Abadi, Martín; Lamport, Leslie 100 1991 An introduction to commutative and noncommutative Gröbner bases. Zbl 0824.68056Mora, Teo 96 1994 Formal molecular biology. Zbl 1071.68041Danos, Vincent; Laneve, Cosimo 95 2004 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 94 2011 Remarks on blind and partially blind one-way multicounter machines. Zbl 0389.68030Greibach, S. A. 94 1978 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. 91 2000 Terminal coalgebras in well-founded set theory. Zbl 0779.18004Barr, Michael 89 1993 The theory of ends, pushdown automata, and second-order logic. Zbl 0605.03005Muller, David E.; Schupp, Paul E. 89 1985 On the algebraic structure of combinatorial problems. Zbl 0915.68074Jeavons, Peter 89 1998 Kernel bounds for disjoint cycles and disjoint paths. Zbl 1221.68099Bodlaender, Hans L.; Thomassé, Stéphan; Yeo, Anders 88 2011 Shortest paths without a map. Zbl 0733.68065Papadimitriou, Christos H.; Yannakakis, Mihalis 88 1991 Parameterized graph separation problems. Zbl 1086.68104Marx, Dániel 87 2006 Gathering of asynchronous robots with limited visibility. Zbl 1108.68120Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Widmayer, Peter 87 2005 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. 86 2006 Partial derivatives of regular expressions and finite automaton constructions. Zbl 0872.68120Antimirov, Valentin 86 1996 On the distributional complexity of disjointness. Zbl 0787.68055Razborov, A. A. 85 1992 \(\beta\)-expansions and symbolic dynamics. Zbl 0682.68081Blanchard, F. 85 1989 On reduction-based process semantics. Zbl 0871.68122Honda, Kohei; Yoshida, Nobuko 85 1995 Higher-level synchronising devices in Meije-SCCS. Zbl 0598.68027De Simone, Robert 84 1985 A computational model for metric spaces. Zbl 1011.54026Edalat, Abbas; Heckmann, Reinhold 84 1998 Monadic second-order evaluations on tree-decomposable graphs. Zbl 0789.68083Courcelle, B.; Mosbah, M. 83 1993 The differential lambda-calculus. Zbl 1070.68020Ehrhard, Thomas; Regnier, Laurent 83 2003 The undecidability of the second-order unification problem. Zbl 0457.03006Goldfarb, Warren D. 81 1981 Metrics for labelled Markov processes. Zbl 1068.68093Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 81 2004 Finite-memory automata. Zbl 0938.68711Kaminski, Michael; Francez, Nissim 81 1994 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 80 1992 Applications of graphical condensation for enumerating matchings and tilings. Zbl 1043.05099Kuo, Eric H. 80 2004 A calculus for the random generation of labelled combinatorial structures. Zbl 0799.68143Flajolet, Philippe; Zimmerman, Paul; van Cutsem, Bernard 79 1994 Data exchange: semantics and query answering. Zbl 1080.68019Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian 79 2005 Local majorities, coalitions and monopolies in graphs: A review. Zbl 0997.68088Peleg, David 78 2002 Weighted automata and weighted logics. Zbl 1118.68076Droste, Manfred; Gastin, Paul 78 2007 Computational interpretations of linear logic. Zbl 0791.03003Abramsky, Samson 77 1993 A coding theory construction of new systematic authentication codes. Zbl 1078.68030Ding, Cunsheng; Wang, Xuesong 77 2005 The temporal semantics of concurrent programs. Zbl 0441.68010Pnueli, Amir 76 1981 Restriction categories. I: Categories of partial maps. Zbl 0988.18003Cockett, J. R. B.; Lack, Stephen 76 2002 Complete problems for deterministic polynomial time. Zbl 0352.68068Jones, Neil D.; Laaser, William T. 76 1977 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 74 2003 Computational complexity of real functions. Zbl 0498.03047Ko, Ker-I.; Friedman, Harvey 73 1982 On balanced sequences and their critical exponent. Zbl 1507.68234Dolce, Francesco; Dvořáková, L’ubomíra; Pelantová, Edita 1 2023 Few induced disjoint paths for \(H\)-free graphs. Zbl 07619403Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan 1 2023 Acyclic matching in some subclasses of graphs. Zbl 07638584Panda, B. S.; Chaudhary, Juhi 1 2023 Lower and upper bounds for deterministic convergecast with labeling schemes. Zbl 07667520Bu, Gewu; Lotker, Zvi; Potop-Butucaru, Maria; Rabie, Mikaël 1 2023 On the complexity of solution extension of optimization problems. Zbl 07467463Casel, Katrin; Fernau, Henning; Khosravian Ghadikolaei, Mehdi; Monnot, Jérôme; Sikora, Florian 3 2022 Computing subset transversals in \(H\)-free graphs. Zbl 07458786Brettell, Nick; Johnson, Matthew; Paesani, Giacomo; Paulusma, Daniël 3 2022 Two-way and one-way quantum and classical automata with advice for online minimization problems. Zbl 07527766Khadiev, Kamil; Khadieva, Aliya; Ziatdinov, Mansur; Mannapov, Ilnaz; Kravchenko, Dmitry; Rivosh, Alexander; Yamilov, Ramis 3 2022 Extremal cubic graphs for fault-tolerant locating domination. Zbl 07533880Jean, Devin C.; Seo, Suk J. 3 2022 Geometry of information: classical and quantum aspects. Zbl 1481.14001Combe, Noémie; Manin, Yuri I.; Marcolli, Matilde 2 2022 Local certification of graphs on surfaces. Zbl 07482355Esperet, Louis; Lévêque, Benjamin 2 2022 A proof system for disjoint parallel quantum programs. Zbl 1478.68047Ying, Mingsheng; Zhou, Li; Li, Yangjia; Feng, Yuan 2 2022 Crossing numbers of beyond-planar graphs. Zbl 1485.68176Chimani, Markus; Kindermann, Philipp; Montecchiani, Fabrizio; Valtr, Pavel 2 2022 Disjoint paths and connected subgraphs for \(H\)-free graphs. Zbl 07437224Kern, Walter; Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan 2 2022 Behavioural logics for configuration structures. Zbl 1483.68222Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano 2 2022 Simple algorithms for partial and simultaneous rectangular duals with given contact orientations. Zbl 07524440Chaplick, Steven; Felsner, Stefan; Kindermann, Philipp; Klawitter, Jonathan; Rutter, Ignaz; Wolff, Alexander 2 2022 On minimal critical exponent of balanced sequences. Zbl 07540202Dvořáková, L’ubomíra; Pelantová, Edita; Opočenská, Daniela; Shur, Arseny M. 2 2022 Joint realizability of monotone Boolean functions. Zbl 07540223Crawford-Kahrl, Peter; Cummins, Bree; Gedeon, Tomáš 2 2022 Quantum and classical query complexities for generalized Simon’s problem. Zbl 07540261Wu, Zhenggang; Qiu, Daowen; Tan, Jiawei; Li, Hao; Cai, Guangya 2 2022 On the complexity of independent dominating set with obligations in graphs. Zbl 07467460Laforest, Christian; Martinod, Timothée 1 2022 Complexity and algorithms for constant diameter augmentation problems. Zbl 07467461Kim, Eun Jung; Milanič, Martin; Monnot, Jérôme; Picouleau, Christophe 1 2022 Beyond pairwise comparisons in social choice: a setwise Kemeny aggregation problem. Zbl 07467462Gilbert, Hugo; Portoleau, Tom; Spanjaard, Olivier 1 2022 Extension and its price for the connected vertex cover problem. Zbl 07467464Khosravian Ghadikolaei, Mehdi; Melissinos, Nikolaos; Monnot, Jérôme; Pagourtzis, Aris 1 2022 Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow. Zbl 07467466Xu, Xiong; Wang, Shuling; Zhan, Bohua; Jin, Xiangyu; Talpin, Jean-Pierre; Zhan, Naijun 1 2022 Bisimilarity on basic parallel processes. Zbl 07467467Jančar, Petr 1 2022 An adaptation-complete proof system for local reasoning about cloud storage systems. Zbl 07467468Jin, Zhao; Zhang, Bowen; Zhang, Lei; Cao, Yongzhi; Wang, Hanpin 1 2022 Rewriting systems, plain groups, and geodetic graphs. Zbl 07467472Elder, Murray; Piggott, Adam 1 2022 Two important parameters of HPMC model. Zbl 07467475Zhang, Nianpeng; Zhu, Qiang 1 2022 Chosen-ciphertext lattice-based public key encryption with equality test in standard model. Zbl 07467477Duong, Dung Hoang; Roy, Partha Sarathi; Susilo, Willy; Fukushima, Kazuhide; Kiyomoto, Shinsaku; Sipasseuth, Arnaud 1 2022 Fault-tolerant Hamiltonian connectivity of \(2\)-tree-generated networks. Zbl 07477125Abdallah, Mohamad; Cheng, Eddie 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 Complexity and algorithms for neighbor-sum-2-distinguishing \(\{1,3\}\)-edge-weighting of graphs. Zbl 07477131Panda, B. S.; Priyamvada 1 2022 On the complexity of local-equitable coloring of graphs. Zbl 07477134Liang, Zuosong; Wang, Juan; Cai, Junqing; Yang, Xinxin 1 2022 P systems with evolutional symport and membrane creation rules solving QSAT. Zbl 07477142Orellana-Martín, David; Valencia-Cabrera, Luis; Pérez-Jiménez, Mario J. 1 2022 The diagnosability of Möbius cubes for the \(g\)-extra condition. Zbl 07477144Wang, Shiying 1 2022 A data structure for substring-substring LCS length queries. Zbl 07496385Sakai, Yoshifumi 1 2022 The power of adaptivity in source identification with time queries on the path. Zbl 07496389Lecomte, Victor; Ódor, Gergely; Thiran, Patrick 1 2022 Stable matching with uncertain pairwise preferences. Zbl 07482350Aziz, Haris; Biró, Péter; Fleiner, Tamás; Gaspers, Serge; de Haan, Ronald; Mattei, Nicholas; Rastegari, Baharak 1 2022 PSPACE-hardness of variants of the graph coloring game. Zbl 07482357Lima, Carlos V. G. C.; Marcilon, Thiago; Martins, Nicolas; Sampaio, Rudini 1 2022 Sampling polynomial trajectories for LTL verification. Zbl 1478.68174Selvaratnam, Daniel; Cantoni, Michael; Davoren, J. M.; Shames, Iman 1 2022 The \(R_g\)-conditional diagnosability of international networks. Zbl 1478.68023Yuan, Jun; Qiao, Huijuan; Liu, Aixia 1 2022 Determinisability of unary weighted automata over the rational numbers. Zbl 1490.68127Kostolányi, Peter 1 2022 On efficient connectivity-preserving transformations in a grid. Zbl 1478.68375Almethen, Abdullah; Michail, Othon; Potapov, Igor 1 2022 From decidability to undecidability by considering regular sets of instances. Zbl 07450572Wolf, Petra 1 2022 Near-optimal clustering in the \(k\)-machine model. Zbl 07450575Bandyapadhyay, Sayan; Inamdar, Tanmay; Pai, Shreyas; Pemmaraju, Sriram V. 1 2022 Randomness and initial segment complexity for measures. Zbl 07450577Nies, André; Stephan, Frank 1 2022 The polynomial hierarchy of functions and its levels. Zbl 07450579Oitavem, Isabel 1 2022 Algorithmic results in secure total dominating sets on graphs. Zbl 07524427Poureidi, Abolfazl 1 2022 Exploring the gap between treedepth and vertex cover through vertex integrity. Zbl 07524431Gima, Tatsuya; Hanaka, Tesshu; Kiyomi, Masashi; Kobayashi, Yasuaki; Otachi, Yota 1 2022 A characterization of 2-threshold functions via pairs of prime segments. Zbl 07524436Zamaraeva, Elena; Žunić, Joviša 1 2022 Quantum circuits with classical channels and the principle of deferred measurements. Zbl 07527762Gurevich, Yuri; Blass, Andreas 1 2022 From reversible programming languages to reversible metalanguages. Zbl 07527764Glück, Robert; Kaarsgaard, Robin; Yokoyama, Tetsuo 1 2022 Stable routing scheduling algorithms in multi-hop wireless networks. Zbl 07530337Cholvi, Vicent; Garncarek, P.; Jurdziński, T.; Kowalski, Dariusz R. 1 2022 Multi-attribute based influence maximization in social networks: algorithms and analysis. Zbl 07530339Ni, Qiufen; Guo, Jianxiong; Du, Hongmin W.; Wang, Huan 1 2022 Faster algorithm for pathwidth one vertex deletion. Zbl 07530340Tsur, Dekel 1 2022 \(k\)-circle formation by disoriented asynchronous robots. Zbl 07533870Das, Bibhuti; Chakraborty, Abhinav; Bhagat, Subhash; Mukhopadhyaya, Krishnendu 1 2022 In-place initializable arrays. Zbl 07533871Katoh, Takashi; Goto, Keisuke 1 2022 Aperiodic SFTs on Baumslag-Solitar groups. Zbl 07533876Esnay, Solène J.; Moutot, Etienne 1 2022 On vertex-weighted realizations of acyclic and general graphs. Zbl 07540196Bar-Noy, Amotz; Böhnlein, Toni; Peleg, David; Rawitz, Dror 1 2022 Connectivity and constructive algorithms of disjoint paths in dragonfly networks. Zbl 07540209Wu, Suying; Fan, Jianxi; Cheng, Baolei; Yu, Jia; Wang, Yan 1 2022 Strongly Menger-edge-connectedness of DCell networks. Zbl 07540213Liu, Xuemei; Meng, Jixiang 1 2022 Upper dominating set: tight algorithms for pathwidth and sub-exponential approximation. Zbl 07540243Dublois, Louis; Lampis, Michael; Paschos, Vangelis Th. 1 2022 Lie complexity of words. Zbl 07570316Bell, Jason P.; Shallit, Jeffrey 1 2022 The balanced connected subgraph problem for geometric intersection graphs. Zbl 07575080Bhore, Sujoy; Jana, Satyabrata; Pandit, Supantha; Roy, Sasanka 1 2022 Partitioning \(H\)-free graphs of bounded diameter. Zbl 07575095Brause, Christoph; Golovach, Petr; Martin, Barnaby; Paulusma, Daniël; Smith, Siani 1 2022 On the probe problem for \((r, \ell)\)-well-coveredness: algorithms and complexity. Zbl 07585795Faria, Luerbio; Souza, Uéverton S. 1 2022 A weak approach to suffix automata simulation for exact and approximate string matching. Zbl 07593354Faro, Simone; Scafiti, Stefano 1 2022 Flip-swap languages in binary reflected Gray code order. Zbl 07593358Sawada, Joe; Williams, Aaron; Wong, Dennis 1 2022 Monochromatic arithmetic progressions in binary Thue-Morse-like words. Zbl 07597111Aedo, Ibai; Grimm, Uwe; Nagai, Yasushi; Staynova, Petra 1 2022 Structural parameterizations of Tracking Paths problem. Zbl 07597113Choudhary, Pratibha; Raman, Venkatesh 1 2022 Succinct navigational oracles for families of intersection graphs on a circle. Zbl 07597583Acan, Hüseyin; Chakraborty, Sankardeep; Jo, Seungbum; Nakashima, Kei; Sadakane, Kunihiko; Satti, Srinivasa Rao 1 2022 Closed subsets in Bishop topological groups. Zbl 07601542Petrakis, Iosif 1 2022 Beyond pointwise submodularity: non-monotone adaptive submodular maximization in linear time. Zbl 1467.68218Tang, Shaojie 7 2021 On cherry-picking and network containment. Zbl 1478.92134Janssen, Remie; Murakami, Yukihiro 7 2021 Maximum Nash welfare and other stories about EFX. Zbl 1500.91079Amanatidis, Georgios; Birmpas, Georgios; Filos-Ratsikas, Aris; Hollender, Alexandros; Voudouris, Alexandros A. 7 2021 Fault diagnosability of bicube networks under the PMC diagnostic model. Zbl 1477.68039Liu, Jiafei; Zhou, Shuming; Gu, Zhendong; Zhou, Qianru; Wang, Dajin 7 2021 Structure connectivity and substructure connectivity of wheel networks. Zbl 1464.68284Feng, Wei; Wang, Shiying 5 2021 Minimum power partial multi-cover on a line. Zbl 1501.90044Liang, Wei; Li, Menghong; Zhang, Zhao; Huang, Xiaohui 5 2021 Complexity of modification problems for best match graphs. Zbl 1500.92068Schaller, David; Stadler, Peter F.; Hellmuth, Marc 5 2021 Improved lower bounds for the radio number of trees. Zbl 1481.05137Liu, Daphne Der-Fen; Saha, Laxman; Das, Satyabrata 5 2021 Maximize a monotone function with a generic submodularity ratio. Zbl 1477.68537Gong, Suning; Nong, Qingqin; Sun, Tao; Fang, Qizhi; Du, Dingzhu; Shao, Xiaoyu 5 2021 Computing longest palindromic substring after single-character or block-wise edits. Zbl 1502.68378Funakoshi, Mitsuru; Nakashima, Yuto; Inenaga, Shunsuke; Bannai, Hideo; Takeda, Masayuki 4 2021 Note on \(R_g\)-conditional diagnosability of hypercube. Zbl 1467.68016Wang, Yihong; Lin, Cheng-Kuan; Zhou, Qianru; Zhou, Shuming 4 2021 Exploration of dynamic tori by multiple agents. Zbl 1464.68402Gotoh, Tsuyoshi; Sudo, Yuichi; Ooshita, Fukuhito; Kakugawa, Hirotsugu; Masuzawa, Toshimitsu 4 2021 \(k\)-critical graphs in \(P_5\)-free graphs. Zbl 1502.05057Cameron, Kathie; Goedgebeur, Jan; Huang, Shenwei; Shi, Yongtang 4 2021 The undirected repetition threshold and undirected pattern avoidance. Zbl 1489.68215Currie, James D.; Mol, Lucas 4 2021 Multistage graph problems on a global budget. Zbl 1497.68380Heeger, Klaus; Himmel, Anne-Sophie; Kammer, Frank; Niedermeier, Rolf; Renken, Malte; Sajenko, Andrej 4 2021 Blocking total dominating sets via edge contractions. Zbl 1478.68239Galby, E.; Mann, F.; Ries, B. 4 2021 Reallocating multiple facilities on the line. Zbl 1457.90089Fotakis, Dimitris; Kavouras, Loukas; Kostopanagiotis, Panagiotis; Lazos, Philip; Skoulakis, Stratis; Zarifis, Nikos 4 2021 Fixed-parameter algorithms for the weighted max-cut problem on embedded 1-planar graphs. Zbl 1477.68216Dahn, Christine; Kriege, Nils M.; Mutzel, Petra; Schilling, Julian 4 2021 Equitable list tree-coloring of bounded treewidth graphs. Zbl 1481.05049Li, Yan; Zhang, Xin 4 2021 Cryptographic reverse firewalls for interactive proof systems. Zbl 1502.68053Ganesh, Chaya; Magri, Bernardo; Venturi, Daniele 4 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 3 2021 Fault-tolerant complete visibility for asynchronous robots with lights under one-axis agreement. Zbl 1464.68405Poudel, Pavan; Aljohani, Aisha; Sharma, Gokarna 3 2021 A hierarchy of local decision. Zbl 1476.68100Feuilloley, Laurent; Fraigniaud, Pierre; Hirvonen, Juho 3 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 3 2021 Rumor correction maximization problem in social networks. Zbl 1500.91105Zhang, Yapu; Yang, Wenguo; Du, Ding-Zhu 3 2021 On the longest common prefix of suffixes in an inverse Lyndon factorization and other properties. Zbl 1502.68251Bonizzoni, Paola; De Felice, Clelia; Zaccagnino, Rocco; Zizza, Rosalba 3 2021 Disposability in square-free words. Zbl 1497.68404Harju, Tero 3 2021 New results for the \(k\)-secretary problem. Zbl 1497.68576Albers, Susanne; Ladewig, Leon 3 2021 An approximation algorithm for general energy restricted sweep coverage problem. Zbl 1497.68054Nie, Zixiong; Du, Hongwei 3 2021 ...and 731 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 40,160 Authors 121 Paulusma, Daniël 116 Saurabh, Saket 111 Ibarra, Oscar H. 111 Rozenberg, Grzegorz 109 Jain, Sanjay 103 Golovach, Petr A. 102 Niedermeier, Rolf 101 Stephan, Frank 98 Epstein, Leah 94 Fernau, Henning 92 Fomin, Fedor V. 92 Meseguer Guaita, José 92 Salomaa, Kai T. 91 Shallit, Jeffrey O. 89 Otto, Friedrich 88 Kutrib, Martin 82 Yuan, Jinjiang 81 Rytter, Wojciech 79 Ésik, Zoltán 76 Okhotin, Alexander 75 Courcelle, Bruno 74 Pelc, Andrzej 73 Karhumaki, Juhani 72 Navarro, Gonzalo 71 Hemaspaandra, Lane A. 71 Larsen, Kim Guldstrand 71 Spirakis, Paul G. 69 Harju, Tero 69 Montanari, Ugo G. 68 Bodlaender, Hans L. 67 Raman, Venkatesh 67 Rautenbach, Dieter 67 Restivo, Antonio 65 Crochemore, Maxime 65 Salomaa, Arto Kustaa 65 Thilikos, Dimitrios M. 64 Ehrenfeucht, Andrzej 63 Blanchet-Sadri, Francine 63 Engelfriet, Joost 63 Holzer, Markus 63 Iliopoulos, Costas S. 62 Inenaga, Shunsuke 62 Prodinger, Helmut 60 Lokshtanov, Daniel 59 de Luca, Aldo 59 Droste, Manfred 59 Lozin, Vadim Vladislavovich 59 Paschos, Vangelis Th. 58 Bergstra, Jan A. 58 Liotta, Giuseppe 58 Xu, Yinfeng 57 Păun, Gheorghe 55 Milius, Stefan 55 Santoro, Nicola 54 Flocchini, Paola 54 Pan, Victor Yakovlevich 54 Wang, Jianxin 53 Adámek, Jiří 53 Cheng, Tai-Chiu Edwin 53 Kari, Lila 52 Cai, Jin-Yi 52 Honkala, Juha 52 Li, Qingguo 52 Rampersad, Narad 52 Sau, Ignasi 52 Vardi, Moshe Ya’akov 52 Wang, Shiying 51 Aceto, Luca 51 Chen, Jian-er 51 Cheng, Eddie 51 Ito, Takehiro 51 Yu, Sheng 51 Zhang, Zhao 50 Kratsch, Dieter 50 Monnot, Jérôme 49 Bannai, Hideo 49 Chatterjee, Krishnendu 49 Henzinger, Thomas A. 49 Pelantová, Edita 48 Pérez-Jiménez, Mario J. 48 Pin, Jean-Eric 48 Radoszewski, Jakub 48 Zehavi, Meirav 47 Fellows, Michael Ralph 47 Hromkovič, Juraj 47 Komusiewicz, Christian 47 Pilipczuk, Michał 47 Takeda, Masayuki 46 Case, John 46 Demaine, Erik D. 46 Diekert, Volker 46 Ingólfsdóttir, Anna 46 Kupferman, Orna 46 Pan, Linqiang 46 Peleg, David 45 Czyzowicz, Jurek 45 Doerr, Benjamin 45 Heggernes, Pinar 45 Malcher, Andreas 45 Otachi, Yota ...and 40,060 more Authors all top 5 Cited in 1,029 Journals 8,503 Theoretical Computer Science 1,714 Discrete Applied Mathematics 1,535 Information and Computation 1,474 Information Processing Letters 1,158 Journal of Computer and System Sciences 1,056 Algorithmica 693 International Journal of Foundations of Computer Science 689 Discrete Mathematics 608 Journal of Combinatorial Optimization 580 Theory of Computing Systems 550 Quantum Information Processing 479 Annals of Pure and Applied Logic 469 MSCS. Mathematical Structures in Computer Science 440 Acta Informatica 402 Artificial Intelligence 400 Information Sciences 360 Journal of Symbolic Computation 352 European Journal of Operational Research 349 Logical Methods in Computer Science 301 International Journal of Theoretical Physics 293 Formal Aspects of Computing 291 Journal of Discrete Algorithms 269 Journal of Automated Reasoning 261 Applied Mathematics and Computation 261 Journal of Logical and Algebraic Methods in Programming 248 European Journal of Combinatorics 241 Distributed Computing 240 International Journal of Computer Mathematics 234 RAIRO. Theoretical Informatics and Applications 233 Annals of Mathematics and Artificial Intelligence 230 SIAM Journal on Computing 215 The Electronic Journal of Combinatorics 215 The Journal of Logic and Algebraic Programming 212 Computational Geometry 210 Computers & Operations Research 209 The Journal of Symbolic Logic 191 SIAM Journal on Discrete Mathematics 187 Journal of Pure and Applied Algebra 185 Linear Algebra and its Applications 184 Advances in Applied Mathematics 182 International Journal of Algebra and Computation 179 Fuzzy Sets and Systems 178 Formal Methods in System Design 163 Computational Complexity 160 Discrete & Computational Geometry 156 Journal of Combinatorial Theory. Series A 155 RAIRO. Informatique Théorique et Applications 154 Natural Computing 153 Mathematical Systems Theory 152 Journal of Complexity 151 Topology and its Applications 149 Graphs and Combinatorics 144 Studia Logica 140 Journal of Scheduling 137 Journal of Algebra 134 Operations Research Letters 130 Journal of Functional Programming 130 Discrete Optimization 128 Mathematical Programming. Series A. Series B 125 Semigroup Forum 125 RAIRO. Theoretical Informatics and Applications 122 Annals of Operations Research 120 Discrete Mathematics, Algorithms and Applications 119 International Journal of Approximate Reasoning 109 Theory and Practice of Logic Programming 104 Soft Computing 102 Transactions of the American Mathematical Society 98 Computers & Mathematics with Applications 95 Journal of Combinatorial Theory. Series B 95 Journal of Applied Non-Classical Logics 94 Mathematics of Computation 93 Random Structures & Algorithms 93 Optimization Letters 92 Designs, Codes and Cryptography 91 Automatica 91 Archive for Mathematical Logic 91 Applicable Algebra in Engineering, Communication and Computing 90 Fundamenta Informaticae 86 Advances in Mathematics 85 Ergodic Theory and Dynamical Systems 85 Machine Learning 82 International Journal of Computational Geometry & Applications 81 Combinatorica 80 Combinatorics, Probability and Computing 79 Discrete Event Dynamic Systems 79 ACM Transactions on Computational Logic 79 Algorithms 78 Journal of Global Optimization 77 Journal of Graph Theory 77 Order 77 Journal of Mathematical Sciences (New York) 76 Journal of Number Theory 76 Journal of Applied Logic 75 Journal of Computational and Applied Mathematics 74 Journal of Logic, Language and Information 73 Networks 73 Applied Categorical Structures 73 The Bulletin of Symbolic Logic 71 Cybernetics and Systems Analysis 70 Discussiones Mathematicae. Graph Theory ...and 929 more Journals all top 5 Cited in 62 Fields 33,975 Computer science (68-XX) 9,245 Combinatorics (05-XX) 7,032 Mathematical logic and foundations (03-XX) 4,897 Operations research, mathematical programming (90-XX) 2,369 Information and communication theory, circuits (94-XX) 2,334 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1,524 Quantum theory (81-XX) 1,489 Number theory (11-XX) 1,238 Numerical analysis (65-XX) 1,228 Biology and other natural sciences (92-XX) 1,202 Order, lattices, ordered algebraic structures (06-XX) 1,179 Group theory and generalizations (20-XX) 1,168 Category theory; homological algebra (18-XX) 996 Probability theory and stochastic processes (60-XX) 925 Dynamical systems and ergodic theory (37-XX) 713 General topology (54-XX) 642 Linear and multilinear algebra; matrix theory (15-XX) 608 Systems theory; control (93-XX) 573 Statistics (62-XX) 562 Convex and discrete geometry (52-XX) 426 Commutative algebra (13-XX) 424 Algebraic geometry (14-XX) 414 General algebraic systems (08-XX) 346 Associative rings and algebras (16-XX) 299 Statistical mechanics, structure of matter (82-XX) 276 Field theory and polynomials (12-XX) 236 Measure and integration (28-XX) 156 Ordinary differential equations (34-XX) 155 Algebraic topology (55-XX) 141 Operator theory (47-XX) 132 Manifolds and cell complexes (57-XX) 130 History and biography (01-XX) 124 Functions of a complex variable (30-XX) 121 Partial differential equations (35-XX) 118 Real functions (26-XX) 112 General and overarching topics; collections (00-XX) 107 Special functions (33-XX) 105 Functional analysis (46-XX) 91 Geometry (51-XX) 87 Approximations and expansions (41-XX) 85 Calculus of variations and optimal control; optimization (49-XX) 68 Mechanics of deformable solids (74-XX) 64 Difference and functional equations (39-XX) 61 Nonassociative rings and algebras (17-XX) 58 Differential geometry (53-XX) 50 Fluid mechanics (76-XX) 49 Topological groups, Lie groups (22-XX) 45 Mechanics of particles and systems (70-XX) 40 Harmonic analysis on Euclidean spaces (42-XX) 40 Integral transforms, operational calculus (44-XX) 40 Global analysis, analysis on manifolds (58-XX) 29 Relativity and gravitational theory (83-XX) 24 Several complex variables and analytic spaces (32-XX) 24 Sequences, series, summability (40-XX) 24 Abstract harmonic analysis (43-XX) 24 Optics, electromagnetic theory (78-XX) 20 Classical thermodynamics, heat transfer (80-XX) 17 Mathematics education (97-XX) 15 Integral equations (45-XX) 14 Geophysics (86-XX) 12 Potential theory (31-XX) 10 \(K\)-theory (19-XX) Citations by Year