-OVERIFY: Optimizing Programs for Fast Verification. - Jonas Wagner; Volodymyr Kuznetsov; George Candea (HotOS, 2013)

High System-Code Security with Low Overhead. - Jonas Wagner; Volodymyr Kuznetsov; George Candea; Johannes Kinder (IEEE Symposium on Security and Privacy, 2015)

Metadata Management for Data Integration in Medical Sciences - Experiences from the LIFE Study. - Toralf Kirsten; Alexander Kiel; Mathias Rühle; Jonas Wagner (BTW, 2017)

Selecting, Packaging, and Granting Access for Sharing Study Data. - Toralf Kirsten; Alexander Kiel; Jonas Wagner; Mathias Rühle; Markus Löffler (GI-Jahrestagung, 2017)

Elastic Program Transformations - Automatically Optimizing the Reliability/Performance Trade-off in Systems Software. - Jonas Wagner (2017)

FPGA-Accelerated Multispectral Ultra-High Resolution SAR-Imaging with Wideband FMCW Radars. - Jan Siska; Timo Jaeschke; Jonas Wagner; Nils Pohl (RWS, 2019)

Edge Based Decision Making In Disaster Response Systems. - Jonas Wagner; Mehdi Roopaei (CCWC, 2020)

Ontological Modelling and Execution of Phenotypic Queries in the Leipzig Health Atlas. - Alexandr Uciteli; Christoph Beger; Jonas Wagner; Alexander Kiel; Frank A. Meineke; Sebastian Stäubert; Matthias Löbe; René Hänsel; Judith Schuster; Toralf Kirsten; Heinrich Herre (GMDS, 2020)

oposSOM-Browser: an interactive tool to explore omics data landscapes in health science. - Henry Löffler-Wirth; Jasmin Reikowski; Siras Hakobyan; Jonas Wagner; Hans Binder (BMC Bioinform., 2020)

Do gender neutral affixes naturally reduce gender bias in static word embeddings? - Jonas Wagner; Sina Zarrieß (KONVENS, 2022)

Set-Based Anomaly Detector and Stealthy Attack Impact Using Constrained Zonotopes. - Jonas Wagner; Tanner Kogel; Justin Ruths (CDC, 2023)

Investigation of Environmental Influences on Radar Measurements in the W- and D-Band. - Tobias Körner; Jonas Wagner; Artur Chertkov; Jan Barowski; Ilona Rolfes; Christian Schulz 010 (IEEE SENSORS, 2024)

Towards Effective Complementary Security Analysis using Large Language Models. - Jonas Wagner; Simon Müller; Christian Näther; Jan-Philipp Steghöfer; Andreas Both 001 (CoRR, 2025)