|
1 |
Classical-Quantum Synergies in the Theory and Practice of Quantum Error Correction (Dagstuhl Seminar 24212) Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2024, Volume 14, Issue 5, page 173-190
|
|
|
2 |
Synergizing Theory and Practice of Automated Algorithm Design for Optimization (Dagstuhl Seminar 23332) Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2024, Volume 13, Issue 8, page 46-70
|
|
|
3 |
Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411) Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2023, Volume 12, Issue 10, page 84-105
|
|
|
4 |
Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372) Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2022, Volume 11, Issue 8, page 52-75
|
|
|
5 |
Matching Under Preferences: Theory and Practice (Dagstuhl Seminar 21301) Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2021, Volume 11, Issue 6, page 124-146
|
|
|
6 |
On the Monitorability of Session Types, in Theory and Practice (Artifact) Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Artifacts Series 2021, Volume 7, Issue 2, page 2:1-2:3
|
|
|
7 |
Friedensjournalismus und Peace Building : Theorie und Praxis für das 21. Jahrhundert Enthalten in Conflict & communication online 16,2
|
|
|
8 |
From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112) Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2016, Volume 6, Issue 3, page 44-58
|
|
|
9 |
Theory and Practice of SAT Solving (Dagstuhl Seminar 15171) Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2015, Volume 5, Issue 4, page 98-122
|
|
|
10 |
Crowdsourcing: From Theory to Practice and Long-Term Perspectives (Dagstuhl Seminar 13361) Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2013, Volume 3, Issue 9, page 1-33
|
|