university website Publications by Year
  • sign in

Publication

  • thumb

    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
    open access
  • 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
  • thumb

    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
    open access
  • thumb

    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
    open access
  • Thema Film 8: Blaeu in Action Magazine Article

    T.H.J. Sellam (Thibault)

    January 2015
    open access
  • Thema Film 9: EVA, the Electric Vehicle Aggregator Magazine Article

    F.N. Claessen (Felix), M. Kaisers (Michael) and E.J.E.M. Pauwels (Eric)

    January 2015
    open access
  • Thema Film 10: The Experiment by ByBorre X CWI Magazine Article

    P.S. César Garcia (Pablo Santiago), L. Pérez Romero (Lilia), C. Wang (Chen), S. Cabrero Barros (Sergio), A.J. Jansen (Jack) and T. Röggla (Thomas)

    January 2015
    open access
  • thumb

    Autonomous positioning of Avatars at a guided virtual educational trip In Proceedings

    A.A.M. Kuijk (Fons)

    January 2015
    open access
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close