Theory of Computing Systems Short Title: Theory Comput. Syst. Publisher: Springer US, New York, NY ISSN: 1432-4350; 1433-0490/e Online: http://link.springer.com/journal/volumesAndIssues/224 Predecessor: Mathematical Systems Theory Comments: Indexed cover-to-cover Documents Indexed: 1,420 Publications (since 1997) References Indexed: 974 Publications with 24,757 References. all top 5 Latest Issues 66, No. 2 (2022) 66, No. 1 (2022) 65, No. 8 (2021) 65, No. 7 (2021) 65, No. 6 (2021) 65, No. 5 (2021) 65, No. 4 (2021) 65, No. 3 (2021) 65, No. 2 (2021) 65, No. 1 (2021) 64, No. 8 (2020) 64, No. 7 (2020) 64, No. 6 (2020) 64, No. 5 (2020) 64, No. 4 (2020) 64, No. 3 (2020) 64, No. 2 (2020) 64, No. 1 (2020) 63, No. 8 (2019) 63, No. 7 (2019) 63, No. 6 (2019) 63, No. 5 (2019) 63, No. 4 (2019) 63, No. 3 (2019) 63, No. 2 (2019) 63, No. 1 (2019) 62, No. 8 (2018) 62, No. 7 (2018) 62, No. 6 (2018) 62, No. 5 (2018) 62, No. 4 (2018) 62, No. 3 (2018) 62, No. 2 (2018) 62, No. 1 (2018) 61, No. 4 (2017) 61, No. 3 (2017) 61, No. 2 (2017) 61, No. 1 (2017) 60, No. 4 (2017) 60, No. 3 (2017) 60, No. 2 (2017) 60, No. 1 (2017) 59, No. 4 (2016) 59, No. 3 (2016) 59, No. 2 (2016) 59, No. 1 (2016) 58, No. 4 (2016) 58, No. 3 (2016) 58, No. 2 (2016) 58, No. 1 (2016) 57, No. 4 (2015) 57, No. 3 (2015) 57, No. 2 (2015) 57, No. 1 (2015) 56, No. 4 (2015) 56, No. 3 (2015) 56, No. 2 (2015) 56, No. 1 (2015) 55, No. 4 (2014) 55, No. 3 (2014) 55, No. 2 (2014) 55, No. 1 (2014) 54, No. 4 (2014) 54, No. 3 (2014) 54, No. 2 (2014) 54, No. 1 (2014) 53, No. 4 (2013) 53, No. 3 (2013) 53, No. 2 (2013) 53, No. 1 (2013) 52, No. 4 (2013) 52, No. 3 (2013) 52, No. 2 (2013) 52, No. 1 (2013) 51, No. 4 (2012) 51, No. 3 (2012) 51, No. 2 (2012) 51, No. 1 (2012) 50, No. 4 (2012) 50, No. 3 (2012) 50, No. 2 (2012) 50, No. 1 (2012) 49, No. 4 (2011) 49, No. 3 (2011) 49, No. 2 (2011) 49, No. 1 (2011) 48, No. 4 (2011) 48, No. 3 (2011) 48, No. 2 (2011) 48, No. 1 (2011) 47, No. 4 (2010) 47, No. 3 (2010) 47, No. 2 (2010) 47, No. 1 (2010) 46, No. 4 (2010) 46, No. 3 (2010) 46, No. 2 (2010) 46, No. 1 (2010) 45, No. 4 (2009) 45, No. 3 (2009) ...and 78 more Volumes all top 5 Authors 15 Spirakis, Paul G. 12 Lohrey, Markus 11 Scheideler, Christian 10 Diekert, Volker 10 Fotakis, Dimitris A. 10 Niedermeier, Rolf 9 Anshelevich, Elliot 9 Cai, Jin-Yi 9 Kaklamanis, Christos 9 Mayordomo, Elvira 9 Saurabh, Saket 9 Watanabe, Osamu 8 Bilò, Vittorio 8 Bollig, Beate 8 Buhrman, Harry 8 Caragiannis, Ioannis 8 Epstein, Leah 8 Fomin, Fedor V. 8 Meyer auf der Heide, Friedhelm 8 Patt-Shamir, Boaz 7 Allender, Eric W. 7 Bergstra, Jan A. 7 Bodlaender, Hans L. 7 Carton, Olivier 7 Hitchcock, John M. 7 Krizanc, Danny 7 Luccio, Fabrizio 7 Mavronicolas, Marios 7 Merkle, Wolfgang 7 Raman, Venkatesh 7 Shen, Alexander 7 Thérien, Denis 7 Vogler, Heiko 6 Bauwens, Bruno 6 Bender, Michael A. 6 Dürr, Christoph 6 Fellows, Michael Ralph 6 Flammini, Michele 6 Fraigniaud, Pierre 6 Golovach, Petr A. 6 Jeż, Artur 6 Kufleitner, Manfred 6 Luccio, Flaminia L. 6 Lutz, Jack H. 6 McNicholl, Timothy H. 6 Monien, Burkhard 6 Rosenberg, Arnold Leonard 6 Schwentick, Thomas 6 Vereshchagin, Nikolay K. 6 Vollmer, Heribert 5 Antunes, Luis 5 Azar, Yossi 5 Bienvenu, Laurent 5 Blelloch, Guy E. 5 Cygan, Marek 5 Dehne, Frank 5 Erlebach, Thomas 5 Fortnow, Lance J. 5 Fülöp, Zoltán 5 Gibbons, Phillip B. 5 Grädel, Erich 5 Langerman, Stefan 5 Mahajan, Meena 5 Muscholl, Anca 5 Nikoletseas, Sotiris E. 5 Ogihara, Mitsunori 5 Okhotin, Alexander 5 Pavan, Aduri 5 Persiano, Giuseppe 5 Pilipczuk, Marcin L. 5 Pucci, Geppino 5 Rosamond, Frances A. 5 Rossmanith, Peter 5 Rothe, Jörg-Matthias 5 Serna Iglesias, Maria José 5 Stephan, Frank 4 Adler, Micah 4 Albers, Susanne 4 Arvind, Vikraman 4 Barceló, Pablo 4 Brandt, Felix 4 Cenzer, Douglas 4 Demaine, Erik D. 4 Downey, Rodney Graham 4 Droste, Manfred 4 Durand, Arnaud 4 Fanelli, Angelo 4 Fischer, Felix 4 Flocchini, Paola 4 Freydenberger, Dominik D. 4 Geerts, Floris 4 Guo, Jiong 4 Gutin, Gregory Z. 4 Hansen, Kristoffer Arnsfelt 4 Harks, Tobias 4 Hirsch, Edward A. 4 Hoyrup, Mathieu 4 Jansen, Klaus 4 Jurdziński, Tomasz 4 Karhumaki, Juhani ...and 2,190 more Authors all top 5 Fields 1,254 Computer science (68-XX) 191 Combinatorics (05-XX) 147 Mathematical logic and foundations (03-XX) 147 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 122 Operations research, mathematical programming (90-XX) 93 General and overarching topics; collections (00-XX) 39 Information and communication theory, circuits (94-XX) 25 Group theory and generalizations (20-XX) 21 Dynamical systems and ergodic theory (37-XX) 19 Number theory (11-XX) 11 Quantum theory (81-XX) 10 Probability theory and stochastic processes (60-XX) 8 Measure and integration (28-XX) 8 Statistics (62-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 7 Biology and other natural sciences (92-XX) 6 Numerical analysis (65-XX) 5 Convex and discrete geometry (52-XX) 5 General topology (54-XX) 4 General algebraic systems (08-XX) 3 Algebraic geometry (14-XX) 3 Real functions (26-XX) 3 Functions of a complex variable (30-XX) 2 History and biography (01-XX) 2 Associative rings and algebras (16-XX) 1 Commutative algebra (13-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Differential geometry (53-XX) 1 Mechanics of particles and systems (70-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 927 Publications have been cited 4,986 times in 4,205 Documents Cited by ▼ Year ▼ Linear time solvable optimization problems on graphs of bounded clique-width. Zbl 1009.68102Courcelle, B.; Makowsky, J. A.; Rotics, U. 290 2000 Polynomial closure and unambiguous product. Zbl 0872.68119Pin, J.-E.; Weil, P. 59 1997 Compressed suffix trees with full functionality. Zbl 1148.68015Sadakane, Kunihiko 50 2007 On covering problems of codes. Zbl 0868.94056Frances, M.; Litman, A. 47 1997 Graph-modeled data clustering: Exact algorithms for clique generation. Zbl 1084.68117Gramm, Jens; Guo, Jiong; Hüffner, Falk; Niedermeier, Rolf 46 2005 On short paths interdiction problems: Total and node-wise limited interdiction. Zbl 1148.68036Boros, Endre; Borys, Konrad; Elbassioni, Khaled; Gurvich, Vladimir; Rudolf, Gabor; Zhao, Jihui 41 2008 Upper and lower bounds for randomized search heuristics in black-box optimization. Zbl 1103.68115Droste, Stefan; Jansen, Thomas; Wegener, Ingo 38 2006 Network design with weighted players. Zbl 1176.91003Chen, Ho-Lin; Roughgarden, Tim 37 2009 Finite presentations of infinite structures: Automata and interpretations. Zbl 1061.03038Blumensath, Achim; Grädel, Erich 34 2004 Gradient clock synchronization in dynamic networks. Zbl 1253.68060Kuhn, Fabian; Locher, Thomas; Oshman, Rotem 34 2011 Numeration systems on a regular language. Zbl 0969.68095Lecomte, P. B. A.; Rigo, M. 34 2001 Fixed-parameter algorithms for cluster vertex deletion. Zbl 1205.68263Hüffner, Falk; Komusiewicz, Christian; Moser, Hannes; Niedermeier, Rolf 34 2010 Approximate equilibria and ball fusion. Zbl 1101.68336Koutsoupias, Elias; Mavronicolas, Marios; Spirakis, Paul 33 2003 Applying modular decomposition to parameterized cluster editing problems. Zbl 1179.68111Protti, Fábio; Dantas da Silva, Maise; Szwarcfiter, Jayme Luiz 32 2009 Nearest common ancestors: a survey and a new algorithm for a distributed environment. Zbl 1093.68136Alstrup, Stephen; Gavoille, Cyril; Kaplan, Haim; Rauhe, Theis 30 2004 Generating shorter bases for hard random lattices. Zbl 1217.94092Alwen, Joël; Peikert, Chris 29 2011 Crown structures for vertex cover kernelization. Zbl 1148.68035Abu-Khzam, Faisal N.; Fellows, Michael R.; Langston, Michael A.; Suters, W. Henry 29 2007 Exact complexity of the winner problem for Young elections. Zbl 1061.90084Rothe, Jörg; Spakowski, Holger; Vogel, Jörg 27 2003 A tight upper bound on Kolmogorov complexity and uniformly optimal prediction. Zbl 0896.68080Staiger, L. 27 1998 Balanced graph partitioning. Zbl 1113.68069Andreev, Konstantin; Räcke, Harald 27 2006 Complexity of Presburger arithmetic with fixed quantifier dimension. Zbl 0872.68048Schöning, U. 26 1997 Undecidable problems for probabilistic automata of fixed dimension. Zbl 1039.68061Blondel, Vincent D.; Canterini, Vincent 25 2003 On edge irregular total labeling of categorical product of two cycles. Zbl 1284.05232Ahmad, Ali; Bača, Martin; Siddiqui, Muhammad Kamran 25 2014 Clique-width for 4-vertex forbidden subgraphs. Zbl 1103.68088Brandstädt, Andreas; Engelfriet, Joost; Le, Hoang-Oanh; Lozin, Vadim V. 25 2006 Conjunctive grammars over a unary alphabet: Undecidability and unbounded growth. Zbl 1183.68327Jeż, Artur; Okhotin, Alexander 24 2010 Algebraic results on quantum automata. Zbl 1101.68029Ambainis, Andris; Beaudry, Martin; Golovkins, Marats; Kikusts, Arnolds; Mercer, Mark; Therien, Denis 24 2006 Equational elements in additive algebras. Zbl 0914.68118Bozapalidis, S. 23 1999 Accessing nearby copies of replicated objects in a distributed environment. Zbl 0929.68126Plaxton, C. G.; Rajaraman, R.; Richa, A. W. 23 1999 Parameterized complexity of Vertex Cover variants. Zbl 1147.68607Guo, Jiong; Niedermeier, Rolf; Wernicke, Sebastian 22 2007 On approximation properties of the independent set problem for low degree graphs. Zbl 0916.68109Berman, P.; Fujito, T. 21 1999 The complexity ecology of parameters: An illustration using bounded max leaf number. Zbl 1184.05123Fellows, Michael; Lokshtanov, Daniel; Misra, Neeldhara; Mnich, Matthias; Rosamond, Frances; Saurabh, Saket 21 2009 The power of commuting with finite sets of words. Zbl 1121.68065Kunc, Michal 21 2007 The efficiency of fair division. Zbl 1262.91099Caragiannis, Ioannis; Kaklamanis, Christos; Kanellopoulos, Panagiotis; Kyropoulou, Maria 20 2012 Irregular total labellings of generalized Petersen graphs. Zbl 1254.05172Haque, Khandoker Mohammed Mominul 20 2012 Local MST computation with short advice. Zbl 1213.68123Fraigniaud, Pierre; Korman, Amos; Lebhar, Emmanuelle 19 2010 Descendants of primitive substitutions. Zbl 0916.68086Holton, C.; Zamboni, L. Q. 19 1999 A generalization of Cobham’s theorem. Zbl 0895.68081Durand, F. 19 1998 Vertex cover kernelization revisited. Upper and lower bounds for a refined parameter. Zbl 1286.68196Jansen, Bart M. P.; Bodlaender, Hans L. 19 2013 Correspondence principles for effective dimensions. Zbl 1084.68054Hitchcock, John M. 19 2005 New graph classes of bounded clique-width. Zbl 1084.68088Brandstädt, Andreas; Dragan, Feodor F.; Le, Hoàng-Oanh; Mosca, Raffaele 19 2005 DNA computing based on splicing: The existence of universal computers. Zbl 0914.68072Freund, R.; Kari, L.; Păun, Gh. 18 1999 The hub number of Sierpiński-like graphs. Zbl 1234.05178Lin, Chien-Hung; Liu, Jia-Jie; Wang, Yue-Li; Yen, William Chung-Kung 18 2011 From a zoo to a zoology: Towards a general theory of graph polynomials. Zbl 1162.68502Makowsky, J. A. 18 2008 Efficient exact algorithms through enumerating maximal independent sets and other techniques. Zbl 1148.68054Raman, Venkatesh; Saurabh, Saket; Sikdar, Somnath 18 2007 An \(\mathcal O(2^{O(k)}n^{3})\) FPT algorithm for the undirected feedback vertex set problem. Zbl 1148.68037Dehne, Frank; Fellows, Michael; Langston, Michael; Rosamond, Frances; Stevens, Kim 18 2007 On the uniform computational content of computability theory. Zbl 1420.03110Brattka, Vasco; Hendtlass, Matthew; Kreuzer, Alexander P. 17 2017 Enumerate and expand: Improved algorithms for connected vertex cover and tree cover. Zbl 1148.68041Mölle, Daniel; Richter, Stefan; Rossmanith, Peter 17 2008 Randomness on computable probability spaces – a dynamical point of view. Zbl 1238.68069Gács, Peter; Hoyrup, Mathieu; Rojas, Cristóbal 17 2011 A fast branching algorithm for cluster vertex deletion. Zbl 1336.68192Boral, Anudhyan; Cygan, Marek; Kociumaka, Tomasz; Pilipczuk, Marcin 17 2016 The linear arrangement problem parameterized above guaranteed value. Zbl 1148.68039Gutin, Gregory; Rafiey, Arash; Szeider, Stefan; Yeo, Anders 17 2007 Constant thresholds can make target set selection tractable. Zbl 1319.68109Chopin, Morgan; Nichterlein, André; Niedermeier, Rolf; Weller, Mathias 16 2014 First- and second-order diffusive methods for rapid, coarse, distributed load balancing. Zbl 0904.68137Muthukrishnan, S.; Ghosh, B.; Schultz, M. H. 16 1998 Sofic tree-shifts. Zbl 1293.68195Aubrun, Nathalie; Béal, Marie-Pierre 16 2013 On approximate jumbled pattern matching in strings. Zbl 1253.68372Burcsi, Péter; Cicalese, Ferdinando; Fici, Gabriele; Lipták, Zsuzsanna 16 2012 Simple and improved parameterized algorithms for multiterminal cuts. Zbl 1213.68472Xiao, Mingyu 16 2010 A cubic kernel for feedback vertex set and loop cutset. Zbl 1215.68170Bodlaender, Hans L.; van Dijk, Thomas C. 16 2010 Dynamic programming for minimum Steiner trees. Zbl 1148.68038Fuchs, B.; Kern, W.; Molle, D.; Richter, S.; Rossmanith, P.; Wang, X. 16 2007 Fault-tolerant embedding of pairwise independent Hamiltonian paths on a faulty hypercube with edge faults. Zbl 1187.68344Hsieh, Sun-Yuan; Weng, Yu-Fen 16 2009 Fixed points, Nash equilibria, and the existential theory of the reals. Zbl 1362.68088Schaefer, Marcus; Štefankovič, Daniel 16 2017 A Kleene theorem for weighted tree automata. Zbl 1061.68092Droste, Manfred; Pech, Christian; Vogler, Heiko 15 2005 A note on exact algorithms for vertex ordering problems on graphs. Zbl 1253.68164Bodlaender, Hans L.; Fomin, Fedor V.; Koster, Arie M. C. A.; Kratsch, Dieter; Thilikos, Dimitrios M. 15 2012 Stackelberg strategies for atomic congestion games. Zbl 1203.91035Fotakis, Dimitris 15 2010 Complexity of equations over sets of natural numbers. Zbl 1209.68263Jeż, Artur; Okhotin, Alexander 15 2011 The rank-width of edge-coloured graphs. Zbl 1269.05036Kanté, Mamadou Moustapha; Rao, Michael 15 2013 Distributed streams algorithms for sliding windows. Zbl 1093.68143Gibbons, Phillip B.; Tirthapura, Srikanta 14 2004 Nash equilibria and the price of anarchy for flows over time. Zbl 1278.91027Koch, Ronald; Skutella, Martin 14 2011 The complexity of equality constraint languages. Zbl 1148.68025Bodirsky, Manuel; Kára, Jan 14 2008 Real hypercomputation and continuity. Zbl 1122.03039Ziegler, Martin 14 2007 \(\frac{13}{9}\)-approximation for graphic TSP. Zbl 1319.68255Mucha, Marcin 13 2014 Hamiltonicity of the hierarchical cubic network. Zbl 0993.68003Fu, Jung-Sheng; Chen, Gen-Huey 13 2002 Automatic maps in exotic numeration systems. Zbl 0870.68105Allouche, Jean-Paul; Cateland, E.; Gilbert, W. J.; Peitgen, Heinz-Otto; Shallit, Jeffrey O.; Skordev, Gencho 13 1997 Solving the 2-disjoint paths problem in nearly linear time. Zbl 1103.68100Tholey, Torsten 13 2006 Characterizing the existence of potential functions in weighted congestion games. Zbl 1278.91013Harks, Tobias; Klimm, Max; Möhring, Rolf H. 13 2011 Multiobjective optimization: Improved FPTAS for shortest paths and nonlinear objectives with applications. Zbl 1175.90366Tsaggouris, George; Zaroliagis, Christos 13 2009 Thread scheduling for multiprogrammed multiprocessors. Zbl 0978.68020Arora, N. S.; Blumofe, R. D.; Plaxton, C. G. 13 2001 Weighted logics for unranked tree automata. Zbl 1226.03048Droste, Manfred; Vogler, Heiko 13 2011 A new characterization of NP, P, and PSPACE with accepting hybrid networks of evolutionary processors. Zbl 1209.68264Manea, Florin; Margenstern, Maurice; Mitrana, Victor; Pérez-Jiménez, Mario J. 13 2010 Fixed-parameter enumerability of cluster editing and related problems. Zbl 1209.68360Damaschke, Peter 13 2010 Rendezvous and election of mobile agents: Impact of sense of direction. Zbl 1107.68022Barriere, Lali; Flocchini, Paola; Fraigniaud, Pierre; Santoro, Nicola 12 2007 Online removable square packing. Zbl 1135.90434Han, Xin; Iwama, Kazuo; Zhang, Guochuan 12 2008 Characterizing the micronuclear gene patterns in ciliates. Zbl 1001.68903Ehrenfeucht, Andrzej; Harju, Tero; Petre, Ion; Rozenberg, Grzegorz 12 2002 The mortality problem for matrices of low dimensions. Zbl 1016.68038Bournez, O.; Branicky, M. 12 2002 Computing the maximum overlap of two convex polygons under translations. Zbl 0910.68226de Berg, M.; Cheong, O.; Devillers, O.; van Kreveld, M.; Teillaud, M. 12 1998 Bounding the expected length of longest common subsequences and forests. Zbl 0934.68043Baeza-Yates, R. A.; Gavaldá, R.; Navarro, G.; Scheihing, R. 12 1999 Regular languages and Stone duality. Zbl 0870.68092Pippenger, N. 12 1997 Space efficient hash tables with worst case constant access time. Zbl 1066.68025Fotakis, Dimitris; Pagh, Rasmus; Sanders, Peter; Spirakis, Paul 12 2005 The bell is ringing in speed-scaled multiprocessor scheduling. Zbl 1310.68048Greiner, Gero; Nonner, Tim; Souza, Alexander 12 2014 Trimmed Moebius inversion and graphs of bounded degree. Zbl 1225.05005Björklund, Andreas; Husfeldt, Thore; Kaski, Petteri; Koivisto, Mikko 12 2010 Vertex cover problem parameterized above and below tight bounds. Zbl 1209.68276Gutin, Gregory; Kim, Eun Jung; Lampis, Michael; Mitsou, Valia 12 2011 Stackelberg strategies and collusion in network games with splittable flow. Zbl 1213.91043Harks, Tobias 12 2011 Lower bounds for kernelizations and other preprocessing procedures. Zbl 1234.68118Chen, Yijia; Flum, Jörg; Müller, Moritz 12 2011 The hardness of approximating spanner problems. Zbl 1148.68024Elkin, Michael; Peleg, David 12 2007 Exact algorithms for graph homomorphisms. Zbl 1119.68133Fomin, Fedor V.; Heggernes, Pinar; Kratsch, Dieter 12 2007 Directed graphs and substitutions. Zbl 0993.68075Holton, C.; Zamboni, L. Q. 11 2001 Greedy numeration systems and regularity. Zbl 0895.68088Hollander, Michael Israel 11 1998 On the hardness of losing width. Zbl 1290.68045Cygan, Marek; Lokshtanov, Daniel; Pilipczuk, Marcin; Pilipczuk, Michał; Saurabh, Saket 11 2014 Energy-efficient wireless network design. Zbl 1100.68505Caragiannis, Ioannis; Kaklamanis, Christos; Kanellopoulos, Panagiotis 11 2006 A Kleene theorem for weighted tree automata over distributive multioperator monoids. Zbl 1192.68408Fülöp, Zoltán; Maletti, Andreas; Vogler, Heiko 11 2009 Analysis of approximation algorithms for \(k\)-set cover using factor-revealing linear programs. Zbl 1170.90461Athanassopoulos, Stavros; Caragiannis, Ioannis; Kaklamanis, Christos 11 2009 Weighted picture automata and weighted logics. Zbl 1229.03035Fichtner, Ina 11 2011 The containment problem for unambiguous register automata and unambiguous timed automata. Zbl 07379113Mottet, Antoine; Quaas, Karin 3 2021 Finite sequentiality of unambiguous max-plus tree automata. Zbl 07379114Paul, Erik 2 2021 The non-hardness of approximating circuit size. Zbl 07377743Allender, Eric; Ilango, Rahul; Vafa, Neekon 1 2021 On tseitin formulas, read-once branching programs and treewidth. Zbl 07377746Glinskih, Ludmila; Itsykson, Dmitry 1 2021 Token sliding on split graphs. Zbl 07379111Belmonte, Rémy; Kim, Eun Jung; Lampis, Michael; Mitsou, Valia; Otachi, Yota; Sikora, Florian 1 2021 Semi-oblivious chase termination: the sticky case. Zbl 1477.68088Calautti, Marco; Pieris, Andreas 1 2021 Fast scheduling in distributed transactional memory. Zbl 1464.68036Busch, Costas; Herlihy, Maurice; Popovic, Miroslav; Sharma, Gokarna 1 2021 Computability of products of chainable continua. Zbl 07363127Čelar, Matea; Iljazović, Zvonko 1 2021 Stable divisorial gonality is in NP. Zbl 1477.68204Bodlaender, Hans L.; van der Wegen, Marieke; van der Zanden, Tom C. 1 2021 On triangle estimation using tripartite independent set queries. Zbl 07449499Bhattacharya, Anup; Bishnu, Arijit; Ghosh, Arijit; Mishra, Gopinath 1 2021 Additive number theory via automata theory. Zbl 1475.11040Rajasekaran, Aayush; Shallit, Jeffrey; Smith, Tim 5 2020 Lower bound techniques for QBF expansion. Zbl 1471.03081Beyersdorff, Olaf; Blinkhorn, Joshua 2 2020 Optimal dislocation with persistent errors in subquadratic time. Zbl 1433.68111Geissmann, Barbara; Leucci, Stefano; Liu, Chih-Hung; Penna, Paolo 2 2020 On the stab number of rectangle intersection graphs. Zbl 1442.05187Chakraborty, Dibyayan; Francis, Mathew C. 1 2020 On limitations of structured (deterministic) DNNFs. Zbl 1446.68152Bollig, Beate; Buttkus, Matthias 1 2020 Conflict free version of covering problems on graphs: classical and parameterized. Zbl 1453.68136Jain, Pallavi; Kanesh, Lawqueen; Misra, Pranabendu 1 2020 Effective categoricity of automatic equivalence and nested equivalence structures. Zbl 07240648Carson, Jacob; Cenzer, Douglas; Remmel, Jeffrey B. 1 2020 Recognizing read-once functions from depth-three formulas. Zbl 1434.68201Kozachinskiy, Alexander 1 2020 Slopes of multidimensional subshifts. Zbl 1440.37025Jeandel, Emmanuel; Moutot, Etienne; Vanier, Pascal 1 2020 Complexity and inapproximability results for parallel task scheduling and strip packing. Zbl 1477.68119Henning, Sören; Jansen, Klaus; Rau, Malin; Schmarje, Lars 1 2020 New bounds for truthful scheduling on two unrelated selfish machines. Zbl 1434.68678Kuryatnikova, Olga; Vera, Juan C. 1 2020 On the parameterized complexity of graph modification to first-order logic properties. Zbl 1434.68208Fomin, Fedor V.; Golovach, Petr A.; Thilikos, Dimitrios M. 1 2020 Computing hitting set kernels by \(\mathrm{AC}^0\)-circuits. Zbl 1433.68177Bannach, Max; Tantau, Till 1 2020 On the tree conjecture for the network creation game. Zbl 1443.91071Bilò, Davide; Lenzner, Pascal 1 2020 Fast algorithms for the shortest unique palindromic substring problem on run-length encoded strings. Zbl 07357723Watanabe, Kiichi; Nakashima, Yuto; Inenaga, Shunsuke; Bannai, Hideo; Takeda, Masayuki 1 2020 Multiplication algorithm based on Collatz function. Zbl 1462.11112Barina, David 1 2020 Dichotomy for Holant\(^\ast\) problems on the Boolean domain. Zbl 07357729Cai, Jin-Yi; Lu, Pinyan; Xia, Mingji 1 2020 The operator approach to entropy games. Zbl 1422.91080Akian, Marianne; Gaubert, Stéphane; Grand-Clément, Julien; Guillaud, Jérémie 4 2019 On the relative succinctness of sentential decision diagrams. Zbl 1435.68320Bollig, Beate; Buttkus, Matthias 4 2019 Comparing linear width parameters for directed graphs. Zbl 1420.05068Gurski, Frank; Rehs, Carolin 4 2019 Lower bounds for several online variants of bin packing. Zbl 1436.68402Balogh, János; Békési, József; Dósa, György; Epstein, Leah; Levin, Asaf 4 2019 Verification of quantum computation: an overview of existing approaches. Zbl 1423.68281Gheorghiu, Alexandru; Kapourniotis, Theodoros; Kashefi, Elham 3 2019 Generic results for concatenation hierarchies. Zbl 1423.68264Place, Thomas; Zeitoun, Marc 3 2019 On-line path computation and function placement in SDNs. Zbl 1423.68046Even, Guy; Medina, Moti; Patt-Shamir, Boaz 2 2019 The descriptive complexity of subgraph isomorphism without numerics. Zbl 1435.68114Verbitsky, Oleg; Zhukovskii, Maksim 2 2019 A group algebraic approach to NPN classification of Boolean functions. Zbl 1462.94074Zhang, Juling; Yang, Guowu; Hung, William N. N.; Liu, Tian; Song, Xiaoyu; Perkowski, Marek A. 2 2019 The real computational complexity of minmax value and equilibrium refinements in multi-player games. Zbl 1422.91046Hansen, Kristoffer Arnsfelt 2 2019 Pattern matching and consensus problems on weighted sequences and profiles. Zbl 1423.68620Kociumaka, Tomasz; Pissis, Solon P.; Radoszewski, Jakub 1 2019 Algorithmic randomness and Fourier analysis. Zbl 1454.03054Franklin, Johanna N. Y.; McNicholl, Timothy H.; Rute, Jason 1 2019 On the parameterized complexity of contraction to generalization of trees. Zbl 1435.68119Agarwal, Akanksha; Saurabh, Saket; Tale, Prafullkumar 1 2019 A unifying approach to algebraic systems over semirings. Zbl 1431.68067Kostolányi, Peter 1 2019 Unary coded PSPACE-complete languages in \(\mathrm{ASPACE}(\log\log n)\). Zbl 1425.68199Geffert, Viliam 1 2019 The conjugacy problem in free solvable groups and wreath products of abelian groups is in \(\mathsf{TC}^0\). Zbl 1453.20045Miasnikov, Alexei; Vassileva, Svetla; Weiß, Armin 1 2019 On Stackelberg strategies in affine congestion games. Zbl 1422.91143Bilò, Vittorio; Vinci, Cosimo 1 2019 Bounds on the bend number of split and cocomparability graphs. Zbl 1420.05120Chakraborty, Dibyayan; Das, Sandip; Mukherjee, Joydeep; Sahoo, Uma Kant 1 2019 Online random sampling for budgeted settings. Zbl 1422.91301Eden, Alon; Feldman, Michal; Vardi, Adi 1 2019 Better streaming algorithms for the maximum coverage problem. Zbl 1421.90128McGregor, Andrew; Vu, Hoa T. 1 2019 A logic for document spanners. Zbl 1430.68081Freydenberger, Dominik D. 1 2019 Designing cost-sharing methods for Bayesian games. Zbl 1409.91147Christodoulou, George; Leonardi, Stefano; Sgouritsa, Alkmini 1 2019 Logarithmic query complexity for approximate Nash computation in large games. Zbl 1411.91052Goldberg, Paul W.; Marmolejo-Cossío, Francisco J.; Wu, Zhiwei Steven 1 2019 Price of anarchy for highly congested routing games in parallel networks. Zbl 1411.91136Colini-Baldeschi, Riccardo; Cominetti, Roberto; Scarsini, Marco 1 2019 An almost ideal coordination mechanism for unrelated machine scheduling. Zbl 1411.90108Caragiannis, Ioannis; Fanelli, Angelo 1 2019 The stable roommates problem with short lists. Zbl 1418.91387Cseh, Ágnes; Irving, Robert W.; Manlove, David F. 1 2019 On conceptually simple algorithms for variants of online bipartite matching. Zbl 1429.91230Borodin, Allan; Pankratov, Denis; Salehi-Abari, Amirali 1 2019 Co-c.e. sets with disconnected complements. Zbl 1436.03231Iljazović, Zvonko; Pažek, Bojan 6 2018 A unifying tool for bounding the quality of non-cooperative solutions in weighted congestion games. Zbl 1394.91015Bilò, Vittorio 6 2018 Tighter bounds and optimal algorithms for all maximal \(\alpha\)-gapped repeats and palindromes. Finding all maximal \(\alpha\)-gapped repeats and palindromes in optimal worst case time on integer alphabets. Zbl 1386.68120Gawrychowski, Paweł; I, Tomohiro; Inenaga, Shunsuke; Köppl, Dominik; Manea, Florin 5 2018 Improved approximation algorithms for minimum cost node-connectivity augmentation problems. Zbl 1394.68443Nutov, Zeev 4 2018 Finite-state independence. Zbl 1404.68066Becher, Verónica; Carton, Olivier; Heiber, Pablo Ariel 4 2018 Exploration of the \(T\)-interval-connected dynamic graphs: the case of the ring. Zbl 1392.68099Ilcinkas, David; Wade, Ahmed M. 4 2018 Collaborative exploration of trees by energy-constrained mobile robots. Zbl 1392.68412Das, Shantanu; Dereniowski, Dariusz; Karousatou, Christina 4 2018 A randomized polynomial kernel for subset feedback vertex set. Zbl 1387.68134Hols, Eva-Maria C.; Kratsch, Stefan 4 2018 Faster algorithms for the constrained \(k\)-means problem. Zbl 1387.68296Bhattacharya, Anup; Jaiswal, Ragesh; Kumar, Amit 4 2018 Comparing representations for function spaces in computable analysis. Zbl 1436.03241Pauly, Arno; Steinberg, Florian 3 2018 Space efficient linear time algorithms for BFS, DFS and applications. Zbl 1430.68173Banerjee, Niranka; Chakraborty, Sankardeep; Raman, Venkatesh; Satti, Srinivasa Rao 3 2018 Polynomial kernels for vertex cover parameterized by small degree modulators. Zbl 1419.05179Majumdar, Diptapriyo; Raman, Venkatesh; Saurabh, Saket 3 2018 Knapsack in graph groups. Zbl 1386.68073Lohrey, Markus; Zetzsche, Georg 3 2018 Level two of the quantifier alternation hierarchy over infinite words. Zbl 1436.03216Kufleitner, Manfred; Walter, Tobias 2 2018 Tropically convex constraint satisfaction. Zbl 1390.68333Bodirsky, Manuel; Mamino, Marcello 2 2018 Some complete and intermediate polynomials in algebraic complexity theory. Zbl 1393.68079Mahajan, Meena; Saurabh, Nitin 2 2018 Parameterizing edge modification problems above lower bounds. Zbl 1386.68075van Bevern, René; Froese, Vincent; Komusiewicz, Christian 2 2018 Revisiting connected vertex cover: FPT algorithms and lossy kernels. Zbl 1430.68225Krithika, R.; Majumdar, Diptapriyo; Raman, Venkatesh 2 2018 Document spanners: from expressive power to decision problems. Zbl 1392.68167Freydenberger, Dominik D.; Holldack, Mario 2 2018 Limits of schema mappings. Zbl 1392.68170Kolaitis, Phokion G.; Pichler, Reinhard; Sallinger, Emanuel; Savenkov, Vadim 2 2018 The complexity of tensor rank. Zbl 1396.68061Schaefer, Marcus; Štefankovič, Daniel 2 2018 Syntactic complexity of regular ideals. Zbl 1398.68301Brzozowski, Janusz A.; Szykuła, Marek; Ye, Yuli 2 2018 Homonym population protocols. Zbl 1392.68095Bournez, Olivier; Cohen, Johanne; Rabie, Mikaël 2 2018 Minimax regret 1-median problem in dynamic path networks. Zbl 1397.90236Higashikawa, Yuya; Cheng, Siu-Wing; Kameda, Tsunehiko; Katoh, Naoki; Saburi, Shun 2 2018 Finding cactus roots in polynomial time. Zbl 1391.68052Golovach, Petr A.; Kratsch, Dieter; Paulusma, Daniël; Stewart, Anthony 2 2018 Partial covering arrays: algorithms and asymptotics. Zbl 1391.68085Sarkar, Kaushik; Colbourn, Charles J.; De Bonis, Annalisa; Vaccaro, Ugo 2 2018 Testing shape restrictions of discrete distributions. Zbl 1386.68215Canonne, Clément L.; Diakonikolas, Ilias; Gouleakis, Themis; Rubinfeld, Ronitt 2 2018 Shortest augmenting paths for online matchings on trees. Zbl 1390.68768Bosek, Bartłomiej; Leniowski, Dariusz; Sankowski, Piotr; Zych-Pawlewicz, Anna 2 2018 Efficient vertex-label distance oracles for planar graphs. Zbl 1390.68507Mozes, Shay; Skop, Eyal E. 2 2018 Approximation algorithms for connected graph factors of minimum weight. Zbl 1390.68760Cornelissen, Kamiel; Hoeksma, Ruben; Manthey, Bodo; Narayanaswamy, N. S.; Rahul, C. S.; Waanders, Marten 2 2018 On approximating (connected) 2-edge dominating set by a tree. Zbl 1390.68762Fujito, Toshihiro; Shimoda, Tomoaki 1 2018 Computing and listing \(st\)-paths in public transportation networks. Zbl 1393.68194Böhmová, Kateřina; Häfliger, Luca; Mihalák, Matúš; Pröger, Tobias; Sacomoto, Gustavo; Sagot, Marie-France 1 2018 The word problem for omega-terms over the Trotter-Weil hierarchy. Zbl 1435.20065Kufleitner, Manfred; Wächter, Jan Philipp 1 2018 Parameterised algorithms for deletion to classes of DAGs. Zbl 1430.68170Agrawal, Akanksha; Saurabh, Saket; Sharma, Roohani; Zehavi, Meirav 1 2018 Online bin packing with advice of small size. Zbl 1435.68384Angelopoulos, Spyros; Dürr, Christoph; Kamali, Shahin; Renault, Marc P.; Rosén, Adi 1 2018 Liouville, computable, Borel normal and Martin-Löf random numbers. Zbl 1436.03225Calude, Cristian S.; Staiger, Ludwig 1 2018 Effective Hausdorff dimension in general metric spaces. Zbl 1436.03232Mayordomo, Elvira 1 2018 The algebraic theory of Parikh automata. Zbl 1410.68244Cadilhac, Michaël; Krebs, Andreas; McKenzie, Pierre 1 2018 On effective Birkhoff’s ergodic theorem for computable actions of amenable groups. Zbl 1436.03234Moriakov, Nikita 1 2018 Weighted online problems with advice. Zbl 1391.68127Boyar, Joan; Favrholdt, Lene M.; Kudahl, Christian; Mikkelsen, Jesper W. 1 2018 Covering triangles in edge-weighted graphs. Zbl 1396.05090Chen, Xujin; Diao, Zhuo; Hu, Xiaodong; Tang, Zhongzheng 1 2018 Catalytic space: non-determinism and hierarchy. Zbl 1387.68109Buhrman, Harry; Koucký, Michal; Loff, Bruno; Speelman, Florian 1 2018 Geometric hitting set for segments of few orientations. Zbl 1384.68021Fekete, Sándor P.; Huang, Kan; Mitchell, Joseph S. B.; Parekh, Ojas; Phillips, Cynthia A. 1 2018 Tight bounds for double coverage against weak adversaries. Zbl 1390.68767Bansal, Nikhil; Eliáš, Marek; Jeż, Łukasz; Koumoutsos, Grigorios; Pruhs, Kirk 1 2018 On the uniform computational content of computability theory. Zbl 1420.03110Brattka, Vasco; Hendtlass, Matthew; Kreuzer, Alexander P. 17 2017 Fixed points, Nash equilibria, and the existential theory of the reals. Zbl 1362.68088Schaefer, Marcus; Štefankovič, Daniel 16 2017 ...and 827 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 5,508 Authors 39 Saurabh, Saket 35 Niedermeier, Rolf 31 Lozin, Vadim Vladislavovich 30 Fomin, Fedor V. 29 Paulusma, Daniël 28 Golovach, Petr A. 27 Okhotin, Alexander 25 Lohrey, Markus 23 Courcelle, Bruno 23 Epstein, Leah 22 Lokshtanov, Daniel 22 Rigo, Michel 22 Stephan, Frank 21 Ganian, Robert 21 Heggernes, Pinar 20 Bilò, Vittorio 20 Fellows, Michael Ralph 20 Kratsch, Dieter 19 Bazgan, Cristina 19 Hemaspaandra, Lane A. 19 Komusiewicz, Christian 18 Brandstädt, Andreas 18 Guo, Jiong 18 Mitrana, Victor 18 Navarro, Gonzalo 18 Vogler, Heiko 17 Bodlaender, Hans L. 17 Chen, Jian-er 17 Kratsch, Stefan 17 Milanič, Martin 17 Pelc, Andrzej 17 Rothe, Jörg-Matthias 17 Santoro, Nicola 17 Spirakis, Paul G. 16 Caragiannis, Ioannis 16 Dabrowski, Konrad Kazimierz 16 Fernau, Henning 16 Flocchini, Paola 16 Gurski, Frank 16 Pilipczuk, Michał 16 Raman, Venkatesh 15 Bača, Martin 15 Gutin, Gregory Z. 14 Brattka, Vasco 14 Downey, Rodney Graham 14 Fülöp, Zoltán 14 Harks, Tobias 14 Jain, Sanjay 14 Jansen, Bart M. P. 14 Korman, Amos 14 Lampis, Michael 14 Maletti, Andreas 14 Monnot, Jérôme 14 Paschos, Vangelis Th. 13 Bergstra, Jan A. 13 Blanchet-Sadri, Francine 13 Chang, Chih-Hung 13 Diekert, Volker 13 Doerr, Benjamin 13 Droste, Manfred 13 Fraigniaud, Pierre 13 Levin, Asaf 13 Mavronicolas, Marios 13 Mnich, Matthias 13 Rossmanith, Peter 13 Szeider, Stefan 13 Zehavi, Meirav 12 Ban, Jungchao 12 Carton, Olivier 12 Hitchcock, John M. 12 Jeż, Artur 12 Kaklamanis, Christos 12 Kufleitner, Manfred 12 Lutz, Jack H. 12 Pilipczuk, Marcin L. 12 Protti, Fábio 12 Wang, Jianxin 12 Zamaraev, Victor A. 11 Bodirsky, Manuel 11 Bollig, Beate 11 Busch, Costas 11 Cai, Jin-Yi 11 Censor-Hillel, Keren 11 Dell, Holger 11 Gaspers, Serge 11 Glaßer, Christian 11 Han, Xin 11 Hemaspaandra, Edith 11 Hliněný, Petr 11 Kowalski, Dariusz R. 11 Krebs, Andreas 11 Kuske, Dietrich 11 Kwon, Ojoung 11 Makowsky, Johann-Andreas 11 Manea, Florin 11 Rautenbach, Dieter 11 Rosamond, Frances A. 11 Selivanov, Viktor L’vovich 11 Semaničová-Feňovčíková, Andrea 11 Staiger, Ludwig ...and 5,408 more Authors all top 5 Cited in 346 Journals 671 Theoretical Computer Science 248 Theory of Computing Systems 246 Algorithmica 195 Discrete Applied Mathematics 163 Journal of Computer and System Sciences 140 Information Processing Letters 135 Information and Computation 74 Distributed Computing 71 International Journal of Foundations of Computer Science 65 Journal of Combinatorial Optimization 50 SIAM Journal on Computing 43 Journal of Discrete Algorithms 41 Discrete Mathematics 38 SIAM Journal on Discrete Mathematics 37 Logical Methods in Computer Science 29 Annals of Pure and Applied Logic 28 RAIRO. Theoretical Informatics and Applications 26 Information Sciences 26 European Journal of Operational Research 25 Artificial Intelligence 22 Computational Geometry 22 Computational Complexity 21 Acta Informatica 20 Computers & Operations Research 19 The Journal of Symbolic Logic 19 Mathematics of Operations Research 19 Discrete Optimization 18 International Journal of Algebra and Computation 17 Computer Science Review 16 European Journal of Combinatorics 16 Games and Economic Behavior 16 Journal of Scheduling 15 Operations Research Letters 15 Journal of Parallel and Distributed Computing 15 Mathematical Programming. Series A. Series B 14 Optimization Letters 14 Algorithms 13 Applied Mathematics and Computation 13 RAIRO. Theoretical Informatics and Applications 12 Journal of Combinatorial Theory. Series B 12 Operations Research 12 Annals of Mathematics and Artificial Intelligence 11 MSCS. Mathematical Structures in Computer Science 11 The Electronic Journal of Combinatorics 11 Natural Computing 11 ACM Transactions on Computational Logic 10 Journal of Algebra 10 Journal of the ACM 9 Journal of Graph Theory 9 Transactions of the American Mathematical Society 9 Annals of Operations Research 9 International Journal of Computer Mathematics 9 Mathematics in Computer Science 8 Networks 8 Advances in Applied Mathematics 8 Ergodic Theory and Dynamical Systems 8 Discrete & Computational Geometry 8 International Journal of Computational Geometry & Applications 8 Linear Algebra and its Applications 8 Mathematical Logic Quarterly (MLQ) 8 The Journal of Artificial Intelligence Research (JAIR) 8 Journal of Applied Logic 7 Journal of Statistical Physics 7 Journal of Combinatorial Theory. Series A 7 Journal of Automated Reasoning 7 Journal of Global Optimization 7 Journal of Applied Non-Classical Logics 7 AKCE International Journal of Graphs and Combinatorics 7 Discrete Mathematics, Algorithms and Applications 7 Computability 6 International Journal of Game Theory 6 Proceedings of the American Mathematical Society 6 Semigroup Forum 6 Journal of Complexity 6 International Journal of Approximate Reasoning 6 Random Structures & Algorithms 6 Archive for Mathematical Logic 6 The Bulletin of Symbolic Logic 6 Journal of Automata, Languages and Combinatorics 6 ACM Journal of Experimental Algorithmics 5 International Journal of Theoretical Physics 5 Algebra and Logic 5 Annales de l’Institut Fourier 5 Automatica 5 Fuzzy Sets and Systems 5 Topology and its Applications 5 Graphs and Combinatorics 5 Automation and Remote Control 5 International Transactions in Operational Research 5 Journal of Mathematical Logic 5 Fundamenta Informaticae 5 Lobachevskii Journal of Mathematics 5 Internet Mathematics 4 Israel Journal of Mathematics 4 Mathematics of Computation 4 Advances in Mathematics 4 Algebra Universalis 4 Computing 4 Journal of Mathematical Economics 4 Studia Logica ...and 246 more Journals all top 5 Cited in 51 Fields 3,084 Computer science (68-XX) 1,104 Combinatorics (05-XX) 537 Operations research, mathematical programming (90-XX) 480 Mathematical logic and foundations (03-XX) 392 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 125 Information and communication theory, circuits (94-XX) 103 Group theory and generalizations (20-XX) 80 Number theory (11-XX) 78 Dynamical systems and ergodic theory (37-XX) 72 Biology and other natural sciences (92-XX) 68 Probability theory and stochastic processes (60-XX) 50 Numerical analysis (65-XX) 42 Quantum theory (81-XX) 37 Convex and discrete geometry (52-XX) 36 Order, lattices, ordered algebraic structures (06-XX) 34 Measure and integration (28-XX) 28 General topology (54-XX) 28 Systems theory; control (93-XX) 27 General algebraic systems (08-XX) 24 Linear and multilinear algebra; matrix theory (15-XX) 21 Statistics (62-XX) 16 Statistical mechanics, structure of matter (82-XX) 11 Associative rings and algebras (16-XX) 10 History and biography (01-XX) 9 Category theory; homological algebra (18-XX) 8 Operator theory (47-XX) 7 General and overarching topics; collections (00-XX) 7 Real functions (26-XX) 7 Functions of a complex variable (30-XX) 6 Commutative algebra (13-XX) 5 Algebraic geometry (14-XX) 5 Calculus of variations and optimal control; optimization (49-XX) 4 Topological groups, Lie groups (22-XX) 4 Geometry (51-XX) 4 Mechanics of deformable solids (74-XX) 3 Ordinary differential equations (34-XX) 3 Approximations and expansions (41-XX) 3 Functional analysis (46-XX) 3 Manifolds and cell complexes (57-XX) 2 Partial differential equations (35-XX) 2 Differential geometry (53-XX) 2 Algebraic topology (55-XX) 2 Mechanics of particles and systems (70-XX) 1 Field theory and polynomials (12-XX) 1 Nonassociative rings and algebras (17-XX) 1 \(K\)-theory (19-XX) 1 Difference and functional equations (39-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Integral equations (45-XX) 1 Fluid mechanics (76-XX) 1 Optics, electromagnetic theory (78-XX) Citations by Year