Centrum Wiskunde & Informatica

Prototyping 3APL in the Maude term rewriting language In Proceedings

M.B. van Riemsdijk, F.S. de Boer (Frank), M. Dastani and J.-J.C. Meyer (John-Jules)

January 2006
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
Realistic Occlusion Effects in Mirror-Based Co-Located Augmented Reality Systems Article

Presence : Teleoperators and Virtual Environments, 15(1), 93-107.

J.C. Mulder and R. van Liere (Robert)

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
Prioritizing software inspection results using static profiling In Proceedings

F.C. Boogerd and L.M.F. Moonen (Leon)

January 2006
Interaction and Coordination of Tools for Structured Data In Proceedings

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

January 2006

Previous

Next