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

Learnability: Admissible, Co-Finite, and Hypersimple Languages

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

Authors: Ganesh Baliga | John Case

An n log n algorithm for determining the congruity of polyhedra

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

Authors: Kōkichi Sugihara

Bisimulation equivalence and regularity for real-time one-counter automata

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

Authors: Stanislav Böhm | Stefan Göller | Petr Jančar

Relative Serializability: An Approach for Relaxing the Atomicity of Transactions

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

Authors: V. Krishnaswamy | D. Agrawal | J.L. Bruno | A. El Abbadi

Bounded incentives in manipulating the probabilistic serial rule

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

Authors: Haoqiang Huang | Zihe Wang | Zhide Wei | Jie Zhang

Corrigendum to “Prediction, learning, uniform convergence, and scale-sensitive dimensions” [J. Comput. Syst. Sci. 56 (2) (1998) 174–190]

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

Authors: Peter L. Bartlett | Philip M. Long

Special issue foreword: Advances in pervasive computing systems and applications

JOURNAL ARTICLE published July 2011 in Journal of Computer and System Sciences

Authors: Fatos Xhafa | Leonard Barolli

A deterministic approximation algorithm for computing the permanent of a 0,1 matrix

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

Authors: David Gamarnik | Dmitriy Katz

Lower bounds on the size of deterministic parsers

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

Authors: Esko Ukkonen

Tape bounds for time-bounded turing machines

JOURNAL ARTICLE published April 1972 in Journal of Computer and System Sciences

Authors: Michael S. Paterson

The satisfiability problem for a quantitative fragment of PCTL

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

Research funded by Grantová Agentura České Republiky (21-24711S)

Authors: Miroslav Chodil | Antonín Kučera

Synchronous counting and computational algorithm design

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

Research funded by I-CORE (Center No. 4/11) | Ministry of Science and Technology (3/9778) | Academy of Finland (139402,277522) | Academy of Finland (251170,276412,284591) | Academy of Finland (132380,252018) | National Science Foundation (CCF-AF-0937274,CNS-1035199,0939370-CCF,CCF-1217506) | AFOSR (FA9550-13-1-0042) | DFG (Le 3107/1-1)

Authors: Danny Dolev | Keijo Heljanko | Matti Järvisalo | Janne H. Korhonen | Christoph Lenzen | Joel Rybicki | Jukka Suomela | Siert Wieringa

Corrigendum to “Shifting: One-inclusion mistake bounds and sample compression” [J. Comput. System Sci. 75 (1) (2009) 37–59]

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

Authors: Benjamin I.P. Rubinstein | Peter L. Bartlett | J. Hyam Rubinstein

Author index for volume 27

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

Contents

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

Special issue on Algorithmic Theory of Dynamic Networks and Its Applications – Preface

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

Authors: Silvia Bonomi | Giuseppe A. Di Luna | Othon Michail | Leonardo Querzoni

Editorial Board

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

Special SIGACT issue

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

Authors: Michael J. Fischer

Editorial Board

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

Cutting plane algorithms and state space constrained linear optimal control problems

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

Authors: Kailash C. Kapur | Richard M. Van Slyke