Publication

Post-proceedings of the second International Workshop on the Foundations of Interactive Computation Proceedings

Communication in the Presence of Replication In Proceedings

O. Barkol, Y. Ishai (Yuval) and E. Weinreb (Enav)

Synthesizing nonblocking distributed supervision based on automata abstraction In Proceedings

R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

Complexity analysis of a decentralised graph colouring algorithm Article

K. Duffy, N. O'Connell and A. Sapozhnikov (Artem)

An ontology-based approach for data integration - an application in biomedical research Book Chapter

I. Herman (Ivan), M.S. Marshall (Scott) and not CWI et al

Efficient computation of steady water flow with waves Article

J. Wackers (Jeroen) and B. Koren (Barry)

The LDP for the on/off Weibull sojourn process Article

K. Duffy and A. Sapozhnikov (Artem)

Static Check of WSCDL Documents In Proceedings

L. Zhou, H. Zhang (Haoyuan), T. Wang (Tao), C. Yang, Z. Wang, M. Sun (Meng) and G. Pu (Geguang)