Publication

CURIE Syntax 1.0 Manual

S. Pemberton (Steven) and not CWI et al

XML Events 2: An Events Syntax for XML Manual

S. Pemberton (Steven)

Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers Proceedings

XHTML™ 2.0 Manual

S. Pemberton (Steven)

Personalised Access to Social Media Dissertation

M. Clements (Maarten)

Understanding and Supporting Information Seeking Tasks among Multiple Sources Dissertation

A.K. Amin (Alia)

The COS method: An efficient Fourier method for pricing financial derivatives Dissertation

F. Fang

Formal Models for Component Connectors Dissertation

D.F. de Oliveira Costa (David)