Journal of Computer and System Sciences

Công bố khoa học tiêu biểu

Sắp xếp:  
Propositional dynamic logic of regular programs
Journal of Computer and System Sciences - Tập 18 Số 2 - Trang 194-211 - 1979
Michael J. Fischer, Richard E. Ladner
Communication in concurrent dynamic logic
Journal of Computer and System Sciences - Tập 35 Số 1 - Trang 23-58 - 1987
David Peleg
Towards Structured Parallel Computing on Architecture-Independent Parallel Algorithm Design for Distributed-Memory Architectures
Journal of Computer and System Sciences - Tập 53 - Trang 112-128 - 1996
Feng Gao
Independent database schemas
Journal of Computer and System Sciences - Tập 28 - Trang 121-141 - 1984
Marc H. Graham
k-distinct in- and out-branchings in digraphs
Journal of Computer and System Sciences - Tập 95 - Trang 86-97 - 2018
Gregory Gutin, Felix Reidl, Magnus Wahlström
On temporal graph exploration
Journal of Computer and System Sciences - Tập 119 - Trang 1-18 - 2021
Thomas Erlebach, Michael Hoffmann, Frank Kammer
The complexity of reachability in parametric Markov decision processes
Journal of Computer and System Sciences - Tập 119 - Trang 183-210 - 2021
Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler
Almost all graphs with average degree 4 are 3-colorable
Journal of Computer and System Sciences - Tập 67 - Trang 441-471 - 2003
Dimitris Achlioptas, Cristopher Moore
Some results on relativized deterministic and nondeterministic time hierarchies
Journal of Computer and System Sciences - Tập 22 - Trang 1-8 - 1981
Shlomo Moran
Subgraph isomorphism, log-bounded fragmentation, and graphs of (locally) bounded treewidth
Journal of Computer and System Sciences - Tập 73 - Trang 755-768 - 2007
MohammadTaghi Hajiaghayi, Naomi Nishimura
Tổng số: 1,408   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 141