technical reports : dr. G. Tel

select other reports
this selection
reports (26)
| techrep_id |
file |
title / author |
| UU-CS-2007-050 |
ps.gz pdf |
Complexity Results for Local Monotonicity in Probabilistic Networks Johan Kwisthout, Hans L. Bodlaender, Gerard Tel |
| UU-CS-2007-009 |
ps.gz pdf |
Wooden Geometric Puzzles: Design and Hardness Proofs Helmut Alt, Hans L. Bodlaender, Marc van Kreveld, Günter Rote, Gerard Tel |
| UU-CS-2006-058 |
pdf |
Complexity Results for Enhanced Qualitative Probabilistic Networks Johan Kwisthout and Gerard Tel |
| UU-CS-2006-017 |
pdf |
Geheimschrift op de TI-83+ Gerard Tel |
| UU-CS-2003-033 |
ps.gz pdf |
Rectilinear Graphs and Angular Resolution Hans L. Bodlaender and Gerard Tel |
| UU-CS-1998-43 |
ps.gz pdf |
Cryptografie: van DES tot Chipknip G. Tel |
| UU-CS-1998-42 |
ps.gz pdf |
Time and bit optimal broadcasting on anonymous unoriented hypercubes S. Dobrev, P. Ruzicka, G. Tel |
| UU-CS-1998-17 |
ps.gz pdf |
Distributed control for AI G. Tel |
| RUU-CS-93-39 |
ps.gz pdf |
Linear election for oriented hypercubes G. Tel |
| RUU-CS-93-37 |
pdf |
Advanced Distributed Algorithms T. Herman and G. Tel |
| 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-08 |
ps.gz pdf |
Network Orientation G. Tel |
| RUU-CS-90-24 |
ps.gz pdf |
The derivation of distributed termination detection algorithms from garbage collection schemes G. Tel, F. Mattern |
| RUU-CS-89-23 |
pdf |
The one-dimensional skewing problem G. Tel and J. van Leeuwen and H.A.G. Wijshoff |
| RUU-CS-89-22 |
ps.gz pdf |
Trade-offs in non-reversing diameter H. L. Bodlaender, G. Tel, N. Santoro |
| RUU-CS-89-02 |
pdf |
Bit-optimal election in synchronous rings H.L. Bodlaender and G. Tel |
| 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-23 |
ps.gz pdf |
Optimal Synchronization of ABD Networks G. Tel, E. Korach, S. Zaks |
| RUU-CS-88-16 |
ps.gz pdf |
Total algorithms G. Tel |
| RUU-CS-88-06 |
pdf |
Assertional verification of a termination detection algorithm A.A. Schoone and G. Tel |
| RUU-CS-87-15 |
pdf |
Assertional verification of a timer-based protocol G. Tel |
| RUU-CS-87-06 |
pdf |
Directed network protocols (revised edition) G. Tel |
| RUU-CS-86-12 |
pdf |
Distributed infimum approximation G. Tel |
| RUU-CS-86-11 |
pdf |
The derivation of graph marking algorithms from distributed termination detection protocols G.Tel and R.B. Tan and J. van Leeuwen |
| RUU-CS-86-08 |
not online |
The one-dimensional skewing problem G.Tel and J. van Leeuwen and H.A.G. Wijshoff |
| RUU-CS-85-24 |
pdf |
Hierarchical memory systems in multiprocessors and multi-periodic skewing schemes G.Tel and H.A.G. Wijshoff |
BibTeX entries
@TECHREPORT{UUCS2007050,
author = {Kwisthout, Johan and Bodlaender, Hans~L. and Tel, Gerard},
year = 2007,
title = {Complexity Results for Local Monotonicity in Probabilistic Networks},
number = {UU-CS-2007-050},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-050.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-050.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007009,
author = {Alt, Helmut and Bodlaender, Hans~L. and Kreveld, Marc~van and Rote, Günter and Tel, Gerard},
year = 2007,
title = {Wooden Geometric Puzzles: Design and Hardness Proofs},
number = {UU-CS-2007-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-009.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006058,
author = {Kwisthout, Johan and Tel, Gerard},
year = 2006,
title = {Complexity Results for Enhanced Qualitative Probabilistic Networks},
number = {UU-CS-2006-058},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-058.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006017,
author = {Tel, Gerard},
year = 2006,
title = {Geheimschrift op de TI-83+},
number = {UU-CS-2006-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003033,
author = {Bodlaender, Hans~L. and Tel, Gerard},
year = 2003,
title = {Rectilinear Graphs and Angular Resolution},
number = {UU-CS-2003-033},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-033.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-033.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199843,
author = {Tel, G.},
year = 1998,
title = {Cryptografie: van DES tot Chipknip},
number = {UU-CS-1998-43},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-43.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-43.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199842,
author = {Dobrev, S. and Ruzicka, P. and Tel, G.},
year = 1998,
title = {Time and bit optimal broadcasting on anonymous unoriented hypercubes},
number = {UU-CS-1998-42},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-42.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-42.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199817,
author = {Tel, G.},
year = 1998,
title = {Distributed control for AI},
number = {UU-CS-1998-17},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-17.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-17.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9339,
author = {Tel, G.},
year = 1993,
title = {Linear election for oriented hypercubes},
number = {RUU-CS-93-39},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-39.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-39.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9337,
author = {Herman, T. and Tel, G.},
year = 1993,
title = {Advanced Distributed Algorithms},
number = {RUU-CS-93-37},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-37.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{RUUCS9108,
author = {Tel, G.},
year = 1991,
title = {Network Orientation},
number = {RUU-CS-91-08},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-08.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-08.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9024,
author = {Tel, G. and Mattern, F.},
year = 1990,
title = {The derivation of distributed termination detection algorithms from garbage collection schemes},
number = {RUU-CS-90-24},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-24.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-24.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8923,
author = {Tel, G. and Leeuwen, J.~van and Wijshoff, H.A.G.},
year = 1989,
title = {The one-dimensional skewing problem},
number = {RUU-CS-89-23},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-23.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8922,
author = {Bodlaender, H.~L. and Tel, G. and Santoro, N.},
year = 1989,
title = {Trade-offs in non-reversing diameter},
number = {RUU-CS-89-22},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-22.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-22.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8902,
author = {Bodlaender, H.L. and Tel, G.},
year = 1989,
title = {Bit-optimal election in synchronous rings},
number = {RUU-CS-89-02},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-02.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{RUUCS8823,
author = {Tel, G. and Korach, E. and Zaks, S.},
year = 1988,
title = {Optimal Synchronization of ABD Networks},
number = {RUU-CS-88-23},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1988/1988-23.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1988/1988-23.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8816,
author = {Tel, G.},
year = 1988,
title = {Total algorithms},
number = {RUU-CS-88-16},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1988/1988-16.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1988/1988-16.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{RUUCS8715,
author = {Tel, G.},
year = 1987,
title = {Assertional verification of a timer-based protocol},
number = {RUU-CS-87-15},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1987/1987-15.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8706,
author = {Tel, G.},
year = 1987,
title = {Directed network protocols (revised edition)},
number = {RUU-CS-87-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1987/1987-06.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8612,
author = {Tel, G.},
year = 1986,
title = {Distributed infimum approximation},
number = {RUU-CS-86-12},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1986/1986-12.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8611,
author = {G.Tel and Tan, R.B. and Leeuwen, J.~van},
year = 1986,
title = {The derivation of graph marking algorithms from distributed termination detection protocols},
number = {RUU-CS-86-11},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1986/1986-11.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8608,
author = {G.Tel and Leeuwen, J.~van and Wijshoff, H.A.G.},
year = 1986,
title = {The one-dimensional skewing problem},
number = {RUU-CS-86-08},
institution = {Department of Information and Computing Sciences, Utrecht University},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8524,
author = {G.Tel and Wijshoff, H.A.G.},
year = 1985,
title = {Hierarchical memory systems in multiprocessors and multi-periodic skewing schemes},
number = {RUU-CS-85-24},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1985/1985-24.pdf}},
pubcat = {techreport}
}
webmaster@cs.uu.nl,
Sun, 12 Feb 2012 18:33:41 +0100
←
Departement Informatica, Universiteit Utrecht