Publikationen
Die Publikationen unserer Forschenden bilden das Rückgrat ihrer Forschungsleistung. Sie werden in peer-reviewten Fachjournals und auf peer-reviewten Konferenzen präsentiert, denen in diesem Fachbereich eine besondere Bedeutung zukommt.
Publikationen nach Jahr
2026
SaMBA: Increasing Mixed Boolean-Arithmetic Complexity Through Equality Saturation. / König, Caroline; Schmidt, David; König, Philip et al.
ACM ASIACCS 2026. 2026.
Veröffentlichungen: Beitrag in Buch › Beitrag in Konferenzband › Peer Reviewed
Between center and periphery: networks of translated German fiction authors in the German National Library. / Teichmann, Lisa; Filipov, Velitchko.
in: Digital Scholarship in the Humanities, 24.05.2026.
Veröffentlichungen: Beitrag in Fachzeitschrift › Artikel › Peer Reviewed
Rational design of mechanically active RNAs: de novo engineering of functional exoribonuclease-resistant RNAs. / Sidl, Leonhard (Korresp. Autor*in); Walter, Jule; Gutenbrunner, Katrin et al.
in: Nucleic Acids Research, Band 54, Nr. 9, gkag473, 22.05.2026.
Veröffentlichungen: Beitrag in Fachzeitschrift › Artikel › Peer Reviewed
Local drivers of anthropogenic forest fire ignition vulnerability in Austria. / Wimmer, Elisabeth; Mallinger, Kevin; Corpaci, Luiza et al.
in: Fire Ecology, Band 22, 21.05.2026.
Veröffentlichungen: Beitrag in Fachzeitschrift › Artikel › Peer Reviewed
Relating Model Performance to Embedding Distributions in Molecular Machine Learning. / Welsch, Matthias; Jiang, Ellena; Papantonis, Ioannis et al.
in: Journal of Chemical Information and Modeling, Band 66, Nr. 9, 11.05.2026, S. 5125-5134.
Veröffentlichungen: Beitrag in Fachzeitschrift › Artikel › Peer Reviewed
AgentO: An Ontology for Modeling Agentic AI Systems. / Ekelhart, Andreas; Kurniawan, Kabul; Ekaputra, Fajar J. et al.
The Semantic Web. Cham: Springer Nature Switzerland AG, 2026. S. 298-320.
Veröffentlichungen: Beitrag in Buch › Beitrag in Konferenzband › Peer Reviewed
Better Together? On the Design and Use of Explanations to Support Novices in Individual and Collective Deliberations About AI. / Schmude, Timothée; Koesten, Laura; Möller, Torsten et al.
in: International Journal of Human-Computer-Interaction, 07.05.2026, S. 1-41.
Veröffentlichungen: Beitrag in Fachzeitschrift › Artikel › Peer Reviewed
Impossibility of VDFs in the ROM: The Complete Picture. / Abusalah, Hamza; Azari, Karen; Kamath, Chethan et al.
International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt 2026). 2026.
Veröffentlichungen: Beitrag in Buch › Beitrag in Konferenzband › Peer Reviewed
On Verifiable Delay Functions from Time-Lock Puzzles. / Abusalah, Hamza; Azari, Karen; Fiore, Dario et al.
Public Key Cryptography Conference 2026 (PKC 2026). 2026.
Veröffentlichungen: Beitrag in Buch › Beitrag in Konferenzband › Peer Reviewed
Separating Verifiable Delay Functions and Time-Lock Puzzles. / Abusalah, Hamza; Azari, Karen; Aggarwal, Nivesh et al.
International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt 2026). 2026.
Veröffentlichungen: Beitrag in Buch › Beitrag in Konferenzband › Peer Reviewed