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: Journal; Indexed cover-to-cover Documents Indexed: 14,409 Publications (since 1975) References Indexed: 13,793 Publications with 328,463 References. all top 5 Latest Issues 980 (2023) 979 (2023) 978 (2023) 977 (2023) 976 (2023) 975 (2023) 974 (2023) 973 (2023) 972 (2023) 971 (2023) 970 (2023) 969 (2023) 968 (2023) 966-967 (2023) 965 (2023) 964 (2023) 963 (2023) 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) ...and 1,221 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 44 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 33 Iliopoulos, Costas S. 31 Pelc, Andrzej 30 Ésik, Zoltán 30 Goles Chacc, Eric 30 Kari, Lila 30 Okhotin, Alexander 30 Paulusma, Daniël 30 Peleg, David 29 de Luca, Aldo 28 Kranakis, Evangelos Konstantinou 28 Otto, Friedrich 28 Shallit, Jeffrey Outlaw 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 Kutrib, Martin 24 Lin, Guohui 24 Mauri, Giancarlo 24 Zhou, Shuming 24 Zhu, Binhai 23 Amir, Amihood 23 Blanchet-Sadri, Francine 23 Courcelle, Bruno 23 Demaine, Erik D. 23 Duan, Zhenhua 23 Golovach, Petr A. 23 Hemaspaandra, Lane A. 23 Mignosi, Filippo 23 Munro, J. Ian 23 Pérez-Jiménez, Mario J. 23 Prodinger, Helmut 22 Chrobak, Marek 22 Du, Ding-Zhu 22 Han, Yo-Sub 22 Honkala, Juha 22 Ito, Takehiro 22 Landau, Gad M. 22 Liotta, Giuseppe 22 Park, Kunsoo 22 Raynal, Michel 22 Zeugmann, Thomas 21 Calude, Cristian S. 21 Formenti, Enrico 21 Petre, Ion 21 Santoro, Nicola 21 Vágvölgyi, Sándor 20 Cheng, Eddie 20 Choffrut, Christian 20 Czyzowicz, Jurek 20 Doerr, Benjamin 20 Flocchini, Paola 20 Halldórsson, Magnús Mar 20 Ko, Ker-I 20 Li, Deying 20 Li, Minming 20 Pan, Linqiang 20 Pelantová, Edita 20 Tian, Cong 20 Wegener, Ingo 20 Xu, Yinfeng 19 Dezani-Ciancaglini, Mariangiola 19 Droste, Manfred 19 Feng, Qilong 19 Gargano, Luisa 19 Meseguer Guaita, José 19 Monien, Burkhard 19 Monnot, Jérôme 19 Nagamochi, Hiroshi 19 Palamidessi, Catuscia 19 Paschos, Vangelis Th. 19 Perrin, Dominique 19 Smyth, William F. 19 Takeda, Masayuki 19 Vaccaro, Ugo ...and 14,609 more Authors all top 5 Fields 12,614 Computer science (68-XX) 1,901 Combinatorics (05-XX) 1,518 Mathematical logic and foundations (03-XX) 858 Operations research, mathematical programming (90-XX) 683 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 581 Information and communication theory, circuits (94-XX) 417 General and overarching topics; collections (00-XX) 356 Biology and other natural sciences (92-XX) 262 Number theory (11-XX) 246 Group theory and generalizations (20-XX) 209 Category theory; homological algebra (18-XX) 207 Order, lattices, ordered algebraic structures (06-XX) 169 Numerical analysis (65-XX) 137 Dynamical systems and ergodic theory (37-XX) 130 Quantum theory (81-XX) 122 Probability theory and stochastic processes (60-XX) 101 General algebraic systems (08-XX) 86 Convex and discrete geometry (52-XX) 81 General topology (54-XX) 77 Statistics (62-XX) 66 Systems theory; control (93-XX) 62 Linear and multilinear algebra; matrix theory (15-XX) 57 Field theory and polynomials (12-XX) 47 Commutative algebra (13-XX) 43 History and biography (01-XX) 42 Associative rings and algebras (16-XX) 32 Algebraic geometry (14-XX) 30 Measure and integration (28-XX) 20 Real functions (26-XX) 20 Ordinary differential equations (34-XX) 17 Statistical mechanics, structure of matter (82-XX) 11 Functions of a complex variable (30-XX) 9 Special functions (33-XX) 9 Algebraic topology (55-XX) 9 Mechanics of particles and systems (70-XX) 8 Nonassociative rings and algebras (17-XX) 8 Approximations and expansions (41-XX) 7 Geometry (51-XX) 6 Calculus of variations and optimal control; optimization (49-XX) 6 Relativity and gravitational theory (83-XX) 5 Integral transforms, operational calculus (44-XX) 5 Functional analysis (46-XX) 5 Manifolds and cell complexes (57-XX) 4 Partial differential equations (35-XX) 4 Difference and functional equations (39-XX) 4 Harmonic analysis on Euclidean spaces (42-XX) 3 Sequences, series, summability (40-XX) 3 Classical thermodynamics, heat transfer (80-XX) 2 Operator theory (47-XX) 2 Differential geometry (53-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Geophysics (86-XX) 1 Topological groups, Lie groups (22-XX) 1 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,789 Publications have been cited 101,536 times in 53,992 Documents Cited by ▼ Year ▼ Quantum cryptography: public key distribution and coin tossing. Zbl 1306.81030Bennett, Charles H.; Brassard, Gilles 924 2014 Linear logic. Zbl 0625.03037Girard, Jean-Yves 862 1987 A theory of timed automata. Zbl 0803.68071Alur, Rajeev; Dill, David L. 710 1994 Some simplified NP-complete graph problems. Zbl 0338.05120Garey, M. R.; Johnson, D. S.; Stockmeyer, L. 652 1976 The complexity of computing the permanent. Zbl 0415.68008Valiant, L. G. 649 1979 Universal coalgebra: A theory of systems. Zbl 0951.68038Rutten, J. J. M. M. 381 2000 A partial k-arboretum of graphs with bounded treewidth. Zbl 0912.68148Bodlaender, Hans L. 379 1998 The polynomial-time hierarchy. Zbl 0353.02024Stockmeyer, Larry J. 357 1977 Results on the propositional \(\mu\)-calculus. Zbl 0553.03007Kozen, Dexter 348 1983 Testing equivalences for processes. Zbl 0985.68518De Nicola, R.; Hennessy, M. C. B. 259 1984 Conditional rewriting logic as a unified model of concurrency. Zbl 0758.68043Meseguer, José 238 1992 Petri nets, event structures and domains. I. Zbl 0452.68067Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn 231 1981 The directed subgraph homeomorphism problem. Zbl 0419.05028Fortune, Steven; Hopcroft, John; Wyllie, James 230 1980 Random generation of combinatorial structures from a uniform distribution. Zbl 0597.68056Jerrum, Mark R.; Valiant, Leslie G.; Vazirani, Vijay V. 229 1986 Call-by-name, call-by-value and the \(\lambda\)-calculus. Zbl 0325.68006Plotkin, G. D. 227 1975 LCF considered as a programming language. Zbl 0369.68006Plotkin, G. D. 223 1978 The intractability of resolution. Zbl 0586.03010Haken, Armin 208 1985 Mobile ambients. Zbl 0954.68108Cardelli, L.; Gordon, A. D. 194 2000 Clustering to minimize the maximum intercluster distance. Zbl 0567.62048Gonzalez, Teofilo F. 190 1985 Calculi for synchrony and asynchrony. Zbl 0512.68026Milner, Robin 182 1983 The algorithmic analysis of hybrid systems. Zbl 0874.68206Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H. 179 1995 The complexity of mean payoff games on graphs. Zbl 0871.68138Zwick, Uri; Paterson, Mike 177 1996 Some APX-completeness results for cubic graphs. Zbl 0939.68052Alimonti, P.; Kann, V. 173 2000 Mellin transforms and asymptotics: Harmonic sums. Zbl 0869.68057Flajolet, Philippe; Gourdon, Xavier; Dumas, Philippe 168 1995 Orderings for term-rewriting systems. Zbl 0525.68054Dershowitz, Nachum 167 1982 A hierarchy of polynomial time lattice basis reduction algorithms. Zbl 0642.10030Schnorr, C. P. 167 1987 NP is as easy as detecting unique solutions. Zbl 0621.68030Valiant, L. G.; Vazirani, V. V. 165 1986 Episturmian words and some constructions of de Luca and Rauzy. Zbl 0981.68126Droubay, X.; Justin, J.; Pirillo, G. 159 2001 Fixed-parameter tractability and completeness II: On completeness for W[1]. Zbl 0873.68059Downey, Rod G.; Fellows, Michael R. 157 1995 Well-structured transition systems everywhere! Zbl 0973.68170Finkel, A.; Schnoebelen, P. 154 2001 Definability and fast quantifier elimination in algebraically closed fields. Zbl 0546.03017Heintz, Joos 153 1983 Termination of term rewriting using dependency pairs. Zbl 0938.68051Arts, T.; Giesl, J. 149 2000 Fundamental properties of infinite trees. Zbl 0521.68013Courcelle, Bruno 147 1983 On the analysis of the \((1+1)\) evolutionary algorithm. Zbl 1002.68037Droste, Stefan; Jansen, Thomas; Wegener, Ingo 145 2002 The state complexities of some basic operations on regular languages. Zbl 0795.68112Yu, Sheng; Zhuang, Qingyu; Salomaa, Kai 145 1994 On the parameterized complexity of multiple-interval graph problems. Zbl 1161.68038Fellows, Michael R.; Hermelin, Danny; Rosamond, Frances; Vialette, Stéphane 145 2009 A comparison of polynomial time reducibilities. Zbl 0321.68039Ladner, R. E.; Lynch, N. A.; Selman, A. L. 144 1975 Algebra of communicating processes with abstraction. Zbl 0579.68016Bergstra, J. A.; Klop, J. W. 144 1985 Comparison of identification criteria for machine inductive inference. Zbl 0524.03025Case, John; Smith, Carl 141 1983 Infinite games on finitely coloured graphs with applications to automata on infinite trees. Zbl 0915.68120Zielonka, Wiesław 132 1998 The ring of \(k\)-regular sequences. Zbl 0774.68072Allouche, Jean-Paul; Shallit, Jeffrey 132 1992 Algebraic languages and polyominoes enumeration. Zbl 0985.68516Delest, Marie-Pierre; Viennot, Gérard 131 1984 The chemical abstract machine. Zbl 0747.68013Berry, Gérard; Boudol, Gérard 131 1992 An annotated bibliography on guaranteed graph searching. Zbl 1160.68007Fomin, Fedor V.; Thilikos, Dimitrios M. 123 2008 The system \({\mathcal F}\) of variable types, fifteen years later. Zbl 0623.03013Girard, Jean-Yves 120 1986 Theory of cellular automata: a survey. Zbl 1080.68070Kari, Jarkko 119 2005 The Euclidean traveling salesman problem is NP-complete. Zbl 0386.90057Papadimitriou, Christos H. 119 1977 Finite automata and unary languages. Zbl 0638.68096Chrobak, Marek 119 1986 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 118 2011 Improved upper bounds for vertex cover. Zbl 1205.05217Chen, Jianer; Kanj, Iyad A.; Xia, Ge 116 2010 Tissue P systems. Zbl 1045.68063Martín-Vide, Carlos; Păun, Gheorghe; Pazos, Juan; Rodríguez-Patón, Alfonso 115 2003 Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056Goguen, Joseph A.; Meseguer, José 115 1992 Quantum automata and quantum grammars. Zbl 0939.68037Moore, Cristopher; Crutchfield, J. P. 115 2000 The covering and boundedness problems for vector addition systems. Zbl 0368.68054Rackoff, Charles 114 1978 Complexity measures and decision tree complexity: a survey. Zbl 1061.68058Buhrman, Harry; de Wolf, Ronald 114 2002 Sturmian words: structure, combinatorics, and their arithmetics. Zbl 0911.68098de Luca, Aldo 112 1997 Searching and pebbling. Zbl 0616.68064Kirousis, Lefteris M.; Papadimitriou, Christos H. 111 1986 Fully abstract models of typed \(\lambda\)-calculi. Zbl 0386.03006Milner, Robin 110 1977 BioAmbients: an abstraction for biological compartments. Zbl 1069.68569Regev, Aviv; Panina, Ekaterina M.; Silverman, William; Cardelli, Luca; Shapiro, Ehud 110 2004 The complexity of partial derivatives. Zbl 0498.68028Baur, Walter; Strassen, Volker 109 1983 Complete sets and the polynomial-time hierarchy. Zbl 0366.02031Wrathall, Celia 105 1977 Some combinatorial properties of Sturmian words. Zbl 0874.68245de Luca, Aldo; Mignosi, Filippo 105 1994 The existence of refinement mappings. Zbl 0728.68083Abadi, Martín; Lamport, Leslie 105 1991 Ant colony optimization theory: a survey. Zbl 1154.90626Dorigo, Marco; Blum, Christian 104 2005 Remarks on blind and partially blind one-way multicounter machines. Zbl 0389.68030Greibach, S. A. 102 1978 An introduction to commutative and noncommutative Gröbner bases. Zbl 0824.68056Mora, Teo 100 1994 Formal molecular biology. Zbl 1071.68041Danos, Vincent; Laneve, Cosimo 99 2004 Parameterized graph separation problems. Zbl 1086.68104Marx, Dániel 99 2006 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. 98 2000 Gathering of asynchronous robots with limited visibility. Zbl 1108.68120Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Widmayer, Peter 96 2005 Partial derivatives of regular expressions and finite automaton constructions. Zbl 0872.68120Antimirov, Valentin 96 1996 On the algebraic structure of combinatorial problems. Zbl 0915.68074Jeavons, Peter 95 1998 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. 94 2006 On the distributional complexity of disjointness. Zbl 0787.68055Razborov, A. A. 93 1992 Shortest paths without a map. Zbl 0733.68065Papadimitriou, Christos H.; Yannakakis, Mihalis 91 1991 The theory of ends, pushdown automata, and second-order logic. Zbl 0605.03005Muller, David E.; Schupp, Paul E. 91 1985 Terminal coalgebras in well-founded set theory. Zbl 0779.18004Barr, Michael 90 1993 \(\beta\)-expansions and symbolic dynamics. Zbl 0682.68081Blanchard, F. 90 1989 Finite-memory automata. Zbl 0938.68711Kaminski, Michael; Francez, Nissim 89 1994 Kernel bounds for disjoint cycles and disjoint paths. Zbl 1221.68099Bodlaender, Hans L.; Thomassé, Stéphan; Yeo, Anders 89 2011 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 88 1992 Higher-level synchronising devices in Meije-SCCS. Zbl 0598.68027De Simone, Robert 88 1985 Monadic second-order evaluations on tree-decomposable graphs. Zbl 0789.68083Courcelle, B.; Mosbah, M. 87 1993 On reduction-based process semantics. Zbl 0871.68122Honda, Kohei; Yoshida, Nobuko 87 1995 A computational model for metric spaces. Zbl 1011.54026Edalat, Abbas; Heckmann, Reinhold 87 1998 Data exchange: semantics and query answering. Zbl 1080.68019Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian 86 2005 Metrics for labelled Markov processes. Zbl 1068.68093Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 86 2004 A calculus for the random generation of labelled combinatorial structures. Zbl 0799.68143Flajolet, Philippe; Zimmerman, Paul; van Cutsem, Bernard 85 1994 PSPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation. Zbl 1079.68040Hearn, Robert A.; Demaine, Erik D. 84 2005 Weighted automata and weighted logics. Zbl 1118.68076Droste, Manfred; Gastin, Paul 84 2007 Local majorities, coalitions and monopolies in graphs: A review. Zbl 0997.68088Peleg, David 83 2002 The differential lambda-calculus. Zbl 1070.68020Ehrhard, Thomas; Regnier, Laurent 83 2003 A new algorithm for optimal 2-constraint satisfaction and its implications. Zbl 1081.68095Williams, Ryan 83 2005 Applications of graphical condensation for enumerating matchings and tilings. Zbl 1043.05099Kuo, Eric H. 83 2004 The undecidability of the second-order unification problem. Zbl 0457.03006Goldfarb, Warren D. 82 1981 A coding theory construction of new systematic authentication codes. Zbl 1078.68030Ding, Cunsheng; Wang, Xuesong 82 2005 Basic analytic combinatorics of directed lattice paths. Zbl 0996.68126Banderier, Cyril; Flajolet, Philippe 81 2002 Algorithms for plane representations of acyclic digraphs. Zbl 0678.68059Di Battista, Giuseppe; Tamassia, Roberto 81 1988 Restriction categories. I: Categories of partial maps. Zbl 0988.18003Cockett, J. R. B.; Lack, Stephen 80 2002 Regular expressions into finite automata. Zbl 0811.68096Brüggemann-Klein, Anne 79 1993 Variety of mutual-visibility problems in graphs. Zbl 07739129Cicerone, Serafino; Di Stefano, Gabriele; Drožđek, Lara; Hedžet, Jaka; Klavžar, Sandi; Yero, Ismael G. 2 2023 On balanced sequences and their critical exponent. Zbl 1507.68234Dolce, Francesco; Dvořáková, L’ubomíra; Pelantová, Edita 2 2023 Few induced disjoint paths for \(H\)-free graphs. Zbl 07619403Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan 2 2023 Arbitrary pattern formation on infinite regular tessellation graphs. Zbl 07635990Cicerone, Serafino; Di Fonso, Alessia; Di Stefano, Gabriele; Navarra, Alfredo 2 2023 Modelling of oppositional Aquila Optimizer with machine learning enabled secure access control in Internet of drones environment. Zbl 07638348Perumalla, Subhadra; Chatterjee, Santanu; Kumar, A. P. Siva 2 2023 Re-examining regular expressions with backreferences. Zbl 07676466Berglund, Martin; van der Merwe, Brink 1 2023 Tight FPT approximation for constrained \(k\)-center and \(k\)-supplier. Zbl 07676480Goyal, Dishant; Jaiswal, Ragesh 1 2023 On recognising words that are squares for the shuffle product. Zbl 07679025Rizzi, Romeo; Vialette, Stéphane 1 2023 Secure connected domination and secure total domination in unit disk graphs and rectangle graphs. Zbl 07679988Wang, Cai-Xia; Yang, Yu; Xu, Shou-Jun 1 2023 An improved fixed-parameter algorithm for 2-Club Cluster Edge Deletion. Zbl 07681301Abu-Khzam, Faisal N.; Makarem, Norma; Shehab, Maryam 1 2023 Representable Markov categories and comparison of statistical experiments in categorical probability. Zbl 07688224Fritz, Tobias; Gonda, Tomáš; Perrone, Paolo; Fjeldgren Rischel, Eigil 1 2023 Learning algebraic structures with the help of Borel equivalence relations. Zbl 07661889Bazhenov, Nikolay; Cipriani, Vittorio; San Mauro, Luca 1 2023 Concentration of rainbow \(k\)-connectivity of a multiplex random graph. Zbl 1509.05160Shang, Yilun 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 parameterized complexity of s-club cluster deletion problems. Zbl 07720779Montecchiani, Fabrizio; Ortali, Giacomo; Piselli, Tommaso; Tappini, Alessandra 1 2023 Relating randomized right-hand sides to communicating rewriting rules. Zbl 07729838Aman, Bogdan; Ciobanu, Gabriel 1 2023 A Java-like calculus with heterogeneous coeffects. Zbl 07729839Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena 1 2023 Not all strangers are the same: the impact of tolerance in Schelling games. Zbl 07729841Kanellopoulos, Panagiotis; Kyropoulou, Maria; Voudouris, Alexandros A. 1 2023 Priced gerrymandering. Zbl 07735124Dey, Palash 1 2023 Maximal closed set and half-space separations in finite closure systems. Zbl 1520.68158Seiffarth, Florian; Horváth, Tamás; Wrobel, Stefan 1 2023 Weakly weighted generalised quasi-metric spaces and semilattices. Zbl 07751506Castellano, Ilaria; Giordano Bruno, Anna; Zava, Nicolò 1 2023 Deciding path size of nondeterministic (and input-driven) pushdown automata. Zbl 07619402Han, Yo-Sub; Ko, Sang-Ki; Salomaa, Kai 1 2023 Improved approximation algorithms for solving the squared metric \(k\)-facility location problem. Zbl 07635996Zhang, Zhen; Feng, Qilong; Huang, Junyu; Wang, Jianxin 1 2023 On shuffled-square-free words. Zbl 07638351Bulteau, Laurent; Jugé, Vincent; Vialette, Stéphane 1 2023 Acyclic matching in some subclasses of graphs. Zbl 1512.68243Panda, B. S.; Chaudhary, Juhi 1 2023 Radical theory of Scott-open filters. Zbl 07648673Misselbeck-Wessel, Daniel; Schuster, Peter 1 2023 Recognizing DAGs with page-number 2 is NP-complete. Zbl 1512.68190Bekos, Michael A.; Da Lozzo, Giordano; Frati, Fabrizio; Gronemann, Martin; Mchedlidze, Tamara; Raftopoulou, Chrysanthi N. 1 2023 Two-disjoint-cycle-cover vertex bipancyclicity of bipartite hypercube-like networks. Zbl 1517.05145Niu, Ruichao; Zhou, Shujie; Xu, Min 1 2023 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 4 2022 Disjoint paths and connected subgraphs for \(H\)-free graphs. Zbl 07437224Kern, Walter; Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan 4 2022 Upper and lower degree-constrained graph orientation with minimum penalty. Zbl 1515.68222Asahiro, Yuichi; Jansson, Jesper; Miyano, Eiji; Ono, Hirotaka 4 2022 The localization capture time of a graph. Zbl 07496388Behague, Natalie C.; Bonato, Anthony; Huggan, Melissa A.; Marbach, Trent G.; Pittman, Brittany 4 2022 On the complexity of solution extension of optimization problems. Zbl 07467463Casel, Katrin; Fernau, Henning; Khosravian Ghadikolaei, Mehdi; Monnot, Jérôme; Sikora, Florian 4 2022 Local certification of graphs on surfaces. Zbl 07482355Esperet, Louis; Lévêque, Benjamin 4 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 3 2022 \(k\)-circle formation by disoriented asynchronous robots. Zbl 07533870Das, Bibhuti; Chakraborty, Abhinav; Bhagat, Subhash; Mukhopadhyaya, Krishnendu 3 2022 Aperiodic SFTs on Baumslag-Solitar groups. Zbl 07533876Esnay, Solène J.; Moutot, Etienne 3 2022 Extremal cubic graphs for fault-tolerant locating domination. Zbl 07533880Jean, Devin C.; Seo, Suk J. 3 2022 A proof system for disjoint parallel quantum programs. Zbl 1478.68047Ying, Mingsheng; Zhou, Li; Li, Yangjia; Feng, Yuan 3 2022 A data structure for substring-substring LCS length queries. Zbl 07496385Sakai, Yoshifumi 3 2022 Computing subset transversals in \(H\)-free graphs. Zbl 07458786Brettell, Nick; Johnson, Matthew; Paesani, Giacomo; Paulusma, Daniël 3 2022 Exploring the gap between treedepth and vertex cover through vertex integrity. Zbl 07524431Gima, Tatsuya; Hanaka, Tesshu; Kiyomi, Masashi; Kobayashi, Yasuaki; Otachi, Yota 2 2022 Multi-attribute based influence maximization in social networks: algorithms and analysis. Zbl 07530339Ni, Qiufen; Guo, Jianxiong; Du, Hongmin W.; Wang, Huan 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 Internal shortest absent word queries in constant time and linear space. Zbl 07540210Badkobeh, Golnaz; Charalampopoulos, Panagiotis; Kosolobov, Dmitry; Pissis, Solon P. 2 2022 Strongly Menger-edge-connectedness of DCell networks. Zbl 07540213Liu, Xuemei; Meng, Jixiang 2 2022 Joint realizability of monotone Boolean functions. Zbl 07540223Crawford-Kahrl, Peter; Cummins, Bree; Gedeon, Tomáš 2 2022 A model learning based testing approach for spiking neural P systems. Zbl 1497.68191Ipate, Florentin; Gheorghe, Marian 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 The \(R_g\)-conditional diagnosability of international networks. Zbl 1478.68023Yuan, Jun; Qiao, Huijuan; Liu, Aixia 2 2022 Crossing numbers of beyond-planar graphs. Zbl 1485.68176Chimani, Markus; Kindermann, Philipp; Montecchiani, Fabrizio; Valtr, Pavel 2 2022 Determinisability of unary weighted automata over the rational numbers. Zbl 1490.68127Kostolányi, Peter 2 2022 The unpaired many-to-many \(k\)-disjoint paths in bipartite hypercube-like networks. Zbl 07496384Niu, Ruichao; Xu, Min 2 2022 Finding Cheeger cuts in hypergraphs via heat equation. Zbl 07575092Ikeda, Masahiro; Miyauchi, Atsushi; Takai, Yuuki; Yoshida, Yuichi 2 2022 On the probe problem for \((r, \ell)\)-well-coveredness: algorithms and complexity. Zbl 07585795Faria, Luerbio; Souza, Uéverton S. 2 2022 Checking whether a word is Hamming-isometric in linear time. Zbl 07593351Béal, Marie-Pierre; Crochemore, Maxime 2 2022 On the complexity of matching cut for graphs of bounded radius and \(H\)-free graphs. Zbl 07604600Lucke, Felicia; Paulusma, Daniël; Ries, Bernard 2 2022 Centralised connectivity-preserving transformations for programmable matter: a minimal seed approach. Zbl 1508.68376Connor, Matthew; Michail, Othon; Potapov, Igor 2 2022 On \(k\)-ary \(n\)-cubes and isometric words. Zbl 07605954Anselmo, Marcella; Flores, Manuela; Madonia, Maria 2 2022 Complexity and algorithms for constant diameter augmentation problems. Zbl 07467461Kim, Eun Jung; Milanič, Martin; Monnot, Jérôme; Picouleau, Christophe 2 2022 Beyond pairwise comparisons in social choice: a setwise Kemeny aggregation problem. Zbl 07467462Gilbert, Hugo; Portoleau, Tom; Spanjaard, Olivier 2 2022 Decidability and \(k\)-regular sequences. Zbl 07477123Krenn, Daniel; Shallit, Jeffrey 2 2022 Complexity and algorithms for neighbor-sum-2-distinguishing \(\{1,3\}\)-edge-weighting of graphs. Zbl 07477131Panda, B. S.; Priyamvada 2 2022 Geometry of information: classical and quantum aspects. Zbl 1481.14001Combe, Noémie; Manin, Yuri I.; Marcolli, Matilde 2 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. 2 2022 The diagnosability of Möbius cubes for the \(g\)-extra condition. Zbl 07477144Wang, Shiying 2 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 2 2022 Contention-related crash failures: definitions, agreement algorithms, and impossibility results. Zbl 07482356Durand, Anaïs; Raynal, Michel; Taubenfeld, Gadi 2 2022 Behavioural logics for configuration structures. Zbl 1483.68222Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano 2 2022 Algorithmic results in secure total dominating sets on graphs. Zbl 07524427Poureidi, Abolfazl 1 2022 A characterization of 2-threshold functions via pairs of prime segments. Zbl 07524436Zamaraeva, Elena; Žunić, Joviša 1 2022 The complexity of the unit stop number problem and its implications to other related problems. Zbl 07524438Baïou, Mourad; Colares, Rafael; Kerivin, Hervé 1 2022 Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids. Zbl 07524445Droste, Manfred; Fülöp, Zoltán; Kószó, Dávid; Vogler, Heiko 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 Computational completeness of spiking neural P systems with inhibitory rules for generating string languages. Zbl 07527765Zhou, Nan; Peng, Hong; Wang, Jun; Yang, Qian; Luo, Xiaohui 1 2022 Variants of derivation modes for which purely catalytic P systems are computationally complete. Zbl 07527767Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu; Oswald, Marion 1 2022 On the \(g\)-extra diagnosability of enhanced hypercubes. Zbl 07530336Cheng, Eddie; Qiu, Ke; Shen, Zhizhang 1 2022 Stable routing scheduling algorithms in multi-hop wireless networks. Zbl 07530337Cholvi, Vicent; Garncarek, P.; Jurdziński, T.; Kowalski, Dariusz R. 1 2022 Faster algorithm for pathwidth one vertex deletion. Zbl 07530340Tsur, Dekel 1 2022 Monotone \(k\)-submodular secretary problems: cardinality and knapsack constraints. Zbl 07530342Tang, Zhongzheng; Wang, Chenhao; Chan, Hau 1 2022 In-place initializable arrays. Zbl 07533871Katoh, Takashi; Goto, Keisuke 1 2022 A divide-and-conquer approach for reconstruction of \(\{C_{ \geq 5}\}\)-free graphs via betweenness queries. Zbl 07533874Rong, Guozhen; Yang, Yongjie; Li, Wenjun; Wang, Jianxin 1 2022 Zero-freeness and approximation of real Boolean Holant problems. Zbl 07533875Bai, Zonglei; Cao, Yongzhi; Wang, Hanpin 1 2022 Union acceptable profit maximization in social networks. Zbl 07533881Rao, Guoyao; Wang, Yongcai; Chen, Wenping; Li, Deying; Wu, Weili 1 2022 Reliability measure of the \(n\)-th Cartesian product of complete graph \(K_4\) on \(h\)-extra edge-connectivity. Zbl 07540194Tian, Zhaoxia; Zhang, Mingzu; Feng, Xing 1 2022 Pebble guided optimal treasure hunt in anonymous graphs. Zbl 07540195Gorain, Barun; Mondal, Kaushik; Nayak, Himadri; Pandit, Supantha 1 2022 On vertex-weighted realizations of acyclic and general graphs. Zbl 07540196Bar-Noy, Amotz; Böhnlein, Toni; Peleg, David; Rawitz, Dror 1 2022 Distributed strong diameter network decomposition. Zbl 07540201Elkin, Michael; Neiman, Ofer 1 2022 Unique key Horn functions. Zbl 1500.68005Bérczi, Kristóf; Boros, Endre; Čepek, Ondřej; Kučera, Petr; Makino, Kazuhisa 1 2022 The non-inclusive \(g\)-good-neighbor diagnosability of interconnection networks. Zbl 07540204Yuan, Jun; Li, Ying; Liu, Aixia; Qiao, Huijuan 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 On the conjectures of neighbor locating coloring of graphs. Zbl 07540212Mojdeh, Doost Ali 1 2022 The cycle-structure connectivity of crossed cubes. Zbl 07540215Ba, Lina; Zhang, Heping 1 2022 Suffix-connected languages. Zbl 07540234Goulet-Ouellet, Herman 1 2022 Connectivity and super connectivity of the exchanged 3-ary \(n\)-cube. Zbl 07540236Ning, Wantao; Guo, Litao 1 2022 Approximation algorithms for the minimum power cover problem with submodular/linear penalties. Zbl 07540242Liu, Xiaofei; Li, Weidong; Dai, Han 1 2022 Upper dominating set: tight algorithms for pathwidth and sub-exponential approximation. Zbl 07540243Dublois, Louis; Lampis, Michael; Paschos, Vangelis Th. 1 2022 Sumcheck-based delegation of quantum computing to rational server. Zbl 07540255Takeuchi, Yuki; Morimae, Tomoyuki; Tani, Seiichiro 1 2022 A thesis for interaction. Zbl 07437215Fu, Yuxi 1 2022 ...and 737 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 42,391 Authors 140 Paulusma, Daniël 130 Saurabh, Saket 120 Ibarra, Oscar H. 117 Golovach, Petr A. 113 Rozenberg, Grzegorz 110 Jain, Sanjay 109 Niedermeier, Rolf 108 Salomaa, Kai T. 107 Kutrib, Martin 105 Stephan, Frank 104 Fernau, Henning 103 Epstein, Leah 101 Fomin, Fedor V. 97 Meseguer Guaita, José 97 Shallit, Jeffrey Outlaw 95 Otto, Friedrich 88 Yuan, Jinjiang 86 Ésik, Zoltán 83 Rytter, Wojciech 80 Okhotin, Alexander 80 Pelc, Andrzej 79 Courcelle, Bruno 78 Thilikos, Dimitrios M. 76 Karhumaki, Juhani 75 Bodlaender, Hans L. 75 Raman, Venkatesh 74 Navarro, Gonzalo 73 Larsen, Kim Guldstrand 73 Restivo, Antonio 71 Hemaspaandra, Lane A. 70 Crochemore, Maxime 70 Harju, Tero 70 Montanari, Ugo G. 70 Spirakis, Paul G. 69 Holzer, Markus 69 Rautenbach, Dieter 68 Iliopoulos, Costas S. 68 Inenaga, Shunsuke 68 Liotta, Giuseppe 68 Lokshtanov, Daniel 67 Blanchet-Sadri, Francine 67 Droste, Manfred 66 Salomaa, Arto Kustaa 65 Ehrenfeucht, Andrzej 64 Engelfriet, Joost 63 Ito, Takehiro 62 Li, Qingguo 62 Lozin, Vadim Vladislavovich 62 Paschos, Vangelis Th. 62 Prodinger, Helmut 62 Xu, Yinfeng 60 Aceto, Luca 60 de Luca, Aldo 60 Păun, Gheorghe 58 Bergstra, Jan A. 58 Cheng, Tai-Chiu Edwin 58 Kari, Lila 58 Santoro, Nicola 57 Flocchini, Paola 57 Sau, Ignasi 56 Milius, Stefan 56 Vardi, Moshe Ya’akov 56 Wang, Shiying 55 Cai, Jin-Yi 55 Henzinger, Thomas A. 55 Rampersad, Narad 55 Wang, Jianxin 55 Zhang, Zhao 54 Adámek, Jiří 54 Monnot, Jérôme 54 Pan, Victor Yakovlevich 53 Bannai, Hideo 53 Chatterjee, Krishnendu 53 Honkala, Juha 53 Kratsch, Dieter 53 Malcher, Andreas 53 Yu, Sheng 53 Zehavi, Meirav 52 Chen, Jian-er 52 Cheng, Eddie 52 Gawrychowski, Paweł 52 Han, Yo-Sub 52 Hromkovič, Juraj 52 Ingólfsdóttir, Anna 52 Komusiewicz, Christian 51 Fellows, Michael Ralph 51 Lohrey, Markus 51 Manea, Florin 51 Pelantová, Edita 51 Pérez-Jiménez, Mario J. 51 Radoszewski, Jakub 51 Rothe, Jörg-Matthias 51 Takeda, Masayuki 50 Pin, Jean-Eric 50 Wu, Weili 50 Zamboni, Luca Quardo 49 Heggernes, Pinar 49 Kupferman, Orna 49 Otachi, Yota 48 Bouyer, Patricia ...and 42,291 more Authors all top 5 Cited in 1,048 Journals 8,629 Theoretical Computer Science 1,757 Discrete Applied Mathematics 1,558 Information and Computation 1,497 Information Processing Letters 1,179 Journal of Computer and System Sciences 1,088 Algorithmica 765 International Journal of Foundations of Computer Science 704 Discrete Mathematics 619 Journal of Combinatorial Optimization 605 Quantum Information Processing 603 Theory of Computing Systems 481 Annals of Pure and Applied Logic 470 MSCS. Mathematical Structures in Computer Science 447 Acta Informatica 428 Information Sciences 420 Artificial Intelligence 373 European Journal of Operational Research 371 Logical Methods in Computer Science 365 Journal of Symbolic Computation 316 International Journal of Theoretical Physics 294 Formal Aspects of Computing 291 Journal of Discrete Algorithms 282 Applied Mathematics and Computation 279 Journal of Automated Reasoning 275 Journal of Logical and Algebraic Methods in Programming 254 European Journal of Combinatorics 249 Distributed Computing 240 SIAM Journal on Computing 240 International Journal of Computer Mathematics 236 Annals of Mathematics and Artificial Intelligence 234 RAIRO. Theoretical Informatics and Applications 226 Computers & Operations Research 225 The Electronic Journal of Combinatorics 224 Computational Geometry 216 The Journal of Logic and Algebraic Programming 210 The Journal of Symbolic Logic 204 SIAM Journal on Discrete Mathematics 197 Fuzzy Sets and Systems 189 Journal of Pure and Applied Algebra 187 Advances in Applied Mathematics 187 Linear Algebra and its Applications 184 International Journal of Algebra and Computation 183 Formal Methods in System Design 168 Computational Complexity 166 Discrete & Computational Geometry 163 Graphs and Combinatorics 159 Journal of Combinatorial Theory. Series A 155 RAIRO. Informatique Théorique et Applications 155 Natural Computing 154 Topology and its Applications 154 Journal of Complexity 153 Mathematical Systems Theory 148 Studia Logica 146 Journal of Scheduling 142 Journal of Algebra 141 Operations Research Letters 138 Discrete Mathematics, Algorithms and Applications 134 Journal of Functional Programming 133 Discrete Optimization 129 Mathematical Programming. Series A. Series B 128 Semigroup Forum 128 International Journal of Approximate Reasoning 126 RAIRO. Theoretical Informatics and Applications 125 Annals of Operations Research 115 Journal of Graph Theory 109 Theory and Practice of Logic Programming 107 Random Structures & Algorithms 105 Soft Computing 104 Transactions of the American Mathematical Society 100 Fundamenta Informaticae 99 Computers & Mathematics with Applications 98 Mathematics of Computation 97 Journal of Applied Non-Classical Logics 97 Optimization Letters 96 Automatica 96 Journal of Combinatorial Theory. Series B 95 Designs, Codes and Cryptography 93 Applicable Algebra in Engineering, Communication and Computing 92 Archive for Mathematical Logic 91 ACM Transactions on Computational Logic 88 Advances in Mathematics 88 Ergodic Theory and Dynamical Systems 88 Machine Learning 86 Journal of Global Optimization 83 Networks 83 International Journal of Computational Geometry & Applications 82 Journal of Computational and Applied Mathematics 82 Combinatorica 81 Discrete Event Dynamic Systems 81 Combinatorics, Probability and Computing 80 Algorithms 79 Journal of Logic, Language and Information 78 Order 77 Journal of Mathematical Sciences (New York) 76 Journal of Number Theory 76 Applied Categorical Structures 76 Journal of Applied Logic 75 The Bulletin of Symbolic Logic 75 Journal of Membrane Computing 71 Cybernetics and Systems Analysis ...and 948 more Journals all top 5 Cited in 62 Fields 36,482 Computer science (68-XX) 9,921 Combinatorics (05-XX) 7,480 Mathematical logic and foundations (03-XX) 5,280 Operations research, mathematical programming (90-XX) 2,612 Information and communication theory, circuits (94-XX) 2,556 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1,688 Quantum theory (81-XX) 1,577 Number theory (11-XX) 1,314 Biology and other natural sciences (92-XX) 1,306 Numerical analysis (65-XX) 1,271 Order, lattices, ordered algebraic structures (06-XX) 1,245 Category theory; homological algebra (18-XX) 1,238 Group theory and generalizations (20-XX) 1,076 Probability theory and stochastic processes (60-XX) 999 Dynamical systems and ergodic theory (37-XX) 744 General topology (54-XX) 681 Linear and multilinear algebra; matrix theory (15-XX) 652 Systems theory; control (93-XX) 616 Statistics (62-XX) 601 Convex and discrete geometry (52-XX) 453 Algebraic geometry (14-XX) 449 Commutative algebra (13-XX) 431 General algebraic systems (08-XX) 366 Associative rings and algebras (16-XX) 322 Statistical mechanics, structure of matter (82-XX) 282 Field theory and polynomials (12-XX) 249 Measure and integration (28-XX) 164 Ordinary differential equations (34-XX) 162 Algebraic topology (55-XX) 150 Operator theory (47-XX) 141 History and biography (01-XX) 139 Manifolds and cell complexes (57-XX) 132 Partial differential equations (35-XX) 131 Functions of a complex variable (30-XX) 128 General and overarching topics; collections (00-XX) 118 Real functions (26-XX) 114 Functional analysis (46-XX) 111 Special functions (33-XX) 95 Geometry (51-XX) 92 Calculus of variations and optimal control; optimization (49-XX) 91 Approximations and expansions (41-XX) 75 Mechanics of deformable solids (74-XX) 69 Difference and functional equations (39-XX) 63 Nonassociative rings and algebras (17-XX) 63 Differential geometry (53-XX) 51 Topological groups, Lie groups (22-XX) 51 Fluid mechanics (76-XX) 50 Mechanics of particles and systems (70-XX) 46 Harmonic analysis on Euclidean spaces (42-XX) 44 Global analysis, analysis on manifolds (58-XX) 43 Integral transforms, operational calculus (44-XX) 31 Relativity and gravitational theory (83-XX) 25 Several complex variables and analytic spaces (32-XX) 25 Abstract harmonic analysis (43-XX) 24 Sequences, series, summability (40-XX) 24 Optics, electromagnetic theory (78-XX) 23 Classical thermodynamics, heat transfer (80-XX) 18 Mathematics education (97-XX) 14 Integral equations (45-XX) 14 Geophysics (86-XX) 12 Potential theory (31-XX) 10 \(K\)-theory (19-XX) Citations by Year