Publication

Alternative Average Face Models for 3D Face Registration In Proceedings

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

Preface Article

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

Adaptive Test Case Execution in Practice Tech Report

J.R. Calamé (Jens)

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)

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

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)

Second International ACM/SIGMOD Workshop on Performance and Evaluation of Data Management Systems (ExpDB 2007) Proceedings

Dynamic epistemic verification of security protocols: framework and case study In Proceedings

F. Dechesne (Francien) and Y. Wang (Yanjing)