Publications

Hans Christian Rudolph (2020). Formal Verification of the 5G Inter-Operator Signaling Protocol.

Hans Christian Rudolph (2016). Vergleich paralleler Datenverarbeitung in Haskell und C++ anhand eines MapReduce-Szenarios.