Centrum Wiskunde & Informatica

Reconciling real and stochastic time: the need for probabilistic refinement Article

Formal Aspects of Computing, 24(4-6), 497-518.

J. Markovski (Jasen), P.R. Argenio, J.C.M. Baeten (Jos) and E.P. de Vink (Erik)

July 2012
Rascal Release 0.5.1 (alpha) Software

J.J. Vinju (Jurgen), P. Klint (Paul), D. Landman (Davy), A. Izmaylova (Anastasia), T. van der Storm (Tijs) and A.H.S. Bagge (Anya)

July 2012
Modeling Object Pursuit for Desktop Virtual Reality Article

IEEE Transactions on Visualization and Computer Graphics, 18(7), 1017-1026.

R. van Liere (Robert) and L. Liu (Lei)

July 2012
The Arithmetic Codex Tech Report

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

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
Lowlands huurt vijf knappe koppen in voor gastcolleges. Trouw, 5 juli 2012 Magazine Article

A. Schrijver (Lex)

July 2012
Ambulance ook in Maassluis vaak te laat. Maassluise Courant de Schakel, 19 juli 2012 Magazine Article

R.D. van der Mei (Rob)

July 2012

Previous

Next