Publication

Equivalences in design of experiments Dissertation

P.M. van de Ven (Peter)

Symmetry in semidefinite programs Tech Report

F. Vallentin (Frank)

Alternative Average Face Models for 3D Face Registration In Proceedings

N. Alyuz, A.A. Salah (Albert Ali) and L. Akarun

Integrating Architectural Models: Symbolic, Semantics and Subjective Models in Enterprise Architectures Article

F. Arbab (Farhad), F.S. de Boer (Frank), M.M. Bonsangue (Marcello), M.M. Lankhorst, H.A. Proper and L.W.N. van der Torre (Leon)

Transformation of BPMN models for Behaviour Analysis In Proceedings

I. Raedts, J.M. van der Werf (Jan Martijn), M. Petkovic, Y.S. Usenko (Yaroslav), L. Somers and J.F. Groote (Jan Friso)

How to keep on changing your mind, dynamically In Proceedings

J.A. Zvesper (Jonathan)

Preface Article

C.W. Oosterlee (Kees), B. Koren (Barry) and C. Vuik (Cornelis)

Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings Proceedings