Centrum Wiskunde & Informatica

On a queueing model with service interruptions Article

Probability in the Engineering and Informational Sciences, 537-555.

O.J. Boxma (Onno), M.R.H. Mandjes (Michel) and O. Kella

January 2008
Static Check of WSCDL Documents In Proceedings

L. Zhou, H. Zhang (Haoyuan), T. Wang (Tao), C. Yang, Z. Wang, M. Sun (Meng) and G. Pu (Geguang)

January 2008
Synthesis of Connectors from Scenario-based Interaction Specifications In Proceedings

F. Arbab (Farhad) and M. Sun (Meng)

January 2008
Modeling, Testing and Executing Reo Connectors with the Eclipse Coordination Tools In Proceedings

F. Arbab (Farhad), C. Krause (born Köhler) (Christian), Z. Maraikar (Ziyan), Y.-J. Moon (Young-Joo) and J.M.P. Proença (Jose)

January 2008
The EMF Model Transformation Framework Book Chapter

E. Biermann, K. Ehrig, C. Ermel, C. Krause (born Köhler) (Christian) and G. Taentzer

January 2008
Conditional Reactive Simulatability Article

International Journal of Information Security, 7(2), 155-169.

M. Backes, M. Dürmuth, D. Hofheinz (Dennis) and R. Küsters (Ralf)

January 2008
Public-Key Encryption with Non-Interactive Opening In Proceedings

I.B. Damgård (Ivan), D. Hofheinz (Dennis), E. Kiltz (Eike) and R. Thorbek (Rune)

January 2008
Towards Key-Dependent Message Security in the Standard Model In Proceedings

D. Hofheinz (Dennis) and D. Unruh

January 2008

Previous

Next