On parameterized approximability Y Chen, M Grohe, M Grüber International Workshop on Parameterized and Exact Computation, 109-120, 2006 | 96 | 2006 |
The constant inapproximability of the parameterized dominating set problem Y Chen, B Lin SIAM Journal on Computing 48 (2), 513-533, 2019 | 70 | 2019 |
Lower bounds for kernelizations and other preprocessing procedures Y Chen, J Flum, M Müller Theory of Computing Systems 48, 803-839, 2011 | 57* | 2011 |
Bounded nondeterminism and alternation in parameterized complexity theory Y Chen, J Flum, M Grohe 18th IEEE Annual Conference on Computational Complexity, 2003. Proceedings …, 2003 | 57 | 2003 |
Understanding the complexity of induced subgraph isomorphisms Y Chen, M Thurley, M Weyer Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008 | 54 | 2008 |
On parameterized path and chordless path problems Y Chen, J Flum Twenty-Second Annual IEEE Conference on Computational Complexity (CCC'07 …, 2007 | 48 | 2007 |
Machine-based methods in parameterized complexity theory Y Chen, J Flum, M Grohe Theoretical Computer Science 339 (2-3), 167-199, 2005 | 44 | 2005 |
Machine characterizations of the classes of the W-hierarchy Y Chen, J Flum International Workshop on Computer Science Logic, 114-127, 2003 | 33 | 2003 |
An isomorphism between subexponential and parameterized complexity theory Y Chen, M Grohe SIAM Journal on Computing 37 (4), 1228-1258, 2007 | 21 | 2007 |
Some lower bounds in parameterized AC0 Y Chen, J Flum Information and Computation 267, 116-134, 2019 | 19 | 2019 |
A logic for PTIME and a parameterized halting problem Y Chen, J Flum 2009 24th Annual IEEE Symposium on Logic In Computer Science, 397-406, 2009 | 19 | 2009 |
The parameterized complexity of maximality and minimality problems Y Chen, J Flum Annals of Pure and Applied Logic 151 (1), 22-61, 2008 | 18 | 2008 |
The Complexity of Homomorphism Indistinguishability J Böker, Y Chen, M Grohe, G Rattan 44th International Symposium on Mathematical Foundations of Computer Science …, 2019 | 17 | 2019 |
Strong isomorphism reductions in complexity theory S Buss, Y Chen, J Flum, SD Friedman, M Müller The Journal of Symbolic Logic 76 (4), 1381-1402, 2011 | 15 | 2011 |
On p-Optimal Proof Systems and Logics for PTIME Y Chen, J Flum International Colloquium on Automata, Languages, and Programming, 321-332, 2010 | 15 | 2010 |
Slicewise definability in first-order logic with bounded quantifier rank Y Chen, J Flum, X Huang arXiv preprint arXiv:1704.03167, 2017 | 14 | 2017 |
The exponential time hypothesis and the parameterized clique problem Y Chen, K Eickmeyer, J Flum Parameterized and Exact Computation: 7th International Symposium, IPEC 2012 …, 2012 | 14 | 2012 |
On the complexity of Gödel's proof predicate Y Chen, J Flum The Journal of Symbolic Logic 75 (1), 239-254, 2010 | 14 | 2010 |
On miniaturized problems in parameterized complexity theory Y Chen, J Flum Theoretical Computer Science 351 (3), 314-336, 2006 | 13 | 2006 |
FO-definability of shrub-depth Y Chen, J Flum 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), 2020 | 11 | 2020 |