CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Proving language inclusion and equivalence by coinduction Article
Information and Computation, 62-76.J.C. Rot (Jurriaan), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
January 2016 -
January 2016 -
Coalgebraic semantics of heavy-weighted automata In Proceedings
M. Fortin (Marie), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
January 2016 -
Towards a proof method for Paradigm Book Chapter
L.P.J. Groenewegen (Luuk), R. Kuiper and E.P. de Vink (Erik)
January 2016 -
Numerical Fourier method and second-order Taylor scheme for backward SDEs in finance Article
Applied Numerical Mathematics, 1-26.January 2016 -
On the existence of identifiable reparametrizations for linear compartment models Article
SIAM Journal on Applied Mathematics, 76(4), 1577-1605.January 2016 -
The Mertens Conjecture Book Chapter
January 2016
-
A first step toward uncovering the truth about weight tuning in deformable image registration In Proceedings
K. Pirpinia (Kleopatra), P.A.N. Bosman (Peter), J.-J. Sonke (Jan-Jakob), M. van Herk (Marcel) and T. Alderliesten (Tanja)
January 2016