technical reports : prof. dr. J. van Leeuwen

select other reports
this selection
reports (108)
| techrep_id |
file |
title / author |
| UU-CS-2009-034 |
pdf |
Structure of Polynomial-Time Approximation Erik Jan van Leeuwen, Jan van Leeuwen |
| UU-CS-2008-005 |
pdf |
Integer Maximum Flow in Wireless Sensor Networks with Energy Constraint Hans L. Bodlaender, Richard B. Tan, Thomas C. van Dijk, and Jan van Leeuwen |
| UU-CS-2007-024 |
ps.gz pdf |
Student Enrollment and Image of the Informatics Discipline Jan van Leeuwen and Letizia Tanca |
| UU-CS-2006-037 |
ps.gz pdf |
On the Representation of Disk Graphs Erik Jan van Leeuwen and J. van Leeuwen |
| UU-CS-2006-018 |
ps.gz pdf |
Lazy Autoconfiguration in Mobile Ad Hoc Networks and Dynamic Sets of Mobile Agents Jan van Leeuwen and Jiri Wiederman |
| UU-CS-2006-001 |
ps.gz pdf |
Interval Routing and Minor-Monotone Graph Parameters Erwin M. Bakker, Hans L. Bodlaender, Richard B. Tan, and Jan van Leeuwen |
| UU-CS-2004-018 |
ps.gz pdf |
Lineages of Automata Peter Verbaan, Jan van Leeuwen, Jiri Wiedermann |
| UU-CS-2002-002 |
ps.gz pdf |
The emergent computational potential of evolving artificial living systems J. Wiedermann, J. van Leeuwen |
| UU-CS-2001-02 |
ps.gz pdf |
A computational model of interaction in embedded systems J. van Leeuwen, J. Wiedermann |
| UU-CS-2000-33 |
ps.gz pdf |
The Turing machine paradigm in contemporary computing J. van Leeuwen, J. Wiedermann |
| UU-CS-2000-29 |
ps.gz pdf |
Finding a Delta-regular supergraph of minimum order H. L. Bodlaender, R. B. Tan, J. van Leeuwen |
| UU-CS-2000-25 |
ps.gz pdf |
Approximations for Lambda-coloring of graphs H. L. Bodlaender, T. Kloks, R. B. Tan, J. van Leeuwen |
| UU-CS-1996-41 |
ps.gz pdf |
On Interval Routing Schemes and Treewidth H. L. Bodlaender, J. van Leeuwen, R. B. Tan, D. M. Thilikos |
| UU-CS-1995-16 |
pdf |
The Complexity of Interval Routing on Random Graphs M. Flammini and J. van Leeuwen and A. Marchetti-Spaccamela |
| UU-CS-1995-13 |
pdf |
Guessing Games, Binomial Sum Trees and Distributed Computations in Synchronous Networks J. van Leeuwen and N. Santoro and J. Urrutia and S. Zaks |
| UU-CS-1995-05 |
pdf |
Compact Routing Methods: A Survey J. van Leeuwen and R.B. Tan |
| RUU-CS-91-23 |
pdf |
The optimal placement of replicated items in distributed databases on tree-like networks E.M. Bakker and J. van Leeuwen |
| RUU-CS-91-22 |
pdf |
Some domination problems on trees and on general grahps E.M. Bakker and J. van Leeuwen |
| RUU-CS-91-21 |
pdf |
Uniform d-emulations of rings, with an application to distributed virtual ring contruction E.M. Bakker and J. van Leeuwen |
| RUU-CS-91-07 |
pdf |
Linear interval routing schemes E.M. Bakker and J. van Leeuwen and R.B. Tan |
| RUU-CS-90-35 |
pdf |
Perfect Colorings E.M. Bakker and J. van Leeuwen and R.B. Tan |
| RUU-CS-90-26 |
pdf |
Maintaining 2- and 3-connected components in graphs, Part I: 2- and 3-edge-connected components J.A. La Poutré and J. van Leeuwen and M.H. Overmars |
| RUU-CS-90-16 |
pdf |
The file distribution problem for processor networks G. Kant and J. van Leeuwen |
| RUU-CS-90-15 |
pdf |
Strong colorings of graphs G. Kant and J. van Leeuwen |
| RUU-CS-90-10 |
pdf |
Prefix routing schemes in dynamic networks E.M. Bakker and J. van Leeuwen and R.B. Tan |
| RUU-CS-89-34 |
pdf |
Correctness of the two-phase commit protocol J. van Leeuwen |
| RUU-CS-89-23 |
pdf |
The one-dimensional skewing problem G. Tel and J. van Leeuwen and H.A.G. Wijshoff |
| RUU-CS-89-06 |
pdf |
Structured NC B. Scholten and J. van Leeuwen |
| RUU-CS-89-03 |
pdf |
On models for Propositional Dynamic Logic P.M.W. Knijnenburg and J. van Leeuwen |
| RUU-CS-88-39 |
pdf |
Some observations for the pigeon hole principle F.J. Brandenburg and J. van Leeuwen and R.B. Tan |
| RUU-CS-88-17 |
pdf |
An optimal pointer machine algorithm for finding nearest common ancestors J. van Leeuwen and A.K. Tsakalides |
| RUU-CS-88-13 |
pdf |
Assertional verification of a majority consensus algorithm for concurrency control in multiple copy databases N.J. Drost and J. van Leeuwen |
| RUU-CS-88-09 |
pdf |
The client/server model in distributed computing J. van Leeuwen |
| RUU-CS-87-25 |
pdf |
Maintenance of transitive closures and transitive reductions of graphs J.A. La Poutré and J. van Leeuwen |
| RUU-CS-87-10 |
not online |
2nd International Workshop on Distributed Algorithms (draft papers) E. Gafni and M. Raynal and N. Santoro and J. van Leeuwen and S. Zaks (no longer available, revised version to appear in the series Lecture Notes in Computer Science) |
| RUU-CS-87-07 |
pdf |
Enumeration in graphs G.J. Bezem and J. van Leeuwen |
| RUU-CS-87-01 |
pdf |
Interval heaps J. van Leeuwen and D. Wood |
| RUU-CS-86-17 |
pdf |
Graph algorithms (95 p.) J. van Leeuwen |
| 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-86-07 |
pdf |
Very thin VLSI-layouts of complete binary trees J. van Leeuwen and R.B. Tan |
| RUU-CS-86-06 |
pdf |
Distribution of records on a ring of processors H.L. Bodlaender and J. van Leeuwen |
| RUU-CS-86-02 |
pdf |
General symmetric distributed termination detection R.B. Tan and J. van Leeuwen |
| 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-23 |
pdf |
An improved upperbound for distributed election in bidirectional rings of processors J. van Leeuwen and R.B. Tan |
| RUU-CS-85-16 |
pdf |
Interval routing J. van Leeuwen and R.B. Tan |
| RUU-CS-85-15 |
pdf |
New upperbounds for decentralized extremafinding in a ring of processors 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-85-09 |
pdf |
Authentication (abstract in het engels als -85-9a) G.M.J. Pluimakers and J. van Leeuwen |
| RUU-CS-85-07 |
pdf |
Fast simulation of Turing machines by random access machines J. Katajainen and J. van Leeuwen and M. Penttonen |
| RUU-CS-85-04 |
pdf |
On the complexity of finding uniform emulations H.L.Bodlaender and J.van Leeuwen |
| RUU-CS-85-01 |
not online |
$ast$ Pascal; compact reference guide to the programming language J. van Leeuwen |
| RUU-CS-84-13 |
pdf |
Array Processing Machines J. van Leeuwen and J. Wiedermann |
| RUU-CS-84-07 |
pdf |
Parallel memories, periodic skewing schemes, and the theory of finite abelian groups J.Tappe and J. van Leeuwen and H.A.G. Wijshoff |
| RUU-CS-84-05 |
pdf |
Uniform emulations of the shuffle-exchange network H.L. Bodlaender and J. van Leeuwen |
| RUU-CS-84-04 |
pdf |
Simulation of large networks on smaller networks H.L. Bodlaender and J. van Leeuwen |
| RUU-CS-84-02 |
pdf |
The minimum bisection width of (three-dimensional) blocks H.L. Bodlaender and J. van Leeuwen |
| RUU-CS-84-01 |
pdf |
The structure of periodic storage schemes for parallel memories H.A.G. Wijshoff and J. van Leeuwen |
| RUU-CS-83-18 |
not online |
Operating Systems (231 p. in Dutch) H.P. Penning and J. van Leeuwen |
| RUU-CS-83-16 |
pdf |
Routing with compact routing tables J. van Leeuwen and R.B. Tan |
| RUU-CS-83-14 |
not online |
The technological image of ``1984'' (in Dutch) J. van Leeuwen |
| RUU-CS-83-13 |
pdf |
Parallel computers and algorithms J. van Leeuwen |
| RUU-CS-83-11 |
pdf |
Data mappings in large parallel computers J. van Leeuwen and H.A.G. Wijshoff |
| RUU-CS-83-10 |
pdf |
A linearity condition for periodic skewing schemes H.A.G. Wijshoff and J. van Leeuwen |
| RUU-CS-83-07 |
pdf |
On linear skewing schemes and d ordered vectors H.A.G. Wijshoff and J. van Leeuwen |
| RUU-CS-83-04 |
pdf |
Periodic storage schemes with a minimum number of memory banks H.A.G. Wijshoff and J. van Leeuwen |
| RUU-CS-83-01 |
pdf |
Compositions of double diagonal and cross Latin squares H.L. Bodlaender and H.A.G. Wijshoff and J. van Leeuwen |
| RUU-CS-82-11 |
pdf |
Periodic versus arbitrary tessellations of the plane using polyominos of single type H.A.G. Wijshoff and J. van Leeuwen |
| RUU-CS-82-09 |
pdf |
Systolic computation and VLSI M.R. Kramer and J. van Leeuwen. |
| RUU-CS-82-08 |
pdf |
Distributed computing J. van Leeuwen. |
| RUU-CS-82-07 |
pdf |
The complexity of VLSI-circuits for arbitrary Boolean functions (to appear) M.R. Kramer and J. van Leeuwen |
| RUU-CS-82-06 |
pdf |
The NP-completeness of finding minimum area Layouts for VLSI-circuits (to appear) M.R. Kramer and J. van Leeuwen |
| RUU-CS-82-04 |
pdf |
Wire routing in NP-complete M.R. Kramer and J. van Leeuwen |
| RUU-CS-81-18 |
pdf |
Graphics and computational geometry J. van Leeuwen |
| RUU-CS-81-16 |
pdf |
The bounded aspect ratio problem for VLSI J. van Leeuwen |
| RUU-CS-81-14 |
pdf |
Organisatie van bedrijfssystemen voor computer netwerken I.J.M. Birkhoff and J. van Leeuwen |
| RUU-CS-81-13 |
not online |
VLSI layouts of perfect binary trees (to appear) J. van Leeuwen and M.H. Overmars and D. Wood |
| RUU-CS-81-08 |
pdf |
The art of dynamizing J. van Leeuwen and M.H. Overmars |
| RUU-CS-81-06 |
pdf |
A basis for dataflow computing A.P.W. Bohm and J. van Leeuwen |
| RUU-CS-81-04 |
pdf |
Stratified balanced search trees J. van Leeuwen and M.H. Overmars |
| RUU-CS-81-03 |
pdf |
Maintenance of configurations in the plane (revised edition) M.H. Overmars and J. van Leeuwen |
| RUU-CS-80-12 |
pdf |
Efficient recognition of rational relations J. van Leeuwen and M. Nivat |
| RUU-CS-80-11 |
pdf |
Untangling a traveling salesman tour in the plane J. van Leeuwen and A.A. Schoone |
| RUU-CS-80-10 |
pdf |
Worst case optimal insertion and deletion methods for decomposable searching problems M.H. Overmars and J. van Leeuwen |
| RUU-CS-80-08 |
pdf |
Computers en (on)doenlijke problemen J. van Leeuwen |
| RUU-CS-80-06 |
pdf |
Dynamization of decomposable searching problems yielding good worst case bounds M.H. Overmars and J. van Leeuwen |
| RUU-CS-80-05 |
pdf |
Notes on maintenance of configurations in the plane M.H. Overmars and J. van Leeuwen |
| RUU-CS-80-03 |
pdf |
Triangulating a starshaped polygon A.A. Schoone and J. van Leeuwen |
| RUU-CS-80-02 |
pdf |
Dynamic multi-dimensional data structures based on quad- and k-d trees M.H. Overmars and J. van Leeuwen |
| RUU-CS-80-01 |
pdf |
Some principles for dynamizing decomposable searching problems M.H. Overmars and J. van Leeuwen |
| RUU-CS-79-10 |
pdf |
Two general methods for dynamizing decomposable searching problems M.H. Overmars and J. van Leeuwen |
| RUU-CS-79-09 |
pdf |
Maintenance of configurations in the plane M.H. Overmars and J. van Leeuwen |
| RUU-CS-79-07 |
not online |
Further comments on Bykat's convex hull algorithm M.H. Overmars and J. van Leeuwen |
| RUU-CS-79-06 |
pdf |
The measure problem for rectangular ranges in d-space J. van Leeuwen and D. Wood |
| RUU-CS-79-05 |
pdf |
Dynamization of decomposable searching problems J. van Leeuwen and D. Wood |
| RUU-CS-79-04 |
pdf |
The complexity of basic complex operations H. Alt and J. van Leeuwen |
| RUU-CS-79-03 |
pdf |
Rapid subtree indentification revisited M.H. Overmars and J. van Leeuwen |
| RUU-CS-79-02 |
not online |
Computers en informatie-verwerking J. van Leeuwen |
| RUU-CS-79-01 |
pdf |
On program efficiency and algebraic complexity - (or- how to compute the Schur transform of a complex polynomial) J. van Leeuwen |
| RUU-CS-78-05 |
pdf |
The composition of fast priority queues J. van Leeuwen |
| RUU-CS-78-04 |
pdf |
Move-rules and trade-offs in the pebble game P. Emde Boas and J. van Leeuwen |
| RUU-CS-78-03 |
pdf |
Linear time generation of a new fixed-length data-compression code J. van Leeuwen |
| RUU-CS-78-02 |
pdf |
Compromising statistical data-base with a few known elements in a combinatorial model J. van Leeuwen |
| RUU-CS-78-01 |
pdf |
A useful lemma for context-free programmed grammers J. van Leeuwen |
| RUU-CS-77-04 |
not online |
Inleiding tot database systems J. van Leeuwen |
| RUU-CS-77-03 |
pdf |
Alternative path compression techniques J. van Leeuwen and Th.P. van der Weide |
| RUU-CS-77-02 |
pdf |
Stack machines and classes of nonnested macro-languages J. Engelfriet and E.Meineche Schmidt and J. van Leeuwen |
| author |
group |
| Böhm, prof. dr. ir. A.P.W. |
all reports |
algorithmic systems |
all reports |
| Bakker, dr. E.M. |
all reports |
algorithmic systems |
all reports |
| Bodlaender, dr. H.L. |
all reports |
algorithmic systems |
all reports |
| Dijk, MSc T.C. van |
all reports |
algorithmic systems |
all reports |
| Kant, dr. G. |
all reports |
algorithmic systems |
all reports |
| Kloks, dr. A.J.J. |
all reports |
algorithmic systems |
all reports |
| Knijnenburg, dr. P.M.W. |
all reports |
algorithmic systems |
all reports |
| La Poutré, prof. dr. ir. J.A. |
all reports |
decision support systems |
all reports |
| Leeuwen, dr. E.J. van |
all reports |
algorithmic systems |
all reports |
| Leeuwen, prof. dr. J. van |
all reports |
algorithmic systems |
all reports |
| Overmars, prof. dr. M.H. |
all reports |
games and virtual worlds |
all reports |
| Penning, drs. H.P. |
all reports |
extern |
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 |
| Thilikos, dr. D.M. |
all reports |
algorithmic systems |
all reports |
| Verbaan, drs. P.R.A. |
all reports |
algorithmic systems |
all reports |
| Wiedermann, prof. dr. J. |
all reports |
algorithmic systems |
all reports |
| Wijshoff, prof. dr. H.A.G. |
all reports |
algorithmic systems |
all reports |
BibTeX entries
@TECHREPORT{UUCS2009034,
author = {Leeuwen, Erik~Jan~van and Leeuwen, Jan~van},
year = 2009,
title = {Structure of Polynomial-Time Approximation},
number = {UU-CS-2009-034},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-034.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008005,
author = {Bodlaender, Hans~L. and Tan, Richard~B. and Dijk, Thomas~C.~van and Leeuwen, Jan~van},
year = 2008,
title = {Integer Maximum Flow in Wireless Sensor Networks with Energy Constraint},
number = {UU-CS-2008-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007024,
author = {Leeuwen, Jan~van and Tanca, Letizia},
year = 2007,
title = {Student Enrollment and Image of the Informatics Discipline},
number = {UU-CS-2007-024},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-024.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-024.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006037,
author = {Leeuwen, Erik~Jan~van and Leeuwen, J.~van},
year = 2006,
title = {On the Representation of Disk Graphs},
number = {UU-CS-2006-037},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-037.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-037.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006018,
author = {Leeuwen, Jan~van and Wiederman, Jiri},
year = 2006,
title = {Lazy Autoconfiguration in Mobile Ad Hoc Networks and Dynamic Sets of Mobile Agents},
number = {UU-CS-2006-018},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-018.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-018.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006001,
author = {Bakker, Erwin~M. and Bodlaender, Hans~L. and Tan, Richard~B. and Leeuwen, Jan~van},
year = 2006,
title = {Interval Routing and Minor-Monotone Graph Parameters},
number = {UU-CS-2006-001},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-001.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-001.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004018,
author = {Verbaan, Peter and Leeuwen, Jan~van and Wiedermann, Jiri},
year = 2004,
title = {Lineages of Automata},
number = {UU-CS-2004-018},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-018.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-018.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002002,
author = {Wiedermann, J. and Leeuwen, J.~van},
year = 2002,
title = {The emergent computational potential of evolving artificial living systems},
number = {UU-CS-2002-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-002.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200102,
author = {Leeuwen, J.~van and Wiedermann, J.},
year = 2001,
title = {A computational model of interaction in embedded systems},
number = {UU-CS-2001-02},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-02.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-02.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200033,
author = {Leeuwen, J.~van and Wiedermann, J.},
year = 2000,
title = {The Turing machine paradigm in contemporary computing},
number = {UU-CS-2000-33},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-33.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-33.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200029,
author = {Bodlaender, H.~L. and Tan, R.~B. and Leeuwen, J.~van},
year = 2000,
title = {Finding a Delta-regular supergraph of minimum order},
number = {UU-CS-2000-29},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-29.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-29.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200025,
author = {Bodlaender, H.~L. and Kloks, T. and Tan, R.~B. and Leeuwen, J.~van},
year = 2000,
title = {Approximations for Lambda-coloring of graphs},
number = {UU-CS-2000-25},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-25.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-25.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199641,
author = {Bodlaender, H.~L. and Leeuwen, J.~van and Tan, R.~B. and Thilikos, D.~M.},
year = 1996,
title = {On Interval Routing Schemes and Treewidth},
number = {UU-CS-1996-41},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-41.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-41.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199516,
author = {Flammini, M. and Leeuwen, J.~van and Marchetti-Spaccamela, A.},
year = 1995,
title = {The Complexity of Interval Routing on Random Graphs},
number = {UU-CS-1995-16},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-16.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199513,
author = {Leeuwen, J.~van and Santoro, N. and Urrutia, J. and Zaks, S.},
year = 1995,
title = {Guessing Games, Binomial Sum Trees and Distributed Computations in Synchronous Networks},
number = {UU-CS-1995-13},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-13.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199505,
author = {Leeuwen, J.~van and Tan, R.B.},
year = 1995,
title = {Compact Routing Methods: A Survey},
number = {UU-CS-1995-05},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-05.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9123,
author = {Bakker, E.M. and Leeuwen, J.~van},
year = 1991,
title = {The optimal placement of replicated items in distributed databases on tree-like networks},
number = {RUU-CS-91-23},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-23.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9122,
author = {Bakker, E.M. and Leeuwen, J.~van},
year = 1991,
title = {Some domination problems on trees and on general grahps},
number = {RUU-CS-91-22},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-22.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9121,
author = {Bakker, E.M. and Leeuwen, J.~van},
year = 1991,
title = {Uniform d-emulations of rings, with an application to distributed virtual ring contruction},
number = {RUU-CS-91-21},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-21.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9107,
author = {Bakker, E.M. and Leeuwen, J.~van and Tan, R.B.},
year = 1991,
title = {Linear interval routing schemes},
number = {RUU-CS-91-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-07.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9035,
author = {Bakker, E.M. and Leeuwen, J.~van and Tan, R.B.},
year = 1990,
title = {Perfect Colorings},
number = {RUU-CS-90-35},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-35.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9026,
author = {Poutré, J.A.~La and Leeuwen, J.~van and Overmars, M.H.},
year = 1990,
title = {Maintaining 2- and 3-connected components in graphs, Part I: 2- and 3-edge-connected components},
number = {RUU-CS-90-26},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-26.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9016,
author = {Kant, G. and Leeuwen, J.~van},
year = 1990,
title = {The file distribution problem for processor networks},
number = {RUU-CS-90-16},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-16.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9015,
author = {Kant, G. and Leeuwen, J.~van},
year = 1990,
title = {Strong colorings of graphs},
number = {RUU-CS-90-15},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-15.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9010,
author = {Bakker, E.M. and Leeuwen, J.~van and Tan, R.B.},
year = 1990,
title = {Prefix routing schemes in dynamic networks},
number = {RUU-CS-90-10},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-10.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8934,
author = {Leeuwen, J.~van},
year = 1989,
title = {Correctness of the two-phase commit protocol},
number = {RUU-CS-89-34},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-34.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{RUUCS8906,
author = {Scholten, B. and Leeuwen, J.~van},
year = 1989,
title = {Structured NC},
number = {RUU-CS-89-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-06.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8903,
author = {Knijnenburg, P.M.W. and Leeuwen, J.~van},
year = 1989,
title = {On models for Propositional Dynamic Logic},
number = {RUU-CS-89-03},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-03.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8839,
author = {Brandenburg, F.J. and Leeuwen, J.~van and Tan, R.B.},
year = 1988,
title = {Some observations for the pigeon hole principle},
number = {RUU-CS-88-39},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1988/1988-39.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8817,
author = {Leeuwen, J.~van and Tsakalides, A.K.},
year = 1988,
title = {An optimal pointer machine algorithm for finding nearest common ancestors},
number = {RUU-CS-88-17},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1988/1988-17.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8813,
author = {Drost, N.J. and Leeuwen, J.~van},
year = 1988,
title = {Assertional verification of a majority consensus algorithm for concurrency control in multiple copy databases},
number = {RUU-CS-88-13},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1988/1988-13.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8809,
author = {Leeuwen, J.~van},
year = 1988,
title = {The client/server model in distributed computing},
number = {RUU-CS-88-09},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1988/1988-09.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8725,
author = {Poutré, J.A.~La and Leeuwen, J.~van},
year = 1987,
title = {Maintenance of transitive closures and transitive reductions of graphs},
number = {RUU-CS-87-25},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1987/1987-25.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8710,
author = {Gafni, E. and Raynal, M. and Santoro, N. and Leeuwen, J.~van and Zaks, S. (no~longer~available and Science), revised~version~to~appear~in~the~series~Lecture~Notes~in~Computer},
year = 1987,
title = {2nd International Workshop on Distributed Algorithms (draft papers)},
number = {RUU-CS-87-10},
institution = {Department of Information and Computing Sciences, Utrecht University},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8707,
author = {Bezem, G.J. and Leeuwen, J.~van},
year = 1987,
title = {Enumeration in graphs},
number = {RUU-CS-87-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1987/1987-07.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8701,
author = {Leeuwen, J.~van and Wood, D.},
year = 1987,
title = {Interval heaps},
number = {RUU-CS-87-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1987/1987-01.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8617,
author = {Leeuwen, J.~van},
year = 1986,
title = {Graph algorithms (95 p.)},
number = {RUU-CS-86-17},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1986/1986-17.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{RUUCS8607,
author = {Leeuwen, J.~van and Tan, R.B.},
year = 1986,
title = {Very thin VLSI-layouts of complete binary trees},
number = {RUU-CS-86-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1986/1986-07.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8606,
author = {Bodlaender, H.L. and Leeuwen, J.~van},
year = 1986,
title = {Distribution of records on a ring of processors},
number = {RUU-CS-86-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1986/1986-06.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8602,
author = {Tan, R.B. and Leeuwen, J.~van},
year = 1986,
title = {General symmetric distributed termination detection},
number = {RUU-CS-86-02},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1986/1986-02.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{RUUCS8523,
author = {Leeuwen, J.~van and Tan, R.B.},
year = 1985,
title = {An improved upperbound for distributed election in bidirectional rings of processors},
number = {RUU-CS-85-23},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1985/1985-23.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8516,
author = {Leeuwen, J.~van and Tan, R.B.},
year = 1985,
title = {Interval routing},
number = {RUU-CS-85-16},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1985/1985-16.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8515,
author = {H.L.Bodlaender and Leeuwen, J.~van},
year = 1985,
title = {New upperbounds for decentralized extremafinding in a ring of processors},
number = {RUU-CS-85-15},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1985/1985-15.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{RUUCS8509,
author = {Pluimakers, G.M.J. and Leeuwen, J.~van},
year = 1985,
title = {Authentication (abstract in het engels als -85-9a)},
number = {RUU-CS-85-09},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1985/1985-09.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8507,
author = {Katajainen, J. and Leeuwen, J.~van and Penttonen, M.},
year = 1985,
title = {Fast simulation of Turing machines by random access machines},
number = {RUU-CS-85-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1985/1985-07.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8504,
author = {H.L.Bodlaender and Leeuwen, J.van},
year = 1985,
title = {On the complexity of finding uniform emulations},
number = {RUU-CS-85-04},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1985/1985-04.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8501,
author = {Leeuwen, J.~van},
year = 1985,
title = {$ast$ Pascal; compact reference guide to the programming language},
number = {RUU-CS-85-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8413,
author = {Leeuwen, J.~van and Wiedermann, J.},
year = 1984,
title = {Array Processing Machines},
number = {RUU-CS-84-13},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1984/1984-13.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8407,
author = {J.Tappe and Leeuwen, J.~van and Wijshoff, H.A.G.},
year = 1984,
title = {Parallel memories, periodic skewing schemes, and the theory of finite abelian groups},
number = {RUU-CS-84-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1984/1984-07.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8405,
author = {Bodlaender, H.L. and Leeuwen, J.~van},
year = 1984,
title = {Uniform emulations of the shuffle-exchange network},
number = {RUU-CS-84-05},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1984/1984-05.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8404,
author = {Bodlaender, H.L. and Leeuwen, J.~van},
year = 1984,
title = {Simulation of large networks on smaller networks},
number = {RUU-CS-84-04},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1984/1984-04.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8402,
author = {Bodlaender, H.L. and Leeuwen, J.~van},
year = 1984,
title = {The minimum bisection width of (three-dimensional) blocks},
number = {RUU-CS-84-02},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1984/1984-02.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8401,
author = {Wijshoff, H.A.G. and Leeuwen, J.~van},
year = 1984,
title = {The structure of periodic storage schemes for parallel memories},
number = {RUU-CS-84-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1984/1984-01.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8318,
author = {Penning, H.P. and Leeuwen, J.~van},
year = 1983,
title = {Operating Systems (231 p. in Dutch)},
number = {RUU-CS-83-18},
institution = {Department of Information and Computing Sciences, Utrecht University},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8316,
author = {Leeuwen, J.~van and Tan, R.B.},
year = 1983,
title = {Routing with compact routing tables},
number = {RUU-CS-83-16},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1983/1983-16.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8314,
author = {Leeuwen, J.~van},
year = 1983,
title = {The technological image of ``1984'' (in Dutch)},
number = {RUU-CS-83-14},
institution = {Department of Information and Computing Sciences, Utrecht University},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8313,
author = {Leeuwen, J.~van},
year = 1983,
title = {Parallel computers and algorithms},
number = {RUU-CS-83-13},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1983/1983-13.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8311,
author = {Leeuwen, J.~van and Wijshoff, H.A.G.},
year = 1983,
title = {Data mappings in large parallel computers},
number = {RUU-CS-83-11},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1983/1983-11.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8310,
author = {Wijshoff, H.A.G. and Leeuwen, J.~van},
year = 1983,
title = {A linearity condition for periodic skewing schemes},
number = {RUU-CS-83-10},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1983/1983-10.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8307,
author = {Wijshoff, H.A.G. and Leeuwen, J.~van},
year = 1983,
title = {On linear skewing schemes and d ordered vectors},
number = {RUU-CS-83-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1983/1983-07.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8304,
author = {Wijshoff, H.A.G. and Leeuwen, J.~van},
year = 1983,
title = {Periodic storage schemes with a minimum number of memory banks},
number = {RUU-CS-83-04},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1983/1983-04.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8301,
author = {Bodlaender, H.L. and Wijshoff, H.A.G. and Leeuwen, J.~van},
year = 1983,
title = {Compositions of double diagonal and cross Latin squares},
number = {RUU-CS-83-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1983/1983-01.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8211,
author = {Wijshoff, H.A.G. and Leeuwen, J.~van},
year = 1982,
title = {Periodic versus arbitrary tessellations of the plane using polyominos of single type},
number = {RUU-CS-82-11},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1982/1982-11.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8209,
author = {Kramer, M.R. and Leeuwen., J.~van},
year = 1982,
title = {Systolic computation and VLSI},
number = {RUU-CS-82-09},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1982/1982-09.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8208,
author = {Leeuwen., J.~van},
year = 1982,
title = {Distributed computing},
number = {RUU-CS-82-08},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1982/1982-08.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8207,
author = {Kramer, M.R. and Leeuwen, J.~van},
year = 1982,
title = {The complexity of VLSI-circuits for arbitrary Boolean functions (to appear)},
number = {RUU-CS-82-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1982/1982-07.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8206,
author = {Kramer, M.R. and Leeuwen, J.~van},
year = 1982,
title = {The NP-completeness of finding minimum area Layouts for VLSI-circuits (to appear)},
number = {RUU-CS-82-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1982/1982-06.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8204,
author = {Kramer, M.R. and Leeuwen, J.~van},
year = 1982,
title = {Wire routing in NP-complete},
number = {RUU-CS-82-04},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1982/1982-04.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8118,
author = {Leeuwen, J.~van},
year = 1981,
title = {Graphics and computational geometry},
number = {RUU-CS-81-18},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1981/1981-18.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8116,
author = {Leeuwen, J.~van},
year = 1981,
title = {The bounded aspect ratio problem for VLSI},
number = {RUU-CS-81-16},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1981/1981-16.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8114,
author = {Birkhoff, I.J.M. and Leeuwen, J.~van},
year = 1981,
title = {Organisatie van bedrijfssystemen voor computer netwerken},
number = {RUU-CS-81-14},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1981/1981-14.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8113,
author = {Leeuwen, J.~van and Overmars, M.H. and Wood, D.},
year = 1981,
title = {VLSI layouts of perfect binary trees (to appear)},
number = {RUU-CS-81-13},
institution = {Department of Information and Computing Sciences, Utrecht University},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8108,
author = {Leeuwen, J.~van and Overmars, M.H.},
year = 1981,
title = {The art of dynamizing},
number = {RUU-CS-81-08},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1981/1981-08.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8106,
author = {Bohm, A.P.W. and Leeuwen, J.~van},
year = 1981,
title = {A basis for dataflow computing},
number = {RUU-CS-81-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1981/1981-06.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8104,
author = {Leeuwen, J.~van and Overmars, M.H.},
year = 1981,
title = {Stratified balanced search trees},
number = {RUU-CS-81-04},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1981/1981-04.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8103,
author = {Overmars, M.H. and Leeuwen, J.~van},
year = 1981,
title = {Maintenance of configurations in the plane (revised edition)},
number = {RUU-CS-81-03},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1981/1981-03.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8012,
author = {Leeuwen, J.~van and Nivat, M.},
year = 1980,
title = {Efficient recognition of rational relations},
number = {RUU-CS-80-12},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1980/1980-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{RUUCS8010,
author = {Overmars, M.H. and Leeuwen, J.~van},
year = 1980,
title = {Worst case optimal insertion and deletion methods for decomposable searching problems},
number = {RUU-CS-80-10},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1980/1980-10.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8008,
author = {Leeuwen, J.~van},
year = 1980,
title = {Computers en (on)doenlijke problemen},
number = {RUU-CS-80-08},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1980/1980-08.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8006,
author = {Overmars, M.H. and Leeuwen, J.~van},
year = 1980,
title = {Dynamization of decomposable searching problems yielding good worst case bounds},
number = {RUU-CS-80-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1980/1980-06.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8005,
author = {Overmars, M.H. and Leeuwen, J.~van},
year = 1980,
title = {Notes on maintenance of configurations in the plane},
number = {RUU-CS-80-05},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1980/1980-05.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}
}
@TECHREPORT{RUUCS8002,
author = {Overmars, M.H. and Leeuwen, J.~van},
year = 1980,
title = {Dynamic multi-dimensional data structures based on quad- and k-d trees},
number = {RUU-CS-80-02},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1980/1980-02.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8001,
author = {Overmars, M.H. and Leeuwen, J.~van},
year = 1980,
title = {Some principles for dynamizing decomposable searching problems},
number = {RUU-CS-80-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1980/1980-01.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS7910,
author = {Overmars, M.H. and Leeuwen, J.~van},
year = 1979,
title = {Two general methods for dynamizing decomposable searching problems},
number = {RUU-CS-79-10},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1979/1979-10.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS7909,
author = {Overmars, M.H. and Leeuwen, J.~van},
year = 1979,
title = {Maintenance of configurations in the plane},
number = {RUU-CS-79-09},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1979/1979-09.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS7907,
author = {Overmars, M.H. and Leeuwen, J.~van},
year = 1979,
title = {Further comments on Bykat's convex hull algorithm},
number = {RUU-CS-79-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
pubcat = {techreport}
}
@TECHREPORT{RUUCS7906,
author = {Leeuwen, J.~van and Wood, D.},
year = 1979,
title = {The measure problem for rectangular ranges in d-space},
number = {RUU-CS-79-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1979/1979-06.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS7905,
author = {Leeuwen, J.~van and Wood, D.},
year = 1979,
title = {Dynamization of decomposable searching problems},
number = {RUU-CS-79-05},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1979/1979-05.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS7904,
author = {Alt, H. and Leeuwen, J.~van},
year = 1979,
title = {The complexity of basic complex operations},
number = {RUU-CS-79-04},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1979/1979-04.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS7903,
author = {Overmars, M.H. and Leeuwen, J.~van},
year = 1979,
title = {Rapid subtree indentification revisited},
number = {RUU-CS-79-03},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1979/1979-03.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS7902,
author = {Leeuwen, J.~van},
year = 1979,
title = {Computers en informatie-verwerking},
number = {RUU-CS-79-02},
institution = {Department of Information and Computing Sciences, Utrecht University},
pubcat = {techreport}
}
@TECHREPORT{RUUCS7901,
author = {Leeuwen, J.~van},
year = 1979,
title = {On program efficiency and algebraic complexity - (or- how to compute the Schur transform of a complex polynomial)},
number = {RUU-CS-79-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1979/1979-01.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS7805,
author = {Leeuwen, J.~van},
year = 1978,
title = {The composition of fast priority queues},
number = {RUU-CS-78-05},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1978/1978-05.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS7804,
author = {Boas, P.~Emde and Leeuwen, J.~van},
year = 1978,
title = {Move-rules and trade-offs in the pebble game},
number = {RUU-CS-78-04},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1978/1978-04.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS7803,
author = {Leeuwen, J.~van},
year = 1978,
title = {Linear time generation of a new fixed-length data-compression code},
number = {RUU-CS-78-03},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1978/1978-03.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS7802,
author = {Leeuwen, J.~van},
year = 1978,
title = {Compromising statistical data-base with a few known elements in a combinatorial model},
number = {RUU-CS-78-02},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1978/1978-02.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS7801,
author = {Leeuwen, J.~van},
year = 1978,
title = {A useful lemma for context-free programmed grammers},
number = {RUU-CS-78-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1978/1978-01.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS7704,
author = {Leeuwen, J.~van},
year = 1977,
title = {Inleiding tot database systems},
number = {RUU-CS-77-04},
institution = {Department of Information and Computing Sciences, Utrecht University},
pubcat = {techreport}
}
@TECHREPORT{RUUCS7703,
author = {Leeuwen, J.~van and Weide, Th.P.~van~der},
year = 1977,
title = {Alternative path compression techniques},
number = {RUU-CS-77-03},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1977/1977-03.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS7702,
author = {Engelfriet, J. and Schmidt, E.Meineche and Leeuwen, J.~van},
year = 1977,
title = {Stack machines and classes of nonnested macro-languages},
number = {RUU-CS-77-02},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1977/1977-02.pdf}},
pubcat = {techreport}
}
webmaster@cs.uu.nl,
Tue, 07 Sep 2010 00:50:34 +0200
←
Departement Informatica, Universiteit Utrecht