Zum Inhalt springen

  2. Wischnewski, Patrick [Verfasser:in] ; Weidenbach, Christoph [Sonstige Person, Familie und Körperschaft]

    Efficient reasoning procedures for complex first-order theories

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2012

  3. Wischnewski, Patrick [Verfasser:in] ; Weidenbach, Christoph [Mitwirkende:r]

    Efficient reasoning procedures for complex first-order theories ; Effizientes logisches Schließen für komplexe Theorien der Prädikatlogik erster Stufe

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Scientific publications of the Saarland University (UdS), 2012

  5. Fetzer, Christof; Weidenbach, Christoph; Wischnewski, Patrick

    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: Compliance, Functional Safety and Fault Detection by Formal Methods

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2016

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications (2016), Seite 626-632

  9. Schaefer, Moritz; Nabih, Amena; Spies, Daniel; Hermes, Victoria; Bodak, Maxime; Wischnewski, Harry; Stalder, Patrick; Ngondo, Richard Patryk; Liechti, Luz Angelica; Sajic, Tatjana; Aebersold, Ruedi; Gatfield, David; Ciaudo, Constance

    Global and precise identification of functional miRNA targets in mESCs by integrative analysis

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 2022

    Erschienen in: EMBO reports, 23 (2022) 9

  10. Catar, Rusan; Herse-Naether, Melanie; Zhu, Nan; Wagner, Philine; Wischnewski, Oskar; Kusch, Angelika; Kamhieh-Milz, Julian; Eisenreich, Andreas; Rauch, Ursula; Hegner, Björn; Heidecke, Harald; Kill, Angela; Riemekasten, Gabriela; Kleinau, Gunnar; Scheerer, Patrick; Dragun, Duska; Philippe, Aurelie

    Autoantibodies Targeting AT1- and ETA-Receptors Link Endothelial Proliferation and Coagulation via Ets-1 Transcription Factor

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    MDPI AG, 2021

    Erschienen in: International Journal of Molecular Sciences, 23 (2021) 1, Seite 244

  11. Buchholz, Udo; Jahn, Heiko Juergen; Brodhun, Bonita; Lehfeld, Ann-Sophie; Lewandowsky, Marina M.; Reber, Franziska; Adler, Kristin; Bochmann, Jacqueline; Förster, Christina; Koch, Madlen; Schreiner, Yvonne; Stemmler, Fabian; Gagell, Corinna; Harbich, Edith; Bärwolff, Sina; Beyer, Andreas; Geuß-Fosu, Ute; Hänel, Martina; Larscheid, Patrick; Murajda, Lukas; Morawski, Klaus; Peters, Uwe; Pitzing, Raimund; von Welczeck, Andreas; [...]

    Source attribution of community-acquired cases of Legionnaires’ disease–results from the German LeTriWa study; Berlin, 2016–2019

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Public Library of Science (PLoS), 2020

    Erschienen in: PLOS ONE, 15 (2020) 11, Seite e0241724