On Approximating Real-World Halting Problems. - Sven Köhler 001; Christian Schindelhauer; Martin Ziegler 001 (FCT, 2005)

A New Technique for Proving Self-stabilizing under the Distributed Scheduler. - Sven Köhler 001; Volker Turau (SSS, 2010)

Space-Efficient Fault-Containment in Dynamic Networks. - Sven Köhler 001; Volker Turau (SSS, 2011)

Self-stabilizing Local k-Placement of Replicas with Minimal Variance. - Sven Köhler 001; Volker Turau; Gerhard Mentges (SSS, 2012)

Fault-containing self-stabilization in asynchronous systems with constant fault-gap. - Sven Köhler 001; Volker Turau (Distributed Comput., 2012)

Scalable fault-containing self-stabilization in dynamic networks. - Sven Köhler 001 (Cuvillier, 2014)

A Distributed Algorithm for Minimum Distance-k Domination in Trees. - Volker Turau; Sven Köhler 001 (J. Graph Algorithms Appl., 2015)

Self-stabilizing local k-placement of replicas with local minimum variance. - Sven Köhler 001; Volker Turau (Theor. Comput. Sci., 2015)

Polynomial Silent Self-Stabilizing p-Star Decomposition (Short Paper). - Mohammed Haddad 001; Colette Johnen; Sven Köhler 001 (SSS, 2016)

Cyclone codes. - Christian Schindelhauer; Andreas Jakoby; Sven Köhler 001 (ISIT, 2017)

Distributed backup placement in networks. - Magnús M. Halldórsson; Sven Köhler 001; Boaz Patt-Shamir; Dror Rawitz (Distributed Comput., 2018)

Distributed approximation of k-service assignment. - Magnús M. Halldórsson; Sven Köhler 001; Dror Rawitz (Distributed Comput., 2019)

Polynomial Silent Self-Stabilizing p-Star Decomposition†. - Mohammed Haddad 001; Colette Johnen; Sven Köhler 001 (Comput. J., 2020)

Teaching Embedded Systems by Constructing an Escape Room. - Marc Pfeifer; Benjamin Völker; Sebastian Böttcher; Sven Köhler 001; Philipp M. Scholl (SIGCSE, 2021)