Journal: J. Comput. Syst. Sci.

Volume 59, Issue 3

373 -- 391Stephane Gaubert, Alessandro Giua. Petri Net Languages and Infinite Subsets of m
392 -- 411Nicolò Cesa-Bianchi. Analysis of Two Gradient-Based Algorithms for On-Line Regression
412 -- 449Flavio Corradini, Rocco De Nicola, Anna Labella. Models of Nondeterministic Regular Expressions
450 -- 475Lin Chen. Graph Isomorphism and Identification Matrices: Sequential Algorithms
476 -- 503Petr Jancar, Javier Esparza, Faron Moller. Petri Nets and Regular Processes
504 -- 520Bob P. Weems. Bistable Versions of the Marriages and Roommates Problems
521 -- 536Leo Liberti. Structure of the Invertible CA Transformations Group
537 -- 556Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini. Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems
557 -- 562Freddy Dumortier, Marc Gyssens, Luc Vandeurzen, Dirk Van Gucht. On the Decidability of Semilinearity for Semialgebraic Sets and Its Implications for Spatial Databases - CORRIGENDUM

Volume 59, Issue 2

164 -- 181Eric Allender, Klaus Reinhardt, Shiyu Zhou. Isolation, Matching, and Counting Uniform and Nonuniform Upper Bounds
182 -- 194Harry Buhrman, Lance Fortnow. Two Queries
195 -- 220Amos Beimel, Anna Gál. On Arithmetic Branching Programs
221 -- 239Jin-yi Cai, Ajay Nerurkar. Approximating the SVP to within a Factor (1+1/dim:::xi:::) Is NP-Hard under Randomized Reductions
240 -- 252Lance Fortnow, John D. Rogers. Complexity Limitations on Quantum Computation
253 -- 269Oded Goldreich, Madhu Sudan. Computational Indistinguishability: A Sample Hierarchy
270 -- 280D. Sivakumar. On Membership Comparable Sets
327 -- 345Harry Buhrman, Dieter van Melkebeek. Hard Sets Are Hard to Find
346 -- 372Ran Raz, Gábor Tardos, Oleg Verbitsky, Nikolai K. Vereshchagin. Arthur-Merlin Games in Boolean Decision Trees

Volume 59, Issue 1

1 -- 28Oscar H. Ibarra, Jianwen Su. A Technique for Proving Decidability of Containment and Equivalence of Linear Constraint Queries
29 -- 69Yuri Breitbart, Henry F. Korth. Replication and Consistency in a Distributed Environment
70 -- 83Zhixiang Chen, Foued Ameur. The Learnability of Unions of Two Rectangles in the Two-Dimensional Discretized Space
84 -- 93Pranay Chaudhuri. A Self-Stabilizing Algorithm for Detecting Fundamental Cycles in a Graph
94 -- 115Marianne Baudinet, Jan Chomicki, Pierre Wolper. Constraint-Generating Dependencies
116 -- 162Gösta Grahne, Matti Nykänen, Esko Ukkonen. Reasoning about Strings in Databases