default search action
23rd STACS 2006: Marseille, France
- Bruno Durand, Wolfgang Thomas:
STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings. Lecture Notes in Computer Science 3884, Springer 2006, ISBN 978-3-540-32301-3 - Philippe Flajolet:
The Ubiquitous Digital Tree. 1-22 - Gene Itkis, Leonid A. Levin:
Flat Holonomies on Automata Networks. 23-49 - Markus Müller-Olm, Michael Petter, Helmut Seidl:
Interprocedurally Analyzing Polynomial Identities. 50-67 - Rolf Fagerberg, Anna Pagh, Rasmus Pagh:
External String Sorting: Faster and Cache-Oblivious. 68-79 - Iwona Bialynicka-Birula, Roberto Grossi:
Amortized Rigidness in Dynamic Cartesian Trees. 80-91 - Ahmed A. Belal, Amr Elmasry:
Distribution-Sensitive Construction of Minimum-Redundancy Prefix Codes. 92-103 - Dalia Krieger:
On Critical Exponents in Fixed Points of Binary k-Uniform Morphisms. 104-114 - Manindra Agrawal, Nitin Saxena:
Equivalence of F-Algebras and Cubic Forms. 115-126 - Marie-Pierre Béal, Dominique Perrin:
Complete Codes in a Sofic Shift. 127-136 - Lance Fortnow, Troy Lee, Nikolai K. Vereshchagin:
Kolmogorov Complexity with Error. 137-148 - Bjørn Kjos-Hanssen, Wolfgang Merkle, Frank Stephan:
Kolmogorov Complexity and the Recursion Theorem. 149-161 - Stephanie Wehner:
Entanglement in Interactive Proof Systems with Binary Answers. 162-171 - Andris Ambainis, Robert Spalek:
Quantum Algorithms for Matching and Network Flows. 172-183 - Wojciech Rytter:
The Number of Runs in a String: Improved Analysis of the Linear Upper Bound. 184-195 - Amit Chakrabarti, Khanh Do Ba, S. Muthukrishnan:
Estimating Entropy and Entropy Norm on Data Streams. 196-205 - Daniel Golovin, Vineet Goyal, R. Ravi:
Pay Today for a Rainy Day: Improved Approximation Algorithms for Demand-Robust Min-Cut and Shortest Path Problems. 206-217 - Sebastian Aland, Dominic Dumrauf, Martin Gairing, Burkhard Monien, Florian Schoppmann:
Exact Price of Anarchy for Polynomial Congestion Games. 218-229 - Venkatesan T. Chakaravarthy, Sambuddha Roy:
Oblivious Symmetric Alternation. 230-241 - Tzur Sayag, Shai Fine, Yishay Mansour:
Combining Multiple Heuristics. 242-253 - Khaled M. Elbassioni, Nabil H. Mustafa:
Conflict-Free Colorings of Rectangles Ranges. 254-263 - Mirela Damian, Robin Y. Flatland, Joseph O'Rourke:
Grid Vertex-Unfolding Orthogonal Polyhedra. 264-276 - Bin Fu:
Theory and Application of Width Bounded Geometric Separator. 277-288 - Vince Bárány:
Invariants of Automatic Presentations and Semi-synchronous Transductions. 289-300 - Olivier Finkel:
On the Accepting Power of 2-Tape Büchi Automata. 301-312 - Ina Mäurer:
Weighted Picture Automata and Weighted Logics. 313-324 - Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger:
Markov Decision Processes with Multiple Objectives. 325-336 - Paolo Penna, Carmine Ventre:
The Algorithmic Structure of Group Strategyproof Budget-Balanced Cost-Sharing Mechanisms. 337-348 - George Christodoulou, Vahab S. Mirrokni, Anastasios Sidiropoulos:
Convergence and Approximation in Potential Games. 349-360 - Josep Díaz, Dimitrios M. Thilikos:
Fast FPT-Algorithms for Cleaning Grids. 361-371 - Chinmoy Dutta, Jaikumar Radhakrishnan:
Tradeoffs in Depth-Two Superconcentrators. 372-383 - Vikraman Arvind, Johannes Köbler:
On Hypergraph and Graph Isomorphism with Bounded Color Classes. 384-395 - Andrey Yu. Rumyantsev, M. A. Ushakov:
Forbidden Substrings, Kolmogorov Complexity and Almost Periodic Sequences. 396-407 - John M. Hitchcock:
Online Learning and Resource-Bounded Dimension: Winnow Yields New Lower Bounds for Hard Sets. 408-419 - Vince Bárány, Christof Löding, Olivier Serre:
Regularity Problems for Visibly Pushdown Languages. 420-431 - Georg Schnitger:
Regular Expressions and NFAs Without epsilon-Transitions. 432-443 - Christian Glaßer, Aduri Pavan, Alan L. Selman, Liyu Zhang:
Redundancy in Complete Sets. 444-454 - Harry Buhrman, Leen Torenvliet, Falk Unger:
Sparse Selfreducible Sets and Polynomial Size Circuit Lower Bounds. 455-468 - Lance Fortnow, Adam R. Klivans:
Linear Advice for Randomized Logarithmic Space. 469-476 - Joost Engelfriet, Hendrik Jan Hoogeboom:
Nested Pebbles and Transitive Closure. 477-488 - Amitabha Roy, Howard Straubing:
Definability of Languages by Generalized First-Order Formulas over (N, +). 489-499 - Michael Bauland, Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor:
Generalized Modal Satisfiability. 500-511 - Krishnendu Chatterjee, Thomas A. Henzinger:
Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. 512-523 - Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer:
DAG-Width and Parity Games. 524-536 - Andrei E. Romashchenko:
Reliable Computations Based on Locally Decodable Codes. 537-548 - Reuven Cohen, David Peleg:
Convergence of Autonomous Mobile Robots with Inaccurate Sensors and Movements. 549-560 - Daniel Mölle, Stefan Richter, Peter Rossmanith:
A Faster Algorithm for the Steiner Tree Problem. 561-570 - Benjamin Doerr:
Generating Randomized Roundings with Cardinality Constraints and Derandomizations. 571-583 - Rohit Khandekar, Vinayaka Pandit:
Online Sorting Buffers on Line. 584-595 - Yossi Azar, Yoel Chaiutin:
Optimal Node Routing. 596-607 - Dimitris Fotakis:
Memoryless Facility Location in One Pass. 608-620 - Susanne Albers, Hiroshi Fujiwara:
Energy-Efficient Algorithms for Flow Time Minimization. 621-633 - Kousha Etessami, Mihalis Yannakakis:
Efficient Qualitative Analysis of Classes of Recursive Markov Decision Processes and Simple Stochastic Games. 634-645 - Manuel Bodirsky, Víctor Dalmau:
Datalog and Constraint Satisfaction with Infinite Templates. 646-659 - Nutan Limaye, Meena Mahajan, Jayalal Sarma:
Evaluating Monotone Circuits on Cylinders, Planes and Tori. 660-671 - Alexander Healy, Emanuele Viola:
Constant-Depth Circuits for Arithmetic in Finite Fields of Characteristic Two. 672-683 - Dietrich Kuske:
Weighted Asynchronous Cellular Automata. 684-695 - Darin Goldstein, Kojiro Kobayashi:
On the Complexity of the "Most General" Firing Squad Synchronization Problem. 696-711
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.