share record
persistent URL:
Robert Ganian , Petr Hlinený , Alexander Langer , Jan Obdrzálek , Peter Rossmanith , Somnath Sikdar : Lower Bounds on the Complexity of MSO_1 Model-Checking. STACS 2012 : 326-337 export record
dblp key:
conf/stacs/Gawrychowski12 share record
persistent URL:
Pawel Gawrychowski : Tying up the loose ends in fully LZW-compressed pattern matching. STACS 2012 : 624-635 export record
dblp key:
conf/stacs/GiakkoupisSSW12 share record
persistent URL:
George Giakkoupis , Thomas Sauerwald , He Sun , Philipp Woelfel : Low Randomness Rumor Spreading via Hashing. STACS 2012 : 314-325 share record
persistent URL:
Shafi Goldwasser : Pseudo-deterministic Algorithms (Invited Talk). STACS 2012 : 29-29 share record
persistent URL:
Stefan Göller , Anthony Widjaja Lin : Concurrency Makes Simple Theories Hard. STACS 2012 : 148-159 share record
persistent URL:
Frederik Harwath , Nicole Schweikardt : Regular tree languages, cardinality predicates, and addition-invariant FO. STACS 2012 : 489-500 share record
persistent URL:
Mathieu Hoyrup : The dimension of ergodic random sequences. STACS 2012 : 567-576 share record
persistent URL:
Sungjin Im , Maxim Sviridenko , Ruben van der Zwaan : Preemptive and Non-Preemptive Generalized Min Sum Set Cover. STACS 2012 : 465-476 share record
persistent URL:
Sanjay Jain , Efim B. Kinber : Mind Change Speed-up for Learning Languages from Positive Data. STACS 2012 : 350-361 share record
persistent URL:
Maurice J. Jansen , Rahul Santhanam : Stronger Lower Bounds and Randomness-Hardness Trade-Offs Using Associated Algebraic Complexity Classes. STACS 2012 : 519-530 share record
persistent URL:
Artur Jez : Compressed Membership for NFA (DFA) with Compressed Labels is in NP (P). STACS 2012 : 136-147 share record
persistent URL:
Marcin Kaminski , Dimitrios M. Thilikos : Contraction checking in graphs on surfaces. STACS 2012 : 182-193 export record
dblp key:
conf/stacs/KawarabayashiK12 share record
persistent URL:
Ken-ichi Kawarabayashi , Yusuke Kobayashi : Edge-disjoint Odd Cycles in 4-edge-connected Graphs. STACS 2012 : 206-217 export record
dblp key:
conf/stacs/KawarabayashiK12a share record
persistent URL:
Ken-ichi Kawarabayashi , Yusuke Kobayashi : Linear min-max relation between the treewidth of H-minor-free graphs and its largest grid. STACS 2012 : 278-289 share record
persistent URL:
Kei Kimura , Kazuhisa Makino : Trichotomy for Integer Linear Systems Based on Their Sign Patterns. STACS 2012 : 613-623 share record
persistent URL:
Ioannis Koutis , Alex Levin , Richard Peng : Improved Spectral Sparsification and Numerical Algorithms for SDD Matrices. STACS 2012 : 266-277 share record
persistent URL:
Wolfgang Merkle , Jason Teutsch : Constant compression and random weights. STACS 2012 : 172-181 share record
persistent URL:
Dieter Mitsche , Guillem Perarnau : On the treewidth and related parameters of random geometric graphs. STACS 2012 : 408-419 share record
persistent URL:
Marcin Mucha : 13/9-approximation for Graphic TSP. STACS 2012 : 30-41 export record
dblp key:
conf/stacs/NarayanaswamyRRS12 share record
persistent URL:
N. S. Narayanaswamy , Venkatesh Raman , M. S. Ramanujan , Saket Saurabh : LP can be a cure for Parameterized Problems. STACS 2012 : 338-349 share record
persistent URL:
Hung Q. Ngo , Ely Porat , Atri Rudra : Efficiently Decodable Compressed Sensing by List-Recoverable Codes and Recursion. STACS 2012 : 230-241 share record
persistent URL:
Katarzyna E. Paluch , Khaled M. Elbassioni , Anke van Zuylen : Simpler Approximation of the Maximum Asymmetric Traveling Salesman Problem. STACS 2012 : 501-506 share record
persistent URL:
Pawel Parys : A Pumping Lemma for Pushdown Graphs of Any Level. STACS 2012 : 54-65 share record
persistent URL:
R. Ravi : Iterative Methods in Combinatorial Optimization (Invited Talk). STACS 2012 : 24-24 share record
persistent URL:
Xiaoming Sun , Chengu Wang : Randomized Communication Complexity for Linear Algebra Problems over Finite Fields. STACS 2012 : 477-488 share record
persistent URL:
Marc Thurley : An Approximation Algorithm for #k-SAT. STACS 2012 : 78-87 share record
persistent URL:
Justin Ward : A (k+3)/2-approximation algorithm for monotone submodular k-set packing and general k-exchange systems. STACS 2012 : 42-53 share record
persistent URL:
Carsten Witt : Optimizing Linear Functions with Randomized Search Heuristics - The Robustness of Mutation. STACS 2012 : 420-431 share record
persistent URL:
Faried Abu Zaid , Erich Grädel , Lukasz Kaiser : The Field of Reals is not omega-Automatic. STACS 2012 : 577-588 share record
persistent URL:
Christoph Dürr , Thomas Wilke : 29th International Symposium on Theoretical Aspects of Computer Science, STACS 2012, February 29th - March 3rd, 2012, Paris, France. LIPIcs 14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012 , ISBN 978-3-939897-35-4 [contents]