Journal: Theory Comput. Syst.

Volume 44, Issue 4

501 -- 502Thomas Schwentick, Dan Suciu. Foreword
503 -- 532Nilesh N. Dalvi. Query Evaluation on a Database Given by a Random Graph
533 -- 560Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche. Database Query Processing Using Finite Cursor Machines
561 -- 589Balder ten Cate, Maarten Marx. Axiomatizing the Logical Core of XPath 2.0
590 -- 619Edward L. Robertson, Lawrence V. Saxton, Dirk Van Gucht, Stijn Vansummeren. Structural Recursion as a Query Language on Lists and Ordered Trees
620 -- 652Jerzy Marcinkowski, Piotr Wieczorek. Modulo Constraints and the Complexity of Typechecking XML Views

Volume 44, Issue 3

289 -- 303Andy Kwok, Chung Keung Poon. Two-Dimensional Packet Classification and Filter Conflict Resolution in the Internet
304 -- 331Maria J. Blesa, Daniel Calzada, Antonio Fernández, Luis López, Andrés L. Martínez, Agustín Santos, Maria J. Serna, Christopher Thraves. Adversarial Queueing Model for Continuous Network Dynamics
332 -- 348Andre Gronemeier, Martin Sauerhoff. Applying Approximate Counting for Computing the Frequency Moments of Long Data Streams
349 -- 355Minghui Jiang. A Linear-Time Algorithm for Hamming Distance with Shifts
356 -- 368Takayuki Nagoya. Computing Graph Automorphism from Partial Solutions
369 -- 390Christian Glaßer, Stephen D. Travers. Machines that Can Output Empty Words
391 -- 413Detlef Sieling. Minimization Problems for Parity OBDDs
414 -- 431Yan-Hui Zhai, Kai-She Qu. On Characteristics of Information System Homomorphisms
432 -- 454Michael Domaratzki. Hairpin Structures Defined by DNA Trajectories
455 -- 499Zoltán Fülöp, Andreas Maletti, Heiko Vogler. A Kleene Theorem for Weighted Tree Automata over Distributive Multioperator Monoids

Volume 44, Issue 2

141 -- 142Pierluigi Crescenzi, Fabrizio Luccio, Geppino Pucci. Foreword
143 -- 159Giuseppe Di Battista, Fabrizio Frati, Maurizio Patrignani. On Embedding a Graph in the Grid with the Maximum Number of Bends and Other Bad Features
160 -- 174Helmut Alt, Hans L. Bodlaender, Marc J. van Kreveld, Günter Rote, Gerard Tel. Wooden Geometric Puzzles: Design and Hardness Proofs
175 -- 185Kunal Agrawal, Michael A. Bender, Jeremy T. Fineman. The Worst Page-Replacement Policy
186 -- 204Flaminia L. Luccio. Contiguous Search Problem in Sierpinski Graphs
205 -- 214Rudolf Fleischer. Die Another Day
215 -- 229Michael Lampis, Valia Mitsou. The Ferry Cover Problem
230 -- 244Kazuo Iwama, Eiji Miyano, Hirotaka Ono. Drawing Borders Efficiently
245 -- 268Ronen Gradwohl, Moni Naor, Benny Pinkas, Guy N. Rothblum. Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles
269 -- 288Paolo Boldi, Flavio Chierichetti, Sebastiano Vigna. Pictures from Mongolia. Extracting the Top Elements from a Partially Ordered Set

Volume 44, Issue 1

1 -- 38Keisuke Nakano. Composing Stack-Attributed Tree Transducers
39 -- 66Victor Luchangco, Mark Moir, Nir Shavit. Nonblocking ::::k:::: -Compare-Single-Swap
67 -- 81Leah Epstein, Rob van Stee, Tami Tamir. Paging with Request Sets
91 -- 104Fábio Protti, Maise Dantas da Silva, Jayme Luiz Szwarcfiter. Applying Modular Decomposition to Parameterized Cluster Editing Problems
105 -- 116Sanpawat Kantabutra, Jakarin Chawachat. On Embedding of a Hypercube in a Completely Overlapping Network
117 -- 139Michael Bauland, Edith Hemaspaandra. Isomorphic Implication