thumbnail

Journal of Computer and System Sciences

SCOPUS (1967-2024)SCIE-ISI

  0022-0000

 

 

Cơ quản chủ quản:  ACADEMIC PRESS INC ELSEVIER SCIENCE , Academic Press Inc.

Lĩnh vực:
Computer Networks and CommunicationsApplied MathematicsTheoretical Computer ScienceComputational Theory and Mathematics

Các bài báo tiêu biểu

Optimization, approximation, and complexity classes
Tập 43 Số 3 - Trang 425-440 - 1991
Christos H. Papadimitriou, Mihalis Yannakakis
Testing for the consecutive ones property, interval graphs, and graph planarity using PQ-tree algorithms
Tập 13 Số 3 - Trang 335-379 - 1976
Kellogg S. Booth, George S. Lueker
Which Problems Have Strongly Exponential Complexity?
Tập 63 Số 4 - Trang 512-530 - 2001
Russell Impagliazzo, Ramamohan Paturi, Francis Zane
Probabilistic counting algorithms for data base applications
Tập 31 Số 2 - Trang 182-209 - 1985
Philippe Flajolet, G. Nigel Martin
Propositional dynamic logic of regular programs
Tập 18 Số 2 - Trang 194-211 - 1979
Michael J. Fischer, Richard E. Ladner
On the Complexity of k-SAT
Tập 62 Số 2 - Trang 367-375 - 2001
Russell Impagliazzo, Ramamohan Paturi
What's Decidable about Hybrid Automata?
Tập 57 Số 1 - Trang 94-124 - 1998
Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya
Probabilistic construction of deterministic algorithms: Approximating packing integer programs
Tập 37 Số 2 - Trang 130-143 - 1988
Prabhakar Raghavan
A framework for solving VLSI graph layout problems
Tập 28 Số 2 - Trang 300-343 - 1984
Sandeep Bhatt, Frank Thomson Leighton
Trans-dichotomous algorithms for minimum spanning trees and shortest paths
Tập 48 Số 3 - Trang 533-551 - 1994
Michael L. Fredman, Dan E. Willard