Skip to contents

  3. Dietsch, Johann Georg [Author] ; Tischer, David [Other]; Hilscher, Johann Christoph [Contributor]; C. T. [Contributor]; Ettmüller, M. [Contributor]; Alberti, Valentin [Contributor]; Mylius, Andreas [Contributor]; Konhardt, Johann Heinrich [Contributor]; Ebhardt, August Friedrich [Contributor]; Lindner, Jacob [Contributor]; Curth, Immanuel [Contributor]; Schubart, J. G. [Contributor]; J. G. S. [Contributor]; Bauer, David [Contributor]; Horn, Johann Daniel [Contributor]; Schütz, Johannes [Contributor]; Rabener, Justus Gottfried [Contributor]; Stohr, Johann [Contributor]; Petermann, Tobias [Contributor]; Thamm, C. [Contributor]; Schmid, David [Contributor]; Tischer, Johann Paul [Contributor]; Stock, Nicolaus [Contributor]; Oesterreich, Johann [Contributor]; Spörl, Samuel [Printer]

    Derer gerechten Seelen Hinfarth aus dieser Welt/ Wie sie als Gäste abscheiden und zum him[m]lischen Frieden gelangen : Aus denen Worten des Buchs der Weißheit im 3. Cap. v. 1. biß 5. Aber der Gerechten Seelen sind in Gottes Hand ... Bey angestellter Sepultur des ... Herrn David Tischers/ Philosophiae & Legum Studiosi, Als derselbe von der berühmten Universität Leipzig/ woselbst er sich studierens halber auffgehalten ... am 25. Aug. Anno 1676. ... der Seelen nach zur himmlischen Academie abgefodert; Dessen erblasseter Cörper aber nacher Colditz gebracht/ und den 30. besagten Monats in seine Ruhe-Kam[m]er gesencket wurde/ In einer einfältigen Predigt vorgestellet

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Leipzig: Spörl, 1677 ; Online-Ausgabe, Gotha: Forschungsbibliothek Gotha, 2022

  4. Dietsch, Daniel [Author]; Heizmann, Matthias [Author]; Nutz, Alexander [Author]; Schätzle, Claus [Author]; Schuessele, Frank [Author]

    Ultimate Taipan with symbolic interpretation and fluid abstractions : (competition contribution)

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Cham: Springer, 2020 ; Berlin; Heidelberg: Springer, 2020

    Published in: Tools and algorithms for the construction and analysis of systems : 26th international conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings - Lecture notes in computer science ; 12079 (2020), 418-422

  5. Beyer, Dirk [Author]; Dangl, Matthias [Author]; Dietsch, Daniel [Author]; Heizmann, Matthias [Author]; Lemberger, Thomas [Author]; Tautschnig, Michael [Author]

    Verification witnesses

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

    Published in: ACM transactions on software engineering and methodology. - 31, 4 (2022) , 1-69, ISSN: 1049-331X

  6. Becker, Samuel [Author]; Dietsch, Daniel [Author]; Hauff, Nico [Author]; Henkel, Elisabeth [Author]; Langenfeld, Vincent [Author]; Podelski, Andreas [Author]; Westphal, Bernd [Author]

    Hanfor: Semantic Requirements Review at Scale

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    2021

    Published in: REFSQ (27. : 2021 : Online): REFSQ-JP 2021: REFSQ 2021 joint proceedings of the co-located events ; 2021

  7. Dietsch, Daniel [Author]; Greitschus, Marius [Author]; Heizmann, Matthias [Author]; Hoenicke, Jochen [Author]; Nutz, Alexander [Author]; Podelski, Andreas [Author]; Schilling, Christian [Author]; Schindler, Tanja [Author]

    Ultimate Taipan with Dynamic Block Encoding : (Competition Contribution)

    Conference Proceedings
    View online
    Schließen
    Close

    Bookmarks

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

    KOPS - The Institutional Repository of the University of Konstanz, 2018

  8. Dietsch, Daniel [Author]; Greitschus, Marius [Author]; Heizmann, Matthias [Author]; Hoenicke, Jochen [Author]; Nutz, Alexander [Author]; Podelski, Andreas [Author]; Schilling, Christian [Author]; Schindler, Tanja [Author]

    Ultimate Taipan with Dynamic Block Encoding : (Competition Contribution)

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Konstanz: KOPS Universität Konstanz, 2018

  9. Dietsch, Daniel [Author]; Greitschus, Marius [Author]; Heizmann, Matthias [Author]; Hoenicke, Jochen [Author]; Nutz, Alexander [Author]; Podelski, Andreas [Author]; Schilling, Christian [Author]; Schindler, Tanja [Author]

    Ultimate Taipan with dynamic block encoding : (competition contribution)

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin; Heidelberg: Springer, 2018

    Published in: Lecture notes in computer science ; 10806 (2018), 452-456

  10. Heizmann, Matthias [Author]; Chen, Yu-Fang [Author]; Dietsch, Daniel [Author]; Greitschus, Marius [Author]; Hoenicke, Jochen [Author]; Li, Yong [Author]; Nutz, Alexander [Author]; Musa, Betim [Author]; Schilling, Christian [Author]; Schindler, Tanja [Author]

    Ultimate Automizer and the Search for Perfect Interpolants : (Competition Contribution)

    Conference Proceedings
    View online
    Schließen
    Close

    Bookmarks

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

    KOPS - The Institutional Repository of the University of Konstanz, 2018

  11. Heizmann, Matthias [Author]; Chen, Yu-Fang [Author]; Dietsch, Daniel [Author]; Greitschus, Marius [Author]; Hoenicke, Jochen [Author]; Li, Yong [Author]; Nutz, Alexander [Author]; Musa, Betim [Author]; Schilling, Christian [Author]; Schindler, Tanja [Author]; Podelski, Andreas [Author]

    Ultimate automizer and the search for perfect interpolants : (competition contribution)

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Cham: Springer, 2018

    Published in: Lecture notes in computer science ; 10806 (2018), 447-451

  12. Heizmann, Matthias [Author]; Chen, Yu-Fang [Author]; Dietsch, Daniel [Author]; Greitschus, Marius [Author]; Hoenicke, Jochen [Author]; Li, Yong [Author]; Nutz, Alexander [Author]; Musa, Betim [Author]; Schilling, Christian [Author]; Schindler, Tanja [Author]

    Ultimate Automizer and the Search for Perfect Interpolants : (Competition Contribution)

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Konstanz: KOPS Universität Konstanz, 2018

  13. Amicelle, Anthony [Contributor]; Amiraux, Valérie [Contributor]; Arel-Bundock, Vincent [Contributor]; Assche, Ari Van [Contributor]; Benyekhlef, Karim [Contributor]; Brawley, Mark R. [Contributor]; Béland, Daniel [Contributor]; Caouette, Dominique [Contributor]; Christians, Allison [Contributor]; Chung, Ryoa [Contributor]; Crépeau, François [Contributor]; David, Pierre-Marie [Contributor]; Dembińska, Magdalena [Contributor]; Dietsch, Peter [Contributor]; Dion, Stéphane [Contributor]; Druetz, Thomas [Contributor]; Eliadis, Pearl [Contributor]; Eliadis, Pearl [Other]; Fournier, Philippe [Contributor]; Fréchette, Louise [Contributor]; Furstenberg, François [Contributor]; Gagnon, Alain [Contributor]; Gilabert, Pablo [Contributor]; Hodges, Timothy [Contributor]; [...]

    The Afterworld : Long COVID and International Relations

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Ottawa: University of Ottawa Press, [2024]

    Published in: Health and Society