Editorial Board
TSP with bounded metrics
A parametric analysis of the state-explosion problem in model checking
Uniform generation in spatial constraint databases and applications
Average probe complexity in quorum systems
Infinite-state high-level MSCs: Model-checking and realizability
Sublogarithmic approximation for telephone multicast
LWPP and WPP are not uniformly gap-definable
Security of the design of time-stamped signatures
A distributed multiple dimensional QoS constrained resource scheduling optimization policy in computational grid
A password authentication scheme over insecure networks
Fuzzy LINMAP method for multiattribute decision making under fuzzy environments
Dimension, entropy rates, and compression
Corrigendum to “Completeness results for graph isomorphism” [J. Comput. System Sci. 66 (2003) 549–566]
Papers to appear in forthcoming issues