Strategic allocation of cyclically calling vessels for multi-terminal container operators by Hendriks, M. P. M., Armbruster, D., Laumanns, M., Lefeber, E., Udding, J. T.

Get full text

Design and Control of Automated Guided Vehicle Systems: A Case Study by Li, Q., Adriaansen, A.C., Udding, J.T., Pogromsky, A.Y.

Get full text

An overview of D-I algebra by Josephs, M.B., Udding, J.T.

Request full text

Analysis and applications of the XDI model by Mallon, W.C., Udding, J.T., Verhoeff, T.

Request full text

Formalization of a software architecture for embedded systems: a process algebra for SPLICE by Dechering, P., Groenboom, R., de Jong, E., Udding, J.T.

Request full text

Building finite automata from DI specifications by Mallon, W.C., Udding, J.T.

Request full text

Normal form in DI-algebra with recursion by Lucassen, P.G., Polak, I., Udding, J.T.

Request full text

Using metrics for proof rules for recursively defined delay-insensitive specifications by Mallon, W.C., Udding, J.T.

Request full text

On the correctness of the Sproull counterflow pipeline processor by Lucassen, P.G., Udding, J.T.

Request full text

Formal design of an asynchronous DSP counterflow pipeline: a case study in handshake algebra by Josephs, M.B., Lucassen, P.G., Udding, J.T., Verhoeff, T.

Request full text

Exploiting network redundancy for low-cost neural network realizations by Keegstra, H., Jansen, W.J., Nijhuis, J.A.G., Spaanenburg, L., Stevens, H., Udding, J.T.

Request full text

On intersections of pairs of steiner triple systems by Hall, J.I, Udding, J.T

Get full text

Arithmetic for relative accuracy by vanDrunen, R., Spaanenburg, L., Lucassen, P., Nijhuis, J.A.G., Udding, J.T.

Request full text