A Faster FPT Algorithm for the Maximum Agreement Forest Problem | 2007/10/01 | English | 10 |
The Parameterized Approximability of TSP with Deadlines | 2007/10/01 | English | 10 |
Computing Nash Equilibria for Scheduling on Restricted Parallel Links | 2009/02/12 | English | 10 |
Performance of One-Round Walks in Linear Congestion Games | 2010/12/21 | English | 10 |
Extended Regular Expressions: Succinctness and Decidability | 2012/03/06 | English | 10 |
Knowledge Compilation Meets Database Theory: Compiling Queries to Decision Diagrams | 2012/03/06 | English | 10 |
Motion Planning with Pulley, Rope, and Baskets | 2013/01/25 | English | 10 |
A Logic for Document Spanners | 2018/09/11 | English | 10 |
Regular Queries on Graph Databases | 2016/04/16 | English | 10 |
Paradigms for Parameterized Enumeration | 2016/09/13 | English | 9 |
Optimal Semicomputable Approximations to Reachable and Invariant Sets | 2007/05/07 | English | 9 |
Validating the Knuth-Morris-Pratt Failure Function, Fast and Online | 2013/12/06 | English | 9 |
Playing Mastermind with Constant-Size Memory | 2012/11/11 | English | 9 |
Software Engineering with Transactional Memory Versus Locks in Practice | 2013/03/03 | English | 9 |
A Randomized Polynomial Kernel for Subset Feedback Vertex Set | 2017/09/11 | English | 9 |
Document Spanners: From Expressive Power to Decision Problems | 2017/05/22 | English | 9 |
Parameterizing by the Number of Numbers | 2011/10/29 | English | 9 |
Linear-Time Algorithm for the Paired-Domination Problem in Convex Bipartite Graphs | 2011/12/03 | English | 9 |
A Polynomial-Time Algorithm for Max-Min Partitioning of Ladders | 2001/01/01 | English | 9 |
Directed Graphs and Substitutions | 2001/01/01 | English | 9 |
The Feline Josephus Problem | 2011/06/10 | English | 9 |
On the Hardness of Losing Width | 2013/05/18 | English | 9 |
Sensitivity of Wardrop Equilibria | 2009/02/27 | English | 9 |
Weighted Logics for Unranked Tree Automata | 2009/06/27 | English | 9 |
The Impact of Network Structure on the Stability of Greedy Protocols | 2005/01/28 | English | 9 |
Dynamic Generation of Discrete Random Variates | 2003/06/06 | English | 9 |
Effective Jordan Decomposition | 2004/12/13 | English | 9 |
ProcessorTime Tradeoffs under Bounded-Speed Message Propagation: Part II, Lower Bounds | 1999/09/10 | | 9 |
On the Computational Complexity of Some Classical Equivalence Relations on Boolean Functions | 1998/11/01 | | 9 |
The Price of Fairness for Indivisible Goods | 2021/03/29 | English | 9 |