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,538 Publications (since 1975) References Indexed: 13,921 Publications with 332,486 References. all top 5 Latest Issues 993 (2024) 992 (2024) 991 (2024) 990 (2024) 989 (2024) 988 (2024) 987 (2024) 986 (2024) 985 (2024) 984 (2024) 983 (2024) 982 (2024) 981 (2024) 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) ...and 1,234 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 38 Wang, Jianxin 37 Karhumaki, Juhani 37 Stephan, Frank 36 Ehrenfeucht, Andrzej 35 Crochemore, Maxime 34 Chen, Jian-er 34 Harju, Tero 34 Wu, Weili 33 Iliopoulos, Costas S. 32 Pelc, Andrzej 31 Kari, Lila 30 Ésik, Zoltán 30 Goles Chacc, Eric 30 Okhotin, Alexander 30 Paulusma, Daniël 30 Peleg, David 29 de Luca, Aldo 29 Shallit, Jeffrey Outlaw 28 Kranakis, Evangelos Konstantinou 28 Otto, Friedrich 28 Yuan, Jinjiang 27 Susilo, Willy 26 Hromkovič, Juraj 26 Montanari, Ugo G. 26 Reutenauer, Christophe 26 Saurabh, Saket 26 Yu, Sheng 25 Epstein, Leah 25 Fernau, Henning 25 Holzer, Markus 25 Navarro, Gonzalo 25 Zhu, Binhai 24 Amir, Amihood 24 Bergstra, Jan A. 24 Kutrib, Martin 24 Lin, Guohui 24 Mauri, Giancarlo 24 Zhou, Shuming 23 Blanchet-Sadri, Francine 23 Courcelle, Bruno 23 Demaine, Erik D. 23 Duan, Zhenhua 23 Golovach, Petr A. 23 Hemaspaandra, Lane A. 23 Landau, Gad M. 23 Mignosi, Filippo 23 Munro, J. Ian 23 Pérez-Jiménez, Mario J. 23 Prodinger, Helmut 23 Raynal, Michel 22 Chrobak, Marek 22 Du, Ding-Zhu 22 Han, Yo-Sub 22 Honkala, Juha 22 Ito, Takehiro 22 Liotta, Giuseppe 22 Park, Kunsoo 22 Zeugmann, Thomas 21 Calude, Cristian S. 21 Fan, Jianxi 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 Feng, Qilong 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 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 ...and 14,762 more Authors all top 5 Fields 12,739 Computer science (68-XX) 1,904 Combinatorics (05-XX) 1,518 Mathematical logic and foundations (03-XX) 862 Operations research, mathematical programming (90-XX) 684 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 583 Information and communication theory, circuits (94-XX) 418 General and overarching topics; collections (00-XX) 356 Biology and other natural sciences (92-XX) 263 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) 139 Dynamical systems and ergodic theory (37-XX) 130 Quantum theory (81-XX) 123 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) 63 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) 18 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 Several complex variables and analytic spaces (32-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,985 Publications have been cited 105,891 times in 56,210 Documents Cited by ▼ Year ▼ Quantum cryptography: public key distribution and coin tossing. Zbl 1306.81030 Bennett, Charles H.; Brassard, Gilles 947 2014 Linear logic. Zbl 0625.03037 Girard, Jean-Yves 910 1987 A theory of timed automata. Zbl 0803.68071 Alur, Rajeev; Dill, David L. 743 1994 Some simplified NP-complete graph problems. Zbl 0338.05120 Garey, M. R.; Johnson, D. S.; Stockmeyer, L. 673 1976 The complexity of computing the permanent. Zbl 0415.68008 Valiant, L. G. 667 1979 A partial k-arboretum of graphs with bounded treewidth. Zbl 0912.68148 Bodlaender, Hans L. 398 1998 Universal coalgebra: A theory of systems. Zbl 0951.68038 Rutten, J. J. M. M. 384 2000 The polynomial-time hierarchy. Zbl 0353.02024 Stockmeyer, Larry J. 370 1977 Results on the propositional \(\mu\)-calculus. Zbl 0553.03007 Kozen, Dexter 362 1983 Testing equivalences for processes. Zbl 0985.68518 De Nicola, R.; Hennessy, M. C. B. 266 1984 Conditional rewriting logic as a unified model of concurrency. Zbl 0758.68043 Meseguer, José 246 1992 The directed subgraph homeomorphism problem. Zbl 0419.05028 Fortune, Steven; Hopcroft, John; Wyllie, James 241 1980 Random generation of combinatorial structures from a uniform distribution. Zbl 0597.68056 Jerrum, Mark R.; Valiant, Leslie G.; Vazirani, Vijay V. 240 1986 LCF considered as a programming language. Zbl 0369.68006 Plotkin, G. D. 239 1978 Call-by-name, call-by-value and the \(\lambda\)-calculus. Zbl 0325.68006 Plotkin, G. D. 237 1975 Petri nets, event structures and domains. I. Zbl 0452.68067 Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn 236 1981 The intractability of resolution. Zbl 0586.03010 Haken, Armin 212 1985 Clustering to minimize the maximum intercluster distance. Zbl 0567.62048 Gonzalez, Teofilo F. 210 1985 Mobile ambients. Zbl 0954.68108 Cardelli, L.; Gordon, A. D. 198 2000 The algorithmic analysis of hybrid systems. Zbl 0874.68206 Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H. 191 1995 Calculi for synchrony and asynchrony. Zbl 0512.68026 Milner, Robin 185 1983 The complexity of mean payoff games on graphs. Zbl 0871.68138 Zwick, Uri; Paterson, Mike 181 1996 Some APX-completeness results for cubic graphs. Zbl 0939.68052 Alimonti, P.; Kann, V. 180 2000 Orderings for term-rewriting systems. Zbl 0525.68054 Dershowitz, Nachum 176 1982 A hierarchy of polynomial time lattice basis reduction algorithms. Zbl 0642.10030 Schnorr, C. P. 172 1987 Mellin transforms and asymptotics: Harmonic sums. Zbl 0869.68057 Flajolet, Philippe; Gourdon, Xavier; Dumas, Philippe 172 1995 NP is as easy as detecting unique solutions. Zbl 0621.68030 Valiant, L. G.; Vazirani, V. V. 169 1986 Episturmian words and some constructions of de Luca and Rauzy. Zbl 0981.68126 Droubay, X.; Justin, J.; Pirillo, G. 163 2001 Fixed-parameter tractability and completeness II: On completeness for W[1]. Zbl 0873.68059 Downey, Rod G.; Fellows, Michael R. 162 1995 Well-structured transition systems everywhere! Zbl 0973.68170 Finkel, A.; Schnoebelen, P. 157 2001 Definability and fast quantifier elimination in algebraically closed fields. Zbl 0546.03017 Heintz, Joos 156 1983 On the analysis of the \((1+1)\) evolutionary algorithm. Zbl 1002.68037 Droste, Stefan; Jansen, Thomas; Wegener, Ingo 154 2002 On the parameterized complexity of multiple-interval graph problems. Zbl 1161.68038 Fellows, Michael R.; Hermelin, Danny; Rosamond, Frances; Vialette, Stéphane 151 2009 Termination of term rewriting using dependency pairs. Zbl 0938.68051 Arts, T.; Giesl, J. 150 2000 Fundamental properties of infinite trees. Zbl 0521.68013 Courcelle, Bruno 149 1983 Algebra of communicating processes with abstraction. Zbl 0579.68016 Bergstra, J. A.; Klop, J. W. 147 1985 The state complexities of some basic operations on regular languages. Zbl 0795.68112 Yu, Sheng; Zhuang, Qingyu; Salomaa, Kai 147 1994 A comparison of polynomial time reducibilities. Zbl 0321.68039 Ladner, R. E.; Lynch, N. A.; Selman, A. L. 145 1975 Comparison of identification criteria for machine inductive inference. Zbl 0524.03025 Case, John; Smith, Carl 144 1983 The chemical abstract machine. Zbl 0747.68013 Berry, Gérard; Boudol, Gérard 138 1992 Infinite games on finitely coloured graphs with applications to automata on infinite trees. Zbl 0915.68120 Zielonka, Wiesław 137 1998 The ring of \(k\)-regular sequences. Zbl 0774.68072 Allouche, Jean-Paul; Shallit, Jeffrey 137 1992 Algebraic languages and polyominoes enumeration. Zbl 0985.68516 Delest, Marie-Pierre; Viennot, Gérard 133 1984 Theory of cellular automata: a survey. Zbl 1080.68070 Kari, Jarkko 133 2005 On the complexity of reconfiguration problems. Zbl 1207.68166 Ito, Takehiro; Demaine, Erik D.; Harvey, Nicholas J. A.; Papadimitriou, Christos H.; Sideri, Martha; Uehara, Ryuhei; Uno, Yushi 128 2011 An annotated bibliography on guaranteed graph searching. Zbl 1160.68007 Fomin, Fedor V.; Thilikos, Dimitrios M. 127 2008 The Euclidean traveling salesman problem is NP-complete. Zbl 0386.90057 Papadimitriou, Christos H. 126 1977 Improved upper bounds for vertex cover. Zbl 1205.05217 Chen, Jianer; Kanj, Iyad A.; Xia, Ge 125 2010 Quantum automata and quantum grammars. Zbl 0939.68037 Moore, Cristopher; Crutchfield, J. P. 122 2000 Tissue P systems. Zbl 1045.68063 Martín-Vide, Carlos; Păun, Gheorghe; Pazos, Juan; Rodríguez-Patón, Alfonso 122 2003 Finite automata and unary languages. Zbl 0638.68096 Chrobak, Marek 121 1986 The system \({\mathcal F}\) of variable types, fifteen years later. Zbl 0623.03013 Girard, Jean-Yves 121 1986 The covering and boundedness problems for vector addition systems. Zbl 0368.68054 Rackoff, Charles 117 1978 Fully abstract models of typed \(\lambda\)-calculi. Zbl 0386.03006 Milner, Robin 117 1977 Complexity measures and decision tree complexity: a survey. Zbl 1061.68058 Buhrman, Harry; de Wolf, Ronald 117 2002 Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056 Goguen, Joseph A.; Meseguer, José 116 1992 Searching and pebbling. Zbl 0616.68064 Kirousis, Lefteris M.; Papadimitriou, Christos H. 115 1986 Sturmian words: structure, combinatorics, and their arithmetics. Zbl 0911.68098 de Luca, Aldo 112 1997 BioAmbients: an abstraction for biological compartments. Zbl 1069.68569 Regev, Aviv; Panina, Ekaterina M.; Silverman, William; Cardelli, Luca; Shapiro, Ehud 112 2004 The complexity of partial derivatives. Zbl 0498.68028 Baur, Walter; Strassen, Volker 111 1983 The existence of refinement mappings. Zbl 0728.68083 Abadi, Martín; Lamport, Leslie 111 1991 Complete sets and the polynomial-time hierarchy. Zbl 0366.02031 Wrathall, Celia 109 1977 Remarks on blind and partially blind one-way multicounter machines. Zbl 0389.68030 Greibach, S. A. 108 1978 Ant colony optimization theory: a survey. Zbl 1154.90626 Dorigo, Marco; Blum, Christian 107 2005 Some combinatorial properties of Sturmian words. Zbl 0874.68245 de Luca, Aldo; Mignosi, Filippo 105 1994 Formal molecular biology. Zbl 1071.68041 Danos, Vincent; Laneve, Cosimo 103 2004 Parameterized graph separation problems. Zbl 1086.68104 Marx, Dániel 103 2006 An introduction to commutative and noncommutative Gröbner bases. Zbl 0824.68056 Mora, Teo 101 1994 Gathering of asynchronous robots with limited visibility. Zbl 1108.68120 Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Widmayer, Peter 101 2005 Partial derivatives of regular expressions and finite automaton constructions. Zbl 0872.68120 Antimirov, Valentin 101 1996 Lex-BFS and partition refinement, with applications to transitive orientation, interval graph recognition and consecutive ones testing. Zbl 0945.68189 Habib, M.; McConnell, R.; Paul, C.; Viennot, L. 99 2000 On the algebraic structure of combinatorial problems. Zbl 0915.68074 Jeavons, Peter 97 1998 The theory of ends, pushdown automata, and second-order logic. Zbl 0605.03005 Muller, David E.; Schupp, Paul E. 96 1985 On the distributional complexity of disjointness. Zbl 0787.68055 Razborov, A. A. 96 1992 Finite-memory automata. Zbl 0938.68711 Kaminski, Michael; Francez, Nissim 94 1994 Multi-agent scheduling on a single machine to minimize total weighted number of tardy jobs. Zbl 1100.68007 Cheng, T. C. E.; Ng, C. T.; Yuan, J. J. 94 2006 \(\beta\)-expansions and symbolic dynamics. Zbl 0682.68081 Blanchard, F. 93 1989 A new algorithm for optimal 2-constraint satisfaction and its implications. Zbl 1081.68095 Williams, Ryan 93 2005 A coding theory construction of new systematic authentication codes. Zbl 1078.68030 Ding, Cunsheng; Wang, Xuesong 93 2005 Terminal coalgebras in well-founded set theory. Zbl 0779.18004 Barr, Michael 93 1993 PSPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation. Zbl 1079.68040 Hearn, Robert A.; Demaine, Erik D. 92 2005 Data exchange: semantics and query answering. Zbl 1080.68019 Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian 92 2005 Shortest paths without a map. Zbl 0733.68065 Papadimitriou, Christos H.; Yannakakis, Mihalis 92 1991 Kernel bounds for disjoint cycles and disjoint paths. Zbl 1221.68099 Bodlaender, Hans L.; Thomassé, Stéphan; Yeo, Anders 91 2011 Metrics for labelled Markov processes. Zbl 1068.68093 Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 91 2004 Higher-level synchronising devices in Meije-SCCS. Zbl 0598.68027 De Simone, Robert 90 1985 Power of words and recognizability of fixpoints of a substitution. (Puissances de mots et reconnaissabilité des points fixes d’une substitution.) Zbl 0763.68049 Mossé, Brigitte 90 1992 On reduction-based process semantics. Zbl 0871.68122 Honda, Kohei; Yoshida, Nobuko 90 1995 Weighted automata and weighted logics. Zbl 1118.68076 Droste, Manfred; Gastin, Paul 89 2007 A computational model for metric spaces. Zbl 1011.54026 Edalat, Abbas; Heckmann, Reinhold 89 1998 The differential lambda-calculus. Zbl 1070.68020 Ehrhard, Thomas; Regnier, Laurent 89 2003 Monadic second-order evaluations on tree-decomposable graphs. Zbl 0789.68083 Courcelle, B.; Mosbah, M. 89 1993 Algorithms for plane representations of acyclic digraphs. Zbl 0678.68059 Di Battista, Giuseppe; Tamassia, Roberto 88 1988 Basic analytic combinatorics of directed lattice paths. Zbl 0996.68126 Banderier, Cyril; Flajolet, Philippe 87 2002 A calculus for the random generation of labelled combinatorial structures. Zbl 0799.68143 Flajolet, Philippe; Zimmerman, Paul; van Cutsem, Bernard 87 1994 Applications of graphical condensation for enumerating matchings and tilings. Zbl 1043.05099 Kuo, Eric H. 85 2004 Local majorities, coalitions and monopolies in graphs: A review. Zbl 0997.68088 Peleg, David 83 2002 The undecidability of the second-order unification problem. Zbl 0457.03006 Goldfarb, Warren D. 83 1981 Restriction categories. I: Categories of partial maps. Zbl 0988.18003 Cockett, J. R. B.; Lack, Stephen 82 2002 Finding paths between graph colourings: PSPACE-completeness and superpolynomial distances. Zbl 1177.05112 Bonsma, Paul; Cereceda, Luis 81 2009 On the 2-binomial complexity of the generalized Thue-Morse words. Zbl 07789587 Lü, Xiao-Tao; Chen, Jin; Wen, Zhi-Xiong; Wu, Wen 1 2024 An improved fixed-parameter algorithm for 2-Club Cluster Edge Deletion. Zbl 07681301 Abu-Khzam, Faisal N.; Makarem, Norma; Shehab, Maryam 3 2023 Representable Markov categories and comparison of statistical experiments in categorical probability. Zbl 07688224 Fritz, Tobias; Gonda, Tomáš; Perrone, Paolo; Fjeldgren Rischel, Eigil 3 2023 Self-adjusting population sizes for the (1,\( \lambda )\)-EA on monotone functions. Zbl 07755511 Kaufmann, Marc; Larcher, Maxime; Lengler, Johannes; Zou, Xun 3 2023 Variety of mutual-visibility problems in graphs. Zbl 07739129 Cicerone, Serafino; Di Stefano, Gabriele; Drožđek, Lara; Hedžet, Jaka; Klavžar, Sandi; Yero, Ismael G. 3 2023 Reversible computing from a programming language perspective. Zbl 07667524 Glück, Robert; Yokoyama, Tetsuo 3 2023 Secure connected domination and secure total domination in unit disk graphs and rectangle graphs. Zbl 07679988 Wang, Cai-Xia; Yang, Yu; Xu, Shou-Jun 2 2023 Weakly weighted generalised quasi-metric spaces and semilattices. Zbl 07751506 Castellano, Ilaria; Giordano Bruno, Anna; Zava, Nicolò 2 2023 Query-based selection of optimal candidates under the Mallows model. Zbl 07755523 Liu, Xujun; Milenkovic, Olgica; Moustakides, George V. 2 2023 On the parameterized complexity of s-club cluster deletion problems. Zbl 07720779 Montecchiani, Fabrizio; Ortali, Giacomo; Piselli, Tommaso; Tappini, Alessandra 2 2023 On balanced sequences and their critical exponent. Zbl 1507.68234 Dolce, Francesco; Dvořáková, L’ubomíra; Pelantová, Edita 2 2023 Few induced disjoint paths for \(H\)-free graphs. Zbl 1527.05104 Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan 2 2023 Arbitrary pattern formation on infinite regular tessellation graphs. Zbl 07635990 Cicerone, 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 07638348 Perumalla, Subhadra; Chatterjee, Santanu; Kumar, A. P. Siva 2 2023 Stagnation detection meets fast mutation. Zbl 1522.68773 Doerr, Benjamin; Rajabi, Amirhossein 2 2023 Recognizing DAGs with page-number 2 is NP-complete. Zbl 1512.68190 Bekos, Michael A.; Da Lozzo, Giordano; Frati, Fabrizio; Gronemann, Martin; Mchedlidze, Tamara; Raftopoulou, Chrysanthi N. 2 2023 Attractor separation and signed cycles in asynchronous Boolean networks. Zbl 1517.37050 Richard, Adrien; Tonello, Elisa 2 2023 Concentration of rainbow \(k\)-connectivity of a multiplex random graph. Zbl 1509.05160 Shang, Yilun 2 2023 Tight FPT approximation for constrained \(k\)-center and \(k\)-supplier. Zbl 07676480 Goyal, Dishant; Jaiswal, Ragesh 2 2023 On recognising words that are squares for the shuffle product. Zbl 07679025 Rizzi, Romeo; Vialette, Stéphane 1 2023 Sorting by prefix block-interchanges. Zbl 07681296 Labarre, Anthony 1 2023 Space-efficient algorithms for reachability in directed geometric graphs. Zbl 07688228 Bhore, Sujoy; Jain, Rahul 1 2023 Matroidal connectivity and conditional matroidal connectivity of star graphs. Zbl 07751513 Zhuang, Hongbin; Lin, Wanling; Li, Xiao-Yan; Chang, Jou-Ming 1 2023 An array P system based on a new variant of pure 2D context-free grammars. Zbl 07715631 Bera, Somnath; Nagar, Atulya K.; Sriram, Sastha; Subramanian, K. G. 1 2023 Relating randomized right-hand sides to communicating rewriting rules. Zbl 07729838 Aman, Bogdan; Ciobanu, Gabriel 1 2023 A Java-like calculus with heterogeneous coeffects. Zbl 07729839 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena 1 2023 Self-stabilizing Byzantine fault-tolerant repeated reliable broadcast. Zbl 07735118 Duvignau, Romaric; Raynal, Michel; Schiller, Elad Michael 1 2023 Priced gerrymandering. Zbl 1522.91102 Dey, Palash 1 2023 Linear-time computation of DAWGs, symmetric indexing structures, and MAWs for integer alphabets. Zbl 1520.68229 Fujishige, Yuta; Tsujimaru, Yuki; Inenaga, Shunsuke; Bannai, Hideo; Takeda, Masayuki 1 2023 Maximal closed set and half-space separations in finite closure systems. Zbl 1520.68158 Seiffarth, Florian; Horváth, Tamás; Wrobel, Stefan 1 2023 Weighted group search on a line & implications to the priority evacuation problem. Zbl 1498.68030 Georgiou, Konstantinos; Lucier, Jesse 1 2023 Stand up indulgent gathering. Zbl 1507.68307 Bramas, Quentin; Lamani, Anissa; Tixeuil, Sébastien 1 2023 Using edge contractions to reduce the semitotal domination number. Zbl 1502.05187 Galby, Esther; Lima, Paloma T.; Mann, Felix; Ries, Bernard 1 2023 Deciding path size of nondeterministic (and input-driven) pushdown automata. Zbl 07619402 Han, Yo-Sub; Ko, Sang-Ki; Salomaa, Kai 1 2023 Improved approximation algorithms for solving the squared metric \(k\)-facility location problem. Zbl 07635996 Zhang, Zhen; Feng, Qilong; Huang, Junyu; Wang, Jianxin 1 2023 String inference from longest-common-prefix array. Zbl 07636000 Kärkkäinen, Juha; Piątkowski, Marcin; Puglisi, Simon J. 1 2023 Reliability analysis of the generalized balanced hypercube. Zbl 07636006 Liu, Xiaoqing; Zhou, Shuming; Cheng, Eddie; Zhang, Hong 1 2023 On shuffled-square-free words. Zbl 07638351 Bulteau, Laurent; Jugé, Vincent; Vialette, Stéphane 1 2023 Compact representation of interval graphs and circular-arc graphs of bounded degree and chromatic number. Zbl 07638356 Chakraborty, Sankardeep; Jo, Seungbum 1 2023 Colouring graphs with no induced six-vertex path or diamond. Zbl 07638364 Goedgebeur, Jan; Huang, Shenwei; Ju, Yiao; Merkel, Owen 1 2023 Acyclic matching in some subclasses of graphs. Zbl 1512.68243 Panda, B. S.; Chaudhary, Juhi 1 2023 A new approximation algorithm for the minimum 2-edge-connected spanning subgraph problem. Zbl 1512.68205 Çivril, A. 1 2023 Reconfiguring (non-spanning) arborescences. Zbl 1512.68232 Ito, Takehiro; Iwamasa, Yuni; Kobayashi, Yasuaki; Nakahata, Yu; Otachi, Yota; Wasa, Kunihiro 1 2023 Radical theory of Scott-open filters. Zbl 07648673 Misselbeck-Wessel, Daniel; Schuster, Peter 1 2023 Adaptively code-correlation robustness functions and its applications to private set intersection. Zbl 1512.68085 Nan, Jiehui; Zhu, Haiming; Liu, Shigang; Hu, Honggang 1 2023 Distance problems within Helly graphs and \(k\)-Helly graphs. Zbl 1517.05045 Ducoffe, Guillaume 1 2023 Two-disjoint-cycle-cover vertex bipancyclicity of bipartite hypercube-like networks. Zbl 1517.05145 Niu, Ruichao; Zhou, Shujie; Xu, Min 1 2023 Hamiltonian cycles of balanced hypercube with more faulty edges. Zbl 1512.68239 Lan, Ting; Lü, Huazhong 1 2023 Learning algebraic structures with the help of Borel equivalence relations. Zbl 07661889 Bazhenov, Nikolay; Cipriani, Vittorio; San Mauro, Luca 1 2023 Hyper star fault tolerance of bubble sort networks. Zbl 07661890 Yang, Lulu; Hua, Xiaohui; Yang, Yuxing 1 2023 Lower and upper bounds for deterministic convergecast with labeling schemes. Zbl 1522.68048 Bu, Gewu; Lotker, Zvi; Potop-Butucaru, Maria; Rabie, Mikaël 1 2023 Component connectivity of augmented cubes. Zbl 1522.68433 Zhang, Qifan; Zhou, Shuming; Cheng, Eddie 1 2023 The connected greedy coloring game. Zbl 07676457 Lima, Carlos V. G. C.; Marcilon, Thiago; Martins, Nicolas; Sampaio, Rudini 1 2023 Re-examining regular expressions with backreferences. Zbl 07676466 Berglund, Martin; van der Merwe, Brink 1 2023 Numerical spiking neural P systems with production functions on synapses. Zbl 07676467 Jiang, Suxia; Xu, Bowen; Liang, Tao; Zhu, Xiaoliang; Wu, Tingfang 1 2023 On the complexity of solution extension of optimization problems. Zbl 07467463 Casel, Katrin; Fernau, Henning; Khosravian Ghadikolaei, Mehdi; Monnot, Jérôme; Sikora, Florian 5 2022 Disjoint paths and connected subgraphs for \(H\)-free graphs. Zbl 07437224 Kern, 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.68222 Asahiro, Yuichi; Jansson, Jesper; Miyano, Eiji; Ono, Hirotaka 4 2022 Two-way and one-way quantum and classical automata with advice for online minimization problems. Zbl 07527766 Khadiev, Kamil; Khadieva, Aliya; Ziatdinov, Mansur; Mannapov, Ilnaz; Kravchenko, Dmitry; Rivosh, Alexander; Yamilov, Ramis 4 2022 Joint realizability of monotone Boolean functions. Zbl 07540223 Crawford-Kahrl, Peter; Cummins, Bree; Gedeon, Tomáš 4 2022 Approximation algorithms for the minimum power cover problem with submodular/linear penalties. Zbl 07540242 Liu, Xiaofei; Li, Weidong; Dai, Han 4 2022 Local certification of graphs on surfaces. Zbl 07482355 Esperet, Louis; Lévêque, Benjamin 4 2022 The localization capture time of a graph. Zbl 07496388 Behague, Natalie C.; Bonato, Anthony; Huggan, Melissa A.; Marbach, Trent G.; Pittman, Brittany 4 2022 A proof system for disjoint parallel quantum programs. Zbl 1478.68047 Ying, Mingsheng; Zhou, Li; Li, Yangjia; Feng, Yuan 3 2022 The \(R_g\)-conditional diagnosability of international networks. Zbl 1478.68023 Yuan, Jun; Qiao, Huijuan; Liu, Aixia 3 2022 Determinisability of unary weighted automata over the rational numbers. Zbl 1490.68127 Kostolányi, Peter 3 2022 Computing subset transversals in \(H\)-free graphs. Zbl 07458786 Brettell, Nick; Johnson, Matthew; Paesani, Giacomo; Paulusma, Daniël 3 2022 Simple algorithms for partial and simultaneous rectangular duals with given contact orientations. Zbl 07524440 Chaplick, Steven; Felsner, Stefan; Kindermann, Philipp; Klawitter, Jonathan; Rutter, Ignaz; Wolff, Alexander 3 2022 Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids. Zbl 07524445 Droste, Manfred; Fülöp, Zoltán; Kószó, Dávid; Vogler, Heiko 3 2022 \(k\)-circle formation by disoriented asynchronous robots. Zbl 07533870 Das, Bibhuti; Chakraborty, Abhinav; Bhagat, Subhash; Mukhopadhyaya, Krishnendu 3 2022 Aperiodic SFTs on Baumslag-Solitar groups. Zbl 07533876 Esnay, Solène J.; Moutot, Etienne 3 2022 Extremal cubic graphs for fault-tolerant locating domination. Zbl 07533880 Jean, Devin C.; Seo, Suk J. 3 2022 On vertex-weighted realizations of acyclic and general graphs. Zbl 07540196 Bar-Noy, Amotz; Böhnlein, Toni; Peleg, David; Rawitz, Dror 3 2022 Quantum and classical query complexities for generalized Simon’s problem. Zbl 07540261 Wu, Zhenggang; Qiu, Daowen; Tan, Jiawei; Li, Hao; Cai, Guangya 3 2022 Lie complexity of words. Zbl 07570316 Bell, Jason P.; Shallit, Jeffrey 3 2022 Finding Cheeger cuts in hypergraphs via heat equation. Zbl 07575092 Ikeda, Masahiro; Miyauchi, Atsushi; Takai, Yuuki; Yoshida, Yuichi 3 2022 Succinct navigational oracles for families of intersection graphs on a circle. Zbl 1509.68055 Acan, Hüseyin; Chakraborty, Sankardeep; Jo, Seungbum; Nakashima, Kei; Sadakane, Kunihiko; Satti, Srinivasa Rao 3 2022 Centralised connectivity-preserving transformations for programmable matter: a minimal seed approach. Zbl 1508.68376 Connor, Matthew; Michail, Othon; Potapov, Igor 3 2022 The diagnosability of Möbius cubes for the \(g\)-extra condition. Zbl 07477144 Wang, Shiying 3 2022 The unpaired many-to-many \(k\)-disjoint paths in bipartite hypercube-like networks. Zbl 07496384 Niu, Ruichao; Xu, Min 3 2022 A data structure for substring-substring LCS length queries. Zbl 07496385 Sakai, Yoshifumi 3 2022 Rewriting systems, plain groups, and geodetic graphs. Zbl 07467472 Elder, Murray; Piggott, Adam 3 2022 Crossing numbers of beyond-planar graphs. Zbl 1485.68176 Chimani, Markus; Kindermann, Philipp; Montecchiani, Fabrizio; Valtr, Pavel 2 2022 Exploring the gap between treedepth and vertex cover through vertex integrity. Zbl 07524431 Gima, Tatsuya; Hanaka, Tesshu; Kiyomi, Masashi; Kobayashi, Yasuaki; Otachi, Yota 2 2022 From reversible programming languages to reversible metalanguages. Zbl 07527764 Glück, Robert; Kaarsgaard, Robin; Yokoyama, Tetsuo 2 2022 On the \(g\)-extra diagnosability of enhanced hypercubes. Zbl 07530336 Cheng, Eddie; Qiu, Ke; Shen, Zhizhang 2 2022 Multi-attribute based influence maximization in social networks: algorithms and analysis. Zbl 07530339 Ni, Qiufen; Guo, Jianxiong; Du, Hongmin W.; Wang, Huan 2 2022 Monotone \(k\)-submodular secretary problems: cardinality and knapsack constraints. Zbl 07530342 Tang, Zhongzheng; Wang, Chenhao; Chan, Hau 2 2022 Reliability measure of the \(n\)-th Cartesian product of complete graph \(K_4\) on \(h\)-extra edge-connectivity. Zbl 07540194 Tian, Zhaoxia; Zhang, Mingzu; Feng, Xing 2 2022 On minimal critical exponent of balanced sequences. Zbl 07540202 Dvořá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 07540210 Badkobeh, Golnaz; Charalampopoulos, Panagiotis; Kosolobov, Dmitry; Pissis, Solon P. 2 2022 Strongly Menger-edge-connectedness of DCell networks. Zbl 07540213 Liu, Xuemei; Meng, Jixiang 2 2022 Reconfiguration of connected graph partitions via recombination. Zbl 07540228 Akitaya, Hugo A.; Korman, Matias; Korten, Oliver; Souvaine, Diane L.; Tóth, Csaba D. 2 2022 A model learning based testing approach for spiking neural P systems. Zbl 1497.68191 Ipate, Florentin; Gheorghe, Marian 2 2022 A collective interpretation semantics for reversing Petri nets. Zbl 07540260 Philippou, Anna; Psara, Kyriaki 2 2022 The perfect matching cut problem revisited. Zbl 07579640 Van Bang Le; Telle, Jan Arne 2 2022 On the probe problem for \((r, \ell)\)-well-coveredness: algorithms and complexity. Zbl 07585795 Faria, Luerbio; Souza, Uéverton S. 2 2022 Checking whether a word is Hamming-isometric in linear time. Zbl 07593351 Béal, Marie-Pierre; Crochemore, Maxime 2 2022 Flip-swap languages in binary reflected Gray code order. Zbl 07593358 Sawada, Joe; Williams, Aaron; Wong, Dennis 2 2022 Defensive alliances in graphs. Zbl 07597582 Gaikwad, Ajinkya; Maity, Soumen 2 2022 ...and 759 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 43,785 Authors 143 Paulusma, Daniël 140 Saurabh, Saket 122 Ibarra, Oscar H. 119 Golovach, Petr A. 115 Kutrib, Martin 115 Rozenberg, Grzegorz 114 Niedermeier, Rolf 113 Jain, Sanjay 109 Fernau, Henning 109 Salomaa, Kai T. 107 Stephan, Frank 106 Shallit, Jeffrey Outlaw 105 Fomin, Fedor V. 104 Epstein, Leah 99 Meseguer Guaita, José 97 Otto, Friedrich 88 Yuan, Jinjiang 87 Ésik, Zoltán 84 Okhotin, Alexander 84 Pelc, Andrzej 84 Rytter, Wojciech 80 Courcelle, Bruno 79 Thilikos, Dimitrios M. 78 Karhumaki, Juhani 78 Raman, Venkatesh 77 Bodlaender, Hans L. 77 Larsen, Kim Guldstrand 75 Navarro, Gonzalo 74 Harju, Tero 74 Restivo, Antonio 73 Hemaspaandra, Lane A. 73 Liotta, Giuseppe 73 Spirakis, Paul G. 72 Holzer, Markus 71 Inenaga, Shunsuke 71 Lokshtanov, Daniel 71 Rautenbach, Dieter 70 Crochemore, Maxime 70 Montanari, Ugo G. 69 Droste, Manfred 69 Iliopoulos, Costas S. 67 Blanchet-Sadri, Francine 67 Ito, Takehiro 67 Salomaa, Arto Kustaa 66 Engelfriet, Joost 66 Li, Qingguo 66 Prodinger, Helmut 65 Ehrenfeucht, Andrzej 64 Lozin, Vadim Vladislavovich 63 Paschos, Vangelis Th. 62 Vardi, Moshe Ya’akov 62 Xu, Yinfeng 61 Aceto, Luca 61 Kari, Lila 60 de Luca, Aldo 60 Păun, Gheorghe 59 Bergstra, Jan A. 59 Henzinger, Thomas A. 59 Santoro, Nicola 58 Cai, Jin-Yi 58 Cheng, Tai-Chiu Edwin 58 Flocchini, Paola 58 Malcher, Andreas 58 Sau, Ignasi 57 Han, Yo-Sub 57 Milius, Stefan 57 Rampersad, Narad 57 Zhang, Zhao 56 Bannai, Hideo 56 Wang, Shiying 56 Zehavi, Meirav 55 Chen, Jian-er 55 Gawrychowski, Paweł 55 Komusiewicz, Christian 55 Otachi, Yota 55 Rothe, Jörg-Matthias 55 Wang, Jianxin 54 Adámek, Jiří 54 Doerr, Benjamin 54 Honkala, Juha 54 Kratsch, Dieter 54 Kupferman, Orna 54 Manea, Florin 54 Monnot, Jérôme 54 Pan, Victor Yakovlevich 54 Yu, Sheng 53 Chatterjee, Krishnendu 53 Cheng, Eddie 53 Fellows, Michael Ralph 53 Ingólfsdóttir, Anna 52 Hromkovič, Juraj 52 Lohrey, Markus 52 Pelantová, Edita 52 Peleg, David 52 Pérez-Jiménez, Mario J. 52 Radoszewski, Jakub 52 Takeda, Masayuki 52 Wu, Weili 51 Zamboni, Luca Quardo 50 Bose, Prosenjit K. ...and 43,685 more Authors all top 5 Cited in 1,072 Journals 8,749 Theoretical Computer Science 1,800 Discrete Applied Mathematics 1,581 Information and Computation 1,500 Information Processing Letters 1,196 Journal of Computer and System Sciences 1,155 Algorithmica 773 International Journal of Foundations of Computer Science 714 Discrete Mathematics 641 Journal of Combinatorial Optimization 622 Quantum Information Processing 617 Theory of Computing Systems 493 MSCS. Mathematical Structures in Computer Science 481 Annals of Pure and Applied Logic 469 Information Sciences 452 Acta Informatica 423 Artificial Intelligence 420 Logical Methods in Computer Science 377 European Journal of Operational Research 370 Journal of Symbolic Computation 321 International Journal of Theoretical Physics 294 Formal Aspects of Computing 291 Journal of Discrete Algorithms 289 Journal of Logical and Algebraic Methods in Programming 283 Applied Mathematics and Computation 283 Journal of Automated Reasoning 259 European Journal of Combinatorics 254 Natural Computing 253 Distributed Computing 249 SIAM Journal on Computing 240 International Journal of Computer Mathematics 237 Annals of Mathematics and Artificial Intelligence 234 RAIRO. Theoretical Informatics and Applications 230 The Electronic Journal of Combinatorics 226 Computers & Operations Research 224 Computational Geometry 219 SIAM Journal on Discrete Mathematics 216 The Journal of Logic and Algebraic Programming 211 The Journal of Symbolic Logic 197 Fuzzy Sets and Systems 194 Formal Methods in System Design 190 Advances in Applied Mathematics 190 Linear Algebra and its Applications 189 Journal of Pure and Applied Algebra 187 International Journal of Algebra and Computation 171 Discrete & Computational Geometry 170 Computational Complexity 169 Graphs and Combinatorics 163 Journal of Combinatorial Theory. Series A 156 Topology and its Applications 156 Journal of Complexity 155 RAIRO. Informatique Théorique et Applications 153 Mathematical Systems Theory 150 Studia Logica 147 Mathematical Programming. Series A. Series B 147 Journal of Scheduling 143 Journal of Algebra 141 Operations Research Letters 139 Discrete Mathematics, Algorithms and Applications 136 Journal of Functional Programming 133 Discrete Optimization 133 RAIRO. Theoretical Informatics and Applications 132 Semigroup Forum 132 International Journal of Approximate Reasoning 126 Annals of Operations Research 120 Theory and Practice of Logic Programming 119 Journal of Graph Theory 114 Networks 110 Random Structures & Algorithms 108 Optimization Letters 107 Fundamenta Informaticae 105 Transactions of the American Mathematical Society 105 Soft Computing 101 Automatica 99 Computers & Mathematics with Applications 99 Mathematics of Computation 99 Designs, Codes and Cryptography 99 ACM Transactions on Computational Logic 98 Journal of Combinatorial Theory. Series B 97 Applicable Algebra in Engineering, Communication and Computing 97 Journal of Applied Non-Classical Logics 96 Archive for Mathematical Logic 92 Advances in Mathematics 92 Ergodic Theory and Dynamical Systems 91 Machine Learning 89 Journal of Global Optimization 83 International Journal of Computational Geometry & Applications 82 Journal of Computational and Applied Mathematics 82 Combinatorica 82 Order 82 Discrete Event Dynamic Systems 81 Combinatorics, Probability and Computing 80 Journal of Logic, Language and Information 80 Journal of Mathematical Sciences (New York) 80 Algorithms 77 Applied Categorical Structures 77 Journal of Graph Algorithms and Applications 77 Journal of Membrane Computing 76 Journal of Number Theory 76 The Bulletin of Symbolic Logic 76 Journal of Applied Logic ...and 972 more Journals all top 5 Cited in 62 Fields 37,978 Computer science (68-XX) 10,374 Combinatorics (05-XX) 7,760 Mathematical logic and foundations (03-XX) 5,503 Operations research, mathematical programming (90-XX) 2,705 Information and communication theory, circuits (94-XX) 2,670 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1,764 Quantum theory (81-XX) 1,649 Number theory (11-XX) 1,374 Biology and other natural sciences (92-XX) 1,333 Numerical analysis (65-XX) 1,306 Order, lattices, ordered algebraic structures (06-XX) 1,300 Category theory; homological algebra (18-XX) 1,268 Group theory and generalizations (20-XX) 1,117 Probability theory and stochastic processes (60-XX) 1,062 Dynamical systems and ergodic theory (37-XX) 758 General topology (54-XX) 708 Linear and multilinear algebra; matrix theory (15-XX) 704 Systems theory; control (93-XX) 649 Statistics (62-XX) 618 Convex and discrete geometry (52-XX) 471 Algebraic geometry (14-XX) 459 Commutative algebra (13-XX) 441 General algebraic systems (08-XX) 375 Associative rings and algebras (16-XX) 333 Statistical mechanics, structure of matter (82-XX) 287 Field theory and polynomials (12-XX) 270 Measure and integration (28-XX) 173 Ordinary differential equations (34-XX) 172 Algebraic topology (55-XX) 162 Operator theory (47-XX) 148 History and biography (01-XX) 140 Manifolds and cell complexes (57-XX) 138 Partial differential equations (35-XX) 135 Functions of a complex variable (30-XX) 131 General and overarching topics; collections (00-XX) 123 Real functions (26-XX) 121 Functional analysis (46-XX) 113 Special functions (33-XX) 100 Geometry (51-XX) 95 Calculus of variations and optimal control; optimization (49-XX) 91 Approximations and expansions (41-XX) 75 Mechanics of deformable solids (74-XX) 71 Difference and functional equations (39-XX) 68 Nonassociative rings and algebras (17-XX) 65 Differential geometry (53-XX) 57 Mechanics of particles and systems (70-XX) 54 Topological groups, Lie groups (22-XX) 51 Fluid mechanics (76-XX) 48 Global analysis, analysis on manifolds (58-XX) 46 Harmonic analysis on Euclidean spaces (42-XX) 44 Integral transforms, operational calculus (44-XX) 31 Relativity and gravitational theory (83-XX) 30 Several complex variables and analytic spaces (32-XX) 26 Abstract harmonic analysis (43-XX) 25 Optics, electromagnetic theory (78-XX) 24 Sequences, series, summability (40-XX) 22 Classical thermodynamics, heat transfer (80-XX) 19 Mathematics education (97-XX) 14 Integral equations (45-XX) 14 Geophysics (86-XX) 12 Potential theory (31-XX) 11 \(K\)-theory (19-XX) Citations by Year