Skip to contents

  4. Weidenbach, Christoph; Wischnewski, Patrick

    Subterm contextual rewriting

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    IOS Press, 2010

    Published in: AI Communications, 23 (2010) 2-3, Seite 97-109

  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

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    Springer International Publishing, 2016

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

  7. Weidenbach, Christoph; Dimova, Dilyana; Fietzke, Arnaud; Kumar, Rohit; Suda, Martin; Wischnewski, Patrick

    Automated Deduction – CADE-22: SPASS Version 3.5

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    Springer Berlin Heidelberg, 2009

    Published in: Automated Deduction – CADE-22 (2009), Seite 140-145

  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

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

    Published 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

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    MDPI AG, 2021

    Published 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

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    Public Library of Science (PLoS), 2020

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