Stefan Badelt

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 5

Top Topics

Formal Verification

Highly Optimized

Special Purpose

Top Venues

Frontiers Bioinform.

Publications

Anda Ramona Tanasie, Peter Kerpedjiev, Stefan Hammer, Stefan Badelt
DrForna: visualization of cotranscriptional folding. Bioinform. 39 (9) (2023)
Stefan Badelt, Ronny Lorenz, Ivo L. Hofacker
: heuristic cotranscriptional RNA folding using the nearest neighbor energy model. Bioinform. 39 (1) (2023)
Christoph Flamm, Julia Wielach, Michael T. Wolfinger, Stefan Badelt, Ronny Lorenz, Ivo L. Hofacker
Caveats to Deep Learning Approaches to RNA Secondary Structure Prediction. Frontiers Bioinform. 2 (2022)
Stefan Badelt, Seung Woo Shin, Robert F. Johnson, Qing Dong, Chris Thachuk, Erik Winfree
A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities. DNA (2017)
Stefan Badelt, Christoph Flamm, Ivo L. Hofacker
Computational Design of a Circular RNA with Prionlike Behavior. Artif. Life 22 (2) (2016)