Centrum Wiskunde & Informatica

Atomic resolution electron tomography based on discrete mathematics Article

Microscopy and Microanalysis, 1566-1567.

J. Jinschek, K.J. Batenburg (Joost), H. Calderon, R. Kilaas, V. Radmilovic and C. Kisielowski

January 2006
A Component Coordination Model Based on Mobile Channels Article

Electronic Notes in Theoretical Computer Science, 121-138.

J.V. Guillen Scholten (Juan), F. Arbab (Farhad), M.M. Bonsangue (Marcello) and F.S. de Boer (Frank)

January 2006
Chosen-Ciphertext Security from Tag-Based Encryption In Proceedings

E. Kiltz (Eike)

January 2006
Modeling the Exogenous Coordination of Mobile Channel-based systems with petri nets Article

Electronic Notes in Theoretical Computer Science, 121-138.

J.V. Guillen Scholten (Juan), F. Arbab (Farhad), F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

January 2006
A Component Coordination Model Based on Mobile Channels Article

Fundamenta Informaticae, 1-22.

J.V. Guillen Scholten (Juan), F. Arbab (Farhad), F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

January 2006
Interacting process classes Article

A. Goel, S. Meng, A. Roychoudhury and P.S. Thiagarajan

January 2006
Compositional Operational Semantics of a UML-Kernel-Model language Article

Electronic Notes in Theoretical Computer Science, 79-96.

H. Fecher, M. Kyas (Marcel), W.P. de Roever and F.S. de Boer (Frank)

January 2006
Type for hierarchic shapes (summary) In Proceedings

S. Drossopoulou, D.G. Clarke (David) and J. Noble

January 2006

Previous

Next