Centrum Wiskunde & Informatica

An exercise in coinduction: Moessner's theorem Tech Report

M. Niqui (Milad) and J.J.M.M. Rutten (Jan)

March 2011
Stability of localized modes in rotating tokamak plasmas Article

Plasma Physics and Controlled Fusion

J.W. Haverkort (Willem) and H.J. de Blank

March 2011
A coalgebraic perspective on linear weighted automata Tech Report

F. Bonchi (Filippo), M.M. Bonsangue (Marcello), M. Boreale, J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

March 2011
Redeneren over Communicatie Article

Euclides, 86(5), 214-216.

D.J.N. van Eijck (Jan)

March 2011
The Brunt–Väisälä frequency of rotating tokamak plasmas Article

Journal of Computational Physics, 231(3), 981-1001.

J.W. Haverkort (Willem), H.J. de Blank and B. Koren (Barry)

March 2011
MonetDB Mar2011 feature release Software

M.L. Kersten (Martin), P.A. Boncz (Peter), N.J. Nes (Niels), S. Manegold (Stefan), K.S. Mullender (Sjoerd), F.E. Groffen (Fabian), J.A. de Rijke (Arjen), Y. Zhang (Ying), M.G. Ivanova (Milena), S. Idreos (Stratos), et al. L.H.A. Scheers (Bart)

March 2011
Realization theory of discrete-time linear switched systems Tech Report

M. Petreczky (Mihaly), L. Bako and J.H. van Schuppen (Jan)

March 2011
Revisiting path steering for 3D manipulation tasks Article

International Journal of Human-Computer Studies, 69(3), 170-181.

L. Liu (Lei), J.-B. Martens and R. van Liere (Robert)

March 2011

Previous

Next