Journal•ISSN: 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 & Computer science. 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..
Topics: Time complexity, Computer science, Bounded function, Parameterized complexity, Upper and lower bounds
Papers published on a yearly basis
Papers
More filters
••
IBM1
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
••
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
••
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
••
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
••
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