Nonconstructive advances in polynomial-time complexity
Information Processing Letters
Nonconstructive tools for proving polynomial-time decidability
Journal of the ACM (JACM)
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Fixed-parameter tractability and completeness II: on completeness for W[1]
Theoretical Computer Science
Fixed-Parameter Tractability and Completeness I: Basic Results
SIAM Journal on Computing
Fixed-parameter tractability of graph modification problems for hereditary properties
Information Processing Letters
A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
SIAM Journal on Computing
On the complexity of database queries (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Parameterized circuit complexity and the W hierarchy
Theoretical Computer Science
Parameterizing above guaranteed values: MaxSat and MaxCut
Journal of Algorithms
A general method to speed up fixed-parameter-tractable algorithms
Information Processing Letters
Deciding first-order properties of locally tree-decomposable structures
Journal of the ACM (JACM)
Which problems have strongly exponential complexity?
Journal of Computer and System Sciences
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Parameterized complexity of finding subgraphs with hereditary properties
Theoretical Computer Science
The Parameterized Complexity of Counting Problems
FOCS '02 Proceedings of the 43rd Symposium on Foundations of Computer Science
The Parameterized Complexity of Some Problems in Logic and Linguistics
LFCS '94 Proceedings of the Third International Symposium on Logical Foundations of Computer Science
The Complexity of First-Order and Monadic Second-Order Logic Revisited
LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
Subexponential Parameterized Algorithms Collapse the W-Hierarchy
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Fixed-Parameter Intractability II (Extended Abstract)
STACS '93 Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science
Generalized Model-Checking Problems for First-Order Logic
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Describing Parameterized Complexity Classes
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Resolution is Not Automatizable Unless W[P] is Tractable
FOCS '01 Proceedings of the 42nd IEEE symposium on Foundations of Computer Science
Solving large FPT problems on coarse-grained parallel machines
Journal of Computer and System Sciences - Special issue on Parameterized computation and complexity
On the existence of subexponential parameterized algorithms
Journal of Computer and System Sciences - Special issue on Parameterized computation and complexity
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
Scalable Parallel Algorithms for FPT Problems
Algorithmica
A Faster FPT Algorithm for the Maximum Agreement Forest Problem
Theory of Computing Systems
The Complexity of Polynomial-Time Approximation
Theory of Computing Systems
Crown Structures for Vertex Cover Kernelization
Theory of Computing Systems
Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms
Approximation of Natural W[P]-Complete Minimisation Problems Is Hard
CCC '08 Proceedings of the 2008 IEEE 23rd Annual Conference on Computational Complexity
An analogue of the Myhill-Nerode theorem and its use in computing finite-basis characterizations
SFCS '89 Proceedings of the 30th Annual Symposium on Foundations of Computer Science
Parameterized approximation of dominating set problems
Information Processing Letters
Exact Solutions for Closest String and Related Problems
ISAAC '01 Proceedings of the 12th International Symposium on Algorithms and Computation
On problems without polynomial kernels
Journal of Computer and System Sciences
Tight lower bounds for certain parameterized NP-hard problems
Information and Computation
FOCS '09 Proceedings of the 2009 50th Annual IEEE Symposium on Foundations of Computer Science
Improved upper bounds for vertex cover
Theoretical Computer Science
Infeasibility of instance compression and succinct PCPs for NP
Journal of Computer and System Sciences
Heuristic algorithms in computational molecular biology
Journal of Computer and System Sciences
Lower Bounds for Kernelizations and Other Preprocessing Procedures
Theory of Computing Systems
Randomized approximations of parameterized counting problems
IWPEC'06 Proceedings of the Second international conference on Parameterized and Exact Computation
Finding odd cycle transversals
Operations Research Letters
Parallel vertex cover: a case study in dynamic load balancing
AusPDC '11 Proceedings of the Ninth Australasian Symposium on Parallel and Distributed Computing - Volume 118
Parameterized Complexity
The Computer Journal Special Issue on Parameterized Complexity
The Computer Journal
The Bidimensionality Theory and Its Algorithmic Applications 1
The Computer Journal
Combinatorial Optimization on Graphs of Bounded Treewidth
The Computer Journal
Tractable triangles and cross-free convexity in discrete optimisation
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
The article was prepared for the LATA 2012 conference where I will be presenting two one and half hour lectures for a short tutorial on parameterized complexity. Much fuller accounts can be found in the books Downey-Fellows [33, 34], Niedermeier [72], Flum-Grohe [49], the two issues of the Computer Journal [36] and the recent survey Downey-Thilikos [39].