Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 3823 results
Sort by: relevance publication year
Showing results for ISSN matching 0022-0000

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

https://doi.org/10.1016/s0022-0000(75)80049-3 Actions

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

https://doi.org/10.1016/s0022-0000(03)00005-9 Actions

Papers to Appear in Forthcoming Issues

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

https://doi.org/10.1006/jcss.2001.1745 Actions

Modifications of the program scheme model

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

Authors: Elaine J. Weyuker

https://doi.org/10.1016/0022-0000(79)90036-9 Actions

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

https://doi.org/10.1016/0022-0000(86)90063-2 Actions

Guest Editors’ foreword

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

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

https://doi.org/10.1016/j.jcss.2004.12.007 Actions

Editorial Board

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

https://doi.org/10.1016/s0022-0000(76)80012-8 Actions

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

https://doi.org/10.1016/j.jcss.2020.09.003 Actions

A branching time logic with past operators

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

Authors: Michael Kaminski

https://doi.org/10.1016/s0022-0000(05)80048-0 Actions

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

https://doi.org/10.1006/jcss.2000.1704 Actions

Papers to Appear in Forthcoming Issues

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

https://doi.org/10.1006/jcss.2000.1738 Actions

Learnability: Admissible, Co-Finite, and Hypersimple Languages

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

Authors: Ganesh Baliga | John Case

https://doi.org/10.1006/jcss.1996.0047 Actions

Prediction of short-lived TCP transfer latency on bandwidth asymmetric links

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

Authors: Guang Tan | Stephen A. Jarvis

https://doi.org/10.1016/j.jcss.2006.01.006 Actions

A technique for decomposing algorithms which use a single shared variable

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

Authors: Nancy A. Lynch | Michael J. Fischer

https://doi.org/10.1016/0022-0000(83)90047-8 Actions

Effective computation of immersion obstructions for unions of graph classes

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

Authors: Archontia C. Giannopoulou | Iosif Salem | Dimitris Zoros

https://doi.org/10.1016/j.jcss.2013.07.008 Actions

On the convergence of nonlinear simultaneous displacements

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

Authors: A. Pasquali

https://doi.org/10.1016/s0022-0000(69)80003-6 Actions

Author index for volume 44

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

https://doi.org/10.1016/0022-0000(92)90016-c Actions

Contents

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

https://doi.org/10.1016/s0022-0000(08)00029-9 Actions

Contents

JOURNAL ARTICLE published September 2010 in Journal of Computer and System Sciences

https://doi.org/10.1016/s0022-0000(10)00072-3 Actions

Better bounds for minimizing SONET ADMs

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

Authors: Leah Epstein | Asaf Levin

https://doi.org/10.1016/j.jcss.2008.08.003 Actions
Feedback: support@crossref.org