The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Serge Abiteboul
    A Calculus and Algebra for Distributed Data Management. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:1-11 [Conf]
  2. Moshe Y. Vardi
    The Büchi Complementation Saga. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:12-22 [Conf]
  3. Dorothea Wagner, Thomas Willhalm
    Speed-Up Techniques for Shortest-Path Computations. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:23-36 [Conf]
  4. Bruno Courcelle, Andrew Twigg
    Compact Forbidden-Set Routing. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:37-48 [Conf]
  5. Manfred Kunde
    A New Bound for Pure Greedy Hot Potato Routing. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:49-60 [Conf]
  6. Ioannis Caragiannis
    Wavelength Management in WDM Rings to Maximize the Number of Connections. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:61-72 [Conf]
  7. Jean Berstel, Luc Boasson, Olivier Carton, Isabelle Fagnot
    A First Investigation of Sturmian Trees. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:73-84 [Conf]
  8. Sylvain Lombardy
    On the Size of the Universal Automaton of a Regular Language. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:85-96 [Conf]
  9. Francine Blanchet-Sadri, Joshua D. Gafni, Kevin H. Wilson
    Correlations of Partial Words. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:97-108 [Conf]
  10. Eldar Fischer, Orly Yahalom
    Testing Convexity Properties of Tree Colorings. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:109-120 [Conf]
  11. Amin Coja-Oghlan, Michael Krivelevich, Dan Vilenchik
    Why Almost All k -Colorable Graphs Are Easy. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:121-132 [Conf]
  12. Peter Bürgisser
    On Defining Integers in the Counting Hierarchy and Proving Arithmetic Circuit Lower Bounds. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:133-144 [Conf]
  13. Troy Lee
    A New Rank Technique for Formula Size Lower Bounds. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:145-156 [Conf]
  14. Ilan Newman, Yuri Rabinovich
    Hard Metrics from Cayley Graphs of Abelian Groups. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:157-162 [Conf]
  15. Robert Elsässer, Thomas Sauerwald
    Broadcasting vs. Mixing and Information Dissemination on Cayley Graphs. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:163-174 [Conf]
  16. Adrian Dumitrescu, Csaba D. Tóth
    Light Orthogonal Networks with Constant Geometric Dilation. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:175-187 [Conf]
  17. Dietmar Berwanger
    Admissibility in Infinite Games. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:188-199 [Conf]
  18. Hugo Gimbert
    Pure Stationary Optimal Strategies in Markov Decision Processes. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:200-211 [Conf]
  19. Felix Brandt, Felix A. Fischer, Markus Holzer
    Symmetries and the Complexity of Pure Nash Equilibrium. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:212-223 [Conf]
  20. Daniel Král
    Computing Representations of Matroids of Bounded Branch-Width. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:224-235 [Conf]
  21. Pinar Heggernes, Karol Suchan, Ioan Todinca, Yngve Villanger
    Characterizing Minimal Interval Completions. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:236-247 [Conf]
  22. Christian Glaßer, Alan L. Selman, Stephen D. Travers, Klaus W. Wagner
    The Complexity of Unions of Disjoint Sets. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:248-259 [Conf]
  23. Laurent Bienvenu
    Kolmogorov-Loveland Stochasticity and Kolmogorov Complexity. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:260-271 [Conf]
  24. Stefan Funke, Sören Laue
    Bounded-Hop Energy-Efficient Broadcast in Low-Dimensional Metrics Via Coresets. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:272-283 [Conf]
  25. Christian Hundt, Maciej Liskiewicz
    On the Complexity of Affine Image Matching. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:284-295 [Conf]
  26. Javier Esparza, Stefan Kiefer, Michael Luttenberger
    On Fixed Point Equations over Commutative Semirings. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:296-307 [Conf]
  27. Andrea Sattler-Klein
    An Exponential Lower Bound for Prefix Gröbner Bases in Free Monoid Rings. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:308-319 [Conf]
  28. Hans L. Bodlaender
    A Cubic Kernel for Feedback Vertex Set. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:320-331 [Conf]
  29. Peter Damaschke
    The Union of Minimal Hitting Sets: Parameterized Combinatorial Bounds and Counting. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:332-343 [Conf]
  30. Marc Tedder, Derek G. Corneil
    An Optimal, Edges-Only Fully Dynamic Algorithm for Distance-Hereditary Graphs. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:344-355 [Conf]
  31. Enrico Formenti, Petr Kurka
    A Search Algorithm for the Maximal Attractor of a Cellular Automaton. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:356-366 [Conf]
  32. Grégory Lafitte, Michael Weiss
    Universal Tilings. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:367-380 [Conf]
  33. Alberto Bertoni, Massimiliano Goldwurm, Violetta Lonati
    On the Complexity of Unary Tiling-Recognizable Picture Languages. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:381-392 [Conf]
  34. Hans-Ulrich Simon
    A Characterization of Strong Learnability in the Statistical Query Model. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:393-404 [Conf]
  35. Jan Poland
    On the Consistency of Discrete Bayesian Learning. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:405-416 [Conf]
  36. Pascal Koiran, Sylvain Perifel
    VPSPACE and a Transfer Theorem over the Reals. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:417-428 [Conf]
  37. Jin-yi Cai, Pinyan Lu
    On Symmetric Signatures in Holographic Algorithms. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:429-440 [Conf]
  38. Benjamin Doerr
    Randomly Rounding Rationals with Cardinality Constraints and Derandomizations. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:441-452 [Conf]
  39. Chien-Chung Huang
    Cheating to Get Better Roommates in a Random Stable Matching. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:453-464 [Conf]
  40. Costas Busch, Srikanta Tirthapura
    A Deterministic Algorithm for Summarizing Asynchronous Streams over a Sliding Window. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:465-476 [Conf]
  41. Nutan Limaye, Meena Mahajan, B. V. Raghavendra Rao
    Arithmetizing Classes Around NC 1 and L. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:477-488 [Conf]
  42. Manindra Agrawal, Thanh Minh Hoang, Thomas Thierauf
    The Polynomially Bounded Perfect Matching Problem Is in NC 2. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:489-499 [Conf]
  43. Arkadev Chattopadhyay, Andreas Krebs, Michal Koucký, Mario Szegedy, Pascal Tesson, Denis Thérien
    Languages with Bounded Multiparty Communication Complexity. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:500-511 [Conf]
  44. Telikepalli Kavitha, Kurt Mehlhorn, Dimitrios Michail
    New Approximation Algorithms for Minimum Cycle Bases of Graphs. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:512-523 [Conf]
  45. Iman Hajirasouliha, Hossein Jowhari, Ravi Kumar, Ravi Sundaram
    On Completing Latin Squares. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:524-535 [Conf]
  46. Artur Czumaj, Christian Sohler
    Small Space Representations for Metric Min-Sum k -Clustering and Their Applications. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:536-548 [Conf]
  47. Davide Bresolin, Angelo Montanari, Pietro Sala
    An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:549-560 [Conf]
  48. Thomas Schwentick, Volker Weber
    Bounded-Variable Fragments of Hybrid Logics. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:561-572 [Conf]
  49. Lutz Schröder, Dirk Pattinson
    Rank-1 Modal Logics Are Coalgebraic. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:573-585 [Conf]
  50. Gábor Ivanyos, Luc Sanselme, Miklos Santha
    An Efficient Quantum Algorithm for the Hidden Subgroup Problem in Extraspecial Groups. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:586-597 [Conf]
  51. Andrew M. Childs, Aram Wettroth Harrow, Pawel Wocjan
    Weak Fourier-Schur Sampling, the Hidden Subgroup Problem, and the Quantum Collision Problem. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:598-609 [Conf]
  52. Masahito Hayashi, Kazuo Iwama, Harumichi Nishimura, Rudy Raymond Harry Putra, Shigeru Yamashita
    Quantum Network Coding. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:610-621 [Conf]
  53. Mikolaj Bojanczyk, Piotr Hoffman
    Reachability in Unions of Commutative Rewriting Systems Is Decidable. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:622-633 [Conf]
  54. Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
    Associative-Commutative Deducibility Constraints. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:634-645 [Conf]
  55. Ralf Küsters, Tomasz Truderung
    On the Automatic Analysis of Recursive Security Protocols with XOR. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:646-657 [Conf]
  56. Iftah Gamzu, Danny Segev
    Improved Online Algorithms for the Sorting Buffer Problem. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:658-669 [Conf]
  57. Janina Brenner, Guido Schäfer
    Cost Sharing Methods for Makespan and Completion Time Scheduling. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:670-681 [Conf]
  58. Oleg Verbitsky
    Planar Graphs: Logical Complexity and Parallel Isomorphism Tests. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:682-693 [Conf]
  59. Henning Schnoor, Ilka Schnoor
    Enumerating All Solutions for Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:694-705 [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