## 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)

### 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.68102
Courcelle, B.; Makowsky, J. A.; Rotics, U.
2000
Polynomial closure and unambiguous product. Zbl 0872.68119
Pin, J.-E.; Weil, P.
1997
Compressed suffix trees with full functionality. Zbl 1148.68015
2007
On covering problems of codes. Zbl 0868.94056
Frances, M.; Litman, A.
1997
Graph-modeled data clustering: Exact algorithms for clique generation. Zbl 1084.68117
Gramm, Jens; Guo, Jiong; Hüffner, Falk; Niedermeier, Rolf
2005
On short paths interdiction problems: Total and node-wise limited interdiction. Zbl 1148.68036
Boros, Endre; Borys, Konrad; Elbassioni, Khaled; Gurvich, Vladimir; Rudolf, Gabor; Zhao, Jihui
2008
Upper and lower bounds for randomized search heuristics in black-box optimization. Zbl 1103.68115
Droste, Stefan; Jansen, Thomas; Wegener, Ingo
2006
Network design with weighted players. Zbl 1176.91003
Chen, Ho-Lin; Roughgarden, Tim
2009
Finite presentations of infinite structures: Automata and interpretations. Zbl 1061.03038
Blumensath, Achim; Grädel, Erich
2004
Gradient clock synchronization in dynamic networks. Zbl 1253.68060
Kuhn, Fabian; Locher, Thomas; Oshman, Rotem
2011
Numeration systems on a regular language. Zbl 0969.68095
Lecomte, P. B. A.; Rigo, M.
2001
Fixed-parameter algorithms for cluster vertex deletion. Zbl 1205.68263
Hüffner, Falk; Komusiewicz, Christian; Moser, Hannes; Niedermeier, Rolf
2010
Approximate equilibria and ball fusion. Zbl 1101.68336
Koutsoupias, Elias; Mavronicolas, Marios; Spirakis, Paul
2003
Applying modular decomposition to parameterized cluster editing problems. Zbl 1179.68111
Protti, Fábio; Dantas da Silva, Maise; Szwarcfiter, Jayme Luiz
2009
Nearest common ancestors: a survey and a new algorithm for a distributed environment. Zbl 1093.68136
Alstrup, Stephen; Gavoille, Cyril; Kaplan, Haim; Rauhe, Theis
2004
Generating shorter bases for hard random lattices. Zbl 1217.94092
Alwen, Joël; Peikert, Chris
2011
Crown structures for vertex cover kernelization. Zbl 1148.68035
Abu-Khzam, Faisal N.; Fellows, Michael R.; Langston, Michael A.; Suters, W. Henry
2007
Exact complexity of the winner problem for Young elections. Zbl 1061.90084
Rothe, Jörg; Spakowski, Holger; Vogel, Jörg
2003
A tight upper bound on Kolmogorov complexity and uniformly optimal prediction. Zbl 0896.68080
Staiger, L.
1998
Balanced graph partitioning. Zbl 1113.68069
Andreev, Konstantin; Räcke, Harald
2006
Complexity of Presburger arithmetic with fixed quantifier dimension. Zbl 0872.68048
Schöning, U.
1997
Undecidable problems for probabilistic automata of fixed dimension. Zbl 1039.68061
Blondel, Vincent D.; Canterini, Vincent
2003
On edge irregular total labeling of categorical product of two cycles. Zbl 1284.05232
2014
Clique-width for 4-vertex forbidden subgraphs. Zbl 1103.68088
Brandstädt, Andreas; Engelfriet, Joost; Le, Hoang-Oanh; Lozin, Vadim V.
2006
Conjunctive grammars over a unary alphabet: Undecidability and unbounded growth. Zbl 1183.68327
Jeż, Artur; Okhotin, Alexander
2010
Algebraic results on quantum automata. Zbl 1101.68029
Ambainis, Andris; Beaudry, Martin; Golovkins, Marats; Kikusts, Arnolds; Mercer, Mark; Therien, Denis
2006
Equational elements in additive algebras. Zbl 0914.68118
Bozapalidis, S.
1999
Accessing nearby copies of replicated objects in a distributed environment. Zbl 0929.68126
Plaxton, C. G.; Rajaraman, R.; Richa, A. W.
1999
Parameterized complexity of Vertex Cover variants. Zbl 1147.68607
Guo, Jiong; Niedermeier, Rolf; Wernicke, Sebastian
2007
On approximation properties of the independent set problem for low degree graphs. Zbl 0916.68109
Berman, P.; Fujito, T.
1999
The complexity ecology of parameters: An illustration using bounded max leaf number. Zbl 1184.05123
Fellows, Michael; Lokshtanov, Daniel; Misra, Neeldhara; Mnich, Matthias; Rosamond, Frances; Saurabh, Saket
2009
The power of commuting with finite sets of words. Zbl 1121.68065
Kunc, Michal
2007
The efficiency of fair division. Zbl 1262.91099
Caragiannis, Ioannis; Kaklamanis, Christos; Kanellopoulos, Panagiotis; Kyropoulou, Maria
2012
Irregular total labellings of generalized Petersen graphs. Zbl 1254.05172
Haque, Khandoker Mohammed Mominul
2012
Local MST computation with short advice. Zbl 1213.68123
Fraigniaud, Pierre; Korman, Amos; Lebhar, Emmanuelle
2010
Descendants of primitive substitutions. Zbl 0916.68086
Holton, C.; Zamboni, L. Q.
1999
A generalization of Cobham’s theorem. Zbl 0895.68081
Durand, F.
1998
Vertex cover kernelization revisited. Upper and lower bounds for a refined parameter. Zbl 1286.68196
Jansen, Bart M. P.; Bodlaender, Hans L.
2013
Correspondence principles for effective dimensions. Zbl 1084.68054
Hitchcock, John M.
2005
New graph classes of bounded clique-width. Zbl 1084.68088
Brandstädt, Andreas; Dragan, Feodor F.; Le, Hoàng-Oanh; Mosca, Raffaele
2005
DNA computing based on splicing: The existence of universal computers. Zbl 0914.68072
Freund, R.; Kari, L.; Păun, Gh.
1999
The hub number of Sierpiński-like graphs. Zbl 1234.05178
Lin, Chien-Hung; Liu, Jia-Jie; Wang, Yue-Li; Yen, William Chung-Kung
2011
From a zoo to a zoology: Towards a general theory of graph polynomials. Zbl 1162.68502
Makowsky, J. A.
2008
Efficient exact algorithms through enumerating maximal independent sets and other techniques. Zbl 1148.68054
Raman, Venkatesh; Saurabh, Saket; Sikdar, Somnath
2007
An $$\mathcal O(2^{O(k)}n^{3})$$ FPT algorithm for the undirected feedback vertex set problem. Zbl 1148.68037
Dehne, Frank; Fellows, Michael; Langston, Michael; Rosamond, Frances; Stevens, Kim
2007
On the uniform computational content of computability theory. Zbl 1420.03110
Brattka, Vasco; Hendtlass, Matthew; Kreuzer, Alexander P.
2017
Enumerate and expand: Improved algorithms for connected vertex cover and tree cover. Zbl 1148.68041
Mölle, Daniel; Richter, Stefan; Rossmanith, Peter
2008
Randomness on computable probability spaces – a dynamical point of view. Zbl 1238.68069
Gács, Peter; Hoyrup, Mathieu; Rojas, Cristóbal
2011
A fast branching algorithm for cluster vertex deletion. Zbl 1336.68192
Boral, Anudhyan; Cygan, Marek; Kociumaka, Tomasz; Pilipczuk, Marcin
2016
The linear arrangement problem parameterized above guaranteed value. Zbl 1148.68039
Gutin, Gregory; Rafiey, Arash; Szeider, Stefan; Yeo, Anders
2007
Constant thresholds can make target set selection tractable. Zbl 1319.68109
Chopin, Morgan; Nichterlein, André; Niedermeier, Rolf; Weller, Mathias
2014
First- and second-order diffusive methods for rapid, coarse, distributed load balancing. Zbl 0904.68137
Muthukrishnan, S.; Ghosh, B.; Schultz, M. H.
1998
Sofic tree-shifts. Zbl 1293.68195
Aubrun, Nathalie; Béal, Marie-Pierre
2013
On approximate jumbled pattern matching in strings. Zbl 1253.68372
Burcsi, Péter; Cicalese, Ferdinando; Fici, Gabriele; Lipták, Zsuzsanna
2012
Simple and improved parameterized algorithms for multiterminal cuts. Zbl 1213.68472
Xiao, Mingyu
2010
A cubic kernel for feedback vertex set and loop cutset. Zbl 1215.68170
Bodlaender, Hans L.; van Dijk, Thomas C.
2010
Dynamic programming for minimum Steiner trees. Zbl 1148.68038
Fuchs, B.; Kern, W.; Molle, D.; Richter, S.; Rossmanith, P.; Wang, X.
2007
Fault-tolerant embedding of pairwise independent Hamiltonian paths on a faulty hypercube with edge faults. Zbl 1187.68344
Hsieh, Sun-Yuan; Weng, Yu-Fen
2009
Fixed points, Nash equilibria, and the existential theory of the reals. Zbl 1362.68088
Schaefer, Marcus; Štefankovič, Daniel
2017
A Kleene theorem for weighted tree automata. Zbl 1061.68092
Droste, Manfred; Pech, Christian; Vogler, Heiko
2005
A note on exact algorithms for vertex ordering problems on graphs. Zbl 1253.68164
Bodlaender, Hans L.; Fomin, Fedor V.; Koster, Arie M. C. A.; Kratsch, Dieter; Thilikos, Dimitrios M.
2012
Stackelberg strategies for atomic congestion games. Zbl 1203.91035
Fotakis, Dimitris
2010
Complexity of equations over sets of natural numbers. Zbl 1209.68263
Jeż, Artur; Okhotin, Alexander
2011
The rank-width of edge-coloured graphs. Zbl 1269.05036
2013
Distributed streams algorithms for sliding windows. Zbl 1093.68143
Gibbons, Phillip B.; Tirthapura, Srikanta
2004
Nash equilibria and the price of anarchy for flows over time. Zbl 1278.91027
Koch, Ronald; Skutella, Martin
2011
The complexity of equality constraint languages. Zbl 1148.68025
Bodirsky, Manuel; Kára, Jan
2008
Real hypercomputation and continuity. Zbl 1122.03039
Ziegler, Martin
2007
$$\frac{13}{9}$$-approximation for graphic TSP. Zbl 1319.68255
Mucha, Marcin
2014
Hamiltonicity of the hierarchical cubic network. Zbl 0993.68003
Fu, Jung-Sheng; Chen, Gen-Huey
2002
Automatic maps in exotic numeration systems. Zbl 0870.68105
Allouche, Jean-Paul; Cateland, E.; Gilbert, W. J.; Peitgen, Heinz-Otto; Shallit, Jeffrey O.; Skordev, Gencho
1997
Solving the 2-disjoint paths problem in nearly linear time. Zbl 1103.68100
Tholey, Torsten
2006
Characterizing the existence of potential functions in weighted congestion games. Zbl 1278.91013
Harks, Tobias; Klimm, Max; Möhring, Rolf H.
2011
Multiobjective optimization: Improved FPTAS for shortest paths and nonlinear objectives with applications. Zbl 1175.90366
Tsaggouris, George; Zaroliagis, Christos
2009
Thread scheduling for multiprogrammed multiprocessors. Zbl 0978.68020
Arora, N. S.; Blumofe, R. D.; Plaxton, C. G.
2001
Weighted logics for unranked tree automata. Zbl 1226.03048
Droste, Manfred; Vogler, Heiko
2011
A new characterization of NP, P, and PSPACE with accepting hybrid networks of evolutionary processors. Zbl 1209.68264
Manea, Florin; Margenstern, Maurice; Mitrana, Victor; Pérez-Jiménez, Mario J.
2010
Fixed-parameter enumerability of cluster editing and related problems. Zbl 1209.68360
Damaschke, Peter
2010
Rendezvous and election of mobile agents: Impact of sense of direction. Zbl 1107.68022
Barriere, Lali; Flocchini, Paola; Fraigniaud, Pierre; Santoro, Nicola
2007
Online removable square packing. Zbl 1135.90434
Han, Xin; Iwama, Kazuo; Zhang, Guochuan
2008
Characterizing the micronuclear gene patterns in ciliates. Zbl 1001.68903
Ehrenfeucht, Andrzej; Harju, Tero; Petre, Ion; Rozenberg, Grzegorz
2002
The mortality problem for matrices of low dimensions. Zbl 1016.68038
Bournez, O.; Branicky, M.
2002
Computing the maximum overlap of two convex polygons under translations. Zbl 0910.68226
de Berg, M.; Cheong, O.; Devillers, O.; van Kreveld, M.; Teillaud, M.
1998
Bounding the expected length of longest common subsequences and forests. Zbl 0934.68043
Baeza-Yates, R. A.; Gavaldá, R.; Navarro, G.; Scheihing, R.
1999
Regular languages and Stone duality. Zbl 0870.68092
Pippenger, N.
1997
Space efficient hash tables with worst case constant access time. Zbl 1066.68025
Fotakis, Dimitris; Pagh, Rasmus; Sanders, Peter; Spirakis, Paul
2005
The bell is ringing in speed-scaled multiprocessor scheduling. Zbl 1310.68048
Greiner, Gero; Nonner, Tim; Souza, Alexander
2014
Trimmed Moebius inversion and graphs of bounded degree. Zbl 1225.05005
Björklund, Andreas; Husfeldt, Thore; Kaski, Petteri; Koivisto, Mikko
2010
Vertex cover problem parameterized above and below tight bounds. Zbl 1209.68276
Gutin, Gregory; Kim, Eun Jung; Lampis, Michael; Mitsou, Valia
2011
Stackelberg strategies and collusion in network games with splittable flow. Zbl 1213.91043
Harks, Tobias
2011
Lower bounds for kernelizations and other preprocessing procedures. Zbl 1234.68118
Chen, Yijia; Flum, Jörg; Müller, Moritz
2011
The hardness of approximating spanner problems. Zbl 1148.68024
Elkin, Michael; Peleg, David
2007
Exact algorithms for graph homomorphisms. Zbl 1119.68133
Fomin, Fedor V.; Heggernes, Pinar; Kratsch, Dieter
2007
Directed graphs and substitutions. Zbl 0993.68075
Holton, C.; Zamboni, L. Q.
2001
Greedy numeration systems and regularity. Zbl 0895.68088
Hollander, Michael Israel
1998
On the hardness of losing width. Zbl 1290.68045
Cygan, Marek; Lokshtanov, Daniel; Pilipczuk, Marcin; Pilipczuk, Michał; Saurabh, Saket
2014
Energy-efficient wireless network design. Zbl 1100.68505
Caragiannis, Ioannis; Kaklamanis, Christos; Kanellopoulos, Panagiotis
2006
A Kleene theorem for weighted tree automata over distributive multioperator monoids. Zbl 1192.68408
Fülöp, Zoltán; Maletti, Andreas; Vogler, Heiko
2009
Analysis of approximation algorithms for $$k$$-set cover using factor-revealing linear programs. Zbl 1170.90461
Athanassopoulos, Stavros; Caragiannis, Ioannis; Kaklamanis, Christos
2009
Weighted picture automata and weighted logics. Zbl 1229.03035
Fichtner, Ina
2011
The containment problem for unambiguous register automata and unambiguous timed automata. Zbl 07379113
Mottet, Antoine; Quaas, Karin
2021
Finite sequentiality of unambiguous max-plus tree automata. Zbl 07379114
Paul, Erik
2021
The non-hardness of approximating circuit size. Zbl 07377743
Allender, Eric; Ilango, Rahul; Vafa, Neekon
2021
On tseitin formulas, read-once branching programs and treewidth. Zbl 07377746
Glinskih, Ludmila; Itsykson, Dmitry
2021
Token sliding on split graphs. Zbl 07379111
Belmonte, Rémy; Kim, Eun Jung; Lampis, Michael; Mitsou, Valia; Otachi, Yota; Sikora, Florian
2021
Semi-oblivious chase termination: the sticky case. Zbl 1477.68088
Calautti, Marco; Pieris, Andreas
2021
Fast scheduling in distributed transactional memory. Zbl 1464.68036
Busch, Costas; Herlihy, Maurice; Popovic, Miroslav; Sharma, Gokarna
2021
Computability of products of chainable continua. Zbl 07363127
Čelar, Matea; Iljazović, Zvonko
2021
Stable divisorial gonality is in NP. Zbl 1477.68204
Bodlaender, Hans L.; van der Wegen, Marieke; van der Zanden, Tom C.
2021
On triangle estimation using tripartite independent set queries. Zbl 07449499
Bhattacharya, Anup; Bishnu, Arijit; Ghosh, Arijit; Mishra, Gopinath
2021
Additive number theory via automata theory. Zbl 1475.11040
Rajasekaran, Aayush; Shallit, Jeffrey; Smith, Tim
2020
Lower bound techniques for QBF expansion. Zbl 1471.03081
2020
Optimal dislocation with persistent errors in subquadratic time. Zbl 1433.68111
Geissmann, Barbara; Leucci, Stefano; Liu, Chih-Hung; Penna, Paolo
2020
On the stab number of rectangle intersection graphs. Zbl 1442.05187
Chakraborty, Dibyayan; Francis, Mathew C.
2020
On limitations of structured (deterministic) DNNFs. Zbl 1446.68152
Bollig, Beate; Buttkus, Matthias
2020
Conflict free version of covering problems on graphs: classical and parameterized. Zbl 1453.68136
Jain, Pallavi; Kanesh, Lawqueen; Misra, Pranabendu
2020
Effective categoricity of automatic equivalence and nested equivalence structures. Zbl 07240648
Carson, Jacob; Cenzer, Douglas; Remmel, Jeffrey B.
2020
Recognizing read-once functions from depth-three formulas. Zbl 1434.68201
Kozachinskiy, Alexander
2020
Slopes of multidimensional subshifts. Zbl 1440.37025
Jeandel, Emmanuel; Moutot, Etienne; Vanier, Pascal
2020
Complexity and inapproximability results for parallel task scheduling and strip packing. Zbl 1477.68119
Henning, Sören; Jansen, Klaus; Rau, Malin; Schmarje, Lars
2020
New bounds for truthful scheduling on two unrelated selfish machines. Zbl 1434.68678
Kuryatnikova, Olga; Vera, Juan C.
2020
On the parameterized complexity of graph modification to first-order logic properties. Zbl 1434.68208
Fomin, Fedor V.; Golovach, Petr A.; Thilikos, Dimitrios M.
2020
Computing hitting set kernels by $$\mathrm{AC}^0$$-circuits. Zbl 1433.68177
Bannach, Max; Tantau, Till
2020
On the tree conjecture for the network creation game. Zbl 1443.91071
Bilò, Davide; Lenzner, Pascal
2020
Fast algorithms for the shortest unique palindromic substring problem on run-length encoded strings. Zbl 07357723
Watanabe, Kiichi; Nakashima, Yuto; Inenaga, Shunsuke; Bannai, Hideo; Takeda, Masayuki
2020
Multiplication algorithm based on Collatz function. Zbl 1462.11112
Barina, David
2020
Dichotomy for Holant$$^\ast$$ problems on the Boolean domain. Zbl 07357729
Cai, Jin-Yi; Lu, Pinyan; Xia, Mingji
2020
The operator approach to entropy games. Zbl 1422.91080
Akian, Marianne; Gaubert, Stéphane; Grand-Clément, Julien; Guillaud, Jérémie
2019
On the relative succinctness of sentential decision diagrams. Zbl 1435.68320
Bollig, Beate; Buttkus, Matthias
2019
Comparing linear width parameters for directed graphs. Zbl 1420.05068
Gurski, Frank; Rehs, Carolin
2019
Lower bounds for several online variants of bin packing. Zbl 1436.68402
Balogh, János; Békési, József; Dósa, György; Epstein, Leah; Levin, Asaf
2019
Verification of quantum computation: an overview of existing approaches. Zbl 1423.68281
Gheorghiu, Alexandru; Kapourniotis, Theodoros; Kashefi, Elham
2019
Generic results for concatenation hierarchies. Zbl 1423.68264
Place, Thomas; Zeitoun, Marc
2019
On-line path computation and function placement in SDNs. Zbl 1423.68046
Even, Guy; Medina, Moti; Patt-Shamir, Boaz
2019
The descriptive complexity of subgraph isomorphism without numerics. Zbl 1435.68114
Verbitsky, Oleg; Zhukovskii, Maksim
2019
A group algebraic approach to NPN classification of Boolean functions. Zbl 1462.94074
Zhang, Juling; Yang, Guowu; Hung, William N. N.; Liu, Tian; Song, Xiaoyu; Perkowski, Marek A.
2019
The real computational complexity of minmax value and equilibrium refinements in multi-player games. Zbl 1422.91046
Hansen, Kristoffer Arnsfelt
2019
Pattern matching and consensus problems on weighted sequences and profiles. Zbl 1423.68620
Kociumaka, Tomasz; Pissis, Solon P.; Radoszewski, Jakub
2019
Algorithmic randomness and Fourier analysis. Zbl 1454.03054
Franklin, Johanna N. Y.; McNicholl, Timothy H.; Rute, Jason
2019
On the parameterized complexity of contraction to generalization of trees. Zbl 1435.68119
Agarwal, Akanksha; Saurabh, Saket; Tale, Prafullkumar
2019
A unifying approach to algebraic systems over semirings. Zbl 1431.68067
Kostolányi, Peter
2019
Unary coded PSPACE-complete languages in $$\mathrm{ASPACE}(\log\log n)$$. Zbl 1425.68199
Geffert, Viliam
2019
The conjugacy problem in free solvable groups and wreath products of abelian groups is in $$\mathsf{TC}^0$$. Zbl 1453.20045
Miasnikov, Alexei; Vassileva, Svetla; Weiß, Armin
2019
On Stackelberg strategies in affine congestion games. Zbl 1422.91143
Bilò, Vittorio; Vinci, Cosimo
2019
Bounds on the bend number of split and cocomparability graphs. Zbl 1420.05120
Chakraborty, Dibyayan; Das, Sandip; Mukherjee, Joydeep; Sahoo, Uma Kant
2019
Online random sampling for budgeted settings. Zbl 1422.91301
Eden, Alon; Feldman, Michal; Vardi, Adi
2019
Better streaming algorithms for the maximum coverage problem. Zbl 1421.90128
McGregor, Andrew; Vu, Hoa T.
2019
A logic for document spanners. Zbl 1430.68081
Freydenberger, Dominik D.
2019
Designing cost-sharing methods for Bayesian games. Zbl 1409.91147
Christodoulou, George; Leonardi, Stefano; Sgouritsa, Alkmini
2019
Logarithmic query complexity for approximate Nash computation in large games. Zbl 1411.91052
Goldberg, Paul W.; Marmolejo-Cossío, Francisco J.; Wu, Zhiwei Steven
2019
Price of anarchy for highly congested routing games in parallel networks. Zbl 1411.91136
Colini-Baldeschi, Riccardo; Cominetti, Roberto; Scarsini, Marco
2019
An almost ideal coordination mechanism for unrelated machine scheduling. Zbl 1411.90108
Caragiannis, Ioannis; Fanelli, Angelo
2019
The stable roommates problem with short lists. Zbl 1418.91387
Cseh, Ágnes; Irving, Robert W.; Manlove, David F.
2019
On conceptually simple algorithms for variants of online bipartite matching. Zbl 1429.91230
Borodin, Allan; Pankratov, Denis; Salehi-Abari, Amirali
2019
Co-c.e. sets with disconnected complements. Zbl 1436.03231
Iljazović, Zvonko; Pažek, Bojan
2018
A unifying tool for bounding the quality of non-cooperative solutions in weighted congestion games. Zbl 1394.91015
Bilò, Vittorio
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.68120
Gawrychowski, Paweł; I, Tomohiro; Inenaga, Shunsuke; Köppl, Dominik; Manea, Florin
2018
Improved approximation algorithms for minimum cost node-connectivity augmentation problems. Zbl 1394.68443
Nutov, Zeev
2018
Finite-state independence. Zbl 1404.68066
Becher, Verónica; Carton, Olivier; Heiber, Pablo Ariel
2018
Exploration of the $$T$$-interval-connected dynamic graphs: the case of the ring. Zbl 1392.68099
2018
Collaborative exploration of trees by energy-constrained mobile robots. Zbl 1392.68412
Das, Shantanu; Dereniowski, Dariusz; Karousatou, Christina
2018
A randomized polynomial kernel for subset feedback vertex set. Zbl 1387.68134
Hols, Eva-Maria C.; Kratsch, Stefan
2018
Faster algorithms for the constrained $$k$$-means problem. Zbl 1387.68296
Bhattacharya, Anup; Jaiswal, Ragesh; Kumar, Amit
2018
Comparing representations for function spaces in computable analysis. Zbl 1436.03241
Pauly, Arno; Steinberg, Florian
2018
Space efficient linear time algorithms for BFS, DFS and applications. Zbl 1430.68173
Banerjee, Niranka; Chakraborty, Sankardeep; Raman, Venkatesh; Satti, Srinivasa Rao
2018
Polynomial kernels for vertex cover parameterized by small degree modulators. Zbl 1419.05179
Majumdar, Diptapriyo; Raman, Venkatesh; Saurabh, Saket
2018
Knapsack in graph groups. Zbl 1386.68073
Lohrey, Markus; Zetzsche, Georg
2018
Level two of the quantifier alternation hierarchy over infinite words. Zbl 1436.03216
Kufleitner, Manfred; Walter, Tobias
2018
Tropically convex constraint satisfaction. Zbl 1390.68333
Bodirsky, Manuel; Mamino, Marcello
2018
Some complete and intermediate polynomials in algebraic complexity theory. Zbl 1393.68079
Mahajan, Meena; Saurabh, Nitin
2018
Parameterizing edge modification problems above lower bounds. Zbl 1386.68075
van Bevern, René; Froese, Vincent; Komusiewicz, Christian
2018
Revisiting connected vertex cover: FPT algorithms and lossy kernels. Zbl 1430.68225
Krithika, R.; Majumdar, Diptapriyo; Raman, Venkatesh
2018
Document spanners: from expressive power to decision problems. Zbl 1392.68167
Freydenberger, Dominik D.; Holldack, Mario
2018
Limits of schema mappings. Zbl 1392.68170
Kolaitis, Phokion G.; Pichler, Reinhard; Sallinger, Emanuel; Savenkov, Vadim
2018
The complexity of tensor rank. Zbl 1396.68061
Schaefer, Marcus; Štefankovič, Daniel
2018
Syntactic complexity of regular ideals. Zbl 1398.68301
Brzozowski, Janusz A.; Szykuła, Marek; Ye, Yuli
2018
Homonym population protocols. Zbl 1392.68095
Bournez, Olivier; Cohen, Johanne; Rabie, Mikaël
2018
Minimax regret 1-median problem in dynamic path networks. Zbl 1397.90236
Higashikawa, Yuya; Cheng, Siu-Wing; Kameda, Tsunehiko; Katoh, Naoki; Saburi, Shun
2018
Finding cactus roots in polynomial time. Zbl 1391.68052
Golovach, Petr A.; Kratsch, Dieter; Paulusma, Daniël; Stewart, Anthony
2018
Partial covering arrays: algorithms and asymptotics. Zbl 1391.68085
Sarkar, Kaushik; Colbourn, Charles J.; De Bonis, Annalisa; Vaccaro, Ugo
2018
Testing shape restrictions of discrete distributions. Zbl 1386.68215
Canonne, Clément L.; Diakonikolas, Ilias; Gouleakis, Themis; Rubinfeld, Ronitt
2018
Shortest augmenting paths for online matchings on trees. Zbl 1390.68768
Bosek, Bartłomiej; Leniowski, Dariusz; Sankowski, Piotr; Zych-Pawlewicz, Anna
2018
Efficient vertex-label distance oracles for planar graphs. Zbl 1390.68507
Mozes, Shay; Skop, Eyal E.
2018
Approximation algorithms for connected graph factors of minimum weight. Zbl 1390.68760
Cornelissen, Kamiel; Hoeksma, Ruben; Manthey, Bodo; Narayanaswamy, N. S.; Rahul, C. S.; Waanders, Marten
2018
On approximating (connected) 2-edge dominating set by a tree. Zbl 1390.68762
Fujito, Toshihiro; Shimoda, Tomoaki
2018
Computing and listing $$st$$-paths in public transportation networks. Zbl 1393.68194
Böhmová, Kateřina; Häfliger, Luca; Mihalák, Matúš; Pröger, Tobias; Sacomoto, Gustavo; Sagot, Marie-France
2018
The word problem for omega-terms over the Trotter-Weil hierarchy. Zbl 1435.20065
Kufleitner, Manfred; Wächter, Jan Philipp
2018
Parameterised algorithms for deletion to classes of DAGs. Zbl 1430.68170
Agrawal, Akanksha; Saurabh, Saket; Sharma, Roohani; Zehavi, Meirav
2018
Online bin packing with advice of small size. Zbl 1435.68384
Angelopoulos, Spyros; Dürr, Christoph; Kamali, Shahin; Renault, Marc P.; Rosén, Adi
2018
Liouville, computable, Borel normal and Martin-Löf random numbers. Zbl 1436.03225
Calude, Cristian S.; Staiger, Ludwig
2018
Effective Hausdorff dimension in general metric spaces. Zbl 1436.03232
Mayordomo, Elvira
2018
The algebraic theory of Parikh automata. Zbl 1410.68244
Cadilhac, Michaël; Krebs, Andreas; McKenzie, Pierre
2018
On effective Birkhoff’s ergodic theorem for computable actions of amenable groups. Zbl 1436.03234
Moriakov, Nikita
2018
Weighted online problems with advice. Zbl 1391.68127
Boyar, Joan; Favrholdt, Lene M.; Kudahl, Christian; Mikkelsen, Jesper W.
2018
Covering triangles in edge-weighted graphs. Zbl 1396.05090
Chen, Xujin; Diao, Zhuo; Hu, Xiaodong; Tang, Zhongzheng
2018
Catalytic space: non-determinism and hierarchy. Zbl 1387.68109
Buhrman, Harry; Koucký, Michal; Loff, Bruno; Speelman, Florian
2018
Geometric hitting set for segments of few orientations. Zbl 1384.68021
Fekete, Sándor P.; Huang, Kan; Mitchell, Joseph S. B.; Parekh, Ojas; Phillips, Cynthia A.
2018
Tight bounds for double coverage against weak adversaries. Zbl 1390.68767
Bansal, Nikhil; Eliáš, Marek; Jeż, Łukasz; Koumoutsos, Grigorios; Pruhs, Kirk
2018
On the uniform computational content of computability theory. Zbl 1420.03110
Brattka, Vasco; Hendtlass, Matthew; Kreuzer, Alexander P.
2017
Fixed points, Nash equilibria, and the existential theory of the reals. Zbl 1362.68088
Schaefer, Marcus; Štefankovič, Daniel
2017
...and 827 more Documents
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)