Maximilian Weininger
TitleCited byYear
Building ProteomeTools based on a complete synthetic human proteome
DP Zolg, M Wilhelm, K Schnatbaum, J Zerweck, T Knaute, B Delanghe, ...
Nature methods 14 (3), 259, 2017
Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm
E Kelmendi, J Krämer, J Kretinsky, M Weininger
arXiv preprint arXiv:1804.04901, 2018
Index appearance record for transforming Rabin automata into parity automata
J Křetínský, T Meggendorfer, C Waldmann, M Weininger
International Conference on Tools and Algorithms for the Construction and …, 2017
The system can't perform the operation now. Try again later.
Articles 1–3