Søren Enevoldsen

Available identifiers

zbMath Open enevoldsen.sorenMaRDI QIDQ1660776

List of research outcomes

Publication	Date of Publication	Type
Model verification through dependency graphs	2024-02-23	Paper
Abstract Dependency Graphs and Their Application to Model Checking	2023-11-24	Paper
Verification of multiplayer stochastic games via abstract dependency graphs	2022-03-23	Paper
A distributed fixed-point algorithm for extended dependency graphs	2018-10-02	Paper
Extended dependency graphs and efficient distributed fixed-point computation	2018-08-20	Paper
Distributed computation of fixed points on dependency graphs	2018-08-16	Paper

Research outcomes over time

This page was built for person: Søren Enevoldsen