28. STACS 2011:
Dortmund, Germany Thomas Schwentick , Christoph Dürr (Eds.):
28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany.
LIPIcs 9 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011, ISBN 978-3-939897-25-5
export record as
dblp key:
Invited Papers
export record as
dblp key:
export record as
dblp key:
conf/stacs/AschingerDGJT11 export record as
dblp key:
conf/stacs/Comon-LundhC11
Distributed and Fault-Tolerant Computing
export record as
dblp key:
export record as
dblp key:
George Giakkoupis :
Tight bounds for rumor spreading in graphs of a given conductance.
57-68
export record as
dblp key:
Data Words and Data Trees
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Cuts and Flows
export record as
dblp key:
export record as
dblp key:
Computational Geometry
export record as
dblp key:
export record as
dblp key:
conf/stacs/ChalopinDDMW11
Kernelization
export record as
dblp key:
conf/stacs/BodlaenderJK11 export record as
dblp key:
export record as
dblp key:
Morphism, Words, Bio Computing
export record as
dblp key:
export record as
dblp key:
conf/stacs/FreydenbergerNR11 export record as
dblp key:
conf/stacs/Blanchet-SadriL11
SAT & CSP
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Cellular Automata
export record as
dblp key:
export record as
dblp key:
Nazim Fatès :
Stochastic Cellular Automata Solve the Density Classification Problem with an Arbitrary Precision.
284-295
export record as
dblp key:
Clustering and Learning
export record as
dblp key:
conf/stacs/AckermannBKS11 export record as
dblp key:
export record as
dblp key:
Logic
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Martin Mundhenk ,
Felix Weiß :
The model checking problem for propositional intuitionistic logic with one variable is AC^1-complete.
368-379
Scheduling 1
export record as
dblp key:
conf/stacs/Lopez-OrtizQ11 export record as
dblp key:
Graph Decomposition
export record as
dblp key:
export record as
dblp key:
Streaming
export record as
dblp key:
export record as
dblp key:
Recursion Theory
export record as
dblp key:
export record as
dblp key:
Scheduling 2
export record as
dblp key:
Regular Expressions
export record as
dblp key:
Stefan Gulan :
Graphs Encoded by Regular Expressions.
495-506
export record as
dblp key:
conf/stacs/Freydenberger11
Graph Algorithms
export record as
dblp key:
export record as
dblp key:
conf/stacs/AntoniadisHLMS11
Algebra & Complexity
export record as
dblp key:
export record as
dblp key:
Complexity of Graph & Group Problems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Versification
export record as
dblp key:
Pawel Parys :
Collapse Operation Increases Expressive Power of Deterministic Higher Order Pushdown Automata.
603-614
export record as
dblp key:
conf/stacs/KupfermanLVY11 export record as
dblp key:
Geometry and Complexity
export record as
dblp key:
conf/stacs/DumitrescuSST11 export record as
dblp key:
Query Complexity
export record as
dblp key:
export record as
dblp key:
Anna Gál ,
Andrew Mills :
Three Query Locally Decodable Codes with Higher Correctness Require Exponential Length.
673-684
data released under the ODC-BY 1.0 license
