Centrum Wiskunde & Informatica

Conditional Reactive Simulatability, in Computer Security In Proceedings

M. Backes, M. Dürmuth, D. Hofheinz (Dennis) and R. Küsters (Ralf)

January 2006
/facet: A Generic Facet Browser Including Temporal and Spatial Visualization Software

M. Hildebrand (Michiel)

January 2006
Numerically satisfactory solutions of hypergeometric recursions Tech Report

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

January 2006
Algorithm 850: Real parabolic cylinder functions U(a,x), V(a,x) Tech Report

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

January 2006
Modeling ping times in first person shooter games Tech Report

N. Degrande, D. de Vleeschauwer, R.E. Kooij (Robert) and M.R.H. Mandjes (Michel)

January 2006
Runge-Kutta multigrid analysis for space-time discontinuous Galerkin discretization of an advection-diffusion equation Tech Report

M.H. van Raalte (Marc) and C.M. Klaij (Christiaan)

January 2006
Synthesis of Mealy machines using derivatives Tech Report

H.H. Hansen (Helle), D.F. de Oliveira Costa (David) and J.J.M.M. Rutten (Jan)

January 2006
Linking analysis and transformation tools with source-based mappings Tech Report

M. Bruntink (Magiel)

January 2006

Previous

Next