scispace - formally typeset
Search or ask a question
JournalISSN: 0022-0000

Journal of Computer and System Sciences 

Elsevier BV
About: Journal of Computer and System Sciences is an academic journal published by Elsevier BV. The journal publishes majorly in the area(s): Time complexity & Bounded function. It has an ISSN identifier of 0022-0000. Over the lifetime, 2756 publications have been published receiving 161014 citations. The journal is also known as: J. Comput. Syst. Sci..


Papers
More filters
Journal ArticleDOI
J. Lawrence Carter1, Mark N. Wegman1
TL;DR: An input independent average linear time algorithm for storage and retrieval on keys that makes a random choice of hash function from a suitable class of hash functions.

2,886 citations

Journal ArticleDOI
TL;DR: For the problem of finding the maximum clique in a graph, no algorithm has been found for which the ratio does not grow at least as fast as n^@e, where n is the problem size and @e>0 depends on the algorithm.

2,472 citations

Journal ArticleDOI
TL;DR: This work presents a formal type discipline for polymorphic procedures in the context of a simple programming language, and a compile time type-checking algorithm w which enforces the discipline.

2,423 citations

Journal ArticleDOI
Gheorghe Paun1
TL;DR: It is proved that the P systems with the possibility of objects to cooperate characterize the recursively enumerable sets of natural numbers; moreover, systems with only two membranes suffice.

2,327 citations

Journal ArticleDOI
TL;DR: A generalized model of rough sets called variable precision model (VP-model), aimed at modelling classification problems involving uncertain or imprecise information, is presented and the main concepts are introduced formally and illustrated with simple examples.

1,975 citations

Performance
Metrics
No. of papers from the Journal in previous years
YearPapers
202354
2022100
202164
202052
201950
201851