Centrum Wiskunde & Informatica

Coalgebraic semantics of heavy-weighted automata Tech Report

M. Fortin (Marie), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

January 2015
On the application of spectral filters in a Fourier option pricing technique Article

Journal of Computational Finance, 19(1), 75-106.

M.J. Ruijter (Marjon), M. Versteegh and C.W. Oosterlee (Kees)

January 2015
Large-scale parameter studeis of cell-based models of tissue morphogenesis using CompuCell3D or VirtualLeaf Article

Methods in Molecular Biology, 301-322.

M.M. Palm (Margriet) and R.M.H. Merks (Roeland)

January 2015
The role of supervisory controller synthesis in automatic control software development Article

Science of Computer Programming, 97(1), 17-22.

J.C.M. Baeten (Jos) and J. Markovski (Jasen)

January 2015
Expressiveness modulo bisimilarity of regular expressions with parallel composition Article

Mathematical Structures in Computer Science

J.C.M. Baeten (Jos), S.P. Luttik (Bas), T. Muller (Tim) and P.J.A. van Tilburg (Paul)

January 2015
Two-dimensional volume-frozen percolation: exceptional scales Tech Report

J. van den Berg (Rob) and P. Nolin (Pierre)

January 2015
A coalgebraic foundation for coinductive union types In Proceedings

M.M. Bonsangue (Marcello), J.C. Rot (Jurriaan), D. Ancona and J.J.M.M. Rutten (Jan)

January 2015
Social network games Article

Journal of Logic and Computation, 25(1), 207-242.

S.E. Simon (Sunil) and K.R. Apt (Krzysztof)

January 2015

Previous

Next