Journal: Theory Comput. Syst.

Volume 48, Issue 3

443 -- 0Susanne Albers, Jean-Yves Marion. Preface: Special Issue on Theoretical Aspects of Computer Science (STACS)
444 -- 464Dániel Marx. Tractable Structures for Constraint Satisfaction with Truth Tables
465 -- 485Péter Gács, Mathieu Hoyrup, Cristobal Rojas. Randomness on Computable Probability Spaces - A Dynamical Point of View
486 -- 516Volker Diekert, Manfred Kufleitner. Fragments of First-Order Logic over Infinite Words
517 -- 534Juraj Hromkovic, Georg Schnitger. Ambiguity and Communication
535 -- 553Joël Alwen, Chris Peikert. Generating Shorter Bases for Hard Random Lattices
554 -- 576Mikolaj Bojanczyk. Weak MSO with the Unbounding Quantifier
577 -- 613Tomás Ebenlendr, Jiri Sgall. Semi-Online Preemptive Scheduling: One Algorithm for All Variants
614 -- 616Arnold Beckmann, Benedikt Löwe. Computability in Europe 2008
617 -- 647James I. Lathrop, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers. Computability and Complexity in Self-assembly
648 -- 679Lakshmi Manasa, Shankara Narayanan Krishna, Chinmay Jain. Model Checking Weighted Integer Reset Timed Automata
680 -- 692Michael Soltys, Craig Wilson. On the Complexity of Computing Winning Strategies for Finite Poset Games
693 -- 714Mathieu Sablik, Guillaume Theyssier. Topological Dynamics of Cellular Automata: Dimension Matters
715 -- 729Gabriel Ciobanu, Shankara Narayanan Krishna. Enhanced Mobile Membranes: Computability Results