Journal: J. Comput. Syst. Sci.

Volume 62, Issue 4

537 -- 564Yasunori Ishihara, Shougo Shimizu, Hiroyuki Seki, Minoru Ito. Refinements of Complexity Results on Type Consistency for Object-Oriented Databases
565 -- 588Juraj Hromkovic, Sebastian Seibert, Thomas Wilke. Translating Regular Expressions into Small -Free Nondeterministic Finite Automata
589 -- 607Yonatan Aumann, Johan HÃ¥stad, Michael O. Rabin, Madhu Sudan. Linear-Consistency Testing
608 -- 628Changwook Kim. Separation Results for Separated Apex NLC and NCE Graph Languages
629 -- 652Clemens Lautemann, Pierre McKenzie, Thomas Schwentick, Heribert Vollmer. The Descriptive Complexity Approach to LOGCFL
653 -- 667Marcus Hutter. New Error Bounds for Solomonoff Prediction
668 -- 690Yonit Kesten, Amir Pnueli, Moshe Y. Vardi. Verification by Augmented Abstraction: The Automata-Theoretic View

Volume 62, Issue 3

385 -- 397Baruch Awerbuch, Yossi Azar, Serge A. Plotkin, Orli Waarts. Competitive Routing of Virtual Circuits with Unknown Duration
398 -- 412John H. Reif. Parallel Output-Sensitive Algorithms for Combinatorial and Linear Algebra Problems
413 -- 441John Case, Sanjay Jain. Synthesizing Learners Tolerating Computable Noisy Data
442 -- 462Vincent D. Blondel, Olivier Bournez, Pascal Koiran, John N. Tsitsiklis. The Stability of Saturated Linear Dynamical Systems Is Undecidable
463 -- 515Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone. On ACTL Formulas Having Linear Counterexamples
516 -- 527Yi Li, Philip M. Long, Aravind Srinivasan. Improved Bounds on the Sample Complexity of Learning
528 -- 534Jinde Cao, Qing Tao. Estimation on Domain of Attraction and Convergence Rate of Hopfield Continuous Feedback Neural Networks

Volume 62, Issue 2

215 -- 0Lance Fortnow. Guest Editor s Foreword
216 -- 235J. Maurice Rojas. Computational Arithmetic Geometry I. Sentences Nearly in the Polynomial Hierarchy
236 -- 266Madhu Sudan, Luca Trevisan, Salil P. Vadhan. Pseudorandom Generators without the XOR Lemma
267 -- 289Samuel R. Buss, Dima Grigoriev, Russell Impagliazzo, Toniann Pitassi. Linear Gaps between Degrees for the Polynomial Calculus Modulo Distinct Primes
290 -- 322Marcus Schaefer. Graph Ramsey Theory and the Polynomial Hierarchy
323 -- 355Stephen Ponzio, Jaikumar Radhakrishnan, Srinivasan Venkatesh. The Communication Complexity of Pointer Chasing
356 -- 366Eric Allender, Michael E. Saks, Igor Shparlinski. A Lower Bound for Primality
367 -- 375Russell Impagliazzo, Ramamohan Paturi. On the Complexity of k-SAT
376 -- 391John Watrous. Quantum Simulations of Classical Random Walks and Undirected Graph Connectivity

Volume 62, Issue 1

1 -- 14Silvia Ghilezan. Full Intersection Types and Topologies in Lambda Calculus
15 -- 42Fosca Giannotti, Dino Pedreschi, Carlo Zaniolo. Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases
43 -- 72Paolo Liberatore, Marco Schaerf. Belief Revision and Update: Complexity of Model Checking
73 -- 122Anna Philippou, David Walker. A Process-Calculus Analysis of Concurrent Operations on B-Trees
123 -- 151Sally A. Goldman, Stephen Kwek, Stephen D. Scott. Agnostic Learning of Geometric Patterns
152 -- 177Richard Cole, Bruce M. Maggs, Ramesh K. Sitaraman. On the Benefit of Supporting Virtual Channels in Wormhole Routers
178 -- 212Sanjay Jain, Carl H. Smith, Rolf Wiehagen. Robust Learning Is Rich