|
1 |
Nr. 6
Enthalten in BKDR-Journal Bd. 2, 2025, Nr. 6, 15. Juli 2025: 1-24
|
|
|
|
2 |
Bd. 2, 2025, Nr. 5, Jg. 2: 1-24
Enthalten in BKDR-Journal
|
|
|
|
3 |
Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2024, Volume 13, Issue 10, page 50-64
|
|
|
|
4 |
Wasserstraße: Mikrokorridore für schnellere GST-Genehmigungen
Enthalten in Deutschland. Bundesministerium für Digitales und Verkehr: Pressemitteilung 10.2024
|
|
|
5 |
Die Kreatur / Jg. 1, Inhaltsverzeichnis
2021
|
|
|
|
6 |
Die Kreatur / Jg. 2, Inhaltsverzeichnis
2021
|
|
|
|
7 |
Die Kreatur / Jg. 3, Inhaltsverzeichnis
2021
|
|
|
|
8 |
Data Structures for Modern Memory and Storage Hierarchies (Dagstuhl Seminar 21283)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2021, Volume 11, Issue 6, page 38-53
|
|
|
|
9 |
Reconciling Event Structures with Modern Multiprocessors (Artifact)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Artifacts Series 2020, Volume 6, Issue 2, page 4:1-4:3
|
|
|
|
10 |
Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Artifacts Series 2017, Volume 3, Issue 2, page 16:1-16:2
|
|
Administration
