logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Maximilian Weininger

technical university of munich

10H-index
59Paper Count
590Citation Count
Published Papers 4
Publication Date
logo
The revised practitioner's guide to MDP model checking algorithms
errInternational Journal on Software Tools for Technology Transfer
IF1.4
err2026-03-01
err1
PREAI
errHartmanns, Arnd; Junges, Sebastian; Quatmann, Tim; Weininger, Maximilian
errShare
errSave
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes
errQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
err2026-01-01
err0
PREAI
errMeggendorfer, Tobias; Weininger, Maximilian; Wienhoeft, Patrick
errShare
errSave
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality
errQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
err2026-01-01
err0
PREAI
errBudde, Carlos E.; Hartmanns, Arnd; Meggendorfer, Tobias; Weininger, Maximilian; Wienhoeft, Patrick
errShare
errSave
Building ProteomeTools based on a complete synthetic human proteome
errNATURE METHODS
IF32.1
err2017-01-30
err169
errOAAI
errZolg, 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
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
R
Ruedi Aebersold
H-index: 198 · Papers: 1.2K
B
Bernhard Küster
H-index: 96 · Papers: 521
R
Robert L. Moritz
H-index: 87 · Papers: 424
E
Eric W. Deutsch
H-index: 78 · Papers: 340
M
Mathias Wilhelm
H-index: 45 · Papers: 205
View more