Department of Information and Computing Sciences

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

technical reports : dr. G. Tel

Gerard  Tel

select other reports

this selection

author dr. G. Tel

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

indexed (co) authors

author group
Alt, prof. dr. H. all reports Games and Virtual Worlds all reports
Bodlaender, prof. dr. H.L. all reports Algorithmic Systems all reports
Kreveld, prof. dr. M.J. van all reports Games and Virtual Worlds all reports
Kwisthout, dr. ir. J.H.P. 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
Tan, dr. R.B. all reports Algorithmic Systems all reports
Tel, dr. G. all reports Algorithmic Systems all reports
Wijshoff, prof. dr. H.A.G. all reports Algorithmic Systems all reports

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}
}