Expertises
Computer Science
- Fault Tree
- Polynomial Time
- Cybersecurity
- Performance Guarantee
- Relational Database
- Tree Decomposition
Mathematics
- Probability
- Relational Data Base
Organisaties
Publicaties
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
Onderzoeksprofielen
Adres
Universiteit Twente
Zilverling (gebouwnr. 11), kamer 3074
Hallenweg 19
7522 NH Enschede
Universiteit Twente
Zilverling 3074
Postbus 217
7500 AE Enschede
Scan de QR-code of