Journal: J. Comput. Syst. Sci.

Volume 54, Issue 3

383 -- 392Manindra Agrawal. DSPACE(n) = NSPACE(n): A Degree Theoretic Characterization
393 -- 399Harry Buhrman, Elvira Mayordomo. An Excursion to the Kolmogorov Random Strings
400 -- 411Kousha Etessami. Counting Quantifiers, Successor Relations, and Logarithmic Space
412 -- 423John D. Rogers. The Isomorphism Conjecture Holds and One-Way Functions Exists Relative to an Oracle
424 -- 436James S. Royer. Semantics vs Syntax vs Computations: Machine Models for Type-2 Polynomial-Time Bounded Functionals
437 -- 440Nicholas Q. Trân. On P-Immunity of Exponential Time Complete Sets
441 -- 464Domenico Saccà. The Expressive Powers of Stable Models for Bound and Unbound DATALOG Queries
465 -- 474Liming Cai, Jianer Chen. On Fixed-Parameter Tractability and Approximability of NP Optimization Problems
475 -- 486Yosi Ben-Asher, Ilan Newman. Geometric Approach for Optimal Routing on a Mesh with Buses
487 -- 501H. David Mathias. A Model of Interactive Teaching
502 -- 519Karl Meinke. A Completeness Theorem for the Expressive Power of Higher-Order Algebraic Specifications

Volume 54, Issue 2

215 -- 220Dror Lapidot, Adi Shamir. Fully Parallelized Multi-Prover Protocols for NEXP-Time
221 -- 226Jaikumar Radhakrishnan. Better Lower Bounds for Monotone Threshold Formulas
227 -- 242Donald B. Johnson, Panagiotis Takis Metaxas. Connected Components in O (log^3/2 n) Parallel Time for the CREW PRAM
243 -- 254Zvi Galil, Oded Margalit. All Pairs Shortest Paths for Graphs with Small Integer Length Edges
255 -- 262Noga Alon, Zvi Galil, Oded Margalit. On the Exponent of the All Pairs Shortest Path Problem
265 -- 304Frank Thomson Leighton, Yuan Ma, C. Greg Plaxton. Breaking the Theta (n log² n) Barrier for Sorting with Faults
305 -- 316Uriel Feige. A Spectrum of Time-Space Trade-Offs for Undirected s-t Connectivity
317 -- 331Sanjeev Arora, László Babai, Jacques Stern, Z. Sweedyk. The Hardness of Approximate Optima in Lattices, Codes, and Systems of Linear Equations
332 -- 344Charles E. Leiserson, Satish Rao, Sivan Toledo. Efficient Out-of-Core Algorithms for Linear Relaxation Using Blocking Covers
345 -- 370Amir M. Ben-Amram. When Can We Sort in o(n log n) Time?
371 -- 380Avrim Blum, Ravindran Kannan. Learning an Intersection of a Constant Number of Halfspaces over a Uniform Distribution

Volume 54, Issue 1

3 -- 33Catriel Beeri, Tova Milo. Comparison of Functional and Predicative Query Paradigms
34 -- 47Jan Van den Bussche, Dirk Van Gucht. A Semideterministic Approach to Object Creation and Nondeterminism in Database Queries
48 -- 60Christos H. Papadimitriou, Mihalis Yannakakis. Tie-Breaking Semantics and Structural Totality
61 -- 78Surajit Chaudhuri, Moshe Y. Vardi. On the Equivalence of Recursive and Nonrecursive Datalog Programs
79 -- 97Kenneth A. Ross, Yehoshua Sagiv. Monotonic Aggregation in Deductive Database
98 -- 112Gösta Grahne, Alberto O. Mendelzon, Peter Z. Revesz. Knowledgebase Transformations
113 -- 135Ron van der Meyden. The Complexity of Querying Indefinite Data about Linearly Ordered Domains
136 -- 166Anthony J. Bonner, Tomasz Imielinski. Reusing and Modifying Rulebases by Predicate Substitution
169 -- 176Marek Karpinski, Angus Macintyre. Polynomial Bounds for VC Dimension of Sigmoidal and General Pfaffian Neural Networks
177 -- 189Pascal Koiran. A Weak Version of the Blum, Shub, and Smale Model
190 -- 198Pascal Koiran, Eduardo D. Sontag. Neural Networks with Quadratic VC Dimension
199 -- 212György Turán, Farrokh Vatan. On the Computation of Boolean Functions by Analog Circuits of Bounded Fan-In