Journal: Theory Comput. Syst.

Volume 48, Issue 4

731 -- 766Elvira Mayordomo, Philippe Moser, Sylvain Perifel. Polylog Space Compression, Pushdown Compression, and Lempel-Ziv Are Incomparable
767 -- 780Wen-Chiao Cheng. Conditional Fuzzy Entropy of Maps in Fuzzy Systems
781 -- 802Tobias Harks. Stackelberg Strategies and Collusion in Network Games with Splittable Flow
803 -- 839Yijia Chen, Jörg Flum, Moritz Müller. Lower Bounds for Kernelizations and Other Preprocessing Procedures
840 -- 864Jan A. Bergstra, Inge Bethke. Straight-line Instruction Sequence Completeness for Total Calculation on Cancellation Meadows
865 -- 887Jesper Jansson, Zeshan Peng. Algorithms for Finding a Most Similar Subforest

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

Volume 48, Issue 2

247 -- 268Bruno Bauwens, Sebastiaan A. Terwijn. Notes on Sum-Tests and Independence Tests
269 -- 296Michael A. Bender, Bradley C. Kuszmaul, Shang-Hua Teng, Kebin Wang. Optimal Cache-Oblivious Mesh Layouts
297 -- 318Jakob Grue Simonsen. Beta-Shifts, Their Languages, and Computability
319 -- 342Artur Jez, Alexander Okhotin. Complexity of Equations over Sets of Natural Numbers
343 -- 373Hartmut Messerschmidt, Friedrich Otto. A Hierarchy of Monotone Deterministic Non-Forgetting Restarting Automata
374 -- 388Tamir Levi, Ami Litman. The Strongest Model of Computation Obeying 0-1 Principles
389 -- 401Ching-Lueh Chang, Yuh-Dauh Lyuu. Spreading of Messages in Random Graphs
402 -- 410Gregory Gutin, Eun Jung Kim, Michael Lampis, Valia Mitsou. Vertex Cover Problem Parameterized Above and Below Tight Bounds
411 -- 427Markus Lohrey, Benjamin Steinberg. Tilings and Submonoids of Metabelian Groups
428 -- 442Khanh Do Ba, Huy L. Nguyen, Huy N. Nguyen, Ronitt Rubinfeld. Sublinear Time Algorithms for Earth Mover s Distance

Volume 48, Issue 1

1 -- 22Antonio Fernández Anta, José Luis López-Presa, M. Araceli Lorenzo, Pilar Manzano, Juan Martinez-Romo, Alberto Mozo, Christopher Thraves. Performance of Scheduling Policies in Adversarial Networks with Non-synchronized Clocks
23 -- 47Manfred Droste, Heiko Vogler. Weighted Logics for Unranked Tree Automata
48 -- 78Ina Fichtner. Weighted Picture Automata and Weighted Logics
79 -- 92Leah Epstein, Rob van Stee. Improved Results for a Memory Allocation Problem
93 -- 131Stefan Göller, Markus Lohrey. Fixpoint Logics over Hierarchical Structures
132 -- 149Shlomi Dolev, Marina Kopeetsky, Adi Shamir. RFID Authentication Efficient Proactive Information Security within Computational Security
150 -- 169Ryan Williams. Parallelizing Time with Polynomial Circuits
170 -- 188Beate Bollig, Jochen Klump. New Results on the Most Significant Bit of Integer Multiplication
189 -- 210Yoshifumi Sakai. An Almost Quadratic Time Algorithm for Sparse Spliced Alignment
211 -- 245Markus Bläser, Andreas Jakoby, Maciej Liskiewicz, Bodo Manthey. Privacy in Non-private Environments