Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 3 of 3823 results
Sort by: relevance publication year

Editors' foreword

JOURNAL ARTICLE published December 1989 in Journal of Computer and System Sciences

Authors: Steve Mahaney | Alan L. Selman

Editorial Board

JOURNAL ARTICLE published December 2008 in Journal of Computer and System Sciences

A kleene-like characterization of languages accepted by systolic tree automata

JOURNAL ARTICLE published August 1994 in Journal of Computer and System Sciences

Authors: E. Fachini | A. Monti

Editors' foreword

JOURNAL ARTICLE published June 1983 in Journal of Computer and System Sciences

Authors: Richard Demillo | Ronald Rivest | E.K. Blum

Comparison of Functional and Predicative Query Paradigms

JOURNAL ARTICLE published February 1997 in Journal of Computer and System Sciences

Authors: Catriel Beeri | Tova Milo

Measuring what matters: A hybrid approach to dynamic programming with treewidth

JOURNAL ARTICLE published November 2021 in Journal of Computer and System Sciences

Authors: Eduard Eiben | Robert Ganian | Thekla Hamm | O-joung Kwon

Relations between communication complexity classes

JOURNAL ARTICLE published December 1990 in Journal of Computer and System Sciences

Authors: Bernd Halstenberg | Rüdiger Reischuk

Reducing the Number of Solutions of NP Functions

JOURNAL ARTICLE published March 2002 in Journal of Computer and System Sciences

Authors: Lane A. Hemaspaandra | Mitsunori Ogihara | Gerd Wechsung

Is distributed locking harder?

JOURNAL ARTICLE published February 1984 in Journal of Computer and System Sciences

Authors: Paris C. Kanellakis | Christos H. Papadimitriou

Hierarchies of turing machines with restricted tape alphabet size

JOURNAL ARTICLE published August 1975 in Journal of Computer and System Sciences

Authors: Oscar H. Ibarra | Sartaj K. Sahni

The complexity of the temporal logic with “until” over general linear time

JOURNAL ARTICLE published March 2003 in Journal of Computer and System Sciences

Authors: M. Reynolds

Papers to Appear in Forthcoming Issues

JOURNAL ARTICLE published February 2001 in Journal of Computer and System Sciences

Modifications of the program scheme model

JOURNAL ARTICLE published June 1979 in Journal of Computer and System Sciences

Authors: Elaine J. Weyuker

Analysis of bounded linear cellular automata based on a method of image charges

JOURNAL ARTICLE published December 1986 in Journal of Computer and System Sciences

Authors: H.C. Card | A. Thanailakis | W. Pries | R.D. McLeod

Guest Editors’ foreword

JOURNAL ARTICLE published May 2005 in Journal of Computer and System Sciences

Authors: Richard Karp | Ming Li | Pavel Pevzner | Ron Shamir

Editorial Board

JOURNAL ARTICLE published February 1976 in Journal of Computer and System Sciences

Selective monitoring

JOURNAL ARTICLE published May 2021 in Journal of Computer and System Sciences

Research funded by EPSRC (EP/R012261/1)

Authors: Radu Grigore | Stefan Kiefer

A branching time logic with past operators

JOURNAL ARTICLE published October 1994 in Journal of Computer and System Sciences

Authors: Michael Kaminski

A Fault-Tolerance Model for Multiprocessor Real-Time Systems

JOURNAL ARTICLE published December 2000 in Journal of Computer and System Sciences

Authors: Sheng-Tzong Cheng | Chia-Mei Chen | Satish K. Tripathi

Papers to Appear in Forthcoming Issues

JOURNAL ARTICLE published December 2000 in Journal of Computer and System Sciences