Skip to contents

  2. Runge, Tobias [Author]; Bordis, Tabea [Author]; Potanin, Alex [Author]; Thüm, Thomas [Author]; Schaefer, Ina [Author]

    Flexible Correct-by-Construction Programming

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Logical Methods in Computer Science, 2023-07-13

    Published in: Logical Methods in Computer Science, Volume 19, Issue 2 (2), 16:1 – 16:36 ; ISSN: 1860-5974

  4. Runge, Tobias [Author]; Servetto, Marco [Author]; Potanin, Alex [Author]; Schaefer, Ina [Author]

    Immutability and Encapsulation for Sound OO Information Flow Control

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Association for Computing Machinery, 2022-12-05

    Published in: ACM Transactions on Programming Languages and Systems, 45 (1), Art.Nr. 3 ; ISSN: 0164-0925, 1558-4593

  10. Schaller, Paul [Author] ; Tornau, Johann [Other]; Zieritius, Bernhardus [Contributor]; Zieritius, Bernhardus [Other]; Nicolai, Carolus [Contributor]; Nicolai, Carolus [Other]; Müllerus, Tobias [Contributor]; Müllerus, Tobias [Other]; Runge, Georg [Printer]

    Hiskiae mortem meditantis, cum Deo Soliloquium. Das schöne geheime Hertzensgespräch/ deß frommen Königs Hiskiae, welches er/ auff seinem Siegbette/ mit Gott gehalten ... Esa. Cap. 38 : Bey der ansehnlichen Leichbegengnüß Deß ... Herrn Joannis Tornovii, wolverdienten Bürgemeisters/ der Newstadt Brandenburgk, Welcher Anno 1629. den 29. Novembr. ... auff der Rückreise auß Preussen/ im Churfürstlichen Ampt vor Reetz/ in der Newmarck ... entschlaffen. Unnd folgends/ Anno 1630. den 10. Ianuarii ... in der Pfarrkirchen zu Reetz ... beygesetzet worden. Erkläret unnd Außgeleget

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin: Runge, 1630 ; Online-Ausg., Berlin: Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, 2011

  13. Bordis, Tabea [Author]; Cleophas, Loek [Author]; Kittelmann, Alexander [Author]; Runge, Tobias [Author]; Schaefer, Ina [Author]; Watson, Bruce W. [Author]

    Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Springer International Publishing, 2022-11-15

  14. Runge, Tobias [Author]; Schaefer, Ina [Author]; Cleophas, Loek [Author]; Thüm, Thomas [Author]; Kourie, Derrick [Author]; Watson, Bruce W. [Author]

    Tool Support for Correctness-by-Construction

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Braunschweig, 2019

    Published in: FASE (22. : 2019 : Prag): Fundamental Approaches to Software Engineering

  15. Gilhausen, Ludwig [Author] ; Heidenreich, Tobias [Other]; Reckleben, Zacharias [Contributor]; Reckleben, Zacharias [Other]; Böhem, Paulus [Contributor]; Böhem, Paulus [Other]; Apianus, Philippus [Contributor]; Apianus, Philippus [Other]; Klosemann, Melchior [Printer]; Runge, Christoph [Printer]

    Viridarium Iuris Novum : In quo Flores Et Axiomata Utriusque Iuris secundum Methodum Ludovici Gillhausens, I.U.D. In certa capita distincta, & ordine Alphabetico digesta reperiuntur

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Francofurti: Closemannus, 1649 ; Berolini: Runge, 1649 ; Online-Ausg., Berlin: Staatsbliothek zu Berlin - Preußischer Kulturbesitz, 2008

  16. Michaelis, Johann [Author]; Rungius, Petrus [Author] ; Quistorpius, Tobias [Contributor]; Quistorpius, Tobias [Other]; W., I. H. [Contributor]; W., I. H. [Other]; Richel, Johann der Jüngere [Printer] Universität Rostock, Universität Rostock, Philosophische Fakultät

    Illustrium Quaestionum Philosophicarum Decas

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Rostochi[i]: Richelius, 1641 ; Online-Ausg., Rostock: Universitätsbibliothek, 2012

  17. Agricola, Adam Christian [Author] ; Mencel, Anna [Other]; Pelargus, Christoph [Contributor]; Pelargus, Christoph [Other]; Vechnerus, Georgius [Contributor]; Vechnerus, Georgius [Other]; Wernicke, Andreas [Contributor]; Wernicke, Andreas [Other]; Magirus, Tobias [Contributor]; Magirus, Tobias [Other]; Waltherus, Heinricus [Contributor]; Waltherus, Heinricus [Other]; Dresemius, S. [Contributor]; Dresemius, S. [Other]; Vechnerus, David [Contributor]; Vechnerus, David [Other]; Runge, Georg [Printer]

    Spes Et Desiderium Filiorum Dei, Das ist: Die hoffnung und das verlangen der Kinder Gottes nach dem ewigen Leben ... Bey der Christlichen Leichbegengniß/ Der weiland Erbarn ... Frawen Annae Füsselin/ deß ... Herrn M. Joachimi Mencelii, der Kirchen zur heiligen Dreyeinigkeit ... Ministri, Ehelichen Haußfrawen ... Den 18/28, Decembris, Anno 1631

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin: Runge, 1633 ; Online-Ausg., Berlin: Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, 2008

  18. Endres, Dominique [Author]; Prüß, Harald [Author]; Rijntjes, Michel [Author]; Schweizer, Tina [Author]; Werden, Rita [Author]; Nickel, Kathrin Alexandra [Author]; Meixensberger, Sophie [Author]; Runge, Kimon [Author]; Urbach, Horst [Author]; Domschke, Katharina [Author]; Meyer, Philipp Tobias [Author]; Tebartz van Elst, Ludger [Author]

    Parkinsonian syndrome with frontal lobe involvement and anti-glycine receptor antibodies

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Basel: MDPI, 2020

    Published in: Brain sciences ; 10, 6 (2020), 399

  19. Fromm, Andreas [Author] ; Gress, Stefan [Other]; Müller, Samuel [Contributor]; Müller, Samuel [Other]; Schirmer, Michael [Contributor]; Schirmer, Michael [Other]; Wellius, Sebastianus [Contributor]; Wellius, Sebastianus [Other]; Berlin, Andreas [Contributor]; Berlin, Andreas [Other]; Sturmius, Johannes [Contributor]; Sturmius, Johannes [Other]; Sernovius, Tobias [Contributor]; Sernovius, Tobias [Other]; Weber, Zacharias [Contributor]; Weber, Zacharias [Other]; Hännischius, Martinus [Contributor]; Hännischius, Martinus [Other]; Westphalus, Johannes [Contributor]; Westphalus, Johannes [Other]; Gressius, Stephanus Conradus [Contributor]; Gressius, Stephanus Conradus [Other]; Rhewendus, Christophorus [Contributor]; Rhewendus, Christophorus [Other]; Pomarius, Samuel [Contributor]; [...]

    Der höchste Schutz der Gläubigen/ Aus dem dritten Psalm/ vers. 4/5/6 : Bey Christlicher Beerdigung Des ... Hrn. M. Stephani Gressii, gewesenen trewfleisigen Con-Rectoris, des hiesigen Stadt-Gymnasij in Cöllen Welcher am 27. Martij dieses 1656. Jahres ... entschlaffen/ und am 7. Aprilis ... zu seiner Ruhestat bracht worden

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin: Runge, 1656 ; Online-Ausg., Berlin: Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, 2012

  20. Endres, Dominique [Author]; Rauer, Sebastian [Author]; Pschibul, Alexander [Author]; Süß, Patrick [Author]; Venhoff, Nils [Author]; Runge, Kimon [Author]; Feige, Bernd [Author]; Denzel, Dominik [Author]; Nickel, Kathrin Alexandra [Author]; Schweizer, Tina [Author]; Maier, Simon [Author]; Egger, Karl [Author]; Domschke, Katharina [Author]; Meyer, Philipp Tobias [Author]; Prüß, Harald [Author]; Tebartz van Elst, Ludger [Author]

    Novel antineuronal autoantibodies with somatodendritic staining pattern in a patient with autoimmune psychosis

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Lausanne: Frontiers Research Foundation, 2020

    Published in: Frontiers in psychiatry ; 11 (2020), 00627