Skip to contents

Gerber, Margarethe [Other]; Moebius, Mathias [Other]; Bätz, Oliver [Adapter]; Benjamin, Walter [Other] ; 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.]

View online
Schließen

Close

Bookmarks

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

Gießen: Anabas-Verlag, 1990

Published in: Museumspädagogischer Dienst Berlin: Ausstellungsmagazin ; 28
Batz, Kevin [Author]; Kaminski, Benjamin Lucien [Author]; Katoen, Joost-Pieter [Author]; Matheja, Christoph [Author]

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

View online
Schließen

Access

... to E-book via DOI

... to E-book (freely accessible)

Close

Bookmarks

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

Aachen: Universitätsbibliothek der RWTH Aachen, 2018
Schroer, Philipp [Author]; Batz, Kevin [Author]; Kaminski, Benjamin Lucien [Author]; Katoen, Joost-Pieter [Author]; Matheja, Christoph [Author]

A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)

View online
Schließen

Access

... to E-book via Resolving system (freely accessible)

... to E-book via DOI (freely accessible)

Close

Bookmarks

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

Aachen: Universitätsbibliothek der RWTH Aachen, 2023
Batz, Kevin [Author]; Chen, Mingshuai [Author]; Junges, Sebastian [Author]; Kaminski, Benjamin Lucien [Author]; Katoen, Joost-Pieter [Author]; Matheja, Christoph [Author]

Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants

View online
Schließen

Access

... to E-book via Resolving system (freely accessible)

... to E-book via DOI (freely accessible)

Close

Bookmarks

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

Aachen: Universitätsbibliothek der RWTH Aachen, 2023
Batz, Kevin [Author]; Chen, Mingshuai [Author]; Kaminski, Benjamin Lucien [Author]; Katoen, Joost-Pieter [Author]; Matheja, Christoph [Author]; Schröer, Philipp [Author]

Latticed k-Induction with an Application to Probabilistic Programs

View online
Schließen

Access

... to E-book (freely accessible)

... to E-book via DOI

Close

Bookmarks

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

Aachen: Universitätsbibliothek der RWTH Aachen, 2021
Batz, Kevin [Author]; Junges, Sebastian [Author]; Kaminski, Benjamin Lucien [Author]; Katoen, Joost-Pieter [Author]; Matheja, Christoph [Author]; Schröer, Philipp [Author]

PrIC3: Property Directed Reachability for MDPs

View online
Schließen

Access

... to E-book via DOI

... to E-book (freely accessible)

Close

Bookmarks

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

Aachen: Universitätsbibliothek der RWTH Aachen, 2020
Englmann, Frank C. [Author]; Jessen, Robin [Author]; Bätz, Benjamin [Author]; Becker, Susanne [Author]; Calisse, Frank [Author]; Isaak, Niklas [Author]; Jäger, Philipp [Author]; Meier, Antonia-Sofie [Author]; Moch, Tiara [Author]; Ogbamicael, Yonas [Author]

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

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

... to E-book via DOI (Volltext ; freely accessible)

Close

Bookmarks

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

Stuttgart: Universität Stuttgart, Institut für Volkswirtschaftslehre und Recht, Lehrstuhl für Theoretische Volkswirtschaftslehre, [2023?]
Englmann, Frank C. [Author]; Bätz, Benjamin [Author]; Becker, Susanne [Author]; Calisse, Frank [Author]; Meier, Antonia-Sofie [Author]; Moch, Tiara [Author]; Ogbamicael, Yonas [Author]; Jessen, Robin [Author]; Isaak, Niklas [Author]; Jäger, Philipp [Author]

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

View online
Schließen

Links

... to E-book

Close

Bookmarks

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

Essen: RWI - Leibniz-Institut für Wirtschaftsforschung, 2022
Englmann, Frank C. [Author]; Bätz, Benjamin [Author]; Becker, Susanne [Author]; Calisse, Frank [Author]; Meier, Antonia-Sofie [Author]; Moch, Tiara [Author]; Ogbamicael, Yonas [Author]; Jessen, Robin [Author]; Isaak, Niklas [Author]; Jäger, Philipp [Author] ; 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

View online
Schließen

Access

... to E-book (PDF document ; freely accessible)

Close

Bookmarks

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

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

Published in: RWI Projektbericht
Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph

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

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 2021

Published in: Proceedings of the ACM on Programming Languages, 5 (2021) POPL, Seite 1-30
Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph

Programming Languages and Systems: How long, O Bayesian network, will I sample thee?

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

Published in: Programming Languages and Systems (2018), Seite 186-213
Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Verscht, Lena

A Calculus for Amortized Expected Runtimes

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 2023

Published in: Proceedings of the ACM on Programming Languages, 7 (2023) POPL, Seite 1957-1986
Schröer, Philipp; Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph

A Deductive Verification Infrastructure for Probabilistic Programs

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 2023

Published in: Proceedings of the ACM on Programming Languages, 7 (2023) OOPSLA2, Seite 2052-2082
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

View online
Schließen

Access

Close

Bookmarks

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

Springer Nature Switzerland, 2023

Published in: Tools and Algorithms for the Construction and Analysis of Systems (2023), Seite 410-429
Batz, Kevin; Gallus, Adrian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Winkler, Tobias

Weighted programming: a programming paradigm for specifying mathematical models

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 2022

Published in: Proceedings of the ACM on Programming Languages, 6 (2022) OOPSLA1, Seite 1-30
Batz, Kevin; Chen, Mingshuai; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Schröer, Philipp

Computer Aided Verification: Latticed k-Induction with an Application to Probabilistic Programs

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

Published in: Computer Aided Verification (2021), Seite 524-549
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

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

Published in: Logic-Based Program Synthesis and Transformation (2021), Seite 231-248
Batz, Kevin; Junges, Sebastian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Schröer, Philipp

Computer Aided Verification: PrIC3: Property Directed Reachability for MDPs

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

Published in: Computer Aided Verification (2020), Seite 512-538
Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Noll, Thomas

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

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 2019

Published in: Proceedings of the ACM on Programming Languages, 3 (2019) POPL, Seite 1-29
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

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2021

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

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication