Research Output per year
Research Output 1968 2019
2000
Calculation is the Name of the Game
Hoogerwoord, R. R., 2000, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
Formality Works
Hoogerwoord, R. R., 2000, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
Functional-Program Inversion, with an application to Parser Construction
Hoogerwoord, R. R., 2000, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
Mathematical Induction, Well-Foundedness, and the Axiom of Choice
Hoogerwoord, R. R., 2000, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
Operator Folding and its Applications1
Hoogerwoord, R. R., 2000, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
Programming with Infinite Lists: an example
Hoogerwoord, R. R., 2000, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
Take and Drop in a Nutshell
Hoogerwoord, R. R., 2000, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
The Tail Recursion Theorem for Lists
Hoogerwoord, R. R., 2000, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
1999
AvG180 A little process algebra, for my record
Gasteren, van, A. J. M., 1999, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
AvG181 Specificatie-oefeningen
Gasteren, van, A. J. M., 1999, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
rh235: Leslie Lamport's Logical Clocks: a tutorial
Hoogerwoord, R. R., 1999, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
rh249: Laten we het niet erger maken
Hoogerwoord, R. R., 1999, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
rh253: Mathematical Induction and Well-Foundedness
Hoogerwoord, R. R., 1999, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
WF266/AvG179: The yellow pages
Feijen, W. H. J. & Gasteren, van, A. J. M., 1999, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
1998
rh235/3: Leslie Lamport's logical clocks: a tutorial
Hoogerwoord, R. R., 1998, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
rh243: The banker's algorithm revisited
Hoogerwoord, R. R., 1998, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
rh244: Let's not make things worse
Hoogerwoord, R. R., 1998, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
rh246: Distributed summation
Hoogerwoord, R. R., 1998, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
rh247: Wie is de beroemdheid?
Hoogerwoord, R. R., 1998, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
rh248: Graph connectivity made simple
Hoogerwoord, R. R., 1998, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
1997
AvG154: A theorem on the lexically next permutation
Gasteren, van, A. J. M., 1997, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
AvG157: A little calculational proof, for the record
Gasteren, van, A. J. M., 1997, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
Grootschalig gebruik van laptop computers
Verhoeff, T., 1997, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
WF250/AvG160: Concurrent Zipping
Feijen, W. H. J. & Gasteren, van, A. J. M., 1997, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
1996
AvG129: The Wellfare Crook revisited or: abstract your data
Gasteren, van, A. J. M., 1996, Technische Universiteit EindhovenResearch 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 EindhovenResearch output: Other contribution › Other research output
AvG134: A small relational proof, for the record
Gasteren, van, A. J. M., 1996, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
AvG135: Programs and datatypes
Doornbos, H. & Gasteren, van, A. J. M., 1996, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
AvG138: A tiny div-mod calculation
Gasteren, van, A. J. M., 1996, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
rh234: Implementeren is Programmeren
Hoogerwoord, R. R., 1996, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
WF220/AvG123: Programming, proving and calculation
Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit EindhovenResearch output: Other contribution › Other research output
WF223/AvG130: Liberal phase synchronization
Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit EindhovenResearch 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 EindhovenResearch 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 EindhovenResearch output: Other contribution › Other research output
WF227/AvG136: Exercises in calculating
Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit EindhovenResearch 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 EindhovenResearch 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 EindhovenResearch 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 EindhovenResearch 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 EindhovenResearch output: Other contribution › Other research output