Journal of Computer and System Sciences （JCSS） - Volume 78, Issue 2 论文列表
| 点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息 |
| 卷期号： Volume 78, Issue 2 |
| 发布时间： March 2012 |
| 卷期年份： 2012 |
| 卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/78/issue/2 |
本期论文列表
Editorial Board
Special Issue: Games in Verification
A survey of stochastic ω-regular games
Multi-valued model checking games
Solving parity games by a reduction to SAT
Finding and fixing faults
Model-checking hierarchical structures
Drawing a tree as a minimum spanning tree approximation
Representations of commutative asynchronous automata
Schützenberger and Eilenberg theorems for words on linear orderings
Size complexity of rotating and sweeping automata
On making directed graphs transitive
Parallel modular exponentiation using load balancing without precomputation
A structural/temporal query language for Business Processes
On sets without k-term arithmetic progression
Ultra-succinct representation of ordered trees with applications
Approximate shortest paths in weighted graphs
Enumerating homomorphisms
Two-server password-only authenticated key exchange
A linear time algorithm for the induced disjoint paths problem in planar graphs
The complexity of weighted and unweighted #CSP
Contents
Contents