Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Matheja, Christoph
88
Ergebnisse:
Personensuche
X
Format
Online (88)
Medientypen
Artikel (Online) (18)
Buchkapitel (Online) (12)
OpenAccess-Volltexte (57)
Dissertation (Online) (1)
Sortierung: Jahr
Sortierung: Relevanz
?
1
Probabilistic Program Verification via Inductive Synthesis ..:
, In:
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science
,
Batz, Kevin
;
Chen, Mingshuai
;
Junges, Sebastian
... - p. 410-429 , 2023
Link:
https://doi.org/10.1007/..
?
2
A Calculus for Amortized Expected Runtimes:
Batz, Kevin
;
Kaminski, Benjamin Lucien
;
Katoen, Joost-Pieter
..
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1957-1986 , 2023
Link:
https://doi.org/10.1145/..
?
3
A Deductive Verification Infrastructure for Probabilistic P..:
Schröer, Philipp
;
Batz, Kevin
;
Kaminski, Benjamin Lucien
..
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 2052-2082 , 2023
Link:
https://doi.org/10.1145/..
?
4
A Decision Procedure for Guarded Separation Logic Complete ..:
Matheja, Christoph
;
Pagel, Jens
;
Zuleger, Florian
ACM Transactions on Computational Logic. 24 (2023) 1 - p. 1-76 , 2023
Link:
https://doi.org/10.1145/..
?
5
A Deductive Verification Infrastructure for Probabilistic P..:
Schroer, Philipp
;
Batz, Kevin
;
Kaminski, Benjamin Lucien
..
info:eu-repo/semantics/altIdentifier/doi/10.18154/RWTH-2023-10748. , 2023
Link:
https://publications.rwt..
?
6
A Calculus for Amortized Expected Runtimes:
Batz, Kevin
;
Kaminski, Benjamin Lucien
;
Katoen, Joost-Pieter
..
https://discovery.ucl.ac.uk/id/eprint/10163423/1/3571260.pdf. , 2023
Link:
https://discovery.ucl.ac..
?
7
Probabilistic Program Verification via Inductive Synthesis ..:
Batz, Kevin
;
Chen, Mingshuai
;
Junges, Sebastian
...
https://orbit.dtu.dk/en/publications/12fadc93-f6b6-4a4f-81d6-4c7b44a30618. , 2023
Link:
https://orbit.dtu.dk/en/..
?
8
A Deductive Verification Infrastructure for Probabilistic P..:
Schroer, Philipp
;
Batz, Kevin
;
Kaminski, Benjamin Lucien
..
info:eu-repo/semantics/altIdentifier/wos/WOS:001087279100074. , 2023
Link:
https://publications.rwt..
?
9
A Deductive Verification Infrastructure for Probabilistic P..:
Schröer, Philipp
;
Batz, Kevin
;
Kaminski, Benjamin Lucien
..
https://discovery.ucl.ac.uk/id/eprint/10179714/1/3622870.pdf. , 2023
Link:
https://discovery.ucl.ac..
?
10
A Deductive Verification Infrastructure for Probabilistic P..:
Philipp Schroer
;
Kevin Batz
;
Benjamin Lucien Kaminski
..
info:eu-repo/grantAgreement/EC/H2020/787914/. , 2023
Link:
https://zenodo.org/recor..
?
11
A Calculus for Amortized Expected Runtimes:
Batz, Kevin
;
Kaminski, Benjamin Lucien
;
Katoen, Joost-Pieter
..
info:eu-repo/semantics/altIdentifier/doi/10.18154/RWTH-2023-01175. , 2023
Link:
https://publications.rwt..
?
12
A Decision Procedure for Guarded Separation Logic: Complete..:
Matheja, Christoph
;
Pagel, Jens
;
Zuleger, Florian
https://orbit.dtu.dk/en/publications/0189cd99-f648-418f-81b0-25341138ade4. , 2023
Link:
https://orbit.dtu.dk/en/..
?
13
A Deductive Verification Infrastructure for Probabilistic P..:
Schröer, Philipp
;
Batz, Kevin
;
Kaminski, Benjamin Lucien
..
https://orbit.dtu.dk/en/publications/5cf95ba4-cd8c-4e18-9cd7-103ddfb2410e. , 2023
Link:
https://orbit.dtu.dk/en/..
?
14
Probabilistic Program Verification via Inductive Synthesis ..:
Batz, Kevin
;
Chen, Mingshuai
;
Junges, Sebastian
...
info:eu-repo/semantics/altIdentifier/isbn/978-3-031-30821-5. , 2023
Link:
https://publications.rwt..
?
15
A Deductive Verification Infrastructure for Probabilistic P..:
Schröer, Philipp
;
Batz, Kevin
;
Kaminski, Benjamin Lucien
..
http://arxiv.org/abs/2309.07781. , 2023
Link:
http://arxiv.org/abs/230..
1-15