The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on Theoretical Aspects of Computer Science (STACS) (stacs)
2005 (conf/stacs/2005)

  1. Manindra Agrawal, Nitin Saxena
    Automorphisms of Finite Rings and Applications to Complexity of Problems. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:1-17 [Conf]
  2. Mireille Bousquet-Mélou
    Algebraic Generating Functions in Enumerative Combinatorics and Context-Free Languages. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:18-35 [Conf]
  3. Uwe Schöning
    Algorithmics in Exponential Time. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:36-43 [Conf]
  4. Carsten Witt
    Worst-Case and Average-Case Approximations by Simple Randomized Search Heuristics. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:44-56 [Conf]
  5. Petros Drineas, Ravi Kannan, Michael W. Mahoney
    Sampling Sub-problems of Heterogeneous Max-cut Problems and Approximation Algorithms. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:57-68 [Conf]
  6. Nir Andelman, Yossi Azar, Motti Sorani
    Truthful Approximation Mechanisms for Scheduling Selfish Related Machines. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:69-82 [Conf]
  7. Lidia Tendera
    Counting in the Two Variable Guarded Logic with Transitivity. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:83-96 [Conf]
  8. Dietmar Berwanger, Giacomo Lenzi
    The Variable Hierarchy of the µ-Calculus Is Strict. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:97-109 [Conf]
  9. Manuel Bodirsky
    The Core of a Countably Categorical Structure. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:110-120 [Conf]
  10. Guillaume Theyssier
    How Common Can Be Universality for Cellular Automata?. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:121-132 [Conf]
  11. Victor Poupet
    Cellular Automata: Real-Time Equivalence Between One-Dimensional Neighborhoods. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:133-144 [Conf]
  12. Tomás Brázdil, Antonín Kucera, Oldrich Strazovský
    On the Decidability of Temporal Properties of Probabilistic Pushdown Automata. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:145-157 [Conf]
  13. Detlef Kähler, Ralf Küsters, Thomas Wilke
    Deciding Properties of Contract-Signing Protocols. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:158-169 [Conf]
  14. Christian Glaßer
    Polylog-Time Reductions Decrease Dot-Depth. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:170-181 [Conf]
  15. Frank Harary, Wolfgang Slany, Oleg Verbitsky
    On the Computational Complexity of the Forcing Chromatic Number. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:182-193 [Conf]
  16. Lars Engebretsen, Jonas Holmerin
    More Efficient Queries in PCPs for NP and Improved Approximation Hardness of Maximum CSP. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:194-205 [Conf]
  17. Zdenek Dvorak, Vít Jelínek, Daniel Král, Jan Kyncl, Michael E. Saks
    Three Optimal Algorithms for Balls of Three Colors. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:206-217 [Conf]
  18. Xiang-Yang Li, Zheng Sun, Weizhao Wang
    Cost Sharing and Strategyproof Mechanisms for Set Cover Games. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:218-230 [Conf]
  19. Petra Berenbrink, Tom Friedetzky, Zengjian Hu, Russell A. Martin
    On Weighted Balls-into-Bins Games. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:231-243 [Conf]
  20. Gregorio Malajovich, Klaus Meer
    Computing Minimal Multi-homogeneous Bézout Numbers Is Hard. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:244-255 [Conf]
  21. Volker Weber, Thomas Schwentick
    Dynamic Complexity Theory Revisited. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:256-268 [Conf]
  22. Jianer Chen, Henning Fernau, Iyad A. Kanj, Ge Xia
    Parametric Duality and Kernelization: Lower Bounds and Upper Bounds on Kernel Size. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:269-280 [Conf]
  23. Sasanka Roy, Sandip Das, Subhas C. Nandy
    Shortest Monotone Descent Path Problem in Polyhedral Terrain. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:281-292 [Conf]
  24. Markus Schmidt
    Packet Buffering: Randomization Beats Deterministic Algorithms. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:293-304 [Conf]
  25. Abraham Flaxman, Bartosz Przydatek
    Solving Medium-Density Subset Sum Problems in Expected Polynomial Time. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:305-314 [Conf]
  26. Hubie Chen
    Quantified Constraint Satisfaction, Maximal Constraint Languages, and Symmetric Polymorphisms. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:315-326 [Conf]
  27. Michael Benedikt, Luc Segoufin
    Regular Tree Languages Definable in FO. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:327-339 [Conf]
  28. Kousha Etessami, Mihalis Yannakakis
    Recursive Markov Chains, Stochastic Grammars, and Monotone Systems of Nonlinear Equations. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:340-352 [Conf]
  29. Josep Díaz, Xavier Pérez, Maria J. Serna, Nicholas C. Wormald
    Connectivity for Wireless Agents Moving on a Cycle or Grid. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:353-364 [Conf]
  30. Marcin Bienkowski, Miroslaw Dynia, Miroslaw Korzeniowski
    Improved Algorithms for Dynamic Page Migration. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:365-376 [Conf]
  31. Prosenjit Bose, Evangelos Kranakis, Pat Morin, Yihui Tang
    Approximate Range Mode and Range Median Queries. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:377-388 [Conf]
  32. Emmanuel Jeandel
    Topological Automata. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:389-398 [Conf]
  33. Gregor Gramlich, Georg Schnitger
    Minimizing NFA's and Regular Expressions. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:399-411 [Conf]
  34. Harry Buhrman, Lance Fortnow, Ilan Newman, Nikolai K. Vereshchagin
    Increasing Kolmogorov Complexity. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:412-421 [Conf]
  35. Wolfgang Merkle, Joseph S. Miller, André Nies, Jan Reimann, Frank Stephan
    Kolmogorov-Loveland Randomness and Stochasticity. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:422-433 [Conf]
  36. Nir Ailon, Bernard Chazelle
    Information Theory in Property Testing and Monotonicity Testing in Higher Dimension. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:434-447 [Conf]
  37. Vittorio Bilò, Michele Flammini, Luca Moscardelli
    On Nash Equilibria in Non-cooperative All-Optical Networks. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:448-459 [Conf]
  38. Nikhil Bansal, Kirk Pruhs
    Speed Scaling to Manage Temperature. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:460-471 [Conf]
  39. Vikraman Arvind, T. C. Vijayaraghavan
    The Complexity of Solving Linear Equations over a Finite Ring. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:472-484 [Conf]
  40. Michael Kaminski
    A Lower Bound on the Complexity of Polynomial Multiplication Over Finite Fields. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:485-495 [Conf]
  41. Andreas Krebs, Klaus-Jörn Lange, Stephanie Reifferscheid
    Characterizing TC0 in Terms of Infinite Groups. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:496-507 [Conf]
  42. Joachim Gudmundsson, Giri Narasimhan, Michiel H. M. Smid
    Fast Pruning of Geometric Spanners. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:508-520 [Conf]
  43. Gerard Jennhwa Chang, Ton Kloks, Jiping Liu, Sheng-Lung Peng
    The PIGs Full Monty - A Floor Show of Minimal Separators. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:521-532 [Conf]
  44. Ulrik Brandes, Daniel Fleischer
    Centrality Measures Based on Current Flow. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:533-544 [Conf]
  45. Fabio Burderi, Antonio Restivo
    Varieties of Codes and Kraft Inequality. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:545-556 [Conf]
  46. Eran Rom, Amnon Ta-Shma
    Improving the Alphabet-Size in High Noise, Almost Optimal Rate List Decodable Codes. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:557-568 [Conf]
  47. Michal Kunc
    The Power of Commuting with Finite Sets of Words. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:569-580 [Conf]
  48. Seiichiro Tani, Hirotada Kobayashi, Keiji Matsumoto
    Exact Quantum Algorithms for the Leader Election Problem. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:581-592 [Conf]
  49. Harry Buhrman, Ilan Newman, Hein Röhrig, Ronald de Wolf
    Robust Polynomials and Quantum Algorithms. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:593-604 [Conf]
  50. Gus Gutoski, John Watrous
    Quantum Interactive Proofs with Competing Provers. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:605-616 [Conf]
  51. Benjamin Doerr
    Roundings Respecting Hard Constraints. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:617-628 [Conf]
  52. Gianni Franceschini
    Sorting Stably, In-Place, with O(n log n) Comparisons and O(n) Moves. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:629-640 [Conf]
  53. Nicole Immorlica, Mohammad Mahdian, Vahab S. Mirrokni
    Cycle Cover with Short Cycles. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:641-653 [Conf]
  54. Telikepalli Kavitha, Kurt Mehlhorn
    A Polynomial Time Algorithm for Minimum Cycle Basis in Directed Graphs. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:654-665 [Conf]
  55. Surender Baswana, Vishrut Goyal, Sandeep Sen
    All-Pairs Nearly 2-Approximate Shortest-Paths in O(n2 polylog n) Time. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:666-679 [Conf]
  56. Massimiliano Goldwurm, Violetta Lonati
    Pattern Occurrences in Multicomponent Models. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:680-692 [Conf]
  57. Graham P. Oliver, Richard M. Thomas
    Automatic Presentations for Finitely Generated Groups. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:693-704 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002