Centrum Wiskunde & Informatica

Generic ownership for generic java In Proceedings

A. Potanin, J. Noble, D.G. Clarke (David) and R. Biddle

January 2006
Formal Semantics and Analysis of Component Connectors in reo Article

Electronic Notes in Theoretical Computer Science, 83-99.

M.R. Mousavi, M. Sirjani (Marjan) and F. Arbab (Farhad)

January 2006
Components as coalgebras: The refinement dimension Article

Theoretical Computer Science, 276-294.

S. Meng and L.S. Barbosa

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
Interaction and Coordination of Tools for Structured Data In Proceedings

J.N. Kok (Joost) and F. Arbab (Farhad)

January 2006
Modere: the model-checking engine of Rebeca In Proceedings

M.M. Jaghoori (Mohammad Mahdi), A. Movaghar (Ali) and M. Sirjani (Marjan)

January 2006
A new quantum lower bound method, with applications to direct product theorems and time-space tradeoffs In Proceedings

A. Ambainis (Andris), R. Spalek (Robert) and R.M. de Wolf (Ronald)

January 2006
New upper bounds for nonbinary codes based on the Terwilliger algebra and semidefinite programming Article

Journal of Combinatorial Theory - Series A, 113(8), 1719-1731.

D. Gijswijt (Dion), A. Schrijver (Lex) and H. Tanaka

January 2006

Previous

Next