Aarhus University Seal / Aarhus Universitets segl

Marit Edna Ohlenbusch Bagge

  1. 2020
  2. Published

    Aneris : A Mechanised Logic for Modular Reasoning about Distributed Systems. / Krogh-Jespersen, Morten; Timany, Amin; Ohlenbusch, Marit Edna; Gregersen, Simon Oddershede; Birkedal, Lars.

    Programming Languages and Systems- 29th European Symposium on Programming ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. ed. / Peter Müller. Springer, 2020. p. 336-365 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12075).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  3. 2018
  4. Published

    Murine breast cancer feed arteries are thin-walled with reduced α1A-adrenoceptor expression and attenuated sympathetic vasocontraction. / Frølunde, Anne Sofie; Ohlenbusch, Marit Edna; Berg-Hansen, Kristoffer; Jessen, Nicolai; Kim, Sukhan; Boedtkjer, Ebbe.

    In: Breast Cancer Research, Vol. 20, 20, 2018.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review