Centrum Wiskunde & Informatica

Refinement of Kripke Models for Dynamics In Proceedings

F. Dechesne (Francien), S.-M. Orzan (Simona-Mihaela) and Y. Wang (Yanjing)

September 2008
Multimodal identification and localization of users in a smart environment Article

Journal on Multimodal User Interfaces, 2(2), 75-91.

A.A. Salah (Albert Ali), R. Morros, J. Luque, C. Segura, J. Hernando, O. Ambekar (Onkar), B.A.M. Schouten (Ben) and E.J.E.M. Pauwels (Eric)

September 2008
Coinductive Formal Reasoning in Exact Real Arithmetic Article

Logical Methods in Computer Science, 4(3)

M. Niqui (Milad)

September 2008
Is timed branching bisimilarity a congruence indeed? Article

Fundamenta Informaticae, 87(3/4), 287-311.

W.J. Fokkink (Wan), J. Pang (Jun) and A.J. Wijs (Anton)

September 2008
Singularities of the generator of a Markov additive process with one-sided jumps Tech Report

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

September 2008
Lifting non-finite axiomatizability results to extensions of process algebras In Proceedings

L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and M.R. Mousavi

September 2008
Leader election in anonymous rings: Franklin goes probabilistic In Proceedings

R. Bakhshi (Rena), W.J. Fokkink (Wan), J. Pang (Jun) and J.C. van de Pol (Jaco)

September 2008
On coordinate transformation and grid stretching for sparse grid pricing of basket options Article

Journal of Computational and Applied Mathematics, 193-209.

C.C.W. Leentvaar and C.W. Oosterlee (Kees)

September 2008

Publication

Refinement of Kripke Models for Dynamics In Proceedings

Multimodal identification and localization of users in a smart environment Article

Coinductive Formal Reasoning in Exact Real Arithmetic Article

Is timed branching bisimilarity a congruence indeed? Article

Singularities of the generator of a Markov additive process with one-sided jumps Tech Report

Lifting non-finite axiomatizability results to extensions of process algebras In Proceedings

Leader election in anonymous rings: Franklin goes probabilistic In Proceedings

On coordinate transformation and grid stretching for sparse grid pricing of basket options Article

Address

CWI researchers

Questions or comments?

Publication

Refinement of Kripke Models for Dynamics In Proceedings

Multimodal identification and localization of users in a smart environment Article

Coinductive Formal Reasoning in Exact Real Arithmetic Article

Is timed branching bisimilarity a congruence indeed? Article

Singularities of the generator of a Markov additive process with one-sided jumps Tech Report

Lifting non-finite axiomatizability results to extensions of process algebras In Proceedings

Leader election in anonymous rings: Franklin goes probabilistic In Proceedings

On coordinate transformation and grid stretching for sparse grid pricing of basket options Article

Workflow

Workflow

Add Content