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,665 Publications (since 1975) References Indexed: 14,049 Publications with 336,369 References. all top 5 Latest Issues 1012 (2024) 1011 (2024) 1010 (2024) 1009 (2024) 1008 (2024) 1007 (2024) 1006 (2024) 1005 (2024) 1004 (2024) 1003 (2024) 1002 (2024) 1001 (2024) 1000 (2024) 999 (2024) 998 (2024) 997 (2024) 996 (2024) 995 (2024) 994 (2024) 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, Part B (2023) 940, Part A (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) ...and 1,254 more Volumes all top 5 Authors 71 Rozenberg, Grzegorz 65 Ibarra, Oscar H. 47 Rytter, Wojciech 47 Salomaa, Arto Kustaa 45 Restivo, Antonio 45 Salomaa, Kai T. 44 Jain, Sanjay 42 Spirakis, Paul G. 39 Wang, Jianxin 38 Păun, Gheorghe 37 Karhumaki, Juhani 37 Stephan, Frank 36 Ehrenfeucht, Andrzej 35 Crochemore, Maxime 35 Harju, Tero 34 Chen, Jian-er 34 Wu, Weili 33 Iliopoulos, Costas S. 32 Pelc, Andrzej 31 Okhotin, Alexander 31 Paulusma, Daniël 30 Ésik, Zoltán 30 Goles Chacc, Eric 30 Kari, Lila 30 Peleg, David 29 de Luca, Aldo 29 Shallit, Jeffrey Outlaw 28 Kranakis, Evangelos Konstantinou 28 Otto, Friedrich 28 Susilo, Willy 28 Yuan, Jinjiang 26 Fernau, Henning 26 Hromkovič, Juraj 26 Montanari, Ugo G. 26 Reutenauer, Christophe 26 Saurabh, Saket 26 Yu, Sheng 25 Amir, Amihood 25 Epstein, Leah 25 Holzer, Markus 25 Kutrib, Martin 25 Lin, Guohui 25 Navarro, Gonzalo 25 Zhu, Binhai 24 Bergstra, Jan A. 24 Golovach, Petr A. 24 Mauri, Giancarlo 24 Pérez-Jiménez, Mario J. 24 Zhou, Shuming 23 Blanchet-Sadri, Francine 23 Courcelle, Bruno 23 Demaine, Erik D. 23 Duan, Zhenhua 23 Han, Yo-Sub 23 Hemaspaandra, Lane A. 23 Honkala, Juha 23 Landau, Gad M. 23 Mignosi, Filippo 23 Munro, J. Ian 23 Prodinger, Helmut 23 Raynal, Michel 22 Calude, Cristian S. 22 Chrobak, Marek 22 Du, Ding-Zhu 22 Formenti, Enrico 22 Ito, Takehiro 22 Liotta, Giuseppe 22 Park, Kunsoo 22 Petre, Ion 22 Zeugmann, Thomas 21 Doerr, Benjamin 21 Fan, Jianxi 21 Feng, Qilong 21 Pelantová, Edita 21 Santoro, Nicola 21 Vágvölgyi, Sándor 20 Bang-Jensen, Jørgen 20 Cheng, Eddie 20 Choffrut, Christian 20 Czyzowicz, Jurek 20 Droste, Manfred 20 Flocchini, Paola 20 Halldórsson, Magnús Mar 20 Ko, Ker-I 20 Li, Deying 20 Li, Minming 20 Pan, Linqiang 20 Tian, Cong 20 Wegener, Ingo 20 Xu, Yinfeng 20 Yang, Boting 19 Dezani-Ciancaglini, Mariangiola 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 ...and 14,900 more Authors all top 5 Fields 12,797 Computer science (68-XX) 2,040 Combinatorics (05-XX) 1,537 Mathematical logic and foundations (03-XX) 922 Operations research, mathematical programming (90-XX) 717 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 612 Information and communication theory, circuits (94-XX) 419 General and overarching topics; collections (00-XX) 366 Biology and other natural sciences (92-XX) 272 Number theory (11-XX) 252 Group theory and generalizations (20-XX) 211 Order, lattices, ordered algebraic structures (06-XX) 209 Category theory; homological algebra (18-XX) 173 Numerical analysis (65-XX) 146 Dynamical systems and ergodic theory (37-XX) 144 Quantum theory (81-XX) 126 Probability theory and stochastic processes (60-XX) 101 General algebraic systems (08-XX) 87 Convex and discrete geometry (52-XX) 81 General topology (54-XX) 79 Statistics (62-XX) 67 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) 43 Associative rings and algebras (16-XX) 34 Algebraic geometry (14-XX) 31 Measure and integration (28-XX) 22 Real functions (26-XX) 21 Ordinary differential equations (34-XX) 20 Statistical mechanics, structure of matter (82-XX) 12 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 Partial differential equations (35-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 Sequences, series, summability (40-XX) 3 Differential geometry (53-XX) 3 Classical thermodynamics, heat transfer (80-XX) 2 Operator theory (47-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Mechanics of deformable solids (74-XX) 2 Geophysics (86-XX) 1 Topological groups, Lie groups (22-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Fluid mechanics (76-XX) 1 Astronomy and astrophysics (85-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 11,249 Publications have been cited 114,846 times in 61,108 Documents Cited by ▼ Year ▼ Linear logic. Zbl 0625.03037 Girard, Jean-Yves 1,049 1987 Quantum cryptography: public key distribution and coin tossing. Zbl 1306.81030 Bennett, Charles H.; Brassard, Gilles 998 2014 A theory of timed automata. Zbl 0803.68071 Alur, Rajeev; Dill, David L. 802 1994 The complexity of computing the permanent. Zbl 0415.68008 Valiant, L. G. 759 1979 Some simplified NP-complete graph problems. Zbl 0338.05120 Garey, M. R.; Johnson, D. S.; Stockmeyer, L. 713 1976 A partial k-arboretum of graphs with bounded treewidth. Zbl 0912.68148 Bodlaender, Hans L. 432 1998 Universal coalgebra: A theory of systems. Zbl 0951.68038 Rutten, J. J. M. M. 411 2000 Results on the propositional \(\mu\)-calculus. Zbl 0553.03007 Kozen, Dexter 394 1983 The polynomial-time hierarchy. Zbl 0353.02024 Stockmeyer, Larry J. 386 1977 Random generation of combinatorial structures from a uniform distribution. Zbl 0597.68056 Jerrum, Mark R.; Valiant, Leslie G.; Vazirani, Vijay V. 310 1986 Testing equivalences for processes. Zbl 0985.68518 De Nicola, R.; Hennessy, M. C. B. 279 1984 LCF considered as a programming language. Zbl 0369.68006 Plotkin, G. D. 276 1978 The directed subgraph homeomorphism problem. Zbl 0419.05028 Fortune, Steven; Hopcroft, John; Wyllie, James 274 1980 Call-by-name, call-by-value and the \(\lambda\)-calculus. Zbl 0325.68006 Plotkin, G. D. 270 1975 Conditional rewriting logic as a unified model of concurrency. Zbl 0758.68043 Meseguer, José 250 1992 Petri nets, event structures and domains. I. Zbl 0452.68067 Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn 247 1981 Clustering to minimize the maximum intercluster distance. Zbl 0567.62048 Gonzalez, Teofilo F. 243 1985 The intractability of resolution. Zbl 0586.03010 Haken, Armin 240 1985 The algorithmic analysis of hybrid systems. Zbl 0874.68206 Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H. 235 1995 Mobile ambients. Zbl 0954.68108 Cardelli, L.; Gordon, A. D. 209 2000 A hierarchy of polynomial time lattice basis reduction algorithms. Zbl 0642.10030 Schnorr, C. P. 200 1987 The complexity of mean payoff games on graphs. Zbl 0871.68138 Zwick, Uri; Paterson, Mike 194 1996 NP is as easy as detecting unique solutions. Zbl 0621.68030 Valiant, L. G.; Vazirani, V. V. 193 1986 Calculi for synchrony and asynchrony. Zbl 0512.68026 Milner, Robin 190 1983 Some APX-completeness results for cubic graphs. Zbl 0939.68052 Alimonti, P.; Kann, V. 190 2000 On the analysis of the \((1+1)\) evolutionary algorithm. Zbl 1002.68037 Droste, Stefan; Jansen, Thomas; Wegener, Ingo 190 2002 Mellin transforms and asymptotics: Harmonic sums. Zbl 0869.68057 Flajolet, Philippe; Gourdon, Xavier; Dumas, Philippe 187 1995 Fixed-parameter tractability and completeness II: On completeness for W[1]. Zbl 0873.68059 Downey, Rod G.; Fellows, Michael R. 182 1995 Orderings for term-rewriting systems. Zbl 0525.68054 Dershowitz, Nachum 179 1982 Well-structured transition systems everywhere! Zbl 0973.68170 Finkel, A.; Schnoebelen, P. 179 2001 Definability and fast quantifier elimination in algebraically closed fields. Zbl 0546.03017 Heintz, Joos 174 1983 Episturmian words and some constructions of de Luca and Rauzy. Zbl 0981.68126 Droubay, X.; Justin, J.; Pirillo, G. 173 2001 Complexity measures and decision tree complexity: a survey. Zbl 1061.68058 Buhrman, Harry; de Wolf, Ronald 164 2002 Fundamental properties of infinite trees. Zbl 0521.68013 Courcelle, Bruno 163 1983 On the parameterized complexity of multiple-interval graph problems. Zbl 1161.68038 Fellows, Michael R.; Hermelin, Danny; Rosamond, Frances; Vialette, Stéphane 163 2009 Infinite games on finitely coloured graphs with applications to automata on infinite trees. Zbl 0915.68120 Zielonka, Wiesław 159 1998 The state complexities of some basic operations on regular languages. Zbl 0795.68112 Yu, Sheng; Zhuang, Qingyu; Salomaa, Kai 156 1994 Termination of term rewriting using dependency pairs. Zbl 0938.68051 Arts, T.; Giesl, J. 152 2000 Algebra of communicating processes with abstraction. Zbl 0579.68016 Bergstra, J. A.; Klop, J. W. 151 1985 A comparison of polynomial time reducibilities. Zbl 0321.68039 Ladner, R. E.; Lynch, N. A.; Selman, A. L. 149 1975 Theory of cellular automata: a survey. Zbl 1080.68070 Kari, Jarkko 146 2005 Improved upper bounds for vertex cover. Zbl 1205.05217 Chen, Jianer; Kanj, Iyad A.; Xia, Ge 146 2010 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 146 2011 The chemical abstract machine. Zbl 0747.68013 Berry, Gérard; Boudol, Gérard 145 1992 Comparison of identification criteria for machine inductive inference. Zbl 0524.03025 Case, John; Smith, Carl 145 1983 The ring of \(k\)-regular sequences. Zbl 0774.68072 Allouche, Jean-Paul; Shallit, Jeffrey 143 1992 Algebraic languages and polyominoes enumeration. Zbl 0985.68516 Delest, Marie-Pierre; Viennot, Gérard 140 1984 The Euclidean traveling salesman problem is NP-complete. Zbl 0386.90057 Papadimitriou, Christos H. 140 1977 An annotated bibliography on guaranteed graph searching. Zbl 1160.68007 Fomin, Fedor V.; Thilikos, Dimitrios M. 138 2008 On the distributional complexity of disjointness. Zbl 0787.68055 Razborov, A. A. 136 1992 The covering and boundedness problems for vector addition systems. Zbl 0368.68054 Rackoff, Charles 132 1978 The complexity of partial derivatives. Zbl 0498.68028 Baur, Walter; Strassen, Volker 131 1983 The system \({\mathcal F}\) of variable types, fifteen years later. Zbl 0623.03013 Girard, Jean-Yves 130 1986 Quantum automata and quantum grammars. Zbl 0939.68037 Moore, Cristopher; Crutchfield, J. P. 128 2000 Fully abstract models of typed \(\lambda\)-calculi. Zbl 0386.03006 Milner, Robin 127 1977 Tissue P systems. Zbl 1045.68063 Martín-Vide, Carlos; Păun, Gheorghe; Pazos, Juan; Rodríguez-Patón, Alfonso 126 2003 Finite automata and unary languages. Zbl 0638.68096 Chrobak, Marek 124 1986 The existence of refinement mappings. Zbl 0728.68083 Abadi, Martín; Lamport, Leslie 124 1991 A new algorithm for optimal 2-constraint satisfaction and its implications. Zbl 1081.68095 Williams, Ryan 123 2005 Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056 Goguen, Joseph A.; Meseguer, José 120 1992 Complete sets and the polynomial-time hierarchy. Zbl 0366.02031 Wrathall, Celia 119 1977 Searching and pebbling. Zbl 0616.68064 Kirousis, Lefteris M.; Papadimitriou, Christos H. 117 1986 Sturmian words: structure, combinatorics, and their arithmetics. Zbl 0911.68098 de Luca, Aldo 116 1997 Gathering of asynchronous robots with limited visibility. Zbl 1108.68120 Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Widmayer, Peter 116 2005 Finite-memory automata. Zbl 0938.68711 Kaminski, Michael; Francez, Nissim 115 1994 BioAmbients: an abstraction for biological compartments. Zbl 1069.68569 Regev, Aviv; Panina, Ekaterina M.; Silverman, William; Cardelli, Luca; Shapiro, Ehud 114 2004 Ant colony optimization theory: a survey. Zbl 1154.90626 Dorigo, Marco; Blum, Christian 114 2005 Partial derivatives of regular expressions and finite automaton constructions. Zbl 0872.68120 Antimirov, Valentin 114 1996 Parameterized graph separation problems. Zbl 1086.68104 Marx, Dániel 113 2006 Remarks on blind and partially blind one-way multicounter machines. Zbl 0389.68030 Greibach, S. A. 113 1978 Resources, concurrency, and local reasoning. Zbl 1111.68023 O’Hearn, Peter W. 112 2007 On the algebraic structure of combinatorial problems. Zbl 0915.68074 Jeavons, Peter 110 1998 An introduction to commutative and noncommutative Gröbner bases. Zbl 0824.68056 Mora, Teo 108 1994 Formal molecular biology. Zbl 1071.68041 Danos, Vincent; Laneve, Cosimo 107 2004 Some combinatorial properties of Sturmian words. Zbl 0874.68245 de Luca, Aldo; Mignosi, Filippo 106 1994 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. 106 2000 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. 105 2005 Metrics for labelled Markov processes. Zbl 1068.68093 Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 103 2004 The theory of ends, pushdown automata, and second-order logic. Zbl 0605.03005 Muller, David E.; Schupp, Paul E. 102 1985 Kernel bounds for disjoint cycles and disjoint paths. Zbl 1221.68099 Bodlaender, Hans L.; Thomassé, Stéphan; Yeo, Anders 101 2011 Terminal coalgebras in well-founded set theory. Zbl 0779.18004 Barr, Michael 100 1993 On reduction-based process semantics. Zbl 0871.68122 Honda, Kohei; Yoshida, Nobuko 100 1995 A coding theory construction of new systematic authentication codes. Zbl 1078.68030 Ding, Cunsheng; Wang, Xuesong 99 2005 Data exchange: semantics and query answering. Zbl 1080.68019 Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian 98 2005 The differential lambda-calculus. Zbl 1070.68020 Ehrhard, Thomas; Regnier, Laurent 97 2003 Shortest paths without a map. Zbl 0733.68065 Papadimitriou, Christos H.; Yannakakis, Mihalis 97 1991 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. 96 2006 Higher-level synchronising devices in Meije-SCCS. Zbl 0598.68027 De Simone, Robert 95 1985 Basic analytic combinatorics of directed lattice paths. Zbl 0996.68126 Banderier, Cyril; Flajolet, Philippe 95 2002 A computational model for metric spaces. Zbl 1011.54026 Edalat, Abbas; Heckmann, Reinhold 95 1998 Selection and sorting with limited storage. Zbl 0441.68067 Munro, J. I.; Paterson, M. S. 94 1980 Weighted automata and weighted logics. Zbl 1118.68076 Droste, Manfred; Gastin, Paul 94 2007 Monadic second-order evaluations on tree-decomposable graphs. Zbl 0789.68083 Courcelle, B.; Mosbah, M. 94 1993 \(\beta\)-expansions and symbolic dynamics. Zbl 0682.68081 Blanchard, F. 94 1989 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 93 1992 Finding paths between graph colourings: PSPACE-completeness and superpolynomial distances. Zbl 1177.05112 Bonsma, Paul; Cereceda, Luis 93 2009 A calculus for the random generation of labelled combinatorial structures. Zbl 0799.68143 Flajolet, Philippe; Zimmerman, Paul; van Cutsem, Bernard 92 1994 Algorithms for plane representations of acyclic digraphs. Zbl 0678.68059 Di Battista, Giuseppe; Tamassia, Roberto 92 1988 The complementation problem for Büchi automata with applications to temporal logic. Zbl 0613.03015 Sistla, A. Prasad; Vardi, Moshe Y.; Wolper, Pierre 91 1987 The undecidability of the second-order unification problem. Zbl 0457.03006 Goldfarb, Warren D. 90 1981 On the 2-binomial complexity of the generalized Thue-Morse words. Zbl 07789587 Lü, Xiao-Tao; Chen, Jin; Wen, Zhi-Xiong; Wu, Wen 2 2024 Distributed Grover’s algorithm. Zbl 07819256 Qiu, Daowen; Luo, Le; Xiao, Ligang 1 2024 Three remarks on \(\mathbf{W}_{\mathbf{2}}\) graphs. Zbl 07807471 Feghali, Carl; Marin, Malory 1 2024 Reliability evaluation for a class of recursive match networks. Zbl 07808917 Zhou, Qianru; Cheng, Baolei; Zhou, Jingya; Yu, Jia; Wang, Yan; Fan, Jianxi 1 2024 Online hitting of unit balls and hypercubes in \(\mathbb{R}^d\) using points from \(\mathbb{Z}^d\). Zbl 07813023 De, Minati; Singh, Satyam 1 2024 Quantum clustering with \(k\)-means: a hybrid approach. Zbl 07813025 Poggiali, Alessandro; Berti, Alessandro; Bernasconi, Anna; Del Corso, Gianna M.; Guidotti, Riccardo 1 2024 Topological distance games. Zbl 07808913 Bullinger, Martin; Suksompong, Warut 1 2024 Bipartite instances of INFLUENCE. Zbl 07809112 Duchêne, Eric; Oijid, Nacim; Parreau, Aline 1 2024 An upper bound on asymptotic repetition threshold of balanced sequences via colouring of the Fibonacci sequence. Zbl 07826202 Dvořáková, L’ubomíra; Pelantová, Edita 1 2024 Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems. Zbl 07833682 Pasqua, Michele; Miculan, Marino 1 2024 Incremental NFA minimization. Zbl 07868368 Bianchini, Christian; Policriti, Alberto; Riccardi, Brian; Romanello, Riccardo 1 2024 On balanced sequences and their critical exponent. Zbl 1507.68234 Dolce, Francesco; Dvořáková, L’ubomíra; Pelantová, Edita 5 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. 5 2023 On invertible and stably reversible non-uniform cellular automata. Zbl 07676463 Phung, Xuan Kien 4 2023 Arbitrary pattern formation on infinite regular tessellation graphs. Zbl 1535.68482 Cicerone, Serafino; Di Fonso, Alessia; Di Stefano, Gabriele; Navarra, Alfredo 4 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. 4 2023 Reversible computing from a programming language perspective. Zbl 07667524 Glück, Robert; Yokoyama, Tetsuo 3 2023 Tight FPT approximation for constrained \(k\)-center and \(k\)-supplier. Zbl 07676480 Goyal, Dishant; Jaiswal, Ragesh 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 3 2023 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 Acyclic matching in some subclasses of graphs. Zbl 1512.68243 Panda, B. S.; Chaudhary, Juhi 3 2023 Distance problems within Helly graphs and \(k\)-Helly graphs. Zbl 1517.05045 Ducoffe, Guillaume 3 2023 Using edge contractions to reduce the semitotal domination number. Zbl 1502.05187 Galby, Esther; Lima, Paloma T.; Mann, Felix; Ries, Bernard 3 2023 Spiking neural P systems with weights and delays on synapses. Zbl 07715632 Li, Yanyan; Song, Bosheng; Zeng, Xiangxiang 3 2023 On the parameterized complexity of s-club cluster deletion problems. Zbl 07720779 Montecchiani, Fabrizio; Ortali, Giacomo; Piselli, Tommaso; Tappini, Alessandra 3 2023 Weakly weighted generalised quasi-metric spaces and semilattices. Zbl 07751506 Castellano, Ilaria; Giordano Bruno, Anna; Zava, Nicolò 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 Lower and upper bounds for deterministic convergecast with labeling schemes. Zbl 1522.68048 Bu, Gewu; Lotker, Zvi; Potop-Butucaru, Maria; Rabie, Mikaël 2 2023 Concentration of rainbow \(k\)-connectivity of a multiplex random graph. Zbl 1509.05160 Shang, Yilun 2 2023 The connected greedy coloring game. Zbl 07676457 Lima, Carlos V. G. C.; Marcilon, Thiago; Martins, Nicolas; Sampaio, Rudini 2 2023 On the parameterized complexity of the acyclic matching problem. Zbl 07681300 Hajebi, Sahab; Javadi, Ramin 2 2023 How majority-vote crossover and estimation-of-distribution algorithms cope with fitness valleys. Zbl 07676461 Witt, Carsten 2 2023 Numerical spiking neural P systems with production functions on synapses. Zbl 07676467 Jiang, Suxia; Xu, Bowen; Liang, Tao; Zhu, Xiaoliang; Wu, Tingfang 2 2023 A refinement on the structure of vertex-critical \((P_5, \mathrm{gem})\)-free graphs. Zbl 1528.05021 Cameron, Ben; Hoàng, Chính T. 2 2023 Compact representation of interval graphs and circular-arc graphs of bounded degree and chromatic number. Zbl 07638356 Chakraborty, Sankardeep; Jo, Seungbum 2 2023 Towards more efficient methods for solving regular-expression heavy string constraints. Zbl 1512.68308 Berzish, Murphy; Day, Joel D.; Ganesh, Vijay; Kulczynski, Mitja; Manea, Florin; Mora, Federico; Nowotka, Dirk 2 2023 The maker-breaker largest connected subgraph game. Zbl 1516.05140 Bensmail, Julien; Fioravantes, Foivos; Mc Inerney, Fionn; Nisse, Nicolas; Oijid, Nacim 2 2023 Stagnation detection meets fast mutation. Zbl 1522.68773 Doerr, Benjamin; Rajabi, Amirhossein 2 2023 Two-disjoint-cycle-cover vertex bipancyclicity of bipartite hypercube-like networks. Zbl 1517.05145 Niu, Ruichao; Zhou, Shujie; Xu, Min 2 2023 Attractor separation and signed cycles in asynchronous Boolean networks. Zbl 1517.37050 Richard, Adrien; Tonello, Elisa 2 2023 Hamiltonian cycles of balanced hypercube with more faulty edges. Zbl 1512.68239 Lan, Ting; Lü, Huazhong 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 A Java-like calculus with heterogeneous coeffects. Zbl 07729839 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena 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 complexity of recognizing Stick, BipHook and max point-tolerance graphs. Zbl 1522.68422 Rusu, Irena 1 2023 Component connectivity of augmented cubes. Zbl 1522.68433 Zhang, Qifan; Zhou, Shuming; Cheng, Eddie 1 2023 Hyper star fault tolerance of bubble sort networks. Zbl 07661890 Yang, Lulu; Hua, Xiaohui; Yang, Yuxing 1 2023 On algorithmic applications of sim-width and mim-width of \((H_1,H_2)\)-free graphs. Zbl 07673671 Munaro, Andrea; Yang, Shizhou 1 2023 Faster parameterized algorithms for two vertex deletion problems. Zbl 07676472 Tsur, Dekel 1 2023 On recognising words that are squares for the shuffle product. Zbl 07679025 Rizzi, Romeo; Vialette, Stéphane 1 2023 The environment as a frontier of efficiency in tissue P systems with communication rules. Zbl 07679026 Orellana-Martín, David; Valencia-Cabrera, Luis; Pérez-Jiménez, Mario J. 1 2023 Disconnected matchings. Zbl 07679027 Gomes, Guilherme C. M.; Masquio, Bruno P.; Pinto, Paulo E. D.; dos Santos, Vinicius F.; Szwarcfiter, Jayme L. 1 2023 Sorting by prefix block-interchanges. Zbl 07681296 Labarre, Anthony 1 2023 Solving 3-SAT in distributed P systems with string objects. Zbl 1512.68093 Buño, Kelvin; Adorna, Henry 1 2023 Reliability evaluation of complete graph-based recursive networks. Zbl 07699970 Wang, Yihong; Fan, Jianxi; Han, Yuejuan; Wang, Yan; Cheng, Baolei 1 2023 A proof system for unified temporal logic. Zbl 07657061 Zhang, Nan; Yu, Chaofeng; Duan, Zhenhua; Tian, Cong 1 2023 Nearly tight bounds on the price of explainability for the \(k\)-center and the maximum-spacing clustering problems. Zbl 1511.68225 Laber, Eduardo Sany; Saadi Murtinho, Lucas 1 2023 Focused jump-and-repair constraint handling for fixed-parameter tractable graph problems closed under induced subgraphs. Zbl 1506.68188 Branson, Luke; Sutton, Andrew M. 1 2023 Learning algebraic structures with the help of Borel equivalence relations. Zbl 07661889 Bazhenov, Nikolay; Cipriani, Vittorio; San Mauro, Luca 1 2023 Complexity assessments for decidable fragments of set theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages. Zbl 07673768 Cantone, Domenico; Maugeri, Pietro; Omodeo, Eugenio G. 1 2023 Do additional target points speed up evolutionary algorithms? Zbl 1507.68351 Bossek, Jakob; Sudholt, Dirk 1 2023 Re-examining regular expressions with backreferences. Zbl 07676466 Berglund, Martin; van der Merwe, Brink 1 2023 Project games. Zbl 07676470 Bilò, Vittorio; Gourvès, Laurent; Monnot, Jérôme 1 2023 Preference swaps for the stable matching problem. Zbl 07676483 Eiben, Eduard; Gutin, Gregory; Neary, Philip R.; Rambaud, Clément; Wahlström, Magnus; Yeo, Anders 1 2023 New approximation algorithms for the rooted budgeted cycle cover problem. Zbl 07676487 Li, Jiangkun; Zhang, Peng 1 2023 AbU: a calculus for distributed event-driven programming with attribute-based interaction. Zbl 07681293 Pasqua, Michele; Miculan, Marino 1 2023 Numerical networks of cells. Zbl 07681302 Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu; Verlan, Sergey 1 2023 A characterisation of P by DLOGTIME-uniform families of polarizationless P systems using only dissolution rules. Zbl 1512.68094 Gazdag, Zsolt; Hajagos, Károly 1 2023 Matroid-constrained vertex cover. Zbl 1522.68406 Huang, Chien-Chung; Sellier, François 1 2023 On counting propositional logic and Wagner’s hierarchy. Zbl 07699965 Antonelli, Melissa; Dal Lago, Ugo; Pistone, Paolo 1 2023 Space-efficient algorithms for reachability in directed geometric graphs. Zbl 07688228 Bhore, Sujoy; Jain, Rahul 1 2023 A theory of L-shaped floor-plans. Zbl 07635994 Raveena; Shekhawat, Krishnendra 1 2023 Decision on block size in blockchain systems by evolutionary equilibrium analysis. Zbl 07635995 Chen, Jinmian; Cheng, Yukun; Xu, Zhiqi; Cao, Yan 1 2023 Improved approximation algorithms for solving the squared metric \(k\)-facility location problem. Zbl 1532.90045 Zhang, Zhen; Feng, Qilong; Huang, Junyu; Wang, Jianxin 1 2023 On shuffled-square-free words. Zbl 07638351 Bulteau, Laurent; Jugé, Vincent; Vialette, Stéphane 1 2023 Approximation algorithm for MinSum linear barrier coverage with sink-based mobile sensors on the plane. Zbl 07638353 Zou, Wenjie; Guo, Longkun; Hao, Chunlin; Liu, Lei 1 2023 Reliability assessment of the divide-and-swap cube in terms of generalized connectivity. Zbl 1512.68254 Zhao, Shu-Li; Chang, Jou-Ming 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 Model checking differentially private properties. Zbl 1512.68157 Liu, Depeng; Wang, Bow-Yaw; Fu, Chen; Zhang, Lijun 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 A generalization of properly colored paths and cycles in edge-colored graphs. Zbl 1517.05055 Galeana-Sánchez, Hortensia; Hernández-Lorenzana, Felipe; Sánchez-López, Rocío 1 2023 Dialectica principles via Gödel doctrines. Zbl 07648691 Trotta, Davide; Spadetto, Matteo; de Paiva, Valeria 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 Deciding path size of nondeterministic (and input-driven) pushdown automata. Zbl 07619402 Han, Yo-Sub; Ko, Sang-Ki; Salomaa, Kai 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 Colouring graphs with no induced six-vertex path or diamond. Zbl 07638364 Goedgebeur, Jan; Huang, Shenwei; Ju, Yiao; Merkel, Owen 1 2023 Radical theory of Scott-open filters. Zbl 07648673 Misselbeck-Wessel, Daniel; Schuster, Peter 1 2023 Constant-round linear-broadcast secure computation with penalties. Zbl 07685358 Nakai, Takeshi; Shinagawa, Kazumasa 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 Reliability evaluation of half hypercube networks. Zbl 07741117 Dong, Hui; Lv, Mengjie; Fan, Weibei; Wang, Guijuan 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 On the saturation spectrum of families of cycle subdivisions. Zbl 07691021 Lang, Rongling; Lei, Hui; Zhang, Junxue 1 2023 Untangling temporal graphs of bounded degree. Zbl 07720778 Dondi, Riccardo 1 2023 Relating randomized right-hand sides to communicating rewriting rules. Zbl 07729838 Aman, Bogdan; Ciobanu, Gabriel 1 2023 Not all strangers are the same: the impact of tolerance in Schelling games. Zbl 07729841 Kanellopoulos, Panagiotis; Kyropoulou, Maria; Voudouris, Alexandros A. 1 2023 Practical multi-party quantum homomorphic encryption. Zbl 07729842 Chen, Lv; Chen, Lingli; Li, Qin 1 2023 ...and 892 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 46,370 Authors 159 Saurabh, Saket 155 Paulusma, Daniël 125 Ibarra, Oscar H. 123 Golovach, Petr A. 123 Kutrib, Martin 119 Fernau, Henning 117 Jain, Sanjay 117 Niedermeier, Rolf 117 Rozenberg, Grzegorz 115 Shallit, Jeffrey Outlaw 114 Fomin, Fedor V. 114 Salomaa, Kai T. 112 Stephan, Frank 107 Epstein, Leah 107 Meseguer Guaita, José 98 Otto, Friedrich 94 Pelc, Andrzej 91 Okhotin, Alexander 91 Rytter, Wojciech 89 Yuan, Jinjiang 87 Ésik, Zoltán 85 Navarro, Gonzalo 85 Raman, Venkatesh 81 Bodlaender, Hans L. 81 Inenaga, Shunsuke 81 Spirakis, Paul G. 81 Thilikos, Dimitrios M. 80 Courcelle, Bruno 79 Karhumaki, Juhani 79 Lokshtanov, Daniel 78 Larsen, Kim Guldstrand 78 Liotta, Giuseppe 78 Restivo, Antonio 76 Rautenbach, Dieter 75 Harju, Tero 75 Holzer, Markus 74 Iliopoulos, Costas S. 73 Hemaspaandra, Lane A. 73 Ito, Takehiro 72 Crochemore, Maxime 72 Montanari, Ugo G. 70 Droste, Manfred 70 Li, Qingguo 69 Bannai, Hideo 69 Chatterjee, Krishnendu 69 Prodinger, Helmut 69 Salomaa, Arto Kustaa 68 Wang, Jianxin 67 Blanchet-Sadri, Francine 67 Engelfriet, Joost 67 Henzinger, Thomas A. 67 Vardi, Moshe Ya’akov 67 Xu, Yinfeng 66 Lozin, Vadim Vladislavovich 66 Otachi, Yota 66 Santoro, Nicola 65 Ehrenfeucht, Andrzej 65 Zehavi, Meirav 64 Cai, Jin-Yi 64 Flocchini, Paola 64 Paschos, Vangelis Th. 63 Aceto, Luca 63 Doerr, Benjamin 63 Gawrychowski, Paweł 63 Han, Yo-Sub 63 Malcher, Andreas 62 Kari, Lila 62 Păun, Gheorghe 62 Sau, Ignasi 61 Demaine, Erik D. 61 Komusiewicz, Christian 61 Takeda, Masayuki 60 Cheng, Tai-Chiu Edwin 60 de Luca, Aldo 60 Milius, Stefan 60 Pan, Victor Yakovlevich 60 Peleg, David 60 Rampersad, Narad 60 Zhang, Zhao 59 Bergstra, Jan A. 59 Radoszewski, Jakub 58 Monnot, Jérôme 58 Pissis, Solon P. 57 Adámek, Jiří 57 Chen, Jian-er 57 Pilipczuk, Michał 57 Wang, Shiying 56 Ingólfsdóttir, Anna 56 Kupferman, Orna 56 Lohrey, Markus 56 Manea, Florin 56 Rothe, Jörg-Matthias 55 Gąsieniec, Leszek Antoni 55 Honkala, Juha 55 Pérez-Jiménez, Mario J. 55 Xu, Dachuan 55 Yu, Sheng 54 Bose, Prosenjit K. 54 Bouyer, Patricia 54 Cheng, Eddie ...and 46,270 more Authors all top 5 Cited in 1,108 Journals 8,894 Theoretical Computer Science 1,845 Discrete Applied Mathematics 1,602 Information and Computation 1,536 Information Processing Letters 1,214 Journal of Computer and System Sciences 1,192 Algorithmica 781 International Journal of Foundations of Computer Science 736 Discrete Mathematics 651 Journal of Combinatorial Optimization 642 Quantum Information Processing 625 Theory of Computing Systems 515 Information Sciences 493 Annals of Pure and Applied Logic 493 Mathematical Structures in Computer Science 459 Acta Informatica 448 Logical Methods in Computer Science 441 Artificial Intelligence 391 European Journal of Operational Research 377 Journal of Symbolic Computation 334 International Journal of Theoretical Physics 299 Journal of Logical and Algebraic Methods in Programming 295 Applied Mathematics and Computation 294 Formal Aspects of Computing 293 Journal of Discrete Algorithms 287 Journal of Automated Reasoning 278 European Journal of Combinatorics 266 SIAM Journal on Computing 259 Distributed Computing 254 Natural Computing 244 The Electronic Journal of Combinatorics 241 Computers & Operations Research 240 Annals of Mathematics and Artificial Intelligence 239 International Journal of Computer Mathematics 234 RAIRO. Theoretical Informatics and Applications 232 Computational Geometry 229 SIAM Journal on Discrete Mathematics 216 The Journal of Logic and Algebraic Programming 213 The Journal of Symbolic Logic 209 Fuzzy Sets and Systems 199 Linear Algebra and its Applications 197 Formal Methods in System Design 195 Journal of Pure and Applied Algebra 195 Advances in Applied Mathematics 188 International Journal of Algebra and Computation 182 Graphs and Combinatorics 178 Discrete & Computational Geometry 174 Computational Complexity 166 Journal of Combinatorial Theory. Series A 159 Topology and its Applications 157 Journal of Complexity 155 RAIRO. Informatique Théorique et Applications 154 Networks 153 Mathematical Systems Theory 153 Journal of Scheduling 152 Operations Research Letters 152 Mathematical Programming. Series A. Series B 151 Studia Logica 148 Journal of Algebra 148 Journal of Graph Theory 145 International Journal of Approximate Reasoning 143 Discrete Mathematics, Algorithms and Applications 142 RAIRO. Theoretical Informatics and Applications 141 Journal of Functional Programming 139 Semigroup Forum 136 Discrete Optimization 134 Annals of Operations Research 127 Random Structures & Algorithms 120 Theory and Practice of Logic Programming 111 Optimization Letters 109 Fundamenta Informaticae 108 ACM Transactions on Computational Logic 106 Transactions of the American Mathematical Society 105 Designs, Codes and Cryptography 105 Soft Computing 103 Automatica 102 Journal of Combinatorial Theory. Series B 102 Journal of Applied Non-Classical Logics 101 Mathematics of Computation 100 Computers & Mathematics with Applications 100 Applicable Algebra in Engineering, Communication and Computing 98 Archive for Mathematical Logic 95 Advances in Mathematics 95 Ergodic Theory and Dynamical Systems 94 Journal of Global Optimization 91 Machine Learning 88 Journal of Computational and Applied Mathematics 86 Combinatorica 86 Order 86 Discrete Event Dynamic Systems 85 International Journal of Computational Geometry & Applications 84 Journal of Membrane Computing 81 Combinatorics, Probability and Computing 81 Journal of Mathematical Sciences (New York) 81 Algorithms 80 Journal of Logic, Language and Information 80 Journal of Applied Logic 78 Applied Categorical Structures 78 Journal of Graph Algorithms and Applications 77 Journal of Number Theory 77 The Bulletin of Symbolic Logic ...and 1,008 more Journals all top 5 Cited in 62 Fields 41,543 Computer science (68-XX) 11,351 Combinatorics (05-XX) 8,297 Mathematical logic and foundations (03-XX) 6,067 Operations research, mathematical programming (90-XX) 2,998 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2,978 Information and communication theory, circuits (94-XX) 1,934 Quantum theory (81-XX) 1,761 Number theory (11-XX) 1,463 Numerical analysis (65-XX) 1,435 Biology and other natural sciences (92-XX) 1,421 Category theory; homological algebra (18-XX) 1,391 Order, lattices, ordered algebraic structures (06-XX) 1,342 Group theory and generalizations (20-XX) 1,226 Probability theory and stochastic processes (60-XX) 1,126 Dynamical systems and ergodic theory (37-XX) 788 General topology (54-XX) 787 Systems theory; control (93-XX) 771 Linear and multilinear algebra; matrix theory (15-XX) 732 Statistics (62-XX) 649 Convex and discrete geometry (52-XX) 512 Algebraic geometry (14-XX) 494 Commutative algebra (13-XX) 473 General algebraic systems (08-XX) 390 Associative rings and algebras (16-XX) 372 Statistical mechanics, structure of matter (82-XX) 300 Field theory and polynomials (12-XX) 284 Measure and integration (28-XX) 189 Algebraic topology (55-XX) 188 Ordinary differential equations (34-XX) 165 Operator theory (47-XX) 160 Partial differential equations (35-XX) 157 History and biography (01-XX) 149 Manifolds and cell complexes (57-XX) 146 Functions of a complex variable (30-XX) 140 General and overarching topics; collections (00-XX) 131 Real functions (26-XX) 129 Functional analysis (46-XX) 122 Special functions (33-XX) 112 Geometry (51-XX) 109 Calculus of variations and optimal control; optimization (49-XX) 104 Approximations and expansions (41-XX) 81 Mechanics of deformable solids (74-XX) 79 Difference and functional equations (39-XX) 73 Nonassociative rings and algebras (17-XX) 71 Differential geometry (53-XX) 62 Mechanics of particles and systems (70-XX) 58 Topological groups, Lie groups (22-XX) 58 Fluid mechanics (76-XX) 49 Global analysis, analysis on manifolds (58-XX) 48 Harmonic analysis on Euclidean spaces (42-XX) 48 Integral transforms, operational calculus (44-XX) 37 Several complex variables and analytic spaces (32-XX) 36 Relativity and gravitational theory (83-XX) 28 Optics, electromagnetic theory (78-XX) 26 Abstract harmonic analysis (43-XX) 25 Sequences, series, summability (40-XX) 25 Classical thermodynamics, heat transfer (80-XX) 16 Mathematics education (97-XX) 15 Geophysics (86-XX) 14 Integral equations (45-XX) 13 Potential theory (31-XX) 12 \(K\)-theory (19-XX) Citations by Year