Expertise
Computer Science
- Fault Tree
- Polynomial Time
- Cybersecurity
- Performance Guarantee
- Relational Database
- Tree Decomposition
Mathematics
- Probability
- Relational Data Base
Organisations
Publications
2026
Fixed-Parameter Tractable Inference for Discrete Probabilistic Programs, via String Diagram Algebraisation (2026)In 41st Annual Symposium on Logic in Computer Science (LICS 2026). Article 76 (Leibniz International Proceedings in Informatics; Vol. 380). Dagstuhl. Peterseim, B. & Lopuhaä-Zwakenberg, M.https://doi.org/10.4230/LIPIcs.LICS.2026.76
2025
Fuzzy Fault Trees: The Fast and the Formal (2025)In Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings (pp. 256-274). Springer. Dang, T. K. N., Peterseim, B., Lopuhaä-Zwakenberg, M. & Stoelinga, M. I. A.https://doi.org/10.1007/978-3-032-05792-1_14Fuzzy Fault Trees: the Fast and the Formal (2025)[Working paper › Preprint]. ArXiv.org. Dang, T. K. N., Peterseim, B., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2507.02886
2024
A topologically enriched probability monad on the Cartesian closed category of CGWH spaces (2024)Theory and Applications of Categories, 41(55), 1983-2012. Kristel, P. & Peterseim, B.https://doi.org/10.70930/tac/92j5j5ua
Research profiles
Address
University of Twente
Zilverling (building no. 11), room 3074
Hallenweg 19
7522 NH Enschede
Netherlands
University of Twente
Zilverling 3074
P.O. Box 217
7500 AE Enschede
Netherlands
Scan the QR code or