Skip to contents

  1. Wimmer, Ralf [Editor] ; Gesellschaft für Informatik, Informationstechnische Gesellschaft, Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik, MBMV 19. 2016 Freiburg im Breisgau

    MBMV 2016 : 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen" : Albert-Ludwigs-Universität Freiburg im Breisgau 1.–2. März 2016

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Freiburg im Breisgau: Albert-Ludwigs-Universität, 2016

  7. Angst, Gerhard [Contributor]; Wimmer, Ralf [Contributor] ; Concept Engineering GmbH

    Frühzeitige Validierung von Safety- und Security-Anforderungen in autonomen Fahrzeugen; Kurztitel: SATiSFy : Abschlussbericht : Förderbekanntmachung: IT-Sicherheit und Autonomoes Fahren : Forschungsprogramm: Selbstbestimmt und sicher in der digitalen Welt 2015-2020 : Projektlaufzeit: 01.05.2018-31.07.2021 (incl. 3 Monate kostenneutraler Verlängerung)

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Freiburg im Breisgau: Concept Engineering GmbH, [2021?]

  10. Butkova, Yuliya [Author]; Wimmer, Ralf [Author]; Hermanns, Holger [Author]

    Markov Automata on Discount!

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    University of Freiburg: FreiDok, 2018

    Published in: Measurement, Modelling and Evaluation of Computing Systems. - Cham : German, Reinhard (Hrsg., u.a.), 2018. - 19-34, ISBN: 978-3-319-74946-4

  11. Supplie, Lotti Marianna [Author] ; Nave, Klaus-Armin [Degree supervisor]; Wimmer, Ernst A. [Other]; Heinrich, Ralf [Other]; Ehrenreich, Hannelore [Other]

    Genetic Evidence For Neuron-Glia Metabolic Coupling In The CNS

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2016

  12. Grote, Michael [Author] ; Lührmann, Reinhard [Degree supervisor]; Ficner, Ralf [Degree supervisor]; Wimmer, Ernst A. [Degree supervisor]; Pöggeler, Stefanie [Degree supervisor]

    ˜Theœ Molecular Architecture and Structure of the Human Prp19/CDC5L Complex and 35S U5 snRNP

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2011

  13. Li, Jianwei [Author] ; Wimmer, Ernst [Degree supervisor]; Wimmer, Ernst [Other]; Bucher, Gregor [Other]; Schuh, Reinhard [Other]; Stumpner, Andreas [Other]; Heinrich, Ralf [Other]; Dosch, Roland [Other]

    Fundamental efforts to develop novel biotechnological approaches in pest management applications against Coleoptera : transcriptomic exploration of the chemical defense mechanism in the red flour beetle, Tribolium castaneum

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    2013

  15. Ahmed, Hassan Mutasim Mohammed [Author] ; Wimmer, Ernst A. [Degree supervisor]; Wimmer, Ernst A. [Other]; Bucher, Gregor [Other]; Schuh, Reinhard [Other]; Heinrich, Ralf [Other]; Jackson, Daniel John [Other]; Dosch, Roland [Other]

    Development of Transgenic Sterile Insect Technique Strains for the Invasive Fruit Pest Drosophila suzukii

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2020

  16. Wimmer, Ralf [Author]; Karrenbauer, Andreas [Author]; Becker, Ruben [Author]; Scholl, Christoph [Author]; Becker, Bernd [Author] ; Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen

    From DQBF to QBF by dependency elimination : extended abstract

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Tübingen: Universitätsbibliothek Tübingen, [2018]

    Published in: MBMV 2018

  17. Wimmer, Ralf [Author]; Karrenbauer, Andreas [Author]; Becker, Ruben [Author]; Scholl, Christoph [Author]; Becker, Bernd [Author]

    From DQBF to QBF by sependency elimination

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    University of Freiburg: FreiDok, 2017

    Published in: Theory and applications of satisfiability testing - SAT 2017 : 20th International Conference,. - Cham, Switzerland : Gaspers, Serge (Hrsg., u.a.), 2017. - 326-343, ISBN: 978-3-319-66262-6

  18. Khan, Niamat [Author] ; Groß, Uwe [Degree supervisor]; Pöggeler, Stefanie [Other]; Asif, Abdul Rahman [Other]; Dressel, Ralf [Other]; Kramer, Wilfried [Other]; Rohlfs, Marko [Other]; Wimmer, Ernst A. [Other]

    Comparative DNA‐Protein Interaction and Epithelial Tight Junctions Modulation Potential of Immunosuppressive Regime

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2016

  19. Galinski, Sabrina [Author] ; Rossner, Moritz [Degree supervisor]; Rossner, Moritz [Other]; Göpfert, Martin [Other]; Wimmer, Ernst A. [Other]; Sereda, Michael [Other]; Heinrich, Ralf [Other]; Willig, Katrin [Other]

    Multiplexed cell-based assays to profile GPCR activities and cellular signalling

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2016

  20. Li, Jianwei [Author] ; Wimmer, Ernst A. [Degree supervisor]; Bucher, Gregor [Degree supervisor]; Schuh, Reinhard [Degree supervisor]; Stumpner, Andreas [Degree supervisor]; Heinrich, Ralf [Degree supervisor]; Dosch, Roland [Degree supervisor]

    Fundamental Efforts to Develop Novel Biotechnological Approaches in Pest Management Applications against Coleoptera: Transcriptomic Exploration of the Chemical Defense Mechanism in the Red Flour Beetle, Tribolium castaneum

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2013