Theoretical Computer ScienceAlgorithms, Automata, Complexity and Games Short Title: Theor. Comput. Sci. Publisher: Elsevier, Amsterdam ISSN: 0304-3975 Online: http://www.sciencedirect.com/science/journal/03043975 Comments: Indexed cover-to-cover Documents Indexed: 13,459 Publications (since 1975) References Indexed: 12,857 Publications with 299,894 References. all top 5 Latest Issues 885 (2021) 884 (2021) 883 (2021) 882 (2021) 881 (2021) 880 (2021) 878-879 (2021) 877 (2021) 876 (2021) 875 (2021) 874 (2021) 873 (2021) 872 (2021) 871 (2021) 870 (2021) 869 (2021) 868 (2021) 867 (2021) 866 (2021) 865 (2021) 864 (2021) 863 (2021) 862 (2021) 861 (2021) 860 (2021) 859 (2021) 858 (2021) 857 (2021) 856 (2021) 855 (2021) 854 (2021) 853 (2021) 852 (2021) 851 (2021) 850 (2021) 849 (2021) 848 (2020) 847 (2020) 846 (2020) 845 (2020) 844 (2020) 843 (2020) 842 (2020) 841 (2020) 840 (2020) 839 (2020) 838 (2020) 837 (2020) 836 (2020) 835 (2020) 834 (2020) 833 (2020) 832 (2020) 830-831 (2020) 828-829 (2020) 826-827 (2020) 824-825 (2020) 823 (2020) 822 (2020) 821 (2020) 820 (2020) 819 (2020) 818 (2020) 817 (2020) 816 (2020) 815 (2020) 814 (2020) 813 (2020) 812 (2020) 811 (2020) 810 (2020) 809 (2020) 808 (2020) 807 (2020) 806 (2020) 805 (2020) 804 (2020) 803 (2020) 802 (2020) 801 (2020) 800 (2019) 799 (2019) 798 (2019) 797 (2019) 796 (2019) 795 (2019) 794 (2019) 793 (2019) 792 (2019) 791 (2019) 790 (2019) 789 (2019) 788 (2019) 787 (2019) 786 (2019) 785 (2019) 784 (2019) 783 (2019) 782 (2019) 781 (2019) ...and 1,127 more Volumes all top 5 Authors 70 Rozenberg, Grzegorz 65 Ibarra, Oscar H. 47 Rytter, Wojciech 46 Salomaa, Arto Kustaa 42 Restivo, Antonio 41 Jain, Sanjay 41 Salomaa, Kai T. 41 Spirakis, Paul G. 38 Păun, Gheorghe 37 Karhumaki, Juhani 36 Ehrenfeucht, Andrzej 34 Crochemore, Maxime 33 Harju, Tero 33 Wang, Jianxin 32 Chen, Jian-er 32 Stephan, Frank 32 Wu, Weili 31 Iliopoulos, Costas S. 31 Pelc, Andrzej 30 Ésik, Zoltán 30 Goles Chacc, Eric 30 Kari, Lila 29 de Luca, Aldo 28 Kranakis, Evangelos Konstantinou 28 Okhotin, Alexander 28 Otto, Friedrich 28 Peleg, David 26 Hromkovič, Juraj 26 Montanari, Ugo G. 26 Reutenauer, Christophe 26 Yu, Sheng 26 Yuan, Jinjiang 25 Holzer, Markus 24 Bergstra, Jan A. 24 Epstein, Leah 24 Fernau, Henning 24 Navarro, Gonzalo 24 Paulusma, Daniël 24 Shallit, Jeffrey O. 23 Amir, Amihood 23 Blanchet-Sadri, Francine 23 Courcelle, Bruno 23 Hemaspaandra, Lane A. 23 Lin, Guohui 23 Mauri, Giancarlo 23 Mignosi, Filippo 23 Munro, J. Ian 23 Prodinger, Helmut 22 Chrobak, Marek 22 Du, Ding-Zhu 22 Golovach, Petr A. 22 Landau, Gad M. 22 Saurabh, Saket 22 Zeugmann, Thomas 22 Zhu, Binhai 21 Demaine, Erik D. 21 Duan, Zhenhua 21 Honkala, Juha 21 Kutrib, Martin 21 Park, Kunsoo 20 Calude, Cristian S. 20 Choffrut, Christian 20 Czyzowicz, Jurek 20 Formenti, Enrico 20 Han, Yo-Sub 20 Ko, Ker-I 20 Pan, Linqiang 20 Pérez-Jiménez, Mario J. 20 Petre, Ion 20 Santoro, Nicola 20 Vágvölgyi, Sándor 20 Wegener, Ingo 20 Xu, Yinfeng 19 Dezani-Ciancaglini, Mariangiola 19 Flocchini, Paola 19 Gargano, Luisa 19 Liotta, Giuseppe 19 Meseguer Guaita, José 19 Monien, Burkhard 19 Palamidessi, Catuscia 19 Perrin, Dominique 19 Smyth, William F. 19 Susilo, Willy 19 Vaccaro, Ugo 18 Bodlaender, Hans L. 18 Brlek, Srečko 18 Doerr, Benjamin 18 Droste, Manfred 18 Feng, Qilong 18 Halldórsson, Magnús Mar 18 Ito, Takehiro 18 Pelantová, Edita 18 Tian, Cong 17 Apostolico, Alberto 17 Carpi, Arturo 17 Cheng, Tai-Chiu Edwin 17 Csuhaj-Varjú, Erzsébet 17 Diekert, Volker 17 Du, Hongwei 17 Engelfriet, Joost ...and 13,371 more Authors all top 5 Fields 11,793 Computer science (68-XX) 1,729 Combinatorics (05-XX) 1,464 Mathematical logic and foundations (03-XX) 791 Operations research, mathematical programming (90-XX) 626 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 529 Information and communication theory, circuits (94-XX) 403 General and overarching topics; collections (00-XX) 335 Biology and other natural sciences (92-XX) 254 Number theory (11-XX) 241 Group theory and generalizations (20-XX) 200 Category theory; homological algebra (18-XX) 192 Order, lattices, ordered algebraic structures (06-XX) 169 Numerical analysis (65-XX) 130 Dynamical systems and ergodic theory (37-XX) 116 Probability theory and stochastic processes (60-XX) 115 Quantum theory (81-XX) 100 General algebraic systems (08-XX) 83 Convex and discrete geometry (52-XX) 78 General topology (54-XX) 68 Statistics (62-XX) 63 Systems theory; control (93-XX) 60 Linear and multilinear algebra; matrix theory (15-XX) 55 Field theory and polynomials (12-XX) 46 Commutative algebra (13-XX) 41 Associative rings and algebras (16-XX) 38 History and biography (01-XX) 31 Algebraic geometry (14-XX) 29 Measure and integration (28-XX) 20 Real functions (26-XX) 20 Ordinary differential equations (34-XX) 15 Statistical mechanics, structure of matter (82-XX) 11 Functions of a complex variable (30-XX) 9 Special functions (33-XX) 9 Algebraic topology (55-XX) 9 Mechanics of particles and systems (70-XX) 8 Approximations and expansions (41-XX) 7 Nonassociative rings and algebras (17-XX) 7 Geometry (51-XX) 6 Calculus of variations and optimal control; optimization (49-XX) 6 Relativity and gravitational theory (83-XX) 5 Integral transforms, operational calculus (44-XX) 5 Functional analysis (46-XX) 5 Manifolds and cell complexes (57-XX) 4 Difference and functional equations (39-XX) 4 Harmonic analysis on Euclidean spaces (42-XX) 3 Partial differential equations (35-XX) 3 Sequences, series, summability (40-XX) 3 Classical thermodynamics, heat transfer (80-XX) 2 Operator theory (47-XX) 2 Differential geometry (53-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Geophysics (86-XX) 1 Topological groups, Lie groups (22-XX) 1 Mechanics of deformable solids (74-XX) 1 Fluid mechanics (76-XX) 1 Astronomy and astrophysics (85-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 9,694 Publications have been cited 79,657 times in 42,931 Documents Cited by ▼ Year ▼ Linear logic. Zbl 0625.03037Girard, Jean-Yves 713 1987 Some simplified NP-complete graph problems. Zbl 0338.05120Garey, M. R.; Johnson, D. S.; Stockmeyer, L. 568 1976 A theory of timed automata. Zbl 0803.68071Alur, Rajeev; Dill, David L. 542 1994 Quantum cryptography: public key distribution and coin tossing. Zbl 1306.81030Bennett, Charles H.; Brassard, Gilles 541 2014 The complexity of computing the permanent. Zbl 0415.68008Valiant, L. G. 531 1979 The polynomial-time hierarchy. Zbl 0353.02024Stockmeyer, Larry J. 323 1977 Universal coalgebra: A theory of systems. Zbl 0951.68038Rutten, J. J. M. M. 303 2000 A partial k-arboretum of graphs with bounded treewidth. Zbl 0912.68148Bodlaender, Hans L. 288 1998 Results on the propositional \(\mu\)-calculus. Zbl 0553.03007Kozen, Dexter 272 1983 Testing equivalences for processes. Zbl 0985.68518De Nicola, R.; Hennessy, M. C. B. 224 1984 LCF considered as a programming language. Zbl 0369.68006Plotkin, G. D. 198 1978 Call-by-name, call-by-value and the \(\lambda\)-calculus. Zbl 0325.68006Plotkin, G. D. 195 1975 The directed subgraph homeomorphism problem. Zbl 0419.05028Fortune, Steven; Hopcroft, John; Wyllie, James 191 1980 Conditional rewriting logic as a unified model of concurrency. Zbl 0758.68043Meseguer, José 183 1992 Random generation of combinatorial structures from a uniform distribution. Zbl 0597.68056Jerrum, Mark R.; Valiant, Leslie G.; Vazirani, Vijay V. 176 1986 Petri nets, event structures and domains. I. Zbl 0452.68067Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn 174 1981 Mobile ambients. Zbl 0954.68108Cardelli, L.; Gordon, A. D. 170 2000 Calculi for synchrony and asynchrony. Zbl 0512.68026Milner, Robin 165 1983 The intractability of resolution. Zbl 0586.03010Haken, Armin 157 1985 The algorithmic analysis of hybrid systems. Zbl 0874.68206Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H. 145 1995 Mellin transforms and asymptotics: Harmonic sums. Zbl 0869.68057Flajolet, Philippe; Gourdon, Xavier; Dumas, Philippe 140 1995 A comparison of polynomial time reducibilities. Zbl 0321.68039Ladner, R. E.; Lynch, N. A.; Selman, A. L. 134 1975 Definability and fast quantifier elimination in algebraically closed fields. Zbl 0546.03017Heintz, Joos 134 1983 Comparison of identification criteria for machine inductive inference. Zbl 0524.03025Case, John; Smith, Carl 133 1983 Some APX-completeness results for cubic graphs. Zbl 0939.68052Alimonti, P.; Kann, V. 131 2000 Orderings for term-rewriting systems. Zbl 0525.68054Dershowitz, Nachum 131 1982 Episturmian words and some constructions of de Luca and Rauzy. Zbl 0981.68126Droubay, X.; Justin, J.; Pirillo, G. 127 2001 NP is as easy as detecting unique solutions. Zbl 0621.68030Valiant, L. G.; Vazirani, V. V. 127 1986 The complexity of mean payoff games on graphs. Zbl 0871.68138Zwick, Uri; Paterson, Mike 124 1996 Algebra of communicating processes with abstraction. Zbl 0579.68016Bergstra, J. A.; Klop, J. W. 122 1985 Fundamental properties of infinite trees. Zbl 0521.68013Courcelle, Bruno 119 1983 The chemical abstract machine. Zbl 0747.68013Berry, Gérard; Boudol, Gérard 118 1992 On the analysis of the \((1+1)\) evolutionary algorithm. Zbl 1002.68037Droste, Stefan; Jansen, Thomas; Wegener, Ingo 118 2002 Fixed-parameter tractability and completeness II: On completeness for W[1]. Zbl 0873.68059Downey, Rod G.; Fellows, Michael R. 117 1995 A hierarchy of polynomial time lattice basis reduction algorithms. Zbl 0642.10030Schnorr, C. P. 116 1987 Clustering to minimize the maximum intercluster distance. Zbl 0567.62048Gonzalez, Teofilo F. 116 1985 Algebraic languages and polyominoes enumeration. Zbl 0985.68516Delest, Marie-Pierre; Viennot, Gérard 115 1984 Well-structured transition systems everywhere! Zbl 0973.68170Finkel, A.; Schnoebelen, P. 114 2001 The state complexities of some basic operations on regular languages. Zbl 0795.68112Yu, Sheng; Zhuang, Qingyu; Salomaa, Kai 111 1994 The system \({\mathcal F}\) of variable types, fifteen years later. Zbl 0623.03013Girard, Jean-Yves 111 1986 Termination of term rewriting using dependency pairs. Zbl 0938.68051Arts, T.; Giesl, J. 108 2000 On the parameterized complexity of multiple-interval graph problems. Zbl 1161.68038Fellows, Michael R.; Hermelin, Danny; Rosamond, Frances; Vialette, Stéphane 105 2009 The ring of \(k\)-regular sequences. Zbl 0774.68072Allouche, Jean-Paul; Shallit, Jeffrey 100 1992 Quantum automata and quantum grammars. Zbl 0939.68037Moore, Cristopher; Crutchfield, J. P. 100 2000 BioAmbients: an abstraction for biological compartments. Zbl 1069.68569Regev, Aviv; Panina, Ekaterina M.; Silverman, William; Cardelli, Luca; Shapiro, Ehud 100 2004 Sturmian words: structure, combinatorics, and their arithmetics. Zbl 0911.68098de Luca, Aldo 98 1997 An annotated bibliography on guaranteed graph searching. Zbl 1160.68007Fomin, Fedor V.; Thilikos, Dimitrios M. 97 2008 Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056Goguen, Joseph A.; Meseguer, José 96 1992 Theory of cellular automata: a survey. Zbl 1080.68070Kari, Jarkko 96 2005 Fully abstract models of typed \(\lambda\)-calculi. Zbl 0386.03006Milner, Robin 96 1977 Complete sets and the polynomial-time hierarchy. Zbl 0366.02031Wrathall, Celia 96 1977 Some combinatorial properties of Sturmian words. Zbl 0874.68245de Luca, Aldo; Mignosi, Filippo 94 1994 Searching and pebbling. Zbl 0616.68064Kirousis, Lefteris M.; Papadimitriou, Christos H. 94 1986 The Euclidean traveling salesman problem is NP-complete. Zbl 0386.90057Papadimitriou, Christos H. 93 1977 Finite automata and unary languages. Zbl 0638.68096Chrobak, Marek 88 1986 Tissue P systems. Zbl 1045.68063Martín-Vide, Carlos; Păun, Gheorghe; Pazos, Juan; Rodríguez-Patón, Alfonso 87 2003 An introduction to commutative and noncommutative Gröbner bases. Zbl 0824.68056Mora, Teo 85 1994 The covering and boundedness problems for vector addition systems. Zbl 0368.68054Rackoff, Charles 85 1978 The existence of refinement mappings. Zbl 0728.68083Abadi, Martín; Lamport, Leslie 85 1991 Remarks on blind and partially blind one-way multicounter machines. Zbl 0389.68030Greibach, S. A. 83 1978 The complexity of partial derivatives. Zbl 0498.68028Baur, Walter; Strassen, Volker 82 1983 Complexity measures and decision tree complexity: a survey. Zbl 1061.68058Buhrman, Harry; de Wolf, Ronald 82 2002 Formal molecular biology. Zbl 1071.68041Danos, Vincent; Laneve, Cosimo 82 2004 Ant colony optimization theory: a survey. Zbl 1154.90626Dorigo, Marco; Blum, Christian 82 2005 Multi-agent scheduling on a single machine to minimize total weighted number of tardy jobs. Zbl 1100.68007Cheng, T. C. E.; Ng, C. T.; Yuan, J. J. 79 2006 Infinite games on finitely coloured graphs with applications to automata on infinite trees. Zbl 0915.68120Zielonka, Wiesław 79 1998 On reduction-based process semantics. Zbl 0871.68122Honda, Kohei; Yoshida, Nobuko 78 1995 Terminal coalgebras in well-founded set theory. Zbl 0779.18004Barr, Michael 78 1993 Improved upper bounds for vertex cover. Zbl 1205.05217Chen, Jianer; Kanj, Iyad A.; Xia, Ge 78 2010 The theory of ends, pushdown automata, and second-order logic. Zbl 0605.03005Muller, David E.; Schupp, Paul E. 78 1985 Lex-BFS and partition refinement, with applications to transitive orientation, interval graph recognition and consecutive ones testing. Zbl 0945.68189Habib, M.; McConnell, R.; Paul, C.; Viennot, L. 77 2000 Shortest paths without a map. Zbl 0733.68065Papadimitriou, Christos H.; Yannakakis, Mihalis 77 1991 Higher-level synchronising devices in Meije-SCCS. Zbl 0598.68027De Simone, Robert 76 1985 Power of words and recognizability of fixpoints of a substitution. (Puissances de mots et reconnaissabilité des points fixes d’une substitution.) Zbl 0763.68049Mossé, Brigitte 75 1992 Complete problems for deterministic polynomial time. Zbl 0352.68068Jones, Neil D.; Laaser, William T. 73 1977 \(\beta\)-expansions and symbolic dynamics. Zbl 0682.68081Blanchard, F. 73 1989 A calculus for the random generation of labelled combinatorial structures. Zbl 0799.68143Flajolet, Philippe; Zimmerman, Paul; van Cutsem, Bernard 72 1994 A computational model for metric spaces. Zbl 1011.54026Edalat, Abbas; Heckmann, Reinhold 72 1998 Computational interpretations of linear logic. Zbl 0791.03003Abramsky, Samson 72 1993 Monadic second-order evaluations on tree-decomposable graphs. Zbl 0789.68083Courcelle, B.; Mosbah, M. 72 1993 On the algebraic structure of combinatorial problems. Zbl 0915.68074Jeavons, Peter 71 1998 Partial derivatives of regular expressions and finite automaton constructions. Zbl 0872.68120Antimirov, Valentin 70 1996 Computational complexity of real functions. Zbl 0498.03047Ko, Ker-I.; Friedman, Harvey 70 1982 Parameterized graph separation problems. Zbl 1086.68104Marx, Dániel 70 2006 Gathering of asynchronous robots with limited visibility. Zbl 1108.68120Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Widmayer, Peter 69 2005 Kernel bounds for disjoint cycles and disjoint paths. Zbl 1221.68099Bodlaender, Hans L.; Thomassé, Stéphan; Yeo, Anders 69 2011 Systèmes codés. (Coded systems). Zbl 0601.68056Blanchard, F.; Hansel, G. 68 1986 On the distributional complexity of disjointness. Zbl 0787.68055Razborov, A. A. 67 1992 Maude: specification and programming in rewriting logic. Zbl 1001.68059Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N. 67 2002 Applications of graphical condensation for enumerating matchings and tilings. Zbl 1043.05099Kuo, Eric H. 67 2004 The temporal semantics of concurrent programs. Zbl 0441.68010Pnueli, Amir 66 1981 Résolution des systèmes d’équations algébriques. Zbl 0459.68013Lazard, Daniel 66 1981 A unification algorithm for typed \(\overline\lambda\)-calculus. Zbl 0337.68027Huet, G. P. 66 1975 Local majorities, coalitions and monopolies in graphs: A review. Zbl 0997.68088Peleg, David 66 2002 Sturmian words, Lyndon words and trees. Zbl 0901.68155Berstel, Jean; de Luca, Aldo 65 1997 On the complexity of reconfiguration problems. Zbl 1207.68166Ito, Takehiro; Demaine, Erik D.; Harvey, Nicholas J. A.; Papadimitriou, Christos H.; Sideri, Martha; Uehara, Ryuhei; Uno, Yushi 65 2011 The undecidability of the second-order unification problem. Zbl 0457.03006Goldfarb, Warren D. 64 1981 Minimizing the size of an identifying or locating-dominating code in a graph is NP-hard. Zbl 1044.68066Charon, Irène; Hudry, Olivier; Lobstein, Antoine 64 2003 On the power of inductive inference from good examples. Zbl 0821.68110Freivalds, R.; Kinber, E. B.; Wiehagen, R. 63 1993 Data exchange: semantics and query answering. Zbl 1080.68019Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian 63 2005 Equitable list tree-coloring of bounded treewidth graphs. Zbl 07300956Li, Yan; Zhang, Xin 3 2021 On cherry-picking and network containment. Zbl 07297783Janssen, Remie; Murakami, Yukihiro 2 2021 Disposability in square-free words. Zbl 07318715Harju, Tero 2 2021 Local distance constrained bribery in voting. Zbl 1467.91042Dey, Palash 1 2021 Revocable identity-based encryption with bounded decryption key exposure resistance: lattice-based construction and more. Zbl 1467.94041Takayasu, Atsushi; Watanabe, Yohei 1 2021 Structure connectivity and substructure connectivity of wheel networks. Zbl 1464.68284Feng, Wei; Wang, Shiying 1 2021 XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles. Zbl 1464.68165Engelfriet, Joost; Hoogeboom, Hendrik Jan; Samwel, Bart 1 2021 Exploration of dynamic tori by multiple agents. Zbl 1464.68402Gotoh, Tsuyoshi; Sudo, Yuichi; Ooshita, Fukuhito; Kakugawa, Hirotsugu; Masuzawa, Toshimitsu 1 2021 Constructing dual-CISTs of folded divide-and-swap cubes. Zbl 07297780Chang, Yu-Huei; Pai, Kung-Jui; Hsu, Chiun-Chieh; Yang, Jinn-Shyong; Chang, Jou-Ming 1 2021 Hardness and algorithms of equitable tree-coloring problem in chordal graphs. Zbl 07300876Niu, Bei; Li, Bi; Zhang, Xin 1 2021 Cops and robbers on oriented toroidal grids. Zbl 07300887González Hermosillo de la Maza, Sebastián; Hosseini, Seyyed Aliasghar; Knox, Fiachra; Mohar, Bojan; Reed, Bruce 1 2021 Improved lower bounds for the radio number of trees. Zbl 07300900Liu, Daphne Der-Fen; Saha, Laxman; Das, Satyabrata 1 2021 Fault diagnosability of bicube networks under the PMC diagnostic model. Zbl 07300901Liu, Jiafei; Zhou, Shuming; Gu, Zhendong; Zhou, Qianru; Wang, Dajin 1 2021 Revisiting the prefer-same and prefer-opposite de Bruijn sequence constructions. Zbl 07300917Alhakim, Abbas; Sala, Evan; Sawada, Joe 1 2021 On the price of stability of some simple graph-based hedonic games. Zbl 07300953Kaklamanis, Christos; Kanellopoulos, Panagiotis; Papaioannou, Konstantinos; Patouchas, Dimitris 1 2021 Ostrowski-automatic sequences: theory and applications. Zbl 1467.68146Baranwal, Aseem; Schaeffer, Luke; Shallit, Jeffrey 1 2021 The sum of digits functions of the Zeckendorf and the base phi expansions. Zbl 07310531Dekking, F. Michel 1 2021 A new quantum random number generator certified by value indefiniteness. Zbl 07318705Agüero Trejo, José Manuel; Calude, Cristian S. 1 2021 New results for the \(k\)-secretary problem. Zbl 07325911Albers, Susanne; Ladewig, Leon 1 2021 Minimum power partial multi-cover on a line. Zbl 07331462Liang, Wei; Li, Menghong; Zhang, Zhao; Huang, Xiaohui 1 2021 Complexity of modification problems for best match graphs. Zbl 07331472Schaller, David; Stadler, Peter F.; Hellmuth, Marc 1 2021 Theoretical aspects of equitable partition of networks into sparse modules. Zbl 07356472Zhang, Huaqiang; Zhang, Xin 1 2021 Universal locally verifiable codes and 3-round interactive proofs of proximity for CSP. Zbl 07373868Goldreich, Oded; Gur, Tom 1 2021 Beyond level planarity: cyclic, torus, and simultaneous level planarity. Zbl 1436.68377Angelini, Patrizio; Da Lozzo, Giordano; Di Battista, Giuseppe; Frati, Fabrizio; Patrignani, Maurizio; Rutter, Ignaz 4 2020 Temporal graph classes: a view through temporal separators. Zbl 1436.68234Fluschnik, Till; Molter, Hendrik; Niedermeier, Rolf; Renken, Malte; Zschoche, Philipp 4 2020 Morphic words, Beatty sequences and integer images of the Fibonacci language. Zbl 1447.68012Dekking, Michel 4 2020 Collaborative delivery with energy-constrained mobile robots. Zbl 1437.68034Bärtschi, Andreas; Chalopin, Jérémie; Das, Shantanu; Disser, Yann; Geissmann, Barbara; Graf, Daniel; Labourel, Arnaud; Mihalák, Matúš 4 2020 Almost envy-freeness in group resource allocation. Zbl 1458.91109Kyropoulou, Maria; Suksompong, Warut; Voudouris, Alexandros A. 4 2020 Optimal parameter choices via precise black-box analysis. Zbl 1436.68408Doerr, Benjamin; Doerr, Carola; Yang, Jing 3 2020 Probabilistic divide & congruence: branching bisimilarity. Zbl 1436.68209Castiglioni, Valentina; Tini, Simone 3 2020 The hardness of resilience for nested aggregation query. Zbl 1436.68090Miao, Dongjing; Yu, Jiguo; Cai, Zhipeng 3 2020 (Strong) conflict-free connectivity: algorithm and complexity. Zbl 1436.68243Ji, Meng; Li, Xueliang; Zhu, Xiaoyu 3 2020 Patterns of relation triples in inversion and ascent sequences. Zbl 07146697Lin, Zhicong 3 2020 A game-based approximate verification of deep neural networks with provable guarantees. Zbl 1436.68199Wu, Min; Wicker, Matthew; Ruan, Wenjie; Huang, Xiaowei; Kwiatkowska, Marta 3 2020 Complexity of modification problems for reciprocal best match graphs. Zbl 1443.92120Hellmuth, Marc; Geiß, Manuela; Stadler, Peter F. 3 2020 Multiple birds with one stone: beating 1/2 for EFX and GMMS via envy cycle elimination. Zbl 1458.91107Amanatidis, Georgios; Markakis, Evangelos; Ntokos, Apostolos 3 2020 Equitable improper choosability of graphs. Zbl 07263633Drgas-Burchardt, Ewa; Furmańczyk, Hanna; Sidorowicz, Elżbieta 3 2020 Structure connectivity and substructure connectivity of the crossed cube. Zbl 1442.68182Pan, Zhuowen; Cheng, Dongqin 2 2020 Singular value decomposition assisted multicarrier continuous-variable quantum key distribution. Zbl 1442.81022Gyongyosi, Laszlo 2 2020 A bicriteria algorithm for the minimum submodular cost partial set multi-cover problem. Zbl 1436.90128Shi, Yishuo; Ran, Yingli; Zhang, Zhao; Du, Ding-Zhu 2 2020 Approximation algorithms for the \(p\)-hub center routing problem in parameterized metric graphs. Zbl 1436.68226Chen, Li-Hsuan; Hsieh, Sun-Yuan; Hung, Ling-Ju; Klasing, Ralf 2 2020 Minsum \(k\)-sink problem on path networks. Zbl 1442.90024Benkoczi, Robert; Bhattacharya, Binay; Higashikawa, Yuya; Kameda, Tsunehiko; Katoh, Naoki 2 2020 \( \omega \)-Lyndon words. Zbl 1458.68153Postic, Mickaël; Zamboni, Luca Q. 2 2020 Lattice-based revocable (hierarchical) IBE with decryption key exposure resistance. Zbl 1447.94049Katsumata, Shuichi; Matsuda, Takahiro; Takayasu, Atsushi 2 2020 Computing the nearest polynomial to multiple given polynomials with a given zero via \(l_{2,q}\)-norm minimization. Zbl 1443.26008Hu, Wenyu; Li, Shenghao; Huang, Jinhong; Wang, Tinghua; Yu, Gaohang 2 2020 Orbit expandability of automaton semigroups and groups. Zbl 1455.68107D’Angeli, Daniele; Rodaro, Emanuele; Wächter, Jan Philipp 2 2020 Gathering in dynamic rings. Zbl 1437.68195Di Luna, Giuseppe Antonio; Flocchini, Paola; Pagli, Linda; Prencipe, Giuseppe; Santoro, Nicola; Viglietta, Giovanni 2 2020 Approximate proof-labeling schemes. Zbl 1437.68193Censor-Hillel, Keren; Paz, Ami; Perry, Mor 2 2020 Approximate pattern matching on elastic-degenerate text. Zbl 1437.68207Bernardini, Giulia; Pisanti, Nadia; Pissis, Solon P.; Rosone, Giovanna 2 2020 \(R_g\) conditional diagnosability: a novel generalized measure of system-level diagnosis. Zbl 1435.68050Guo, Chen; Xiao, Zhifang; Liu, Zhihong; Peng, Shuo 2 2020 Destructiveness of lexicographic parsimony pressure and alleviation by a concatenation crossover in genetic programming. Zbl 1432.68623Kötzing, Timo; Lagodzinski, J. A. Gregor; Lengler, Johannes; Melnichenko, Anna 2 2020 Reliability analysis of subsystem in dual cubes. Zbl 1432.68046Zhang, Qifan; Xu, Liqiong; Zhou, Shuming; Yang, Weihua 2 2020 On a simple hard variant of Not-All-Equal 3-Sat. Zbl 1433.68272Darmann, Andreas; Döcker, Janosch 2 2020 Gathering anonymous, oblivious robots on a grid. Zbl 1433.68597Castenow, Jannik; Fischer, Matthias; Harbig, Jonas; Jung, Daniel; Meyer auf der Heide, Friedhelm 2 2020 A decision procedure and complete axiomatization for projection temporal logic. Zbl 07188529Shu, Xinfeng; Duan, Zhenhua; Du, Hongwei 2 2020 A logic for Lawson compact algebraic L-domains. Zbl 07191325Wang, Longchun; Li, Qingguo 2 2020 Plug-in context providers for reaction systems. Zbl 1440.68085Kleijn, Jetty; Koutny, Maciej; Rozenberg, Grzegorz 2 2020 A note of vertex arboricity of planar graphs without 4-cycles intersecting with 6-cycles. Zbl 1455.05016Cui, Xuyang; Teng, Wenshun; Liu, Xing; Wang, Huijuan 2 2020 Online graph exploration on a restricted graph class: optimal solutions for tadpole graphs. Zbl 1453.68214Brandt, Sebastian; Foerster, Klaus-Tycho; Maurer, Jonathan; Wattenhofer, Roger 2 2020 On fan-crossing graphs. Zbl 1461.68145Brandenburg, Franz J. 2 2020 Connectivity and super connectivity of the divide-and-swap cube. Zbl 1461.68163Ning, Wantao 2 2020 Online presentations of finitely generated structures. Zbl 1464.68443Bazhenov, Nikolay; Kalimullin, Iskander; Melnikov, Alexander; Ng, Keng Meng 2 2020 Bisimulation invariant monadic-second order logic in the finite. Zbl 07203030Blumensath, Achim; Wolf, Felix 1 2020 Presenting de Groot duality of stably compact spaces. Zbl 1461.06003Kawai, Tatsuji 1 2020 Restricted connectivity and good-neighbor diagnosability of split-star networks. Zbl 1442.68177Lin, Limei; Huang, Yanze; Wang, Xiaoding; Xu, Li 1 2020 Analysis of the \((1 + 1)\) EA on subclasses of linear functions under uniform and linear constraints. Zbl 1443.68227Friedrich, Tobias; Kötzing, Timo; Lagodzinski, J. A. Gregor; Neumann, Frank; Schirneck, Martin 1 2020 Runtime analysis of RLS and \((1 + 1)\) EA for the dynamic weighted vertex cover problem. Zbl 1443.68229Pourhassan, Mojgan; Roostapour, Vahid; Neumann, Frank 1 2020 Design and analysis of diversity-based parent selection schemes for speeding up evolutionary multi-objective optimisation. Zbl 1443.90333Covantes Osuna, Edgar; Gao, Wanru; Neumann, Frank; Sudholt, Dirk 1 2020 The graph tessellation cover number: chromatic bounds, efficient algorithms and hardness. Zbl 1442.05168Abreu, A.; Cunha, L.; de Figueiredo, C.; Kowada, L.; Marquezino, F.; Posner, D.; Portugal, R. 1 2020 A core model for choreographic programming. Zbl 1436.68078Cruz-Filipe, Luís; Montesi, Fabrizio 1 2020 Strassen’s theorem for quantum couplings. Zbl 1442.81005Zhou, Li; Ying, Shenggang; Yu, Nengkun; Ying, Mingsheng 1 2020 Viral marketing of online game by DS decomposition in social networks. Zbl 1443.91240Gao, Chuangen; Du, Hai; Wu, Weili; Wang, Hua 1 2020 Quality-aware online task assignment mechanisms using latent topic model. Zbl 1443.91174Du, Yang; Sun, Yu-E; Huang, He; Huang, Liusheng; Xu, Hongli; Wu, Xiaocan 1 2020 Practical card-based implementations of Yao’s millionaire protocol. Zbl 1436.94084Miyahara, Daiki; Hayashi, Yu-ichi; Mizuki, Takaaki; Sone, Hideaki 1 2020 Novel updatable identity-based hash proof system and its applications. Zbl 1455.94202Zhou, Yanwei; Yang, Bo; Wang, Tao; Mu, Yi 1 2020 Two-stage combinatorial optimization problems under risk. Zbl 1436.90122Goerigk, Marc; Kasperski, Adam; Zieliński, Paweł 1 2020 On the Carathéodory and exchange numbers of geodetic convexity in graphs. Zbl 1442.05040Anand, Bijo S.; Chandran S. V., Ullas; Changat, Manoj; Dourado, Mitre C.; Hossein Nezhad, Ferdoos; Narasimha-Shenoi, Prasanth G. 1 2020 Algorithmic aspects of upper paired-domination in graphs. Zbl 1436.68242Henning, Michael A.; Pradhan, D. 1 2020 On the \(g\)-good-neighbor connectivity of graphs. Zbl 1436.68264Wang, Zhao; Mao, Yaping; Hsieh, Sun-Yuan; Wu, Jichang 1 2020 Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games. Zbl 1436.68154Rocha, Thiago Alves; Martins, Ana Teresa; Ferreira, Francicleber Martins 1 2020 Local time membrane systems and time Petri nets. Zbl 1436.68110Aman, Bogdan; Battyányi, Péter; Ciobanu, Gabriel; Vaszil, György 1 2020 Subroutines in P systems and closure properties of their complexity classes. Zbl 1436.68116Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio 1 2020 P systems with symport/antiport rules: when do the surroundings matter? Zbl 1436.68118Orellana-Martín, David; Martínez-del-Amor, Miguel Á.; Valencia-Cabrera, Luis; Song, Bosheng; Pan, Linqiang; Pérez-Jiménez, Mario J. 1 2020 When object production tunes the efficiency of membrane systems. Zbl 1436.68117Orellana-Martín, David; Martínez-del-Amor, Miguel Á.; Pérez-Hurtado, Ignacio; Riscos-Núñez, Agustín; Valencia-Cabrera, Luis; Pérez-Jiménez, Mario J. 1 2020 More on the dynamics of the symbolic square root map. Zbl 1436.68286Peltomäki, Jarkko; Whiteland, Markus A. 1 2020 The connected metric dimension at a vertex of a graph. Zbl 1442.05048Eroh, Linda; Kang, Cong X.; Yi, Eunjeong 1 2020 Alternative parameterizations of Metric Dimension. Zbl 1436.68146Gutin, Gregory; Ramanujan, M. S.; Reidl, Felix; Wahlström, Magnus 1 2020 The solid-metric dimension. Zbl 1436.68241Hakanen, Anni; Junnila, Ville; Laihonen, Tero 1 2020 Temporal matching. Zbl 1436.68220Baste, Julien; Bui-Xuan, Binh-Minh; Roux, Antoine 1 2020 Parametrised second-order complexity theory with applications to the study of interval computation. Zbl 1454.03057Neumann, Eike; Steinberg, Florian 1 2020 Enumeration of nonisomorphic interval graphs and nonisomorphic permutation graphs. Zbl 1442.05099Yamazaki, Kazuaki; Saitoh, Toshiki; Kiyomi, Masashi; Uehara, Ryuhei 1 2020 Priority evacuation from a disk: the case of \(n = 1,2,3\). Zbl 1437.68173Czyzowicz, Jurek; Georgiou, Konstantinos; Killick, Ryan; Kranakis, Evangelos; Krizanc, Danny; Narayanan, Lata; Opatrny, Jaroslav; Shende, Sunil 1 2020 Towards ‘up to context’ reasoning about higher-order processes. Zbl 1436.68211Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide 1 2020 Improved average complexity for comparison-based sorting. Zbl 1436.68087Iwama, Kazuo; Teruyama, Junichi 1 2020 Generalized Lyndon factorizations of infinite words. Zbl 1458.68149Burcroff, Amanda; Winsor, Eric 1 2020 Polyline drawings with topological constraints. Zbl 1436.68232Di Giacomo, Emilio; Eades, Peter; Liotta, Giuseppe; Meijer, Henk; Montecchiani, Fabrizio 1 2020 Popular matchings with two-sided preference lists and matroid constraints. Zbl 1436.91086Kamiyama, Naoyuki 1 2020 Identity-based encryption with leakage-amplified chosen-ciphertext attacks security. Zbl 1448.94238Zhou, Yanwei; Yang, Bo; Xia, Zhe; Zhang, Mingwu; Mu, Yi 1 2020 Principal component analysis in the local differential privacy model. Zbl 1436.68100Wang, Di; Xu, Jinhui 1 2020 An oracle separating conjectures about incompleteness in the finite domain. Zbl 1436.68124Dose, Titus 1 2020 ...and 649 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 34,432 Authors 111 Rozenberg, Grzegorz 108 Ibarra, Oscar H. 100 Jain, Sanjay 95 Paulusma, Daniël 91 Saurabh, Saket 90 Stephan, Frank 88 Epstein, Leah 88 Golovach, Petr A. 88 Meseguer Guaita, José 82 Niedermeier, Rolf 81 Salomaa, Kai T. 80 Fomin, Fedor V. 79 Fernau, Henning 79 Otto, Friedrich 79 Yuan, Jinjiang 74 Ésik, Zoltán 74 Shallit, Jeffrey O. 71 Courcelle, Bruno 70 Pelc, Andrzej 70 Rytter, Wojciech 69 Karhumaki, Juhani 68 Kutrib, Martin 65 Harju, Tero 65 Salomaa, Arto Kustaa 64 Ehrenfeucht, Andrzej 64 Montanari, Ugo G. 64 Navarro, Gonzalo 63 Engelfriet, Joost 63 Hemaspaandra, Lane A. 63 Larsen, Kim Guldstrand 63 Restivo, Antonio 62 Crochemore, Maxime 61 Blanchet-Sadri, Francine 61 Bodlaender, Hans L. 60 Okhotin, Alexander 59 de Luca, Aldo 59 Iliopoulos, Costas S. 58 Spirakis, Paul G. 57 Păun, Gheorghe 57 Rautenbach, Dieter 56 Paschos, Vangelis Th. 56 Prodinger, Helmut 55 Raman, Venkatesh 54 Lokshtanov, Daniel 53 Bergstra, Jan A. 53 Holzer, Markus 53 Thilikos, Dimitrios M. 53 Xu, Yinfeng 52 Lozin, Vadim Vladislavovich 52 Pan, Victor Yakovlevich 51 Droste, Manfred 51 Honkala, Juha 50 Adámek, Jiří 50 Flocchini, Paola 50 Santoro, Nicola 50 Yu, Sheng 49 Cheng, Tai-Chiu Edwin 49 Kari, Lila 49 Kratsch, Dieter 48 Rampersad, Narad 47 Aceto, Luca 47 Chen, Jian-er 46 Fellows, Michael Ralph 46 Monnot, Jérôme 46 Wang, Jianxin 45 Case, John 45 Heggernes, Pinar 45 Henzinger, Thomas A. 45 Inenaga, Shunsuke 45 Liotta, Giuseppe 45 Milius, Stefan 45 Pan, Linqiang 45 Pérez-Jiménez, Mario J. 45 Pin, Jean-Eric 45 Vardi, Moshe Y. 45 Wang, Shiying 44 Zamboni, Luca Quardo 42 Cai, Jin-Yi 42 Chatterjee, Krishnendu 42 Diekert, Volker 42 Hromkovič, Juraj 42 Ingólfsdóttir, Anna 42 Li, Qingguo 42 Pelantová, Edita 42 Pilipczuk, Michał 42 Reutenauer, Christophe 42 Sau, Ignasi 41 Demaine, Erik D. 41 Dezani-Ciancaglini, Mariangiola 41 Makino, Kazuhisa 41 Mauri, Giancarlo 41 Woeginger, Gerhard Johannes 41 Wu, Weili 40 Gąsieniec, Leszek Antoni 40 Han, Yo-Sub 40 Hennessy, Matthew C. B. 40 Komusiewicz, Christian 40 Mitrana, Victor 40 Qiu, Daowen 39 Guo, Jiong ...and 34,332 more Authors all top 5 Cited in 945 Journals 7,991 Theoretical Computer Science 1,551 Discrete Applied Mathematics 1,417 Information Processing Letters 1,354 Information and Computation 1,108 Journal of Computer and System Sciences 942 Algorithmica 693 International Journal of Foundations of Computer Science 641 Discrete Mathematics 549 Theory of Computing Systems 515 Journal of Combinatorial Optimization 463 Annals of Pure and Applied Logic 424 MSCS. Mathematical Structures in Computer Science 416 Acta Informatica 385 Information Sciences 341 Journal of Symbolic Computation 339 Artificial Intelligence 309 European Journal of Operational Research 309 Quantum Information Processing 291 Journal of Discrete Algorithms 287 Formal Aspects of Computing 249 Journal of Automated Reasoning 237 European Journal of Combinatorics 236 International Journal of Computer Mathematics 234 RAIRO. Theoretical Informatics and Applications 228 International Journal of Theoretical Physics 225 Distributed Computing 225 Logical Methods in Computer Science 219 Annals of Mathematics and Artificial Intelligence 215 Applied Mathematics and Computation 215 The Journal of Logic and Algebraic Programming 214 Journal of Logical and Algebraic Methods in Programming 198 The Journal of Symbolic Logic 192 Computational Geometry 180 SIAM Journal on Computing 178 Fuzzy Sets and Systems 175 Journal of Pure and Applied Algebra 175 International Journal of Algebra and Computation 167 Linear Algebra and its Applications 166 Computers & Operations Research 164 Formal Methods in System Design 156 Advances in Applied Mathematics 156 Computational Complexity 155 RAIRO. Informatique Théorique et Applications 154 Natural Computing 153 Mathematical Systems Theory 150 Journal of Combinatorial Theory. Series A 148 SIAM Journal on Discrete Mathematics 145 Journal of Complexity 144 Discrete & Computational Geometry 132 Studia Logica 128 Topology and its Applications 125 Journal of Scheduling 121 Journal of Functional Programming 120 Semigroup Forum 118 Operations Research Letters 116 Journal of Algebra 116 Discrete Optimization 111 Graphs and Combinatorics 111 Annals of Operations Research 110 Mathematical Programming. Series A. Series B 109 RAIRO. Theoretical Informatics and Applications 107 Theory and Practice of Logic Programming 101 International Journal of Approximate Reasoning 98 Computers & Mathematics with Applications 98 Transactions of the American Mathematical Society 93 Random Structures & Algorithms 93 Journal of Applied Non-Classical Logics 89 Applicable Algebra in Engineering, Communication and Computing 87 Mathematics of Computation 87 Soft Computing 87 Discrete Mathematics, Algorithms and Applications 85 Archive for Mathematical Logic 85 The Electronic Journal of Combinatorics 84 Journal of Combinatorial Theory. Series B 82 Designs, Codes and Cryptography 79 Optimization Letters 79 Algorithms 77 Advances in Mathematics 77 Journal of Graph Theory 77 Ergodic Theory and Dynamical Systems 77 Journal of Mathematical Sciences (New York) 76 Journal of Global Optimization 76 Journal of Applied Logic 75 International Journal of Computational Geometry & Applications 73 Networks 72 Automatica 72 Combinatorics, Probability and Computing 70 Journal of Number Theory 70 Combinatorica 70 Cybernetics and Systems Analysis 70 ACM Transactions on Computational Logic 69 Order 69 Journal of Logic, Language and Information 68 The Bulletin of Symbolic Logic 67 Journal of Computational and Applied Mathematics 67 Discrete Event Dynamic Systems 67 Applied Categorical Structures 67 Mathematical Problems in Engineering 66 Machine Learning 64 Journal of Computer Science and Technology ...and 845 more Journals all top 5 Cited in 62 Fields 29,068 Computer science (68-XX) 7,814 Combinatorics (05-XX) 6,124 Mathematical logic and foundations (03-XX) 4,195 Operations research, mathematical programming (90-XX) 1,911 Information and communication theory, circuits (94-XX) 1,885 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1,298 Number theory (11-XX) 1,135 Numerical analysis (65-XX) 1,078 Biology and other natural sciences (92-XX) 1,070 Quantum theory (81-XX) 1,044 Group theory and generalizations (20-XX) 1,041 Order, lattices, ordered algebraic structures (06-XX) 1,012 Category theory; homological algebra (18-XX) 830 Probability theory and stochastic processes (60-XX) 809 Dynamical systems and ergodic theory (37-XX) 622 General topology (54-XX) 542 Linear and multilinear algebra; matrix theory (15-XX) 518 Systems theory; control (93-XX) 482 Convex and discrete geometry (52-XX) 443 Statistics (62-XX) 373 Commutative algebra (13-XX) 367 Algebraic geometry (14-XX) 366 General algebraic systems (08-XX) 302 Associative rings and algebras (16-XX) 257 Field theory and polynomials (12-XX) 225 Statistical mechanics, structure of matter (82-XX) 212 Measure and integration (28-XX) 139 Ordinary differential equations (34-XX) 129 Operator theory (47-XX) 124 Algebraic topology (55-XX) 114 History and biography (01-XX) 110 Partial differential equations (35-XX) 107 Manifolds and cell complexes (57-XX) 106 Real functions (26-XX) 106 Functions of a complex variable (30-XX) 100 General and overarching topics; collections (00-XX) 90 Special functions (33-XX) 89 Functional analysis (46-XX) 77 Geometry (51-XX) 76 Approximations and expansions (41-XX) 72 Calculus of variations and optimal control; optimization (49-XX) 59 Difference and functional equations (39-XX) 59 Mechanics of deformable solids (74-XX) 54 Nonassociative rings and algebras (17-XX) 47 Differential geometry (53-XX) 42 Fluid mechanics (76-XX) 37 Topological groups, Lie groups (22-XX) 37 Integral transforms, operational calculus (44-XX) 33 Mechanics of particles and systems (70-XX) 32 Global analysis, analysis on manifolds (58-XX) 31 Harmonic analysis on Euclidean spaces (42-XX) 22 Optics, electromagnetic theory (78-XX) 22 Relativity and gravitational theory (83-XX) 21 Abstract harmonic analysis (43-XX) 20 Sequences, series, summability (40-XX) 19 Several complex variables and analytic spaces (32-XX) 17 Classical thermodynamics, heat transfer (80-XX) 14 Mathematics education (97-XX) 13 Geophysics (86-XX) 12 Integral equations (45-XX) 11 Potential theory (31-XX) 10 \(K\)-theory (19-XX) Citations by Year