default search action

combined dblp search
author search
venue search
publication search

ask others

Theory of Computing Systems, Volume 41

> Home > Journals > Theory of Computing Systems

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 41, Number 1, July 2007

- view
  authority control:
- export record
  dblp key:
  - journals/mst/CooperLB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/CooperLB07
S. Barry Cooper, Benedikt Löwe, Peter van Emde Boas:
Theory of Computation at CiE 2005. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/mst/BergstraM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/BergstraM07
Jan A. Bergstra, Cornelis A. Middelburg:
A Thread Algebra with Multi-Level Strategic Interleaving. 3-32
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Collins07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Collins07
Pieter Collins:
Optimal Semicomputable Approximations to Reachable and Invariant Sets. 33-48
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Farjudian07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Farjudian07
Amin Farjudian:
Shrad: A Language for Sequential Real Number Computation. 49-105
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Meer07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Meer07
Klaus Meer:
Some Relations between Approximation Problems and PCPs over the Real Numbers. 107-118
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Miltersen07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Miltersen07
Peter Bro Miltersen:
The Computational Complexity of One-Dimensional Sandpiles. 119-125
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Niqui07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Niqui07
Milad Niqui:
Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory. 127-154
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Zhong07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Zhong07
Ning Zhong:
Computable Analysis of a Boundary-Value Problem for the Korteweg-de Vries Equation. 155-175
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Ziegler07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Ziegler07
Martin Ziegler:
Real Hypercomputation and Continuity. 177-206

Volume 41, Number 2, August 2007

- view
  authority control:
- export record
  dblp key:
  - journals/mst/LiskiewiczR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/LiskiewiczR07
Maciej Liskiewicz, Rüdiger Reischuk:
Preface. 209-210
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Krieger07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Krieger07
Matthias P. Krieger:
On the Incompressibility of Monotone DNFs. 211-231
- view
  authority control:
- export record
  dblp key:
  - journals/mst/JurdzinskiL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/JurdzinskiL07
Tomasz Jurdzinski, Krzysztof Lorys:
Leftist Grammars and the Chomsky Hierarchy. 233-256
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Meister07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Meister07
Daniel Meister:
Polynomial-Space Decidable Membership Problems for Recurrent Systems over Sets of Natural Numbers. 257-289
- view
  authority control:
- export record
  dblp key:
  - journals/mst/SpakowskiT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/SpakowskiT07
Holger Spakowski, Rahul Tripathi:
On the Power of Unambiguity in Alternating Machines. 291-326
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Tantau07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Tantau07
Till Tantau:
Logspace Optimization Problems and Their Approximability Properties. 327-350
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Schelm07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Schelm07
Birgit Schelm:
Average-Case Non-Approximability of Optimisation Problems. 351-368
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Brinkmeier07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Brinkmeier07
Michael Brinkmeier:
A Simple and Fast Min-Cut Algorithm. 369-380
- view
  authority control:
- export record
  dblp key:
  - journals/mst/FominHK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/FominHK07
Fedor V. Fomin, Pinar Heggernes, Dieter Kratsch:
Exact Algorithms for Graph Homomorphisms. 381-393

Volume 41, Number 3, October 2007

- view
  authority control:
- export record
  dblp key:
  - journals/mst/DowneyE07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/DowneyE07
Rod Downey:
Foreword. 397
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Abu-Khzam07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Abu-Khzam07
Faisal N. Abu-Khzam:
Pseudo-Kernelization: A Branch-then-Reduce Approach for FPT Problems. 399-410
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Abu-KhzamFLS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Abu-KhzamFLS07
Faisal N. Abu-Khzam, Michael R. Fellows, Michael A. Langston, W. Henry Suters:
Crown Structures for Vertex Cover Kernelization. 411-430
- view
  authority control:
- export record
  dblp key:
  - journals/mst/BockenhauerHKK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/BockenhauerHKK07
Hans-Joachim Böckenhauer, Juraj Hromkovic, Joachim Kneis, Joachim Kupke:
The Parameterized Approximability of TSP with Deadlines. 431-444
- view
  authority control:
- export record
  dblp key:
  - journals/mst/BussI07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/BussI07
Jonathan F. Buss, Tarique Islam:
Algorithms in the W-Hierarchy. 445-457
- view
  authority control:
- export record
  dblp key:
  - journals/mst/CaiFJR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/CaiFJR07
Liming Cai, Michael R. Fellows, David W. Juedes, Frances A. Rosamond:
The Complexity of Polynomial-Time Approximation. 459-477
- view
  authority control:
- export record
  dblp key:
  - journals/mst/DehneFLRS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/DehneFLRS07
Frank K. H. A. Dehne, Michael R. Fellows, Michael A. Langston, Frances A. Rosamond, Kim Stevens:
An O(2^O(k)n³) FPT Algorithm for the Undirected Feedback Vertex Set Problem. 479-492
- view
  authority control:
- export record
  dblp key:
  - journals/mst/FuchsKMRRW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/FuchsKMRRW07
Bernhard Fuchs, Walter Kern, Daniel Mölle, Stefan Richter, Peter Rossmanith, Xinhui Wang:
Dynamic Programming for Minimum Steiner Trees. 493-500
- view
  authority control:
- export record
  dblp key:
  - journals/mst/GuoNW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/GuoNW07
Jiong Guo, Rolf Niedermeier, Sebastian Wernicke:
Parameterized Complexity of Vertex Cover Variants. 501-520
- view
  authority control:
- export record
  dblp key:
  - journals/mst/GutinRSY07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/GutinRSY07
Gregory Z. Gutin, Arash Rafiey, Stefan Szeider, Anders Yeo:
The Linear Arrangement Problem Parameterized Above Guaranteed Value. 521-538
- view
  authority control:
- export record
  dblp key:
  - journals/mst/HallettM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/HallettM07
Michael T. Hallett, Catherine McCartin:
A Faster FPT Algorithm for the Maximum Agreement Forest Problem. 539-550
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Hlineny07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Hlineny07
Petr Hlinený:
Some Hard Problems on Matroid Spikes. 551-562
- view
  authority control:
- export record
  dblp key:
  - journals/mst/RamanSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/RamanSS07
Venkatesh Raman, Saket Saurabh, Somnath Sikdar:
Efficient Exact Algorithms through Enumerating Maximal Independent Sets and Other Techniques. 563-587

Volume 41, Number 4, December 2007

- view
  authority control:
- export record
  dblp key:
  - journals/mst/Sadakane07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Sadakane07
Kunihiko Sadakane:
Compressed Suffix Trees with Full Functionality. 589-607
- view
  authority control:
- export record
  dblp key:
  - journals/mst/CedoCRSL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/CedoCRSL07
F. Cedo, Ana Cortés, Ana Ripoll, Miquel A. Senar, Emilio Luque:
The Convergence of Realistic Distributed Load-Balancing Algorithms. 609-618
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Voigtlander07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Voigtlander07
Janis Voigtländer:
Formal Efficiency Analysis for Tree Transducer Composition. 619-689
- view
  authority control:
- export record
  dblp key:
  - journals/mst/ElkinP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/ElkinP07
Michael Elkin, David Peleg:
The Hardness of Approximating Spanner Problems. 691-729
- view
  authority control:
- export record
  dblp key:
  - journals/mst/GaoM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/GaoM07
Li Gao, Grzegorz Malewicz:
Toward Maximizing the Quality of Results of Dependent Tasks Computed Unreliably. 731-752
- view
  authority control:
- export record
  dblp key:
  - journals/mst/BohlerS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/BohlerS07
Elmar Böhler, Henning Schnoor:
The Complexity of the Descriptiveness of Boolean Circuits over Different Sets of Gates. 753-777
- view
  authority control:
- export record
  dblp key:
  - journals/mst/KapoorS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/KapoorS07
Sanjiv Kapoor, Mohammad Sarwat:
Bounded-Diameter Minimum-Cost Graph Problems. 779-794

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.