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

technical reports : dr. A.A. Schoone

select other reports

• technical report index page
• below : list of indexed authors

this selection

author	dr. A.A. Schoone

reports (14)

techrep_id	file	title / author
RUU-CS-93-01	pdf	Self-stabilizing l-Exclusion Algorithms M. Flatebo and A.K. Datta and A.A. Schoonen
RUU-CS-92-04	pdf	Redesigning the window protocol; the block acknowledgement revisited A.A. Schoone
RUU-CS-91-32	ps.gz pdf	Global virtual time approximation with distributed termination detection algorithms F. Mattern, H. Mehl, A. A. Schoone, G. Tel
RUU-CS-91-02	pdf	Synchronous link-level protocols A.A.Schoone
RUU-CS-90-18	pdf	Minimum hop route maintenance in static and dynamic networks A.A. Schoone
RUU-CS-88-40	pdf	Transformation of a termination detection algorithm and its assertional correctness proof A.A. Schoone and G. Tel
RUU-CS-88-06	pdf	Assertional verification of a termination detection algorithm A.A. Schoone and G. Tel
RUU-CS-88-05	pdf	Assertional verification of a reset algorithm N.J. Drost and A.A. Schoone
RUU-CS-87-14	pdf	Verification of connection-management protocols A.A. Schoone
RUU-CS-86-01	pdf	Simulation of parallel algorithms on a distributed network A.A. Schoone and J. van Leeuwen
RUU-CS-85-26	pdf	Diameter increase caused by edge deletion A.Schoone and H.L.Bodlaender and J.van Leeuwen
RUU-CS-85-12	pdf	Verification of balanced link-level protocols A.A. Schoone and J. van Leeuwen
RUU-CS-80-11	pdf	Untangling a traveling salesman tour in the plane J. van Leeuwen and A.A. Schoone
RUU-CS-80-03	pdf	Triangulating a starshaped polygon A.A. Schoone and J. van Leeuwen

indexed (co) authors

author		group
Bodlaender, dr. H.L.	all reports	algorithmic systems	all reports
Leeuwen, prof. dr. (em.) J. van	all reports	algorithmic systems	all reports
Schoone, dr. A.A.	all reports	algorithmic systems	all reports
Tel, dr. G.	all reports	algorithmic systems	all reports

BibTeX entries

@TECHREPORT{RUUCS9301,
author = {Flatebo, M. and Datta, A.K. and Schoonen, A.A.},
year = 1993,
title = {Self-stabilizing l-Exclusion Algorithms},
number = {RUU-CS-93-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1993/1993-01.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS9204,
author = {Schoone, A.A.},
year = 1992,
title = {Redesigning the window protocol; the block acknowledgement revisited},
number = {RUU-CS-92-04},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1992/1992-04.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS9132,
author = {Mattern, F. and Mehl, H. and Schoone, A.~A. and Tel, G.},
year = 1991,
title = {Global virtual time approximation with distributed termination detection algorithms},
number = {RUU-CS-91-32},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.computingscience.nl/research/techreps/repo/CS-1991/1991-32.ps.gz}},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1991/1991-32.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS9102,
author = {A.A.Schoone},
year = 1991,
title = {Synchronous link-level protocols},
number = {RUU-CS-91-02},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1991/1991-02.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS9018,
author = {Schoone, A.A.},
year = 1990,
title = {Minimum hop route maintenance in static and dynamic networks},
number = {RUU-CS-90-18},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1990/1990-18.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8840,
author = {Schoone, A.A. and Tel, G.},
year = 1988,
title = {Transformation of a termination detection algorithm and its assertional correctness proof},
number = {RUU-CS-88-40},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1988/1988-40.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8806,
author = {Schoone, A.A. and Tel, G.},
year = 1988,
title = {Assertional verification of a termination detection algorithm},
number = {RUU-CS-88-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1988/1988-06.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8805,
author = {Drost, N.J. and Schoone, A.A.},
year = 1988,
title = {Assertional verification of a reset algorithm},
number = {RUU-CS-88-05},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1988/1988-05.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8714,
author = {Schoone, A.A.},
year = 1987,
title = {Verification of connection-management protocols},
number = {RUU-CS-87-14},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1987/1987-14.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8601,
author = {Schoone, A.A. and Leeuwen, J.~van},
year = 1986,
title = {Simulation of parallel algorithms on a distributed network},
number = {RUU-CS-86-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1986/1986-01.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8526,
author = {A.Schoone and H.L.Bodlaender and Leeuwen, J.van},
year = 1985,
title = {Diameter increase caused by edge deletion},
number = {RUU-CS-85-26},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1985/1985-26.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8512,
author = {Schoone, A.A. and Leeuwen, J.~van},
year = 1985,
title = {Verification of balanced link-level protocols},
number = {RUU-CS-85-12},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1985/1985-12.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8011,
author = {Leeuwen, J.~van and Schoone, A.A.},
year = 1980,
title = {Untangling a traveling salesman tour in the plane},
number = {RUU-CS-80-11},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1980/1980-11.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8003,
author = {Schoone, A.A. and Leeuwen, J.~van},
year = 1980,
title = {Triangulating a starshaped polygon},
number = {RUU-CS-80-03},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computingscience.nl/research/techreps/repo/CS-1980/1980-03.pdf}},
pubcat = {techreport}
}