Maximilian Weininger - Publications, H-index & Citations

Maximilian Weininger

technical university of munich

10H指数

59论文数

590被引数

收录论文 4

发表时间

The revised practitioner's guide to MDP model checking algorithms MDP模型检测算法的修订实践者指南

International Journal on Software Tools for Technology Transfer

IF1.4

2026-03-01

PREAI

Hartmanns, Arnd; Junges, Sebastian; Quatmann, Tim; Weininger, Maximilian

What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes 《几率几何？提升马尔可夫决策过程统计模型检验》

QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025

IF0

2026-01-01

PREAI

Meggendorfer, Tobias; Weininger, Maximilian; Wienhoeft, Patrick

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality 超越均值的统计模型检测：分位数、CVaR和DKW不等式

QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025

IF0

2026-01-01

PREAI

Budde, Carlos E.; Hartmanns, Arnd; Meggendorfer, Tobias; Weininger, Maximilian; Wienhoeft, Patrick

Building ProteomeTools based on a complete synthetic human proteome

NATURE METHODS

IF32.1

2017-01-30

169

OAAI

Zolg, Daniel P.; Wilhelm, Mathias; Schnatbaum, Karsten; Zerweck, Johannes; Knaute, Tobias; Delanghe, Bernard; Bailey, Derek J.; Gessulat, Siegfried; Ehrlich, Hans-Christian; Weininger, Maximilian; Yu, Peng; Schlegl, Judith; Kramer, Karl; Schmidt, Tobias; Kusebauch, Ulrike; Deutsch, Eric W.; Aebersold, Ruedi; Moritz, Robert L.; Wenschuh, Holger; Moehring, Thomas; Aiche, Stephan; Huhmer, Andreas; Reimer, Ulf; Kuster, Bernhard

研究方向