Centrum Wiskunde & Informatica

Connectors as designs: Modelling refinement and test case generation Article

Science of Computer Programming, 799-822.

S. Meng, F. Arbab (Farhad), B.K. Aichernig, L. Astefanoaei (Lacramioara), F.S. de Boer (Frank) and J.J.M.M. Rutten (Jan)

July 2012
Torsion Limits and Riemann-Roch Systems for Function Fields and Applications Tech Report

I. Cascudo (Ignacio), R.J.F. Cramer (Ronald) and C. Xing (Chaoping)

July 2012
Symbolic execution of Reo circuits using constraint automata Article

Science of Computer Programming, 848-869.

B. Pourvatan, M. Sirjani (Marjan), H. Hojjat and F. Arbab (Farhad)

July 2012
Advances in Hash Function Cryptanalysis Article

ERCIM News, 2012(90), 26-27.

M.M.J. Stevens (Marc)

July 2012
Rise and fall of periodic patterns for a Generalized Klausmeier-Gray-Scott model Article

Journal of Nonlinear Science

S. van der Stelt (Sjors), A. Doelman (Arjen), G. Hek (Geertje) and J.D.M. Rademacher (Jens)

July 2012
Wiskunde, wat moet je er mee? RTL4's Editie NL, 17.07.2012 [3:03] News Broadcast

R.D. van der Mei (Rob) and D. Gijswijt (Dion)

July 2012
SuMDb - Summarizing a year in movies Master Thesis

R.C. Helling (Rutger)

July 2012
Investigation towards link-enriched video: user information needs for environmental opinion-forming and decision-making Master Thesis

A.C. Palumbo

July 2012

Previous

Next