On computing a longest path in a tree von Bulterman, R.W., van der Sommen, F.W., Zwaan, G., Verhoeff, T., van Gasteren, A.J.M., Feijen, W.H.J.

Volltext

The joy of formula manipulation von Feijen, W.H.J.

Volltext

Peterson's mutual exclusion algorithm revisited von van der Sommen, F.W., Feijen, W.H.J., van Gasteren, A.J.M.

Volltext

Derivation of a termination detection algorithm for distributed computations von Dijkstra, Edsger W., Feijen, W.H.J., van Gasteren, A.J.M.

Volltext

Formal derivation of an algorithm for distributed phase synchronization von Buhăceanu, D.S., Feijen, W.H.J.

Volltext

Bulterman's reshuffling problem von Feijen, W.H.J.

Volltext

In-situ inversion of a cyclic permutation von Feijen, W.H.J., Van Gasteren, A.J.M., Gries, David

Volltext

Contact activation during incubation of five different polyurethanes or glass in plasma von van der Kamp, K. W. H. J., Hauch, K. D., Feijen, J., Horbett, T. A.

Volltext