Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Fixed-parameter tractability, definability, and model-checking | SIAM Journal on Computing |
| 2001 | |
On the amount of nondeterminism and the power of verifying | SIAM Journal on Computing |
| 1997 | |
On the parameterized complexity of short computation and factorization | Archive for Mathematical Logic |
| 24 | 1997 |
Bounded nondeterminism and alternation in parameterized complexity theory | 2003 | |||
10.1007/978-3-540-45220-1_12 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
On the Compressibility of $\mathcal{NP}$ Instances and Cryptographic Applications | SIAM Journal on Computing |
| 21 | 2010 |
The complexity of fixed-parameter problems | ACM SIGACT News | 1 | 2008 | |
Algorithms in the W-Hierarchy | Theory of Computing Systems |
| 2007 |