|
Conferences in DBLP
Foreword -- 27th International Symposium on Theoretical Aspects of Computer Science. [Citation Graph (, )][DBLP]
Table of Contents - 27th International Symposium on Theoretical Aspects of Computer Science. [Citation Graph (, )][DBLP]
Beyond omega-Regular Languages. [Citation Graph (, )][DBLP]
Reflections on Multivariate Algorithmics and Problem Parameterization. [Citation Graph (, )][DBLP]
Mathematics, Cryptology, Security. [Citation Graph (, )][DBLP]
Large-Girth Roots of Graphs. [Citation Graph (, )][DBLP]
The Tropical Double Description Method. [Citation Graph (, )][DBLP]
The Remote Point Problem, Small Bias Spaces, and Expanding Generator Sets. [Citation Graph (, )][DBLP]
Evasiveness and the Distribution of Prime Numbers. [Citation Graph (, )][DBLP]
Dynamic Sharing of a Multiple Access Channel. [Citation Graph (, )][DBLP]
Exact Covers via Determinants. [Citation Graph (, )][DBLP]
On Iterated Dominance, Matrix Elimination, and Matched Paths. [Citation Graph (, )][DBLP]
AMS Without 4-Wise Independence on Product Domains. [Citation Graph (, )][DBLP]
Quantum Algorithms for Testing Properties of Distributions. [Citation Graph (, )][DBLP]
Optimal Query Complexity for Reconstructing Hypergraphs. [Citation Graph (, )][DBLP]
Ultimate Traces of Cellular Automata. [Citation Graph (, )][DBLP]
Two-phase Algorithms for the Parametric Shortest Path Problem. [Citation Graph (, )][DBLP]
Continuous Monitoring of Distributed Data Streams over a Time-based Sliding Window. [Citation Graph (, )][DBLP]
Robust Fault Tolerant Uncapacitated Facility Location. [Citation Graph (, )][DBLP]
Efficient and Error-Correcting Data Structures for Membership and Polynomial Evaluation. [Citation Graph (, )][DBLP]
Log-space Algorithms for Paths and Matchings in k-trees. [Citation Graph (, )][DBLP]
Restricted Space Algorithms for Isomorphism on Bounded Treewidth Graphs. [Citation Graph (, )][DBLP]
The Traveling Salesman Problem under Squared Euclidean Distances. [Citation Graph (, )][DBLP]
Beyond Bidimensionality: Parameterized Subexponential Algorithms on Directed Graphs. [Citation Graph (, )][DBLP]
Planar Subgraph Isomorphism Revisited. [Citation Graph (, )][DBLP]
Intrinsic Universality in Self-Assembly. [Citation Graph (, )][DBLP]
Sponsored Search, Market Equilibria, and the Hungarian Method. [Citation Graph (, )][DBLP]
Dispersion in Unit Disks. [Citation Graph (, )][DBLP]
Long Non-crossing Configurations in the Plane. [Citation Graph (, )][DBLP]
The Complexity of Approximating Bounded-Degree Boolean #CSP. [Citation Graph (, )][DBLP]
The Complexity of the List Homomorphism Problem for Graphs. [Citation Graph (, )][DBLP]
Improved Approximation Guarantees for Weighted Matching in the Semi-Streaming Model. [Citation Graph (, )][DBLP]
Computing Least Fixed Points of Probabilistic Systems of Polynomials. [Citation Graph (, )][DBLP]
The k-in-a-path Problem for Claw-free Graphs. [Citation Graph (, )][DBLP]
Finding Induced Subgraphs via Minimal Triangulations. [Citation Graph (, )][DBLP]
Inseparability and Strong Hypotheses for Disjoint NP Pairs. [Citation Graph (, )][DBLP]
Branching-time Model Checking of One-counter Processes. [Citation Graph (, )][DBLP]
Evolving Multialgebras Unify All Usual Sequential Computation Models. [Citation Graph (, )][DBLP]
Collapsing and Separating Completeness Notions under Average-Case and Worst-Case Hypotheses. [Citation Graph (, )][DBLP]
Revisiting the Rice Theorem of Cellular Automata. [Citation Graph (, )][DBLP]
On Optimal Heuristic Randomized Semidecision Procedures, with Application to Proof Complexity. [Citation Graph (, )][DBLP]
Weakening Assumptions for Deterministic Subexponential Time Non-Singular Matrix Completion. [Citation Graph (, )][DBLP]
On Equations over Sets of Integers. [Citation Graph (, )][DBLP]
Randomized Algorithm for Agreeable Deadlines Packet Scheduling. [Citation Graph (, )][DBLP]
Collapsible Pushdown Graphs of Level 2 are Tree-Automatic. [Citation Graph (, )][DBLP]
Approximate Shortest Paths Avoiding a Failed Vertex: Optimal Size Data Structures for Unweighted Graphs. [Citation Graph (, )][DBLP]
Holant Problems for Regular Graphs with Complex Edge Functions. [Citation Graph (, )][DBLP]
Is Ramsey's Theorem omega-automatic?. [Citation Graph (, )][DBLP]
An Efficient Quantum Algorithm for Some Instances of the Group Isomorphism Problem. [Citation Graph (, )][DBLP]
Treewidth Reduction for Constrained Separation and Bipartization Problems. [Citation Graph (, )][DBLP]
Online Correlation Clustering. [Citation Graph (, )][DBLP]
The Recognition of Tolerance and Bounded Tolerance Graphs. [Citation Graph (, )][DBLP]
Decidability of the Interval Temporal Logic ABB over the Natural Numbers. [Citation Graph (, )][DBLP]
Relaxed Spanners for Directed Disk Graphs. [Citation Graph (, )][DBLP]
Unsatisfiable Linear CNF Formulas Are Large and Complex. [Citation Graph (, )][DBLP]
Construction Sequences and Certifying 3-Connectedness. [Citation Graph (, )][DBLP]
Named Models in Coalgebraic Hybrid Logic. [Citation Graph (, )][DBLP]
A Dichotomy Theorem for the General Minimum Cost Homomorphism Problem. [Citation Graph (, )][DBLP]
Alternation-Trading Proofs, Linear Programming, and Lower Bounds. [Citation Graph (, )][DBLP]
|