Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical reports : dr. A.A. Schoone

Anneke  Schoone

select other reports

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, prof. 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.cs.uu.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.cs.uu.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.cs.uu.nl/research/techreps/repo/CS-1991/1991-32.ps.gz}},
urlpdf = {{http://www.cs.uu.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.cs.uu.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.cs.uu.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.cs.uu.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.cs.uu.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.cs.uu.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.cs.uu.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.cs.uu.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.cs.uu.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.cs.uu.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.cs.uu.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.cs.uu.nl/research/techreps/repo/CS-1980/1980-03.pdf}},
pubcat = {techreport}
}