0022-0000

Journal of Computer and System Sciences (JCSS) - Volume 115 论文列表

本期论文列表
Editorial Board

Searching by heterogeneous agents

Attack and defense in the layered cyber-security model and their (1 ± ϵ)-approximation schemes

Edge fault-tolerance analysis of maximally edge-connected graphs and super edge-connected graphs

Equivalence of pushdown automata via first-order grammars

Deciding the point-to-fixed-point problem for skew tent maps on an interval

Deterministic protocols in the SINR model without knowledge of coordinates

Understanding PPA-completeness

Assigning times to minimise reachability in temporal graphs

Approximating partition functions of bounded-degree Boolean counting Constraint Satisfaction Problems

Preimage problems for deterministic finite automata

Circular pattern matching with k mismatches

Largest common prefix of a regular tree language

On the fast delivery problem with one or two packages

Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic