Theory of Computing Systems

Title Publication Date Language Citations
How to Prove Impossibility Under Global Fairness: On Space Complexity of Self-Stabilizing Leader Election on a Population Protocol Model2011/02/02English16
The Complexity of Optimal Design of Temporally Connected Graphs2017/04/03English16
XML Compression via Directed Acyclic Graphs2014/05/25English16
Improved Lower Bounds on the Price of Stability of Undirected Network Design Games2012/05/15English15
Bounding the Expected Length of Longest Common Subsequences and Forests1999/08/0115
Planar and Grid Graph Reachability Problems2009/02/05English15
Computability and Complexity in Self-assembly2010/04/20English15
Fixed-Parameter Enumerability of Cluster Editing and Related Problems2008/07/16English15
Faster Algorithms for the Constrained k-means Problem2017/11/06English14
A Unifying Tool for Bounding the Quality of Non-Cooperative Solutions in Weighted Congestion Games2017/12/02English14
The Hardness of Approximating Spanner Problems2007/03/13English14
On the Analysis of Randomized Load Balancing Schemes1999/06/0114
The Behavior of Clique-Width under Graph Operations and Graph Transformations2016/05/23English14
A Kleene Theorem for Weighted Tree Automata2004/09/15English14
Parallel Skyline Queries2015/04/16English14
A New Combinatorial Approach to Sequence Comparison2007/10/30English14
Spectral Sparsification in the Semi-streaming Setting2012/04/26English14
Searching for Black Holes in Subways2011/07/28English14
Trimmed Moebius Inversion and Graphs of Bounded Degree2009/01/29English14
Congestion Games with Linearly Independent Paths: Convergence Time and Price of Anarchy2009/03/14English14
On the Structure of Weakly Acyclic Games2013/04/04English14
Scheduling Without Payments2013/04/26English13
The Price of Anarchy in Network Creation Games Is (Mostly) Constant2013/03/17English13
Containment of Conjunctive Queries on Annotated Relations2011/04/30English13
Elimination Trees and the Construction of Pools and Stacks1997/12/01English13
Algebraic Characterization of Reversible Logic Gates2004/12/20English13
A New Efficient Algorithm for Computing the Longest Common Subsequence2008/01/25English13
Interacting Explicit Evidence Systems2007/10/25English13
A Simple 3-Edge-Connected Component Algorithm2005/05/09English13
Complexity of Equations over Sets of Natural Numbers2009/12/23English13