• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • P.O. Box, Deparment of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

Research Output

Filter
Report
2018

Determining the essentially different partitions of all Japanese convex tangrams

Beelen, T. G. J. & Verhoeff, T., Nov 2018, 07 ed. Eindhoven: Technische Universiteit Eindhoven. 83 p. (CASA report)

Research output: Book/ReportReportAcademic

Open Access
File
7 Downloads (Pure)
2015

An O(m log n) algorithm for stuttering equivalence and branching bisimulation

Groote, J. F. & Wijs, A., 2015, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computer science reports; vol. 1506)

Research output: Book/ReportReportAcademic

Open Access
File
103 Downloads (Pure)

Evolution specification evaluation in industrial MDSE ecosystems

Mengerink, J. G. M., Schiffelers, R. R. H., Serebrenik, A. & Brand, van den, M. G. J., 2015, Eindhoven: Technische Universiteit Eindhoven. 10 p. (Computer science reports; vol. 1504)

Research output: Book/ReportReportAcademic

Open Access
File
160 Downloads (Pure)
2014

A modeling environment supporting the co-evolution of user requirements and design

Peeters, F. A. I., Barosan, I., Yue, T. & Serebrenik, A., 2014, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 1403)

Research output: Book/ReportReportAcademic

Open Access
File
86 Downloads (Pure)
2008

A proof system for invariants in layered OO designs

Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E. J., 2008, Eindhoven: Technische Universiteit Eindhoven. 43 p. (Computer science reports; vol. 0801)

Research output: Book/ReportReportAcademic

Open Access
File
39 Downloads (Pure)
2004

A new taxonomy of sublinear keyword pattern matching algorithms

Cleophas, L. G. W. A., Watson, B. W. & Zwaan, G., 2004, Eindhoven: Technische Universiteit Eindhoven. 35 p. (Computer science reports; vol. 0407)

Research output: Book/ReportReportAcademic

Open Access
File
74 Downloads (Pure)

Constructing factor oracles

Cleophas, L. G. W. A., Zwaan, G. & Watson, B. W., 2004, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computer science reports; vol. 0401)

Research output: Book/ReportReportAcademic

Open Access
File
103 Downloads (Pure)

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
104 Downloads (Pure)

Industry experience in using an abstract model to select software development tools

Zwartjes, G., van Geffen, J., Kourie, D. G., Boake, A. & Watson, B. W., 2004, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0417)

Research output: Book/ReportReportAcademic

Open Access
File
42 Downloads (Pure)

Software engineering reference framework

Chaudron, M. R. V., Groote, J. F., Hee, van, K. M., Hemerik, C., Somers, L. J. A. M. & Verhoeff, T., 2004, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0439)

Research output: Book/ReportReportAcademic

Open Access
File
49 Downloads (Pure)
2003

On hardcoding finite state automata processing

Ngassam, E. K., Watson, B. W. & Kourie, D. G., 2003, Eindhoven: Technische Universiteit Eindhoven. 29 p. (Computer science reports; vol. 0310)

Research output: Book/ReportReportAcademic

Open Access
File
53 Downloads (Pure)
2002

The 43rd International Mathematical Olympiad : a reflective report on IMO 2002

Verhoeff, T., 2002, Eindhoven: Technische Universiteit Eindhoven. 40 p. (Computer science reports; vol. 0211)

Research output: Book/ReportReportAcademic

Open Access
File
839 Downloads (Pure)
1997

$\lambda {\rm P}-$ : a pure type system for first order logic with automated theorum proving

Franssen, M. G. J., 1997, Eindhoven: Technische Universiteit Eindhoven. 35 p. (Computing science reports; vol. 9715)

Research output: Book/ReportReportAcademic

Open Access
File
52 Downloads (Pure)

Tools for the construction of correct programs : an overview

Franssen, M. G. J., 1997, Eindhoven: Technische Universiteit Eindhoven. 33 p. (Computing science reports; vol. 9706)

Research output: Book/ReportReportAcademic

Open Access
File
41 Downloads (Pure)
1995

A taxonomy of sublinear multiple keyword pattern matching algorithms

Watson, B. W. & Zwaan, G., 1995, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computing science reports; vol. 9513)

Research output: Book/ReportReportAcademic

Open Access
File
151 Downloads (Pure)
1994

The testing paradigm applied to network structure

Verhoeff, T., 1994, Eindhoven: Technische Universiteit Eindhoven. 32 p. (Computing science notes; vol. 9410)

Research output: Book/ReportReportAcademic

Open Access
File
40 Downloads (Pure)
1993

A continuous version of the prisoner's dilemma

Verhoeff, T., 1993, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computing science notes; vol. 9302)

Research output: Book/ReportReportAcademic

Open Access
File
115 Downloads (Pure)

Quicksort for linked lists

Verhoeff, T., 1993, Eindhoven: Technische Universiteit Eindhoven. 8 p. (Computing science notes; vol. 9303)

Research output: Book/ReportReportAcademic

Open Access
File
46 Downloads (Pure)
1992

A taxonomy of keyword pattern matching algorithms

Watson, B. W. & Zwaan, G., 1992, Eindhoven: Technische Universiteit Eindhoven. 50 p. (Computing science notes; vol. 9227)

Research output: Book/ReportReportAcademic

Open Access
File
421 Downloads (Pure)
1989

Characterizations of delay-insensitive communication protocols

Verhoeff, T., 1989, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computing science notes; vol. 8906)

Research output: Book/ReportReportAcademic

Open Access
File
31 Downloads (Pure)

Some category theoretical properties related to a model for a polymorphic lambda-calculus

Eikelder, ten, H. M. M. & Hemerik, C., 1989, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computing science notes; vol. 8903)

Research output: Book/ReportReportAcademic

Open Access
File
35 Downloads (Pure)
1988

An introduction to the category-theoretic solution of recursive domain equations

Bos, R. & Hemerik, C., 1988, Eindhoven: Technische Universiteit Eindhoven. 47 p. (Computing science notes; vol. 8815)

Research output: Book/ReportReportAcademic

Open Access
File
154 Downloads (Pure)

A parallel program that generates the Möbius sequence

Verhoeff, T., 1988, Eindhoven: Technische Universiteit Eindhoven. 14 p. (Computing science notes; vol. 8801)

Research output: Book/ReportReportAcademic

Open Access
File
31 Downloads (Pure)

Bottum-up tree acceptors

Hemerik, C. & Katoen, J. P., 1988, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computing science notes; vol. 8816)

Research output: Book/ReportReportAcademic

Open Access
File
45 Downloads (Pure)

Settling a question about Pythagorean triples

Verhoeff, T., 1988, Eindhoven: Technische Universiteit Eindhoven. 11 p. (Computing science notes; vol. 8803)

Research output: Book/ReportReportAcademic

Open Access
File
37 Downloads (Pure)
1987

Delay-insensitive codes : an overview

Verhoeff, T., 1987, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computing science notes; vol. 8704)

Research output: Book/ReportReportAcademic

Open Access
File
218 Downloads (Pure)

Three families of maximally nondeterministic automata

Verhoeff, T., 1987, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computing science notes; vol. 8710)

Research output: Book/ReportReportAcademic

Open Access
File
33 Downloads (Pure)
1986

Nondeterminism and divergence created by concealment in CSP

Verhoeff, T., 1986, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computing science notes; vol. 8606)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)
1985

Delay-insensitive directed trace structures satisfy the foam rubber wrapper postulate

Verhoeff, T. & Schols, H. M. J. L., 1985, Eindhoven: Technische Hogeschool Eindhoven. 29 p. (Computing science notes; vol. 8504)

Research output: Book/ReportReportAcademic

Open Access
File
37 Downloads (Pure)
1982

Leren over informatietechnologie : noodzaak voor iedereen [Rapport van de Adviescommissie voor Onderwijs en Informatietechnologie]

Ouwerkerk-Dijkers, van, M. P., 1982, Den Haag: Staatsuitgeverij.

Research output: Book/ReportReportAcademic

1973

Numerical calculations in a problem with heat conduction and heat production

Geldrop - van Eijk, van, H. P. J., van Ginneken, C. J. J. M. & Gelder, van, D. W., 1973, Eindhoven: Technische Hogeschool Eindhoven. (EUT report. WSK, Dept. of Mathematics and Computing Science; vol. 73-WSK-05)

Research output: Book/ReportReportAcademic

Open Access
File
29 Downloads (Pure)