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
Advances in Hash Function Cryptanalysis Article

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

M.M.J. Stevens (Marc)

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
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
A Procedure for Splitting Processes and its Application to Coordination (Technical Report) Tech Report

S.-S.T.Q. Jongmans (Sung), D.G. Clarke (David) and J.M.P. Proença (Jose)

July 2012
Numerical modelling of strongly anisotropic dissipative effects in MHD In Proceedings

B. van Es (Bram), B. Koren (Barry) and H.J. de Blank

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
Commentary on The Optimality of Jeffreys Prior for Online Density Estimation and the Asymptotic Normality of Maximum Likelihood Estimators by F. Hedayati and P. Bartlett Magazine Article

P.D. Grünwald (Peter)

July 2012

Previous

Next