Voormalig onderzoek Faculteit Wiskunde en Informatica

Onderzoeksoutput

Filter
Overige bijdrage
2008

Membership editorial board - Quality and reliability engineering international

Lu, Y. & Xie, M., 2008, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

2000

Calculation is the Name of the Game

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Formality Works

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Functional-Program Inversion, with an application to Parser Construction

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

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

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Operator Folding and its Applications1

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Programming with Infinite Lists: an example

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Take and Drop in a Nutshell

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

The Tail Recursion Theorem for Lists

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

1999

AvG180 A little process algebra, for my record

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

AvG181 Specificatie-oefeningen

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

ICT-Zakboekje

Aalst, van der, W. M. P., 1999, Arnhem : PBNA.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

rh235: Leslie Lamport's Logical Clocks: a tutorial

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

rh249: Laten we het niet erger maken

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

rh253: Mathematical Induction and Well-Foundedness

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

WF266/AvG179: The yellow pages

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

1998

Exact, almost, and optimal input decoupled (delayed) observers

Saberi, A., Stoorvogel, A. A. & Sannuti, P., 1998, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

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

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

rh243: The banker's algorithm revisited

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

rh244: Let's not make things worse

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

rh246: Distributed summation

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

rh247: Wie is de beroemdheid?

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

rh248: Graph connectivity made simple

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

WF265: One up again for calculational programming

Feijen, W. H. J., 1998, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

1997

AB43: An application of program derivation techniques to 18th-century mathematics

Bijlsma, A., 1997, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

AB63: Integer division through Galois connections

Bijlsma, A., 1997, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

AB66: Simulating file operations: an exercise in calculational data refinement

Bijlsma, A., 1997, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

AB67: The next permutation revisited

Bijlsma, A., 1997, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

AvG154: A theorem on the lexically next permutation

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

AvG157: A little calculational proof, for the record

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Grootschalig gebruik van laptop computers

Verhoeff, T., 1997, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Output regulation of linear systems subject to saturated and ratelimited actuators

Stoorvogel, A. A. & Saberi, A., 1997, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Programming with preinvariants

Bijlsma, A., 1997, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

WF250/AvG160: Concurrent Zipping

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

WF251: Computing the prime divisors of a number

Feijen, W. H. J., 1997, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

1996

AB59: A chain letter

Bijlsma, A., 1996, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

AB60: A very easy proof of Koenig's Lemma

Bijlsma, A., 1996, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

AB62: Self-contained proof of a rule for procedure calls

Bijlsma, A., 1996, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

A behavioral approach to the H_p optimal control problem

Weiland, S., Stoorvogel, A. A. & Jager, de, A. G., 1996, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

AvG129: The Wellfare Crook revisited or: abstract your data

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

AvG132a: Deriving a recurrence relation for the longest common subsequence, for the record

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

AvG134: A small relational proof, for the record

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

AvG135: Programs and datatypes

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

AvG138: A tiny div-mod calculation

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

rh234: Implementeren is Programmeren

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

WF219: A very clever and impressive (but highly intractable) proof of a beautiful theorem

Feijen, W. H. J., 1996, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

WF220/AvG123: Programming, proving and calculation

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

WF221: Formal derivation of an algorithm for distributed phase synchronization

Feijen, W. H. J. & Buhaceanu, D. S., 1996, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

WF222: An exercise given by Rutger M. Dijkstra

Feijen, W. H. J., 1996, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

WF223/AvG130: Liberal phase synchronization

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

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput