Journal: Theory Comput. Syst.

Volume 53, Issue 2

123 -- 125Christoph Dürr, Thomas Schwentick. Preface of Special Issue on Theoretical Aspects of Computer Science
126 -- 158Stefan Gulan. Series Parallel Digraphs with Loops - Graphs Encoded by Regular Expression
159 -- 193Dominik D. Freydenberger. Extended Regular Expressions: Succinctness and Decidability
194 -- 222Mikolaj Bojanczyk. Nominal Monoids
223 -- 242Nazim Fatès. Stochastic Cellular Automata Solutions to the Density Classification Problem - When Randomness Helps Computing
243 -- 262Jonathan A. Kelner, Alex Levin. Spectral Sparsification in the Semi-streaming Setting
263 -- 299Bart M. P. Jansen, Hans L. Bodlaender. Vertex Cover Kernelization Revisited - Upper and Lower Bounds for a Refined Parameter
300 -- 317Magnús M. Halldórsson, Boaz Patt-Shamir, Dror Rawitz. Online Scheduling with Interval Conflicts
318 -- 340Liah Kor, Amos Korman, David Peleg. Tight Bounds for Distributed Minimum-Weight Spanning Tree Verification
341 -- 363Petr Kolman, Christian Scheideler. Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing