Research Output per year
Research Output 1968 2020
2006
Evaluation of white matter fiber clustering methods for diffusion tensor imaging
Vilanova, A., Moberts, B., Wijk, J. J. V., Op denBuijs, J., Roos, F. G. & Pul, C. V., 2006, 1 p.Research output: Other contribution › Academic
Diffusion tensor imaging
Fibers
Clustering algorithms
Seed
Tensors
2000
Calculation is the Name of the Game
Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
Formality Works
Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
Functional-Program Inversion, with an application to Parser Construction
Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
Mathematical Induction, Well-Foundedness, and the Axiom of Choice
Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
Operator Folding and its Applications1
Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
Programming with Infinite Lists: an example
Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
Take and Drop in a Nutshell
Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
The Tail Recursion Theorem for Lists
Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
1999
AvG180 A little process algebra, for my record
Gasteren, van, A. J. M., 1999, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
AvG181 Specificatie-oefeningen
Gasteren, van, A. J. M., 1999, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
rh235: Leslie Lamport's Logical Clocks: a tutorial
Hoogerwoord, R. R., 1999, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
rh249: Laten we het niet erger maken
Hoogerwoord, R. R., 1999, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
rh253: Mathematical Induction and Well-Foundedness
Hoogerwoord, R. R., 1999, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
WF266/AvG179: The yellow pages
Feijen, W. H. J. & Gasteren, van, A. J. M., 1999, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
1998
rh235/3: Leslie Lamport's logical clocks: a tutorial
Hoogerwoord, R. R., 1998, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
rh243: The banker's algorithm revisited
Hoogerwoord, R. R., 1998, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
rh244: Let's not make things worse
Hoogerwoord, R. R., 1998, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
rh246: Distributed summation
Hoogerwoord, R. R., 1998, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
rh247: Wie is de beroemdheid?
Hoogerwoord, R. R., 1998, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
rh248: Graph connectivity made simple
Hoogerwoord, R. R., 1998, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
1997
AvG154: A theorem on the lexically next permutation
Gasteren, van, A. J. M., 1997, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
AvG157: A little calculational proof, for the record
Gasteren, van, A. J. M., 1997, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
Grootschalig gebruik van laptop computers
Verhoeff, T., 1997, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
WF250/AvG160: Concurrent Zipping
Feijen, W. H. J. & Gasteren, van, A. J. M., 1997, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
1996
AvG129: The Wellfare Crook revisited or: abstract your data
Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
AvG132a: Deriving a recurrence relation for the longest common subsequence, for the record
Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
AvG134: A small relational proof, for the record
Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
AvG135: Programs and datatypes
Doornbos, H. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
AvG138: A tiny div-mod calculation
Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
rh234: Implementeren is Programmeren
Hoogerwoord, R. R., 1996, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
WF220/AvG123: Programming, proving and calculation
Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
WF223/AvG130: Liberal phase synchronization
Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
WF225/AvG131: A decomposition theorem for multibounds
Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
WF226/AvG133: Lecture Notes Design of Multiprograms
Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
WF227/AvG136: Exercises in calculating
Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
WF228/AvG137: Playing with p and p. p
Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
WF229/AvG139: Richard Bird's typewriter problem
Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
WF231/AvG140: On a method for the formal design of multiprograms
Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output
WF233/AvG141: More about unique solutions and well-foundedeness courtesy Rutger M. Dijkstra
Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.Research output: Other contribution › Other research output