Jaax, Stefan
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
2020
Dissertation
134 p.

Mehdi, Gulnar
Semantically defined Analytics for Industrial Equipment Diagnostics
2020
Dissertation
166 p.