Journal: Theory Comput. Syst.

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