Sven Köhler
Sven Köhler
Department of Computer Science, University of Freiburg
Email verificata su informatik.uni-freiburg.de
TitoloCitata daAnno
On approximating real-world halting problems
S Köhler, C Schindelhauer, M Ziegler
15th International Symposium on Fundamentals of Computation Theory, 454-466, 2005
212005
Fault-containing self-stabilization in asynchronous systems with constant fault-gap
S Köhler, V Turau
Distributed Computing 25 (3), 207-224, 2012
102012
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
102010
On the stability of fast polynomial arithmetic
S Köhler, M Ziegler
8th Conference on Real Numbers and Computers, 147-156, 2008
92008
Distributed backup placement in networks
MM Halldórsson, S Köhler, B Patt-Shamir, D Rawitz
Distributed Computing 31 (2), 83-98, 2018
72018
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
7*2015
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
72015
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
http://tr.informatik.uni-freiburg.de/2015/index.php, 2015
22015
Distributed Approximation of k-Service Assignment
MM Halldórsson, S Köhler, D Rawitz
19th International Conference On Principles Of DIstributed Systems (OPODIS), 2015
22015
Space-efficient fault-containment in dynamic networks
S Köhler, V Turau
13th International Symposium on Stabilization, Safety, and Security of …, 2011
22011
Polynomial Silent Self-Stabilizing p-Star Decomposition
M Haddad, C Johnen, S Köhler
The Computer Journal, 2019
12019
Distributed Approximation of k-Service Assignment
MM Halldórsson, S Köhler, D Rawitz
Distributed Computing 32 (1), 27-40, 2019
12019
Cyclone Codes
C Schindelhauer, A Jakoby, S Köhler
2017 IEEE International Symposium on Information Theory (ISIT), 151-155, 2017
12017
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
Cyclone Codes
C Schindelhauer, A Jakoby, S Köhler
arXiv.org, 2016
12016
Self-stabilizing local k-placement of replicas with local minimum variance
S Köhler, V Turau
Theoretical Computer Science 591, 15-27, 2015
12015
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
12012
Zur Approximierbarkeit des Halteproblems in einer praktischen Gödelisierung
S Köhler
Bachelor’s Thesis, University of Paderborn, 2004
12004
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
2017
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20