STACS A

58 papers

YearTitle / Authors
2005A Lower Bound on the Complexity of Polynomial Multiplication Over Finite Fields.
Michael Kaminski
2005A Polynomial Time Algorithm for Minimum Cycle Basis in Directed Graphs.
Telikepalli Kavitha, Kurt Mehlhorn
2005Algebraic Generating Functions in Enumerative Combinatorics and Context-Free Languages.
Mireille Bousquet-Mélou
2005Algorithmics in Exponential Time.
Uwe Schöning
2005All-Pairs Nearly 2-Approximate Shortest-Paths in O(n
Surender Baswana, Vishrut Goyal, Sandeep Sen
2005Approximate Range Mode and Range Median Queries.
Prosenjit Bose, Evangelos Kranakis, Pat Morin, Yihui Tang
2005Automatic Presentations for Finitely Generated Groups.
Graham P. Oliver, Richard M. Thomas
2005Automorphisms of Finite Rings and Applications to Complexity of Problems.
Manindra Agrawal, Nitin Saxena
2005Cellular Automata: Real-Time Equivalence Between One-Dimensional Neighborhoods.
Victor Poupet
2005Centrality Measures Based on Current Flow.
Ulrik Brandes, Daniel Fleischer
2005Characterizing TC
Andreas Krebs, Klaus-Jörn Lange, Stephanie Reifferscheid
2005Computing Minimal Multi-homogeneous Bézout Numbers Is Hard.
Gregorio Malajovich, Klaus Meer
2005Connectivity for Wireless Agents Moving on a Cycle or Grid.
Josep Díaz, Xavier Pérez-Giménez, Maria J. Serna, Nicholas C. Wormald
2005Cost Sharing and Strategyproof Mechanisms for Set Cover Games.
Xiang-Yang Li, Zheng Sun, Weizhao Wang
2005Counting in the Two Variable Guarded Logic with Transitivity.
Lidia Tendera
2005Cycle Cover with Short Cycles.
Nicole Immorlica, Mohammad Mahdian, Vahab S. Mirrokni
2005Deciding Properties of Contract-Signing Protocols.
Detlef Kähler, Ralf Küsters, Thomas Wilke
2005Dynamic Complexity Theory Revisited.
Volker Weber, Thomas Schwentick
2005Exact Quantum Algorithms for the Leader Election Problem.
Seiichiro Tani, Hirotada Kobayashi, Keiji Matsumoto
2005Fast Pruning of Geometric Spanners.
Joachim Gudmundsson, Giri Narasimhan, Michiel H. M. Smid
2005How Common Can Be Universality for Cellular Automata?.
Guillaume Theyssier
2005Improved Algorithms for Dynamic Page Migration.
Marcin Bienkowski, Miroslaw Dynia, Miroslaw Korzeniowski
2005Improving the Alphabet-Size in High Noise, Almost Optimal Rate List Decodable Codes.
Eran Rom, Amnon Ta-Shma
2005Increasing Kolmogorov Complexity.
Harry Buhrman, Lance Fortnow, Ilan Newman, Nikolai K. Vereshchagin
2005Information Theory in Property Testing and Monotonicity Testing in Higher Dimension.
Nir Ailon, Bernard Chazelle
2005Kolmogorov-Loveland Randomness and Stochasticity.
Wolfgang Merkle, Joseph S. Miller, André Nies, Jan Reimann, Frank Stephan
2005Minimizing NFA's and Regular Expressions.
Gregor Gramlich, Georg Schnitger
2005More Efficient Queries in PCPs for NP and Improved Approximation Hardness of Maximum CSP.
Lars Engebretsen, Jonas Holmerin
2005On Nash Equilibria in Non-cooperative All-Optical Networks.
Vittorio Bilò, Michele Flammini, Luca Moscardelli
2005On Weighted Balls-into-Bins Games.
Petra Berenbrink, Tom Friedetzky, Zengjian Hu, Russell A. Martin
2005On the Computational Complexity of the Forcing Chromatic Number.
Frank Harary, Wolfgang Slany, Oleg Verbitsky
2005On the Decidability of Temporal Properties of Probabilistic Pushdown Automata.
Tomás Brázdil, Antonín Kucera, Oldrich Strazovský
2005Packet Buffering: Randomization Beats Deterministic Algorithms.
Markus Schmidt
2005Parametric Duality and Kernelization: Lower Bounds and Upper Bounds on Kernel Size.
Jianer Chen, Henning Fernau, Iyad A. Kanj, Ge Xia
2005Pattern Occurrences in Multicomponent Models.
Massimiliano Goldwurm, Violetta Lonati
2005Polylog-Time Reductions Decrease Dot-Depth.
Christian Glaßer
2005Quantified Constraint Satisfaction, Maximal Constraint Languages, and Symmetric Polymorphisms.
Hubie Chen
2005Quantum Interactive Proofs with Competing Provers.
Gus Gutoski, John Watrous
2005Recursive Markov Chains, Stochastic Grammars, and Monotone Systems of Nonlinear Equations.
Kousha Etessami, Mihalis Yannakakis
2005Regular Tree Languages Definable in FO.
Michael Benedikt, Luc Segoufin
2005Robust Polynomials and Quantum Algorithms.
Harry Buhrman, Ilan Newman, Hein Röhrig, Ronald de Wolf
2005Roundings Respecting Hard Constraints.
Benjamin Doerr
2005STACS 2005, 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005, Proceedings
Volker Diekert, Bruno Durand
2005Sampling Sub-problems of Heterogeneous Max-cut Problems and Approximation Algorithms.
Petros Drineas, Ravi Kannan, Michael W. Mahoney
2005Shortest Monotone Descent Path Problem in Polyhedral Terrain.
Sasanka Roy, Sandip Das, Subhas C. Nandy
2005Solving Medium-Density Subset Sum Problems in Expected Polynomial Time.
Abraham Flaxman, Bartosz Przydatek
2005Sorting Stably, In-Place, with O(n log n) Comparisons and O(n) Moves.
Gianni Franceschini
2005Speed Scaling to Manage Temperature.
Nikhil Bansal, Kirk Pruhs
2005The Complexity of Solving Linear Equations over a Finite Ring.
Vikraman Arvind, T. C. Vijayaraghavan
2005The Core of a Countably Categorical Structure.
Manuel Bodirsky
2005The PIGs Full Monty - A Floor Show of Minimal Separators.
Gerard Jennhwa Chang, Ton Kloks, Jiping Liu, Sheng-Lung Peng
2005The Power of Commuting with Finite Sets of Words.
Michal Kunc
2005The Variable Hierarchy of the µ-Calculus Is Strict.
Dietmar Berwanger, Giacomo Lenzi
2005Three Optimal Algorithms for Balls of Three Colors.
Zdenek Dvorák, Vít Jelínek, Daniel Král, Jan Kyncl, Michael E. Saks
2005Topological Automata.
Emmanuel Jeandel
2005Truthful Approximation Mechanisms for Scheduling Selfish Related Machines.
Nir Andelman, Yossi Azar, Motti Sorani
2005Varieties of Codes and Kraft Inequality.
Fabio Burderi, Antonio Restivo
2005Worst-Case and Average-Case Approximations by Simple Randomized Search Heuristics.
Carsten Witt