Flatebo, M. & Schoone, A.A. (1993). Self-stabilizing l-Exclusion Algorithms. RUU-CS 93-01. Utrecht.
|
Schoone, A.A. (1992). Redesigning the window protocol; the block acknowledgement revisited. RUU-CS 92-04. Utrecht.
|
Mattern, F., Schoone, A.A. & Tel, G. (1991). Global virtual time approximation with distributed termination detection algorithms. RUU-CS 91-32. Utrecht.
|
Schoone, A.A. (1991). Synchronous link-level protocols. RUU-CS 91-02. Utrecht.
|
Schoone, A.A. (1990). Minimum hop route maintenance in static and dynamic networks. RUU-CS 90-18. Utrecht.
|
Drost, M.R. & Schoone, A.A. (1988). Assertional verification of a reset algorithm. RUU-CS 88-05. Utrecht.
|
Schoone, A.A. & Tel, G. (1988). Assertional verification of a termination detection algorithm. RUU-CS 88-06. Utrecht.
|
Schoone, A.A. & Tel, G. (1988). Transformation of a termination detection algorithm and its assertional correctness proof. RUU-CS 88-40. Utrecht.
|
Schoone, A.A. (1987). Verification of connection-management protocols. RUU-CS 87-14. Utrecht.
|
Schoone, A.A. & Leeuwen, J. van (1986). Simulation of parallel algorithms on a distributed network. RUU-CS 86-01. Utrecht.
|
Schoone, A.A., Bodlaender, H.L. & Leeuwen, J. van (1985). Diameter increase caused by edge deletion. RUU-CS 85-26. Utrecht.
|
Schoone, A.A. & Leeuwen, J. van (1985). Verification of balanced link-level protocols. RUU-CS 85-12. Utrecht.
|
Schoone, A.A. & Leeuwen, J. van (1980). Triangulating a starshaped polygon. RUU-CS 80-03. Utrecht.
|
Leeuwen, J. van & Schoone, A.A. (1980). Untangling a traveling salesman tour in the plane. RUU-CS 80-11. Utrecht.
|
webmaster@cs.uu.nl,
Wed, 23 May 2012 22:33:32 +0200
←
Departement Informatica, Universiteit Utrecht