Follow
Sven Köhler
Sven Köhler
Department of Computer Science, University of Freiburg
Verified email at informatik.uni-freiburg.de
Title
Cited by
Cited by
Year
On approximating real-world halting problems
S Köhler, C Schindelhauer, M Ziegler
15th International Symposium on Fundamentals of Computation Theory, 454-466, 2005
252005
Distributed Backup Placement in Networks
MM Halldorsson, S Köhler, B Patt-Shamir, D Rawitz
27th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2015
222015
Fault-containing self-stabilization in asynchronous systems with constant fault-gap
S Köhler, V Turau
Distributed Computing 25 (3), 207-224, 2012
172012
Fault-Containing Self-Stabilization in Asynchronous Systems with Constant Fault-Gap
S Köhler, V Turau
30th International Conference on Distributed Computing Systems, 418-427, 2010
172010
A Distributed Algorithm for Minimum Distance-k Domination in Trees
V Turau, S Köhler
Journal of Graph Algorithms and Applications 19 (1), 223-242, 2015
13*2015
On the stability of fast polynomial arithmetic
S Köhler, M Ziegler
8th Conference on Real Numbers and Computers, 147-156, 2008
132008
A performance-based tabular approach for joint systematic improvement of risk control and resilience applied to telecommunication grid, gas network, and ultrasound localization …
I Häring, M Fehling-Kaschek, N Miller, K Faist, S Ganter, K Srivastava, ...
Environment Systems and Decisions 41, 286-329, 2021
122021
A new technique for proving self-stabilization under the distributed scheduler
S Köhler, V Turau
12th International Symposium on Stabilization, Safety, and Security of …, 2010
72010
Distributed Approximation of k-Service Assignment
MM Halldórsson, S Köhler, D Rawitz
Distributed Computing 32 (1), 27-40, 2019
42019
Analytical engineering process to identify, assess and improve technical resilience capabilities
I Häring, J Scheidereiter, S Ebenhöch, DJ Schott, LM Reindl, S Köhler, ...
27th European Safety and Reliability Conference (ESREL), 2017
42017
Distributed Approximation of k-Service Assignment
MM Halldórsson, S Köhler, D Rawitz
http://tr.informatik.uni-freiburg.de/2015/index.php, 2015
32015
Distributed Approximation of k-Service Assignment
MM Halldórsson, S Köhler, D Rawitz
19th International Conference On Principles Of DIstributed Systems (OPODIS), 2015
32015
Teaching Embedded Systems by Constructing an Escape Room
M Pfeifer, B Völker, S Böttcher, S Köhler, PM Scholl
52nd ACM Technical Symposium on Computer Science Education, 2021
22021
Polynomial Silent Self-Stabilizing p-Star Decomposition
M Haddad, C Johnen, S Köhler
The Computer Journal, 2019
22019
Cyclone Codes
C Schindelhauer, A Jakoby, S Köhler
2017 IEEE International Symposium on Information Theory (ISIT), 151-155, 2017
22017
Cyclone Codes
C Schindelhauer, A Jakoby, S Köhler
arXiv.org, 2016
22016
Self-stabilizing local k-placement of replicas with minimal variance
S Köhler, V Turau, G Mentges
14th International Symposium on Stabilization, Safety, and Security of …, 2012
22012
Space-efficient fault-containment in dynamic networks
S Köhler, V Turau
13th International Symposium on Stabilization, Safety, and Security of …, 2011
22011
Zur Approximierbarkeit des Halteproblems in einer praktischen Gödelisierung
S Köhler
Bachelor’s Thesis, University of Paderborn, 2004
22004
Polynomial Silent Self-Stabilizing p-Star Decomposition (Short Paper)
M Haddad, C Johnen, S Köhler
18th International Symposium on Stabilization, Safety, and Security of …, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–20