h1

125910

⇧ RWTH Aachen ⇧

Recent Publications

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS | 

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Bachelor Thesis Wang, X. ; Unruh, D. (Thesis advisor)RWTH* ; Katoen, J.-P. (Thesis advisor)RWTH* ; Gehnen, C. (Consultant)RWTH*
Predicate transformers for nondeterministic quantum programs
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2026) [10.18154/RWTH-2026-08566]2026 = Bachelorarbeit, RWTH Aachen University, 2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Bachelor Thesis Milas, M. S.RWTH* ; Unruh, D. (Thesis advisor)RWTH* ; Sudmanns-Schumacher, M. (Consultant)RWTH*
Exploring the potential of quantum computing for multi-scale material modelling
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2026) [10.18154/RWTH-2026-07673]2026 = Bachelorarbeit, Rheinisch-Westfälische Technische Hochschule Aachen, 2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Master Thesis Dural, U. Y. ; Unruh, D. (Thesis advisor)RWTH* ; Katoen, J.-P. (Thesis advisor)RWTH* ; Gehnen, C. (Consultant)RWTH*
A formal language for expressing quantum predicates
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2026) [10.18154/RWTH-2026-06832]2026 = Masterarbeit, RWTH Aachen University, 2025     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Master Thesis Peters, S.RWTH* ; Unruh, D. (Thesis advisor)RWTH* ; Stollenwerk, T. (Thesis advisor)RWTH*
Weak measurement-based quantum optimisation under the influence of noise
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2026) [10.18154/RWTH-2026-06662]2026 = Masterarbeit, RWTH Aachen University, 2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Bachelor Thesis Luque, V. M. G.RWTH* ; Unruh, D. (Thesis advisor)RWTH* ; Berta, M. A. (Thesis advisor)RWTH* ; Stutte, B. (Consultant)RWTH*
Quantifying the effect of quantum operations in machine learning by comparison to classically simulable variants
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2026) [10.18154/RWTH-2026-06388]2026 = Bachelorarbeit, RWTH Aachen University, 2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Master Thesis Broeckmann, J.RWTH* ; Unruh, D. (Thesis advisor)RWTH* ; Schroeder, U. (Thesis advisor)RWTH*
EduCrypt: an educational tool for learning game-based cryptographic proofs
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2026) [10.18154/RWTH-2026-03739]2026 = Masterarbeit, RWTH Aachen University, 2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Bachelor Thesis Westphal, T.RWTH* ; Unruh, D. (Thesis advisor)RWTH* ; Henze, M. (Thesis advisor)RWTH* ; Stutte, B. (Consultant)RWTH*
Lattice-based post-quantum cryptography for memory-constrained IoT devices
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2026) [10.18154/RWTH-2026-00350]2026 = Bachelorarbeit, RWTH Aachen University, 2025     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Proceedings/Book Murray, T. (Editor) ; Unruh, D. (Editor)RWTH*
2025 IEEE 38th Computer Security Foundations Symposium : CSF 2025 : proceedings : 16-20 June 2025, Santa Cruz, California
2025IEEE 38. Computer Security Foundations Symposium, CSF, Santa Cruz, CASanta Cruz, CA, USA, 16 Jun 2025 - 20 Jun 20252025-06-162025-06-20 Piscataway, NJ : IEEE XIV, 602 Seiten : Illustrationen (2025) [10.1109/CSF64896.2025]2025   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Unruh, D.RWTH*
Compressed Oracles
Archive of formal proofs 2025, 176 pages (2025)2025     Files  Fulltext BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Unruh, D.RWTH*
Kraus Maps
Archive of formal proofs 2025, 1-62 (2025)2025     Files  Fulltext BibTeX | EndNote: XML, Text | RIS

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS |