15 citations · 19 across the 2 of their papers we have counts for
2 papers
cs.PL2022★ 15 cited
Dependently-Typed Data Plane Programming
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs +2
Programming languages like P4 enable specifying the behavior of network data planes in software. However, with increasingly powerful and complex applications running in the network…
math.RT2015★ 4 cited
Auslander-Reiten theory in functorially finite resolving subcategories
Matthias Krebs
We analyze Auslander-Reiten quivers of functorially finite resolving subcategories. Chapter 1 gives a short introduction into the basic definitions and theorems of Auslander-Reiten…