Universität des Saarlandes
Campus E1 1, Room 1.18
66123 Saarbrücken
Germany
About Me
I am currently a postdoc at the chair of modeling and simulation. Mainly I work on novel techniques for the analysis of stochastic reaction networks with a particular focus on models exhibiting multimodal behaviour. I am also interested in epidemiological modeling. Currently, my work concentrates on data-driven drug discovery.
Publications
M. Backenköhler: Analysis of Markovian Population Models. Dissertation (online). 2022.
M. Backenköhler, L. Bortolussi, V. Wolf: Variance Reduction in Stochastic Reaction Networks using Control Variates. 2021. (pre-print)
G. Großmann, J. Zimmerlin, M. Backenköhler, V. Wolf: GINA: Neural Relational Inference From Independent Snapshots. 2021. (pre-print)
M. Backenköhler, L. Bortolussi, G. Großmann, V. Wolf: Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models. 18th International Conference on Quantitative Evaluation of SysTems (QEST), Springer LNCS, 2021. (pre-print)
G. Großmann, M. Backenköhler, V. Wolf: Heterogeneity matters: Contact structure and individual variation shape epidemic dynamics. PLOS ONE, 2021. (online)
M. Backenköhler, L. Bortolussi, G. Großmann, V. Wolf: Analysis of Markov Jump Processes under Terminal Constraints. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer LNCS, 2021. (pre-print)
G. Großmann, M. Backenköhler, V. Wolf: Epidemic Overdispersion Strengthens the Effectiveness of Mobility Restrictions. (HSCC 21), 2021. (pre-print)
G. Großmann, M. Backenköhler, J. Klesen, V. Wolf: Learning Vaccine Allocation from Simulations. 9th International Conference on Complex Networks and their Applications, 2020. (pre-print)
G. Großmann, M. Backenköhler, V. Wolf: Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study. 17th International Conference on Quantitative Evaluation of SysTems (QEST), Springer LNCS, 2020. (pre-print)
M. Backenköhler, L. Bortolussi, V. Wolf: Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. 17th International Conference on Quantitative Evaluation of SysTems (QEST), Springer LNCS, 2020. (pre-print)
G. Großmann, M. Backenköhler: Poster Abstract: Birth-Death Processes Reproduce the Infection Footprint of Complex Networks, 7th International Workshop on Hybrid Systems Biology (HSB), Springer LNCS, 2020. (pre-print)
M. Backenköhler, L. Bortolussi, V. Wolf: Control Variates for Stochastic Simulation of Chemical Reaction Networks. 17th International Conference on Computational Methods in Systems Biology (CMSB), Springer LNCS 11773 pp. 42-59, 2019. (pre-print)
M. Backenköhler, F. Scherzinger, A. Singla, V. Wolf: Data-Driven Approach Towards a Personalized Curriculum. Proc. of the 11th International Conference on Educational Data Mining (EDM), 2018. (download)
M. Backenköhler, L. Bortolussi, V. Wolf: Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium. IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) 15(4) pp. 1180-1192, 2018.
M. Backenköhler, V. Wolf: Student performance prediction and optimal course selection: An MDP approach. 6th International Symposium “From Data to Models and Back (DataMod)” (SEFM), Springer LNCS, 2017.
M. Backenköhler, L. Bortolussi, V. Wolf: Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium. 14th International Conference on Computational Methods in Systems Biology (CMSB), Springer LNCS pp. 15-29, 2016. Best Student Paper!
Other Work
- I have reviewed for CAV 2017, CMSB 2017, MMB 2018, CONCUR 2018, CMSB 2018, ACM SIGSIM PADS 2019, EDM 2019, QEST 2019, CMSB 2019, ACM SIGSIM PADS 2020, QEST 2020, HSCC 2021, ADHS 2021, ACM SIGSIM PADS 2021, TACAS 2022, QEST 2022, HSCC 2022 and journals ACM Transactions on Modeling and Computer Simulation, Mathematical Methods in the Applied Sciences, Bioinformatics, Mathematical Biosciences, Journal of Optimization Theory and Applications.
Publications (21)
2026
Assay-Based Machine Learning: Rethinking Evaluation in Drug Discovery
2026 — Digital Discovery
2026 — Artificial Intelligence in the Life Sciences (AILSCI)
2025
2025 — Living Journal of Computational Molecular Science (LiveCoMS)
2024
Guided docking as a data generation approach facilitates structure-based machine learning on kinases
2024 — Journal of Chemical Information and Modeling (JCIM)
Structural activity prediction models recover known binding modes (Poster abstract)
2024 — ICML'24 Workshop ML for Life and Material Science: From Theory to Industry Applications. International Conference on Machine Learning (ICML-2024)
2023
Unsupervised relational inference using masked reconstruction
2023 — Applied Network Science
2021
Epidemic overdispersion strengthens the effectiveness of mobility restrictions
2021 — HSCC ‘21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. ACM International Conference on Hybrid Systems: Computation and Control (HSCC-2021), May 19-21, Nashville,, Tennesse, USA
Analysis of Markov jump processes under terminal constraints
2021 — Tools and Algorithms for the Construction and Analysis of Systems. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2021), 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, March 27 - April 1, Luxembourg City, Luxembourg
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models
2021 — Quantitative Evaluation of Systems
2020
Learning Vaccine Allocation from Simulations
2020 — Complex Networks & Their Applications IX. International Conference on Complex Networks and their Applications (COMPLEX NETWORKS-2020), Proceedings of the Ninth International Conference on Complex Networks and Their Applications, December 1-3, Madrid, Spain
Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study
2020 — Quantitative Evaluation of Systems. International Conference on Quantitative Evaluation of Systems (QEST-2020), 17th International Conference, QEST 2020, October 31 - September 1, Vienna, Austria
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains
2020 — Quantitative Evaluation of Systems. International Conference on Quantitative Evaluation of Systems (QEST), Cham
2019
Bounding First Passage Times in Chemical Reaction Networks
2019 — Computational Methods in Systems Biology - 17th International Conference - Proceedings. International Conference on Computational Methods in Systems Biology (CMSB-2019), September 18-20, Trieste, Italy
Control Variates for Stochastic Simulation of Chemical Reaction Networks
2019 — Computational Methods in Systems Biology
2018
Data-Driven Approach Towards a Personalized Curriculum
2018 — Proceedings of the 11th International Conference on Educational Data Mining. International Conference on Educational Data Mining (EDM-2018), July 15-18, Buffalo,, NY, USA
Student Performance Prediction and Optimal Course Selection: An MDP Approach
2018 — Software Engineering and Formal Methods. International Conference on Software Engineering and Formal Methods (SEFM), Cham
2017
Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium
2017 — IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
2016
Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium
2016 — Computational Methods in Systems Biology. International Conference on Computational Methods in Systems Biology (CMSB-2016), 14th International Conference, CMSB 2016, September 21-23, Cambridge, United Kingdom
Teaching (7)
Deep Learning for Drug Discovery
, in Summer 2022
Saarland UniversityMonte Carlo Methods
, in Winter 2020/21
Saarland UniversityStatistics Lab
, in Summer 2020
Saarland UniversityExploring Complex Network Dynamics
, in Winter 2019/20
Saarland UniversityProbabilistic Models of Concurrency
, in Winter 2018/19
Saarland UniversityProbabilistic Models and Data Analysis
, in Winter 2017/18
Saarland UniversityModeling and Simulation
, in Winter 2016/17
Saarland University