home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by dr. A.A. Schoone

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

dr. A.A. Schoone

• contact information
• my technical reports
• former member of group algorithmic systems

some publications

Flatebo, M. & Schoone, A.A. (1993). Self-stabilizing l-Exclusion Algorithms. (RUU-CS93-01 ). Utrecht.

Schoone, A.A. (1992). Redesigning the window protocol; the block acknowledgement revisited. (RUU-CS92-04 ). Utrecht.

Mattern, F., Schoone, A.A. & Tel, G. (1991). Global virtual time approximation with distributed termination detection algorithms. (RUU-CS91-32 ). Utrecht.

Schoone, A.A. (1991). Synchronous link-level protocols. (RUU-CS91-02 ). Utrecht.

Schoone, A.A. (1990). Minimum hop route maintenance in static and dynamic networks. (RUU-CS90-18 ). Utrecht.

Drost, M.R. & Schoone, A.A. (1988). Assertional verification of a reset algorithm. (RUU-CS88-05 ). Utrecht.

Schoone, A.A. & Tel, G. (1988). Assertional verification of a termination detection algorithm. (RUU-CS88-06 ). Utrecht.

Schoone, A.A. & Tel, G. (1988). Transformation of a termination detection algorithm and its assertional correctness proof. (RUU-CS88-40 ). Utrecht.

Schoone, A.A. (1987). Verification of connection-management protocols. (RUU-CS87-14 ). Utrecht.

Schoone, A.A. & Leeuwen, J. van (1986). Simulation of parallel algorithms on a distributed network. (RUU-CS86-01 ). Utrecht.

Schoone, A.A., Bodlaender, H.L. & Leeuwen, J. van (1985). Diameter increase caused by edge deletion. (RUU-CS85-26 ). Utrecht.

Schoone, A.A. & Leeuwen, J. van (1985). Verification of balanced link-level protocols. (RUU-CS85-12 ). Utrecht.

Schoone, A.A. & Leeuwen, J. van (1980). Triangulating a starshaped polygon. (RUU-CS80-03 ). Utrecht.

Leeuwen, J. van & Schoone, A.A. (1980). Untangling a traveling salesman tour in the plane. (RUU-CS80-11 ). Utrecht.