Centrum Wiskunde & Informatica

Stepsize conditions for boundedness in numerical initial value problems Article

SIAM Journal on Numerical Analysis, 3797-3819.

W. Hundsdorfer (Willem), A. Mozartova (Anna) and M.N. Spijker

January 2009
Analysis of a multirate theta-method for stiff ODEs Article

Applied Numerical Mathematics, 693-706.

W. Hundsdorfer (Willem) and V. Savcenco (Valeriu)

January 2009
SAT-based Verification for Timed Component Connectors In Proceedings

S. Kemper (Stephanie)

January 2009
Algebraic Methods for Counting Euclidean Embeddings of Rigid Graphs In Proceedings

I.Z. Emiris, E.P. Tsigaridas and A. Varvitsiotis (Antonios)

January 2009
On the processor sharing of file transfers in WLANs In Proceedings

G.J. Hoekstra (Gerard) and R.D. van der Mei (Rob)

January 2009
Dynamic thread assignment in Web server performance optimization Article

Performance Evaluation, 301-310.

W. van der Weij (Wemke), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

January 2009
Dynamic Consistency in Process Algebra: From Paradigm to ACP In Proceedings

S. Andova, L.P.J. Groenewegen (Luuk) and E.P. de Vink (Erik)

January 2009
Robust Cryptography in the Noisy-Quantum-Storage Model Article

Quantum Information and Computation, 963-996.

C. Schaffner (Christian), B.M. Terhal (Barbara) and S.D.C. Wehner (Stephanie)

January 2009

Previous

Next