Centrum Wiskunde & Informatica

Simulatable Security and Polynomially Bounded Concurrent Composition In Proceedings

D. Hofheinz (Dennis) and D. Unruh

January 2006
Fint: Tool support for aspect mining In Proceedings

A.M. Marin (Marius), L.M.F. Moonen (Leon) and A. van Deursen (Arie)

January 2006
Components as coalgebras: The refinement dimension Article

Theoretical Computer Science, 276-294.

S. Meng and L.S. Barbosa

January 2006
SMaRT cluster website Software

A.K. Amin (Alia)

January 2006
Harvesting software systems for MDA-based reengineering In Proceedings

T. Reus, H. Geers and A. van Deursen (Arie)

January 2006
Preface Proceedings of PDMS 2005 In Proceedings

M. Leucker and J.C. van de Pol (Jaco)

January 2006
A Channel Based Communication Model with a Weighted Mobility In Proceedings

T. Limniotes, G.A. Papadopoulos (George) and F. Arbab (Farhad)

January 2006
Open Graphical Framework for interactive tv Article

International Journal on Multimedia Tools and Applications, 189-203.

P.S. César Garcia (Pablo Santiago), J. Vierinen and P. Vuorimaa

January 2006

Previous

Next