• 100 Citations
1978 …2011

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Report
2004

Inductive sets, the algebraic way

Geldrop - van Eijk, van, H. P. J. & Woude, van der, J. C. S. P., 2004, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer science reports; vol. 0442)

Research output: Book/ReportReportAcademic

Open Access
File
63 Downloads (Pure)
1999

A framework for component based software architectures

Hee, van, K. M., Toorn, van der, R. A., Woude, van der, J. C. S. P. & Verkoulen, P. A. C., 1999, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computing science reports; vol. 9913)

Research output: Book/ReportReportAcademic

Open Access
File
33 Downloads (Pure)
1992

A relational theory of datatypes

Aarts, C. J., Backhouse, R. C., Hoogendijk, P. F., Voermans, T. S. & van der Woude, J., Dec 1992, Eindhoven: Technische Universiteit Eindhoven. 387 p.

Research output: Book/ReportReportAcademic

Open Access
File
28 Downloads (Pure)

Demonic operators and monotype factors

Backhouse, R. C. & Woude, van der, J. C. S. P., 1992, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computing science notes; vol. 9211)

Research output: Book/ReportReportAcademic

Open Access
File
151 Downloads (Pure)
1991

Relational catamorphisms

Backhouse, R. C., Bruin, de, P. J., Malcolm, G. R., Voermans, T. S. & Woude, van der, J. C. S. P., 1991, Eindhoven: Technische Universiteit Eindhoven. 31 p. (Computing science notes; vol. 9111)

Research output: Book/ReportReportAcademic

Open Access
File
126 Downloads (Pure)
1989

Optimal segmentations

Woude, van der, J. C. S. P., 1989, Eindhoven: Technische Universiteit Eindhoven. 10 p. (Computing science notes; vol. 8915)

Research output: Book/ReportReportAcademic

Open Access
File
24 Downloads (Pure)
1987

Playing with patterns, searching for strings

Woude, van der, J. C. S. P., 1987, Eindhoven: Technische Universiteit Eindhoven. 14 p. (Computing science notes; vol. 8713)

Research output: Book/ReportReportAcademic

Open Access
File
40 Downloads (Pure)
1984

Invariant measures and the equicontinuous structure relation. I

Vries, de, J. & Woude, van der, J. C. S. P., 1984, Amsterdam: Centrum voor Wiskunde en Informatica. 12 p. (CWI Report; vol. PM-R8403)

Research output: Book/ReportReportAcademic

Invariant measures and the equicontinuous structure relation. II: the relative case

Vries, de, J. & Woude, van der, J. C. S. P., 1984, Amsterdam: Centrum voor Wiskunde en Informatica. 15 p. (CWI Report; vol. PM-R8404)

Research output: Book/ReportReportAcademic