university website Publications by Year
  • sign in

Publication

  • A new model and numerical method for compressible two-fluid flow In Proceedings

    J.J. Kreeft (Jasper) and B. Koren (Barry)

    January 2012
  • Linearly implicit energy-conserving Runge-Kutta methods for the incompressible Navier-Stokes equations In Proceedings

    B. Sanderse (Benjamin) and B. Koren (Barry)

    January 2012
  • New explicit Runge-Kutta methods for the incompressible Navier-Stokes equations In Proceedings

    B. Sanderse (Benjamin) and B. Koren (Barry)

    January 2012
  • Discretization methods for extremely anisotropic diffusion In Proceedings

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

    January 2012
  • Building virtual earth observatories using ontologies and linked geospatial data In Proceedings

    M. Koubarakis (Manolis), M. Karpathiotakis (Manos), K. Kyzirakos (Konstantinos), C. Nikolaou (Charalampos), S. Vassos (Stavros), G. Garbis (George), M. Sioutis (Michael), K. Bereta (Konstantina), S. Manegold (Stefan), M.L. Kersten (Martin), et al. M.G. Ivanova (Milena), H. Pirk (Holger), Y. Zhang (Ying), C. Kontoes (Charalampos), I. Papoutsis (Ioannis), T. Herekakis (Themistocles), D. Mihail (Dimitris), M. Datcu (Mihai), G. Schwarz (Gottfried), O.C. Dumitru (Octavian), Molina, D. (Daniela), K. Molch (Katrin), U.D. Giammatteo (Ugo), M. Sagona (Manuela), S. Perelli (Sergio), E. Klien (Eva), T. Reitz (Thorsten) and R. Gregor (Robert)

    January 2012
  • Computing with Spiking Neuron Networks Book Chapter

    H. Paugam-Moisy and S.M. Bohte (Sander)

    January 2012
    open access
  • thumb

    Generating an IDE using Rascal Presentation

    T. van der Storm (Tijs)

    January 2012
    open access
  • Automated Verification of Recursive Programs with Pointers In Proceedings

    F.S. de Boer (Frank), M.M. Bonsangue (Marcello) and J.C. Rot (Jurriaan)

    January 2012
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