• 100 Citations
1978 …2011

Research output per year

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

Research Output

Filter
Article
1999
Open Access
File
36 Downloads (Pure)
1997

A calculational approach to mathematical induction

Doornbos, H., Backhouse, R. C. & Woude, van der, J. C. S. P., 1997, In : Theoretical Computer Science. 179, 1-2, p. 103-135

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
39 Citations (Scopus)
4 Downloads (Pure)
1995

Fixed-point calculus

Aarts, C., Backhouse, R. C., Boiten, E. A., Doornbos, H., Gasteren, van, A. J. M., Geldrop - van Eijk, van, H. P. J., Hoogendijk, P. F., Voermans, T. S. & Woude, van der, J. C. S. P., 1995, In : Information Processing Letters. 53, 3, p. 131-136

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
3 Downloads (Pure)
1993

Demonic operators and monotype factors

Backhouse, R. C. & Woude, van der, J. C. S. P., 1993, In : Mathematical Structures in Computer Science. 3, 4, p. 417-433

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
2 Downloads (Pure)
1991

A tribute to attributes

Woude, van der, J. C. S. P. & Meertens, L. G. L. T., 1991, In : The Squiggolist. 2, 1, p. 10-15

Research output: Contribution to journalArticleProfessional

Open Access
File
24 Downloads (Pure)

Free style spec wrestling II : preorders

Woude, van der, J. C. S. P. & Meertens, L. G. L. T., 1991, In : The Squiggolist. 2, 2, p. 48-53

Research output: Contribution to journalArticleProfessional

Open Access
File
39 Downloads (Pure)
1989

Playing with patterns, searching for strings

Woude, van der, J. C. S. P., 1989, In : Science of Computer Programming. 12, 3, p. 177-190

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
3 Citations (Scopus)
1987

Connectedness related to almost periodicity of compositions of flow homomorphisms

McMahon, D. C., Woude, van der, J. C. S. P. & Wu, T. S., 1987, In : Pacific Journal of Mathematics. 128, 1, p. 127-148 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

1985

Characterizations of (H)PI extensions

Woude, van der, J. C. S. P., 1985, In : Pacific Journal of Mathematics. 120, 2, p. 453-467 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
1984

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

Vries, de, J. & Woude, van der, J. C. S. P., 1984, In : Rendiconti del Circolo Matemàtico di Palermo, Serie II. Suppl., 6, p. 291-306

Research output: Contribution to journalArticleAcademicpeer-review

Weak disjointness and the equicontinuous structure relation

Auslander, J., McMahon, D. C. & Woude, van der, J. C. S. P., 1984, In : Ergodic Theory and Dynamical Systems. 4, p. 323-351

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
1981

Maximally highly proximal generators of minimal flows

Auslander, J. & Woude, van der, J. C. S. P., 1981, In : Ergodic Theory and Dynamical Systems. 1, p. 389-412

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)