Arne Ludwig

Learn More
We consider the problem of updating arbitrary routes in a software-defined network in a (transiently) loop-free manner. We are interested in fast network updates, i.e., in schedules which minimize the number of interactions (i.e., rounds) between the controller and the network nodes. We first prove that this problem is difficult in general: The problem of(More)
Networks are critical for the security of many computer systems. However, their complex and asynchronous nature often renders it difficult to formally reason about network behavior. Accordingly, it is challenging to provide correctness guarantees, especially during network updates. This paper studies how to update networks while maintaining a most basic(More)
  • Michael Cieslak, Melanie Pruvost, Norbert Benecke, Michael Hofreiter, Arturo Morales, Monika Reissmann +1 other
  • 2010
Domestic horses represent a genetic paradox: although they have the greatest number of maternal lineages (mtDNA) of all domestic species, their paternal lineages are extremely homogeneous on the Y-chromosome. In order to address their huge mtDNA variation and the origin and history of maternal lineages in domestic horses, we analyzed 1961 partial d-loop(More)
—The virtualization trend in today's Internet decou-ples services from the constraints of the underlying physical infrastructure. This decoupling has the potential to facilitate more flexible and efficient resource allocations: the service can be realized at any place in the substrate network which fulfills the service specification requirements. This paper(More)
Ribosomal DNA in sturgeon is informative when analyzed at the molecular level because it bears unique characteristics that are, to a certain extent, ancestral within vertebrates. In this paper, we examine the structure and the molecular evolution of the 5S ribosomal DNA (rDNA) region in 13 sturgeon species, comparing both the 5S ribosomal RNA (rRNA) genes(More)
Significant intraindividual variation in the sequence of the 18S rRNA gene is unusual in animal genomes. In a previous study, multiple 18S rRNA gene sequences were observed within individuals of eight species of sturgeon from North America but not in the North American paddlefish, Polyodon spathula, in two species of Polypterus (Polypterus delhezi and(More)
Computer networks have become a critical infrastructure. Especially in shared environments such as datacenters it is important that a correct, consistent and secure network operation is guaranteed at any time, even during routing policy updates. In particular, at no point in time should it be possible for packets to bypass security critical waypoints~(such(More)
BACKGROUND A Baltic population of Atlantic sturgeon was founded approximately 1,200 years ago by migrants from North America, but after centuries of persistence, the population was extirpated in the 1960s, mainly as a result of over-harvest and habitat alterations. As there are four genetically distinct groups of Atlantic sturgeon inhabiting North American(More)
Size-selective harvesting is assumed to alter life histories of exploited fish populations, thereby negatively affecting population productivity, recovery, and yield. However, demonstrating that fisheries-induced phenotypic changes in the wild are at least partly genetically determined has proved notoriously difficult. Moreover, the population-level(More)