Publication

Numerical modelling of strongly anisotropic dissipative effects in MHD In Proceedings

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

Towards user-friendly, public domain simulations of the precursor of lightning: streamers Proceedings

Connectors as designs: Modelling refinement and test case generation Article

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

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

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

Symbolic execution of Reo circuits using constraint automata Article

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

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)

Asymptotic Bound for Multiplication Complexity in the Extensions of Small Finite Fields Article

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

Random walk on the high-dimensional IIC Tech Report

M. O. Heydenreich (Markus), R.W. van der Hofstad (Remco) and W.J.T. Hulshof