Centrum Wiskunde & Informatica

An integrated system to manage crosscutting concerns in source code Dissertation

M.A. Marin (Marius)

January 2008
Delivering Interactive Multimedia Services in Dynamic Pervasive Computing Environments In Proceedings

C. Hesselman, P.S. César Garcia (Pablo Santiago), I. Vaishnavi (Ishan), M. Boussard, R. Kernchen, S. Meissner, A. Spedalieri, A. Sinfreu and C. Raeck

February 2008
Combining Expert Advice Efficiently Article

W.M. Koolen-Wijkstra (Wouter) and S. de Rooij (Steven)

February 2008
Algorithms for SCC Decomposition Article

Electronic Notes in Theoretical Computer Science, 198 (1), 63-77.

J. Barnat, J. Chaloupka (Jakub) and J.C. van de Pol (Jaco)

February 2008
On the axiomatizability of priority Article

Mathematical Structures in Computer Science, 18(1), 5-28.

L. Aceto (Luca), T. Chen (Taolue), W.J. Fokkink (Wan) and A. Ingólfsdóttir

February 2008
Distributed partial order reduction for branching security protocols Article

Electronic Notes in Theoretical Computer Science, 198(1), 93-99.

M.T. Dashti (Mohammad), A.J. Wijs (Anton) and B. Lisser (Bert)

February 2008
A fast and accurate FFT-based method for pricing early-exercise options under Levy processes Article

SIAM Journal on Scientific Computing, 1678-1705.

R. Lord, F. Fang, F. Bervoets and C.W. Oosterlee (Kees)

February 2008
Realization theory for linear hybrid systems, part II: Reachability, observability and minimality Tech Report

M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

February 2008

Previous

Next