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,672 Publications (since 1975) References Indexed: 14,056 Publications with 336,583 References. all top 5 Latest Issues 1013 (2024) 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) ...and 1,255 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 27 Hromkovič, Juraj 26 Fernau, Henning 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,910 more Authors all top 5 Fields 12,804 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,264 Publications have been cited 115,114 times in 61,244 Documents Cited by ▼ Year ▼ Linear logic. Zbl 0625.03037 Girard, Jean-Yves 1,054 1987 Quantum cryptography: public key distribution and coin tossing. Zbl 1306.81030 Bennett, Charles H.; Brassard, Gilles 999 2014 A theory of timed automata. Zbl 0803.68071 Alur, Rajeev; Dill, David L. 803 1994 The complexity of computing the permanent. Zbl 0415.68008 Valiant, L. G. 760 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. 433 1998 Universal coalgebra: A theory of systems. Zbl 0951.68038 Rutten, J. J. M. M. 412 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. 311 1986 Testing equivalences for processes. Zbl 0985.68518 De Nicola, R.; Hennessy, M. C. B. 280 1984 LCF considered as a programming language. Zbl 0369.68006 Plotkin, G. D. 280 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é 251 1992 Petri nets, event structures and domains. I. Zbl 0452.68067 Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn 248 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 241 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. 194 1986 Some APX-completeness results for cubic graphs. Zbl 0939.68052 Alimonti, P.; Kann, V. 191 2000 On the analysis of the \((1+1)\) evolutionary algorithm. Zbl 1002.68037 Droste, Stefan; Jansen, Thomas; Wegener, Ingo 190 2002 Calculi for synchrony and asynchrony. Zbl 0512.68026 Milner, Robin 190 1983 Mellin transforms and asymptotics: Harmonic sums. Zbl 0869.68057 Flajolet, Philippe; Gourdon, Xavier; Dumas, Philippe 188 1995 Fixed-parameter tractability and completeness II: On completeness for W[1]. Zbl 0873.68059 Downey, Rod G.; Fellows, Michael R. 183 1995 Orderings for term-rewriting systems. Zbl 0525.68054 Dershowitz, Nachum 180 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. 174 2001 Complexity measures and decision tree complexity: a survey. Zbl 1061.68058 Buhrman, Harry; de Wolf, Ronald 164 2002 On the parameterized complexity of multiple-interval graph problems. Zbl 1161.68038 Fellows, Michael R.; Hermelin, Danny; Rosamond, Frances; Vialette, Stéphane 163 2009 Fundamental properties of infinite trees. Zbl 0521.68013 Courcelle, Bruno 163 1983 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 157 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. 152 1985 A comparison of polynomial time reducibilities. Zbl 0321.68039 Ladner, R. E.; Lynch, N. A.; Selman, A. L. 149 1975 Improved upper bounds for vertex cover. Zbl 1205.05217 Chen, Jianer; Kanj, Iyad A.; Xia, Ge 148 2010 The chemical abstract machine. Zbl 0747.68013 Berry, Gérard; Boudol, Gérard 146 1992 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 Theory of cellular automata: a survey. Zbl 1080.68070 Kari, Jarkko 146 2005 Comparison of identification criteria for machine inductive inference. Zbl 0524.03025 Case, John; Smith, Carl 146 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 system \({\mathcal F}\) of variable types, fifteen years later. Zbl 0623.03013 Girard, Jean-Yves 131 1986 The complexity of partial derivatives. Zbl 0498.68028 Baur, Walter; Strassen, Volker 131 1983 Fully abstract models of typed \(\lambda\)-calculi. Zbl 0386.03006 Milner, Robin 130 1977 Quantum automata and quantum grammars. Zbl 0939.68037 Moore, Cristopher; Crutchfield, J. P. 128 2000 Tissue P systems. Zbl 1045.68063 Martín-Vide, Carlos; Păun, Gheorghe; Pazos, Juan; Rodríguez-Patón, Alfonso 127 2003 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 124 2005 Finite automata and unary languages. Zbl 0638.68096 Chrobak, Marek 124 1986 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 Partial derivatives of regular expressions and finite automaton constructions. Zbl 0872.68120 Antimirov, Valentin 114 1996 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 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 107 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 Metrics for labelled Markov processes. Zbl 1068.68093 Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 105 2004 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 The theory of ends, pushdown automata, and second-order logic. Zbl 0605.03005 Muller, David E.; Schupp, Paul E. 102 1985 Terminal coalgebras in well-founded set theory. Zbl 0779.18004 Barr, Michael 101 1993 Kernel bounds for disjoint cycles and disjoint paths. Zbl 1221.68099 Bodlaender, Hans L.; Thomassé, Stéphan; Yeo, Anders 101 2011 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 100 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 Basic analytic combinatorics of directed lattice paths. Zbl 0996.68126 Banderier, Cyril; Flajolet, Philippe 96 2002 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 A computational model for metric spaces. Zbl 1011.54026 Edalat, Abbas; Heckmann, Reinhold 95 1998 Higher-level synchronising devices in Meije-SCCS. Zbl 0598.68027 De Simone, Robert 95 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 94 1992 Weighted automata and weighted logics. Zbl 1118.68076 Droste, Manfred; Gastin, Paul 94 2007 Selection and sorting with limited storage. Zbl 0441.68067 Munro, J. I.; Paterson, M. S. 94 1980 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 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 Computational interpretations of linear logic. Zbl 0791.03003 Abramsky, Samson 90 1993 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 2 2024 Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems. Zbl 07833682 Pasqua, Michele; Miculan, Marino 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 Incremental NFA minimization. Zbl 07868368 Bianchini, Christian; Policriti, Alberto; Riccardi, Brian; Romanello, Riccardo 1 2024 Improved zeroing neural models based on two novel activation functions with exponential behavior. Zbl 07789583 Gerontitis, Dimitrios; Mo, Changxin; Stanimirović, Predrag S.; Katsikis, Vasilios N. 1 2024 String attractors of episturmian sequences. Zbl 07789586 Dvořáková, L’ubomíra 1 2024 The general position avoidance game and hardness of general position games. Zbl 07802227 Chandran S. V., Ullas; Klavžar, Sandi; P. K., Neethu; Sampaio, Rudini 1 2024 Steps toward a homogenization procedure for spiking neural P systems. Zbl 07808915 de la Cruz, Ren Tristan A.; Cabarle, Francis George C.; Adorna, Henry N. 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 Inductive definitions in logic versus programs of real-time cellular automata. Zbl 07811868 Grandjean, Étienne; Grente, Théo; Terrier, Véronique 1 2024 Space limited linear-time graph algorithms on big data. Zbl 07819261 Chen, Jianer; Chu, Zirui; Guo, Ying; Yang, Wei 1 2024 Three remarks on \(\mathbf{W}_{\mathbf{2}}\) graphs. Zbl 07807471 Feghali, Carl; Marin, Malory 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 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 Checking equivalence of corecursive streams: an inductive procedure. Zbl 07898953 Ancona, Davide; Barbieri, Pietro; Zucca, Elena 1 2024 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 balanced sequences and their critical exponent. Zbl 1507.68234 Dolce, Francesco; Dvořáková, L’ubomíra; Pelantová, Edita 5 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 Secure connected domination and secure total domination in unit disk graphs and rectangle graphs. Zbl 07679988 Wang, Cai-Xia; Yang, Yu; Xu, Shou-Jun 4 2023 On invertible and stably reversible non-uniform cellular automata. Zbl 07676463 Phung, Xuan Kien 4 2023 Concentration of rainbow \(k\)-connectivity of a multiplex random graph. Zbl 1509.05160 Shang, Yilun 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 Acyclic matching in some subclasses of graphs. Zbl 1512.68243 Panda, B. S.; Chaudhary, Juhi 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 Distance problems within Helly graphs and \(k\)-Helly graphs. Zbl 1517.05045 Ducoffe, Guillaume 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 Tight FPT approximation for constrained \(k\)-center and \(k\)-supplier. Zbl 07676480 Goyal, Dishant; Jaiswal, Ragesh 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 Reversible computing from a programming language perspective. Zbl 07667524 Glück, Robert; Yokoyama, Tetsuo 3 2023 A Java-like calculus with heterogeneous coeffects. Zbl 07729839 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena 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 Few induced disjoint paths for \(H\)-free graphs. Zbl 1527.05104 Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan 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 On the parameterized complexity of the acyclic matching problem. Zbl 07681300 Hajebi, Sahab; Javadi, Ramin 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 The connected greedy coloring game. Zbl 07676457 Lima, Carlos V. G. C.; Marcilon, Thiago; Martins, Nicolas; Sampaio, Rudini 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 Project games. Zbl 07676470 Bilò, Vittorio; Gourvès, Laurent; Monnot, Jérôme 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 2 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 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 Bivariate estimation-of-distribution algorithms can find an exponential number of optima. Zbl 07729846 Doerr, Benjamin; Krejca, Martin S. 1 2023 Self-stabilizing Byzantine fault-tolerant repeated reliable broadcast. Zbl 07735118 Duvignau, Romaric; Raynal, Michel; Schiller, Elad Michael 1 2023 Physical ZKP protocols for Nurimisaki and Kurodoko. Zbl 1522.94087 Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Mizuki, Takaaki 1 2023 On Simon’s congruence closure of a string. Zbl 1520.68059 Kim, Sungmin; Han, Yo-Sub; Ko, Sang-Ki; Salomaa, Kai 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 Checked corecursive streams: expressivity and completeness. Zbl 07739127 Ancona, Davide; Barbieri, Pietro; Zucca, Elena 1 2023 Congestion games with priority-based scheduling. Zbl 07739128 Bilò, Vittorio; Vinci, Cosimo 1 2023 An ambiguity hierarchy of weighted context-free grammars. Zbl 07739132 Inoue, Yusuke; Hashimoto, Kenji; Seki, Hiroyuki 1 2023 Reliability evaluation of half hypercube networks. Zbl 07741117 Dong, Hui; Lv, Mengjie; Fan, Weibei; Wang, Guijuan 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 A proof system for unified temporal logic. Zbl 07657061 Zhang, Nan; Yu, Chaofeng; Duan, Zhenhua; Tian, Cong 1 2023 Ordering regular languages and automata: complexity. Zbl 07657062 D’Agostino, Giovanna; Martincigh, Davide; Policriti, Alberto 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 Hyper star fault tolerance of bubble sort networks. Zbl 07661890 Yang, Lulu; Hua, Xiaohui; Yang, Yuxing 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 Untangling temporal graphs of bounded degree. Zbl 07720778 Dondi, Riccardo 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 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 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 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 Colouring graphs with no induced six-vertex path or diamond. Zbl 07638364 Goedgebeur, Jan; Huang, Shenwei; Ju, Yiao; Merkel, Owen 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 Deciding path size of nondeterministic (and input-driven) pushdown automata. Zbl 07619402 Han, Yo-Sub; Ko, Sang-Ki; Salomaa, Kai 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 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 Do additional target points speed up evolutionary algorithms? Zbl 1507.68351 Bossek, Jakob; Sudholt, Dirk 1 2023 AbU: a calculus for distributed event-driven programming with attribute-based interaction. Zbl 07681293 Pasqua, Michele; Miculan, Marino 1 2023 Sorting by prefix block-interchanges. Zbl 07681296 Labarre, Anthony 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 Space-efficient algorithms for reachability in directed geometric graphs. Zbl 07688228 Bhore, Sujoy; Jain, Rahul 1 2023 ...and 906 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 46,553 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 83 Thilikos, Dimitrios M. 81 Bodlaender, Hans L. 81 Inenaga, Shunsuke 81 Spirakis, Paul G. 80 Courcelle, Bruno 79 Karhumaki, Juhani 79 Lokshtanov, Daniel 79 Restivo, Antonio 78 Larsen, Kim Guldstrand 78 Liotta, Giuseppe 77 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 68 Xu, Yinfeng 67 Blanchet-Sadri, Francine 67 Engelfriet, Joost 67 Henzinger, Thomas A. 67 Santoro, Nicola 67 Vardi, Moshe Ya’akov 66 Lozin, Vadim Vladislavovich 66 Otachi, Yota 65 Ehrenfeucht, Andrzej 65 Zehavi, Meirav 64 Cai, Jin-Yi 64 Flocchini, Paola 64 Paschos, Vangelis Th. 64 Sau, Ignasi 63 Aceto, Luca 63 Doerr, Benjamin 63 Gawrychowski, Paweł 63 Han, Yo-Sub 63 Malcher, Andreas 62 Kari, Lila 62 Păun, Gheorghe 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 Bose, Prosenjit K. 55 Cheng, Eddie 55 Gąsieniec, Leszek Antoni 55 Honkala, Juha 55 Pérez-Jiménez, Mario J. 55 Xu, Dachuan 55 Yu, Sheng 54 Bouyer, Patricia ...and 46,453 more Authors all top 5 Cited in 1,109 Journals 8,898 Theoretical Computer Science 1,865 Discrete Applied Mathematics 1,602 Information and Computation 1,536 Information Processing Letters 1,214 Journal of Computer and System Sciences 1,192 Algorithmica 785 International Journal of Foundations of Computer Science 738 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 378 Journal of Symbolic Computation 334 International Journal of Theoretical Physics 299 Journal of Logical and Algebraic Methods in Programming 297 Formal Aspects of Computing 295 Applied Mathematics and Computation 293 Journal of Discrete Algorithms 290 Journal of Automated Reasoning 281 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 230 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 168 Journal of Combinatorial Theory. Series A 160 Topology and its Applications 157 Journal of Complexity 155 RAIRO. Informatique Théorique et Applications 154 Networks 154 Mathematical Programming. Series A. Series B 153 Mathematical Systems Theory 153 Journal of Scheduling 152 Operations Research Letters 151 Studia Logica 149 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 110 ACM Transactions on Computational Logic 109 Fundamenta Informaticae 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 96 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 82 Journal of Mathematical Sciences (New York) 81 Journal of Logic, Language and Information 81 Combinatorics, Probability and Computing 81 Algorithms 80 Journal of Applied Logic 79 Applied Categorical Structures 78 Journal of Graph Algorithms and Applications 77 Journal of Number Theory 77 The Bulletin of Symbolic Logic ...and 1,009 more Journals all top 5 Cited in 62 Fields 41,611 Computer science (68-XX) 11,393 Combinatorics (05-XX) 8,334 Mathematical logic and foundations (03-XX) 6,076 Operations research, mathematical programming (90-XX) 3,016 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2,982 Information and communication theory, circuits (94-XX) 1,956 Quantum theory (81-XX) 1,765 Number theory (11-XX) 1,465 Numerical analysis (65-XX) 1,436 Biology and other natural sciences (92-XX) 1,423 Category theory; homological algebra (18-XX) 1,391 Order, lattices, ordered algebraic structures (06-XX) 1,346 Group theory and generalizations (20-XX) 1,228 Probability theory and stochastic processes (60-XX) 1,132 Dynamical systems and ergodic theory (37-XX) 791 Systems theory; control (93-XX) 790 General topology (54-XX) 773 Linear and multilinear algebra; matrix theory (15-XX) 734 Statistics (62-XX) 651 Convex and discrete geometry (52-XX) 515 Algebraic geometry (14-XX) 496 Commutative algebra (13-XX) 474 General algebraic systems (08-XX) 392 Associative rings and algebras (16-XX) 370 Statistical mechanics, structure of matter (82-XX) 300 Field theory and polynomials (12-XX) 283 Measure and integration (28-XX) 190 Ordinary differential equations (34-XX) 190 Algebraic topology (55-XX) 167 Operator theory (47-XX) 161 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) 142 General and overarching topics; collections (00-XX) 132 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) 105 Approximations and expansions (41-XX) 81 Mechanics of deformable solids (74-XX) 79 Difference and functional equations (39-XX) 74 Nonassociative rings and algebras (17-XX) 71 Differential geometry (53-XX) 63 Mechanics of particles and systems (70-XX) 58 Topological groups, Lie groups (22-XX) 58 Fluid mechanics (76-XX) 49 Integral transforms, operational calculus (44-XX) 49 Global analysis, analysis on manifolds (58-XX) 48 Harmonic analysis on Euclidean spaces (42-XX) 37 Several complex variables and analytic spaces (32-XX) 37 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