Journal: J. Comput. Syst. Sci.

Volume 71, Issue 1

1 -- 33Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. Graph-based specification of access control policies
34 -- 69Ruggero Lanotte, Andrea Maggiolo-Schettini. Monotonic hybrid systems
70 -- 85Tetz C. Huang. A self-stabilizing algorithm for the shortest path problem assuming read/write atomicity
86 -- 143John H. Reif. Efficient parallel factorization and solution of structured and unstructured linear systems