Robust Facial Landmarking for Registration Article

A.A. Salah (Albert Ali), H. Cinar, L. Akarun and B. Sankur

A System for Distributed Mechanisms: Design, Implementation and Applications Tech Report

K.R. Apt (Krzysztof), F. Arbab (Farhad) and H. Ma (Huiye)

The Formal Specification Language mCRL2 In Proceedings

J.F. Groote (Jan Friso), A.H.J. Mathijssen (Aad), Y.S. Usenko (Yaroslav), M.A. Reniers (Michel) and M.J. van Weerdenburg (Muck)

Modeling and verifying a Real-Life Industrial Session-Layer Protocol in $\mu$CRL2. Tech Report

Y.S. Usenko (Yaroslav), R. Schreurs (Rene), S. ten Hoedt (Stefan) and M.C.J.D. van Eekelen (Marko)

Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap In Proceedings

F. Dechesne (Francien), M.R. Mousavi and S.-M. Orzan (Simona-Mihaela)

A simple family of nonadditive quantum codes Article

G.S.B. Smith (Graeme), J. Smolin and S.D.C. Wehner (Stephanie)

Biometrics and their use in e-Passports Article

B.A.M. Schouten (Ben) and B.P.F. Jacobs

International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings Proceedings