CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2008
-
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.February 2008 -
Algorithms for SCC Decomposition Article
Electronic Notes in Theoretical Computer Science, 198 (1), 63-77.February 2008 -
Indexing Views to Route Queries in a PDMS Article
Distributed and Parallel Databases, 23(1), 45-68.E. Sidirourgos (Eleftherios), G. Kokkinidis, T. Dalamagas, V. Christophides and T. Sellis
February 2008 -
February 2008