Benedikt Peterseim

Orcid: 0009-0004-3510-4325

According to our database¹, Benedikt Peterseim authored at least 3 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Fixed-parameter tractable inference for discrete probabilistic programs, via string diagram algebraisation.

[DOI]

CoRR, April, 2026

2025

A Unified Compositional View of Attack Tree Metrics.

[DOI]

CoRR, November, 2025

Fuzzy Fault Trees: the Fast and the Formal.

[DOI]

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2025