Skip to contents

  6. Falke, Stephan [Author]; Kapur, Deepak [Author]; Sinz, Carsten [Author]

    Termination Analysis of C Programs Using Compiler Intermediate Languages

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Karlsruhe: KIT, Fakultät für Informatik, 2011

    Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2011,6

  9. Centre for Quantum Engineering and Space-Time Research (Quest) [Author] ; Riehle, Fritz [Other]; Schmidt, Piet O. [Other]; Falke, Stephan [Other]; Rasel, Ernst M. [Other]

    Task Groups

    Videos
    View online
    Schließen
    Close

    Bookmarks

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

    [Erscheinungsort nicht ermittelbar]: Leibniz Universität Hannover (LUH), 2012

    Published in: QUEST Cluster of Excellence ; (Jan. 2012) -

  10. Centre for Quantum Engineering and Space-Time Research (Quest) [Author] ; Riehle, Fritz [Other]; Schmidt, Piet O. [Other]; Falke, Stephan [Other]; Rasel, Ernst M. [Other]

    Task Groups

    Videos
    View online
    Schließen
    Close

    Bookmarks

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

    [Erscheinungsort nicht ermittelbar]: Leibniz Universität Hannover (LUH), 2012

    Published in: QUEST Cluster of Excellence ; (Jan. 2012) -

  11. Fuhs, Carsten [Author]; Giesl, Jürgen [Author]; Plücker, Martin [Author]; Schneider-Kamp, Peter [Author]; Falke, Stephan [Author] ; Carsten Fuhs and Jürgen Giesl and Martin Plücker and Peter Schneider-Kamp and Stephan Falke [Contributor]

    Termination of Integer Term Rewriting

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

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

  12. Falke, Hilmar [Contributor]; Kampe, Fritz [Contributor]; Kandeel, Nashaat [Contributor]; Kaufmann, Friederike [Contributor]; Kramer, Siegfried [Contributor]; Opel, Stephan [Contributor]; Podlesak, Wolfgang [Contributor]; Reckrühm, Ilse [Contributor]; Schirmer, Manuela [Contributor]; Weber, Inge [Contributor]

    Archiv für Gartenbau : Band 31, Heft 3: 1983 - [Reprint 2021]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin; Boston: De Gruyter, [2021] ; [Online-Ausgabe]

    Published in: Archiv für Gartenbau ; Band 31, Heft 3

  13. Abdel-Hafiz, Moustafa [Author]; Álvarez Martínez, Héctor [Author]; Benkler, Erik [Author]; Bowden, William [Author]; Didier, Alexandre [Author]; Falke, Stephan [Author]; Hill, Ian R. [Author]; Le Coq, Yann [Author]; Lindvall, Thomas [Author]; Margolis, Helen S. [Author]; Pelzer, Lennart [Author]; Rolland, Antoine [Author]; Schmidt, Piet O. [Author]; Spethmann, Nicolas [Author]; Thomsen, Jan W. [Author]

    Guidelines for developing optical clocks with 10-18 fractional frequency uncertainty

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Hannover: Gottfried Wilhelm Leibniz Universität Hannover, 2019 ; Hannover: Technische Informationsbibliothek (TIB), 2019

  14. Abdel-Hafiz, Moustafa [Author]; Ablewski, Piotr [Author]; Al-Masoudi, Ali [Author]; Álvarez Martínez, Héctor [Author]; Balling, Petr [Author]; Barwood, Geoffrey [Author]; Benkler, Erik [Author]; Bober, Marcin [Author]; Borkowski, Mateusz [Author]; Bowden, William [Author]; Ciurylo, Roman [Author]; Cybulski, Hubert [Author]; Didier, Alexandre [Author]; Dolezal, Miroslav [Author]; Dörscher, Sören [Author]; Falke, Stephan [Author]; Godun, Rachel M. [Author]; Hamid, Ramiz [Author]; Hill, Ian R. [Author]; Hobson, Richard [Author]; Huntemann, Nils [Author]; Le Coq, Yann [Author]; Le Targat, Rodolphe [Author]; Legero, Thomas [Author]; [...]

    Guidelines for developing optical clocks with 10-18 fractional frequency uncertainty - [published Version]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2019

  15. Günther, Sebastian [Author]; Reinke, Patrick Y. A. [Author]; Fernández-García, Yaiza [Author]; Lieske, Julia [Author]; Lane, Thomas J. [Author]; Ginn, Helen M. [Author]; Koua, Faisal H. M. [Author]; Ehrt, Christiane [Author]; Ewert, Wiebke [Author]; Oberthür, Dominik [Author]; Yefanov, Oleksandr [Author]; Meier, Susanne [Author]; Lorenzen, Kristina [Author]; Krichel, Boris [Author]; Kopicki, Janine-Denise [Author]; Gelisio, Luca [Author]; Brehm, Wolfgang [Author]; Dunkel, Ilona [Author]; Seychell, Brandon [Author]; Gieseler, Henry [Author]; Norton-Baker, Brenna [Author]; Escudero-Pérez, Beatriz [Author]; Domaracky, Martin [Author]; Saouane, Sofiane [Author]; [...]

    X-ray screening identifies active site and allosteric inhibitors of SARS-CoV-2 main protease

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Hannover: Gottfried Wilhelm Leibniz Universität Hannover, 2021 ; Hannover: Technische Informationsbibliothek (TIB), 2021

    Published in: Science ; 372 (2021), Nr. 6542, S. 642-646

  16. Günther, Sebastian [Author]; Reinke, Patrick Y. A. [Author]; Fernández-García, Yaiza [Author]; Lieske, Julia [Author]; Lane, Thomas J. [Author]; Ginn, Helen M. [Author]; Koua, Faisal H. M. [Author]; Ehrt, Christiane [Author]; Ewert, Wiebke [Author]; Oberthuer, Dominik [Author]; Yefanov, Oleksandr [Author]; Meier, Susanne [Author]; Lorenzen, Kristina [Author]; Krichel, Boris [Author]; Kopicki, Janine-Denise [Author]; Gelisio, Luca [Author]; Brehm, Wolfgang [Author]; Dunkel, Ilona [Author]; Seychell, Brandon [Author]; Gieseler, Henry [Author]; Norton-Baker, Brenna [Author]; Escudero-Pérez, Beatriz [Author]; Domaracky, Martin [Author]; Saouane, Sofiane [Author]; [...]

    X-ray screening identifies active site and allosteric inhibitors of SARS-CoV-2 main protease - [published Version]

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    Washington, DC : American Association for the Advancement of Science, 2021

    Published in: Science 372 (2021), Nr. 6542 ; Science