Research Output 1968 2019

Filter
Other contribution
2000

Calculation is the Name of the Game

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

Formality Works

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

Functional-Program Inversion, with an application to Parser Construction

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

Mathematical Induction, Well-Foundedness, and the Axiom of Choice

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

Operator Folding and its Applications1

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

Programming with Infinite Lists: an example

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

Take and Drop in a Nutshell

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

The Tail Recursion Theorem for Lists

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

1999

AvG180 A little process algebra, for my record

Gasteren, van, A. J. M., 1999, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

AvG181 Specificatie-oefeningen

Gasteren, van, A. J. M., 1999, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

rh235: Leslie Lamport's Logical Clocks: a tutorial

Hoogerwoord, R. R., 1999, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

rh249: Laten we het niet erger maken

Hoogerwoord, R. R., 1999, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

rh253: Mathematical Induction and Well-Foundedness

Hoogerwoord, R. R., 1999, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

WF266/AvG179: The yellow pages

Feijen, W. H. J. & Gasteren, van, A. J. M., 1999, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

1998

rh235/3: Leslie Lamport's logical clocks: a tutorial

Hoogerwoord, R. R., 1998, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

rh243: The banker's algorithm revisited

Hoogerwoord, R. R., 1998, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

rh244: Let's not make things worse

Hoogerwoord, R. R., 1998, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

rh246: Distributed summation

Hoogerwoord, R. R., 1998, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

rh247: Wie is de beroemdheid?

Hoogerwoord, R. R., 1998, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

rh248: Graph connectivity made simple

Hoogerwoord, R. R., 1998, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

1997

AvG154: A theorem on the lexically next permutation

Gasteren, van, A. J. M., 1997, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

AvG157: A little calculational proof, for the record

Gasteren, van, A. J. M., 1997, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

Grootschalig gebruik van laptop computers

Verhoeff, T., 1997, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

WF250/AvG160: Concurrent Zipping

Feijen, W. H. J. & Gasteren, van, A. J. M., 1997, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

1996

AvG129: The Wellfare Crook revisited or: abstract your data

Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven

Research output: Other contributionOther 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 contributionOther research output

AvG134: A small relational proof, for the record

Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

AvG135: Programs and datatypes

Doornbos, H. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

AvG138: A tiny div-mod calculation

Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

rh234: Implementeren is Programmeren

Hoogerwoord, R. R., 1996, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

WF220/AvG123: Programming, proving and calculation

Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven

Research output: Other contributionOther research output

WF223/AvG130: Liberal phase synchronization

Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven

Research output: Other contributionOther 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 contributionOther 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 contributionOther research output

WF227/AvG136: Exercises in calculating

Feijen, W. H. J. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven

Research output: Other contributionOther 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 contributionOther 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 contributionOther 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 contributionOther 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 contributionOther research output