Skip to contents

  1. Bošnački, Dragan; van den Brand, Mark; Gabriels, Joost; Jacobs, Bart; Kuiper, Ruurd; Roede, Sybren; Wijs, Anton; Zhang, Dan

    Formal Aspects of Component Software: Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer International Publishing, 2016

    Published in: Formal Aspects of Component Software

  2. Kuiper, Ruurd J. A.; Colaris, Joost W.; Stockmans, Filip; van Es, Eline M.; Viergever, Max A.; Seevinck, Peter R.; Weinans, Harrie; Sakkers, Ralph J. B.

    Impact of bone and cartilage segmentation from CT and MRI on both bone forearm osteotomy planning

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Science and Business Media LLC, 2023

    Published in: International Journal of Computer Assisted Radiology and Surgery

  3. Willemsen, Koen; Ketel, Mirte H. M.; Zijlstra, Frank; Florkow, Mateusz C.; Kuiper, Ruurd J. A.; van der Wal, Bart C. H.; Weinans, Harrie; Pouran, Behdad; Beekman, Freek J.; Seevinck, Peter R.; Sakkers, Ralph J. B.

    3D-printed saw guides for lower arm osteotomy, a comparison between a synthetic CT and CT-based workflow

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Science and Business Media LLC, 2021

    Published in: 3D Printing in Medicine