Zum Inhalt springen

  1. Gerber, Margarethe [Sonstige Person, Familie und Körperschaft]; Moebius, Mathias [Sonstige Person, Familie und Körperschaft]; Bätz, Oliver [Bearbeiter:in]; Benjamin, Walter [Sonstige Person, Familie und Körperschaft] ; Werkbund-Archiv, Museumspädagogischer Dienst Berlin, Martin-Gropius-Bau Körperschaft, Ausstellung Bucklicht Männlein und Engel der Geschichte, Walter Benjamin, Theoretiker der Moderne 1990 - 1991 Berlin

    Bucklicht Männlein und Engel der Geschichte : Walter Benjamin, Theoretiker der Moderne ; eine Ausstellung des Werkbund-Archivs im Martin-Gropius-Bau, 28. Dezember 1990 bis 28. April 1991 - [1. Aufl.]

    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.

    Gießen: Anabas-Verlag, 1990

    Erschienen in: Museumspädagogischer Dienst Berlin: Ausstellungsmagazin ; 28

  2. Batz, Kevin [Verfasser:in]; Kaminski, Benjamin Lucien [Verfasser:in]; Katoen, Joost-Pieter [Verfasser:in]; Matheja, Christoph [Verfasser:in]

    How long, O Bayesian network, will I sample thee? : A program analysis perspective on expected sampling times

    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.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2018

  3. Schroer, Philipp [Verfasser:in]; Batz, Kevin [Verfasser:in]; Kaminski, Benjamin Lucien [Verfasser:in]; Katoen, Joost-Pieter [Verfasser:in]; Matheja, Christoph [Verfasser:in]

    A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)

    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.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2023

  4. Batz, Kevin [Verfasser:in]; Chen, Mingshuai [Verfasser:in]; Junges, Sebastian [Verfasser:in]; Kaminski, Benjamin Lucien [Verfasser:in]; Katoen, Joost-Pieter [Verfasser:in]; Matheja, Christoph [Verfasser:in]

    Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants

    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.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2023

  5. Batz, Kevin [Verfasser:in]; Chen, Mingshuai [Verfasser:in]; Kaminski, Benjamin Lucien [Verfasser:in]; Katoen, Joost-Pieter [Verfasser:in]; Matheja, Christoph [Verfasser:in]; Schröer, Philipp [Verfasser:in]

    Latticed k-Induction with an Application to Probabilistic Programs

    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.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2021

  6. Batz, Kevin [Verfasser:in]; Junges, Sebastian [Verfasser:in]; Kaminski, Benjamin Lucien [Verfasser:in]; Katoen, Joost-Pieter [Verfasser:in]; Matheja, Christoph [Verfasser:in]; Schröer, Philipp [Verfasser:in]

    PrIC3: Property Directed Reachability for MDPs

    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.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2020

  7. Englmann, Frank C. [Verfasser:in]; Jessen, Robin [Verfasser:in]; Bätz, Benjamin [Verfasser:in]; Becker, Susanne [Verfasser:in]; Calisse, Frank [Verfasser:in]; Isaak, Niklas [Verfasser:in]; Jäger, Philipp [Verfasser:in]; Meier, Antonia-Sofie [Verfasser:in]; Moch, Tiara [Verfasser:in]; Ogbamicael, Yonas [Verfasser:in]

    Ersatz von (ausgewählten) Sozialleistungen und -abgaben in Deutschland durch ein bedingungsloses Grundeinkommen und ein reformiertes Einkommensteuersystem

    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.

    Stuttgart: Universität Stuttgart, Institut für Volkswirtschaftslehre und Recht, Lehrstuhl für Theoretische Volkswirtschaftslehre, [2023?]

  8. Englmann, Frank C. [Verfasser:in]; Bätz, Benjamin [Verfasser:in]; Becker, Susanne [Verfasser:in]; Calisse, Frank [Verfasser:in]; Meier, Antonia-Sofie [Verfasser:in]; Moch, Tiara [Verfasser:in]; Ogbamicael, Yonas [Verfasser:in]; Jessen, Robin [Verfasser:in]; Isaak, Niklas [Verfasser:in]; Jäger, Philipp [Verfasser:in]

    Ersatz von (ausgewählten) Sozialleistungen und -abgaben in Deutschland durch ein bedingungsloses Grundeinkommen und ein reformiertes Einkommensteuersystem: Endbericht. September 2022

    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.

    Essen: RWI - Leibniz-Institut für Wirtschaftsforschung, 2022

  9. Englmann, Frank C. [Verfasser:in]; Bätz, Benjamin [Verfasser:in]; Becker, Susanne [Verfasser:in]; Calisse, Frank [Verfasser:in]; Meier, Antonia-Sofie [Verfasser:in]; Moch, Tiara [Verfasser:in]; Ogbamicael, Yonas [Verfasser:in]; Jessen, Robin [Verfasser:in]; Isaak, Niklas [Verfasser:in]; Jäger, Philipp [Verfasser:in] ; RWI - Leibniz-Institut für Wirtschaftsforschung, Universität Stuttgart Institut für Volkswirtschaftslehre und Recht

    Ersatz von (ausgewählten) Sozialleistungen und -abgaben in Deutschland durch ein bedingungsloses Grundeinkommen und ein reformiertes Einkommensteuersystem : Endbericht

    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.

    Essen: RWI - Leibniz-Institut für Wirtschaftsforschung, September 2022

    Erschienen in: RWI Projektbericht

  10. Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph

    Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning

    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.

    Association for Computing Machinery (ACM), 2021

    Erschienen in: Proceedings of the ACM on Programming Languages, 5 (2021) POPL, Seite 1-30

  12. Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Verscht, Lena

    A Calculus for Amortized Expected Runtimes

    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.

    Association for Computing Machinery (ACM), 2023

    Erschienen in: Proceedings of the ACM on Programming Languages, 7 (2023) POPL, Seite 1957-1986

  14. Batz, Kevin; Chen, Mingshuai; Junges, Sebastian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph

    Tools and Algorithms for the Construction and Analysis of Systems: Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants

    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 Nature Switzerland, 2023

    Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems (2023), Seite 410-429

  17. Klinkenberg, Lutz; Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Moerman, Joshua; Winkler, Tobias

    Logic-Based Program Synthesis and Transformation: Generating Functions for Probabilistic Programs

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

    Erschienen in: Logic-Based Program Synthesis and Transformation (2021), Seite 231-248

  19. Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Noll, Thomas

    Quantitative separation logic: a logic for reasoning about probabilistic pointer programs

    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.

    Association for Computing Machinery (ACM), 2019

    Erschienen in: Proceedings of the ACM on Programming Languages, 3 (2019) POPL, Seite 1-29

  20. Kruczek, Kamil; Qu, Zepeng; Gentry, James; Fadl, Benjamin R.; Gieser, Linn; Hiriyanna, Suja; Batz, Zachary; Samant, Mugdha; Samanta, Ananya; Chu, Colin J.; Campello, Laura; Brooks, Brian P.; Wu, Zhijian; Swaroop, Anand

    Gene Therapy of Dominant CRX-Leber Congenital Amaurosis using Patient Stem Cell-Derived Retinal Organoids

    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.

    Elsevier BV, 2021

    Erschienen in: Stem Cell Reports, 16 (2021) 2, Seite 252-263