Department of Information and Computing Sciences

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

technical reports : prof. dr. J. van Leeuwen (em.)

Jan van Leeuwen

select other reports

this selection

author prof. dr. J. van Leeuwen (em.)

reports (117)

techrep_id file title / author
UU-CS-2017-010 pdf Tracking Maximum Ascending Subsequences in Sequences of Partially Ordered Data
Ton Kloks, Richard B. Tan and Jan van Leeuwen
UU-CS-2016-007 pdf Question Answering and Cognitive Automata with Background Intelligence
Jan van Leeuwen and Jiri Wiedermann
UU-CS-2016-004 pdf On the Subsequence Theorem of Erdős and Szekeres
Jan van Leeuwen
UU-CS-2015-001 pdf A Note on Recursively Enumerable Classes of Partial Recursive Functions
Jan van Leeuwen
UU-CS-2014-020 pdf Shortcutting Directed and Undirected Networks with a Degree Constraint
Richard B. Tan, Erik Jan van Leeuwen and Jan van Leeuwen
UU-CS-2014-014 pdf Separating the Classes of Recursively Enumerable Languages Based on Machine Size
Jan van Leeuwen and Jiri Wiedermann
UU-CS-2014-003 pdf Turing Machines with One-sided Advice and the Acceptance of the co-RE Languages
Jan van Leeuwen and Jiri Wiedermann
UU-CS-2010-026 pdf Convex Polygon Intersection Graphs
Erik Jan van Leeuwen, Jan van Leeuwen
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-82-01 not
online
Fundamental Algorithms (in Dutch)
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

indexed (co) authors

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, prof. 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. (em.) 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{UUCS2017010,
author = {Kloks, Ton and Tan, Richard~B. and Leeuwen, Jan~van},
year = 2017,
title = {Tracking Maximum Ascending Subsequences in Sequences of Partially Ordered Data},
number = {UU-CS-2017-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-010.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016007,
author = {Leeuwen, Jan~van and Wiedermann, Jiri},
year = 2016,
title = {Question Answering and Cognitive Automata with Background Intelligence},
number = {UU-CS-2016-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016004,
author = {Leeuwen, Jan~van},
year = 2016,
title = {On the Subsequence Theorem of Erdős and Szekeres},
number = {UU-CS-2016-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015001,
author = {Leeuwen, Jan~van},
year = 2015,
title = {A Note on Recursively Enumerable Classes of Partial Recursive Functions},
number = {UU-CS-2015-001},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-001.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014020,
author = {Tan, Richard~B. and Leeuwen, Erik~Jan~van and Leeuwen, Jan~van},
year = 2014,
title = {Shortcutting Directed and Undirected Networks with a Degree Constraint},
number = {UU-CS-2014-020},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-020.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014014,
author = {Leeuwen, Jan~van and Wiedermann, Jiri},
year = 2014,
title = {Separating the Classes of Recursively Enumerable Languages Based on Machine Size},
number = {UU-CS-2014-014},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-014.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014003,
author = {Leeuwen, Jan~van and Wiedermann, Jiri},
year = 2014,
title = {Turing Machines with One-sided Advice and the Acceptance of the co-RE Languages},
number = {UU-CS-2014-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010026,
author = {Leeuwen, Erik~Jan~van and Leeuwen, Jan~van},
year = 2010,
title = {Convex Polygon Intersection Graphs},
number = {UU-CS-2010-026},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-026.pdf}},
pubcat = {techreport}
}
@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{RUUCS8201,
author = {J and Leeuwen, van},
year = 1982,
title = {Fundamental Algorithms (in Dutch)},
number = {RUU-CS-82-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
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}
}