Publication

Formal verification of distributed systems Dissertation

J. Pang (Jun)

Structuur in schoonheid : vakantiecursus 2004 : programma en abstracts : Amsterdam, 27-28.08.2004 en Eindhoven, 03-04.09.2004 Booklet

Semi-Automatic Identification of Humpback Whales In Proceedings

E.B. Ranguelova (Elena), M.J. Huiskes (Mark) and E.J.E.M. Pauwels (Eric)

Netwerken in Nederland : Piet Beertema, van pionier tot goeroe : uitnodiging afscheid Piet Beertema, 16.09.2004 Other

Towards Computer-Assisted Photo-Identification of Humpback Whales In Proceedings

E.B. Ranguelova (Elena), M.J. Huiskes (Mark) and E.J.E.M. Pauwels (Eric)

Ambulant: A Fast, Multi-Platform Open Source SMIL Player In Proceedings

D.C.A. Bulterman (Dick), A.J. Jansen (Jack), K. Kleanthous, C.L. Blom (Kees) and D. Benden

Supporting the Production and Playback of Complex Multimedia Documents In Proceedings

D.C.A. Bulterman (Dick)

A Linking and Interaction Evaluation Test Set for SMIL In Proceedings

D.C.A. Bulterman (Dick)