2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2016★ 2 cited
Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures
Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard
This paper concerns branching simulation for weighted Kripke structures with parametric weights. Concretely, we consider a weighted extension of branching simulation where a single…
cs.IT2014
Combining subspace codes with classical linear error-correcting codes
Olav Geil, Louise Foshammer, Malte Neve-Græsbøll
We discuss how subspace codes can be used to simultaneously correct errors and erasures when the network performs random linear network coding and the edges are noisy channels. Thi…