Skip to contents

  2. Humperdinck, Engelbert [Author] ; Wette, Adelheid [Other]; Prey, Hermann [Performer]; Gramatzki, Ilse [Performer]; Hug, Eugen [Performer]; Lindner, Brigitte [Performer]; Moser, Edda [Performer]; Roleff, Ursula [Performer]; Fron, Thomas [Performer]; Wallberg, Heinz [Performer]; Frohn, Thomas [Performer] Kölner Kinderchor, Gürzenich-Orchester Köln

    Hänsel und Gretel : Märchenspiel in drei Bildern (2 CDs)

    Sound Recordings
    Close

    Bookmarks

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

    Köln: EMI-Electrola, c 1988

  3. Humperdinck, Engelbert [Author] ; Wette, Adelheid [Other]; Prey, Hermann [Performer]; Gramatzki, Ilse [Performer]; Hug, Eugen [Performer]; Lindner, Brigitte [Performer]; Moser, Edda [Performer]; Roleff, Ursula [Performer]; Frohn, Thomas [Performer]; Lenders, Hans-Günter [Performer]; Wallberg, Heinz [Performer] Kölner Kinderchor, Gürzenich-Orchester Köln

    Hänsel und Gretel : Märchenspiel in drei Bildern (2 CDs)

    Sound Recordings
    Close

    Bookmarks

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

    [Köln]: Warner Music Group Germany Holding GmbH, c 2011

    Published in: Cologne collection

  4. Frohn, Florian [Author]; Giesl, Jürgen [Author]; Hensel, Jera [Author]; Aschermann, Cornelius [Author]; Ströder, Thomas [Author] ; Florian Frohn and Jürgen Giesl and Jera Hensel and Cornelius Aschermann and Thomas Ströder [Contributor]

    Inferring Lower Bounds for Runtime Complexity

    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, 2015

  5. Schmitt, Tobias W [Author]; Frohn, Benedikt [Author]; Grützmacher, Detlev [Author]; Schüffelgen, Peter [Author]; Wittl, Wilhelm [Author]; Jalil, Abdur R [Author]; Schleenvoigt, Michael [Author]; Zimmermann, Erik [Author]; Schmidt, Anne [Author]; Schäpers, Thomas [Author]; Cuevas, Juan Carlos [Author]; Brinkman, Alexander [Author]

    Anomalous temperature dependence of multiple Andreev reflections in a topological insulator Josephson junction

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    IOP Publ., 2023

    Published in: Superconductor science and technology 36(2), 024002 - (2023). doi:10.1088/1361-6668/aca4fe

  8. Hensel, Jera; Emrich, Frank; Frohn, Florian; Ströder, Thomas; Giesl, Jürgen

    Tools and Algorithms for the Construction and Analysis of Systems: AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs : (Competition Contribution)

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Springer Berlin Heidelberg, 2017

    Published in: Tools and Algorithms for the Construction and Analysis of Systems

  10. Ströder, Thomas; Aschermann, Cornelius; Frohn, Florian; Hensel, Jera; Giesl, Jürgen

    Tools and Algorithms for the Construction and Analysis of Systems: AProVE: Termination and Memory Safety of C Programs : (Competition Contribution)

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Springer Berlin Heidelberg, 2015

    Published in: Tools and Algorithms for the Construction and Analysis of Systems

  15. Ströder, Thomas; Giesl, Jürgen; Brockschmidt, Marc; Frohn, Florian; Fuhs, Carsten; Hensel, Jera; Schneider-Kamp, Peter

    Automated Reasoning: Proving Termination and Memory Safety for Programs with Pointer Arithmetic

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Springer International Publishing, 2014

    Published in: Automated Reasoning

  17. Schmitt, Tobias W; Frohn, Benedikt; Wittl, Wilhelm; Jalil, Abdur R; Schleenvoigt, Michael; Zimmermann, Erik; Schmidt, Anne; Schäpers, Thomas; Cuevas, Juan Carlos; Brinkman, Alexander; Grützmacher, Detlev; Schüffelgen, Peter

    Anomalous temperature dependence of multiple Andreev reflections in a topological insulator Josephson junction

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    IOP Publishing, 2023

    Published in: Superconductor Science and Technology

  18. Poulsen, Aslak H.; Sørensen, Mette; Hvidtfeldt, Ulla A.; Christensen, Jesper H.; Brandt, Jørgen; Frohn, Lise M.; Ketzel, Matthias; Andersen, Christopher; Jensen, Steen Solvang; Münzel, Thomas; Raaschou-Nielsen, Ole

    Concomitant exposure to air pollution, green space, and noise and risk of stroke: a cohort study from Denmark

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    Elsevier BV, 2023

    Published in: The Lancet Regional Health - Europe

  19. Sørensen, Mette; Poulsen, Aslak H.; Hvidtfeldt, Ulla A.; Brandt, Jørgen; Frohn, Lise M.; Ketzel, Matthias; Christensen, Jesper H.; Im, Ulas; Khan, Jibran; Münzel, Thomas; Raaschou-Nielsen, Ole

    Air pollution, road traffic noise and lack of greenness and risk of type 2 diabetes: A multi-exposure prospective study covering Denmark

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    Elsevier BV, 2022

    Published in: Environment International

  20. Mauri, Victor; Deuschl, Florian; Frohn, Thomas; Schofer, Niklas; Linder, Matthias; Kuhn, Elmar; Schaefer, Andreas; Rudolph, Volker; Madershahian, Navid; Conradi, Lenard; Rudolph, Tanja K.; Schäfer, Ulrich

    Predictors of paravalvular regurgitation and permanent pacemaker implantation after TAVR with a next-generation self-expanding device

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    Springer Science and Business Media LLC, 2018

    Published in: Clinical Research in Cardiology