|
Conferences in DBLP
(tamc) 2010 (conf/tamc/2010)
New Research Directions in the Information Age. [Citation Graph (, )][DBLP]
The Laplacian Paradigm: Emerging Algorithms for Massive Graphs. [Citation Graph (, )][DBLP]
Proof Complexity of Non-classical Logics. [Citation Graph (, )][DBLP]
Optimal Acceptors and Optimal Proof Systems. [Citation Graph (, )][DBLP]
The Complexity of Geometric Problems in High Dimension. [Citation Graph (, )][DBLP]
Different Approaches to Proof Systems. [Citation Graph (, )][DBLP]
Algebraic Proofs over Noncommutative Formulas. [Citation Graph (, )][DBLP]
Nonlocal Quantum XOR Games for Large Number of Players. [Citation Graph (, )][DBLP]
Nontriviality for Exponential Time w.r.t. Weak Reducibilities. [Citation Graph (, )][DBLP]
Streaming Algorithms for Some Problems in Log-Space. [Citation Graph (, )][DBLP]
Temperature Aware Online Scheduling with a Low Cooling Factor. [Citation Graph (, )][DBLP]
On Solution Concepts for Matching Games. [Citation Graph (, )][DBLP]
Binary De Bruijn Partial Words with One Hole. [Citation Graph (, )][DBLP]
Complexity Invariance of Real Interpretations. [Citation Graph (, )][DBLP]
Pivot and Loop Complementation on Graphs and Set Systems. [Citation Graph (, )][DBLP]
Revisiting the Minimum Breakpoint Linearization Problem. [Citation Graph (, )][DBLP]
An O(n2){\mathcal{O}}(n^2)-time Algorithm for the Minimal Interval Completion Problem. [Citation Graph (, )][DBLP]
Centdian Computation for Sensor Networks. [Citation Graph (, )][DBLP]
Twisted Jacobi Intersections Curves. [Citation Graph (, )][DBLP]
L(2, 1, 1)-Labeling Is NP-Complete for Trees. [Citation Graph (, )][DBLP]
Complexity of Paths, Trails and Circuits in Arc-Colored Digraphs. [Citation Graph (, )][DBLP]
The Max k-Cut Game and Its Strong Equilibria. [Citation Graph (, )][DBLP]
Kernel and Fast Algorithm for Dense Triplet Inconsistency. [Citation Graph (, )][DBLP]
Incremental List Coloring of Graphs, Parameterized by Conservation. [Citation Graph (, )][DBLP]
Schnyder Greedy Routing Algorithm. [Citation Graph (, )][DBLP]
Exploiting Restricted Linear Structure to Cope with the Hardness of Clique-Width. [Citation Graph (, )][DBLP]
A Note on the Testability of Ramsey's Class. [Citation Graph (, )][DBLP]
Deterministic Polynomial-Time Algorithms for Designing Short DNA Words. [Citation Graph (, )][DBLP]
Hamiltonian Cycles in Subcubic Graphs: What Makes the Problem Difficult. [Citation Graph (, )][DBLP]
A Dichotomy for k-Regular Graphs with {0, 1}-Vertex Assignments and Real Edge Functions. [Citation Graph (, )][DBLP]
Graph Sharing Games: Complexity and Connectivity. [Citation Graph (, )][DBLP]
A Visual Model of Computation. [Citation Graph (, )][DBLP]
An Automata-Theoretic Characterization of the Chomsky-Hierarchy. [Citation Graph (, )][DBLP]
Maximum Independent Set in Graphs of Average Degree at Most Three in O(1.08537n){\mathcal O}(1.08537^n). [Citation Graph (, )][DBLP]
Simultaneity in Event Structures. [Citation Graph (, )][DBLP]
Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable. [Citation Graph (, )][DBLP]
Closed Rectangle-of-Influence Drawings for Irreducible Triangulations. [Citation Graph (, )][DBLP]
Recovering Social Networks from Contagion Information. [Citation Graph (, )][DBLP]
Two-Layer Planarization Parameterized by Feedback Edge Set. [Citation Graph (, )][DBLP]
A Categorical View of Timed Weak Bisimulation. [Citation Graph (, )][DBLP]
Community Structure in Large Complex Networks. [Citation Graph (, )][DBLP]
Generating Internally Triconnected Rooted Plane Graphs. [Citation Graph (, )][DBLP]
|