Journal: J. Comput. Syst. Sci.

Volume 61, Issue 3

335 -- 361Klaus Ambos-Spies, Levke Bentzien. Separating NP-Completeness Notions under Strong Hypotheses
362 -- 399Mihir Bellare, Joe Kilian, Phillip Rogaway. The Security of the Cipher Block Chaining Message Authentication Code
400 -- 427Francesco Quaglia, Roberto Baldoni, Bruno Ciciani. On the No-Z-Cycle Property in Distributed Executions
428 -- 456Michael J. Kearns, Dana Ron. Testing Problems with Sublearning Sample Complexity
457 -- 477Sheng-Tzong Cheng, Chia-Mei Chen, Satish K. Tripathi. A Fault-Tolerance Model for Multiprocessor Real-Time Systems
478 -- 507Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino. On the Difference of Horn Theories
508 -- 522Kim S. Larsen. AVL Trees with Relaxed Balance
523 -- 557Jun-ichi Takeuchi, Naoki Abe, Shun-ichi Amari. The Lob-Pass Problem
558 -- 579Beate Bollig, Ingo Wegener. Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems

Volume 61, Issue 2

145 -- 0Jan Paredaens. Guest Editor s Forword
146 -- 193Peter Buneman, Wenfei Fan, Scott Weinstein. Path Constraints in Semistructured Databases
194 -- 216Pankaj K. Agarwal, Lars Arge, Jeff Erickson, Paolo Giulio Franciosa, Jeffrey Scott Vitter. Efficient Searching with Linear Constraints
217 -- 235Christos H. Papadimitriou, Prabhakar Raghavan, Hisao Tamaki, Santosh Vempala. Latent Semantic Indexing: A Probabilistic Analysis
236 -- 269Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha. Relational Transducers for Electronic Commerce
270 -- 301Luc Segoufin, Victor Vianu. Querying Spatial Databases via Topological Invariants
302 -- 332Phokion G. Kolaitis, Moshe Y. Vardi. Conjunctive-Query Containment and Constraint Satisfaction

Volume 61, Issue 1

1 -- 50Roderick Bloem, Joost Engelfriet. A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars
51 -- 80Dario Catalano, Rosario Gennaro. New Efficient and Secure Protocols for Verifiable Signature Sharing and Other Applications
81 -- 107Suresh Chari, Pankaj Rohatgi, Aravind Srinivasan. Improved Algorithms via Approximations of Probability Distributions
108 -- 143Gheorghe Paun. Computing with Membranes