Skip to contents

  13. Forster, Yannick [Author]; Kunze, Fabian [Author]; Smolka, Gert [Author]; Wuttke, Maximilian [Author] ; Yannick Forster and Fabian Kunze and Gert Smolka and Maximilian Wuttke [Contributor]

    A Mechanised Proof of the Time Invariance Thesis for the Weak Call-By-Value λ-Calculus

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  14. Naujoks, Frederik [Author]; Hergeth, Sebastian [Author]; Wiedemann, Katharina [Author]; Schömig, Nadja [Author]; Forster, Yannick [Author]; Keinath, Andreas [Author]

    Test procedure for evaluating the human-machine interface of vehicles with automated driving systems

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    London: Taylor & Francis, [2020]

  15. Förster, Robert [Author]; Zwahlen, Daniel Rudolf [Author]; Buchali, Andre [Author]; Tang, Hongjian [Author]; Schroeder, Christina [Author]; Windisch, Paul [Author]; Vu, Erwin [Author]; Akbaba, Sati [Author]; Bostel, Tilman [Author]; Sprave, Tetyana [Author]; Zamboglou, Constantinos [Author]; Zilli, Thomas [Author]; Stelmes, Jean-Jacques [Author]; Telkhade, Tejshri [Author]; Murthy, Vedang [Author]

    Stereotacticbody radiotherapy for high-risk prostate cancer: a systematic review

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Basel: MDPI AG, 2021

    Published in: Cancers ; 13, 4 (2021), 759