Efficient Computation of the Waiting Time and Fidelity in Quantum Repeater Chains. - Sebastiaan Brand; Tim Coopmans; David Elkouss (IEEE J. Sel. Areas Commun., 2020)

FM 2023 Artefact for "A Decision Diagram Operation for Reachability". - Sebastiaan Brand; Thomas Bäck; Alfons Laarman (Zenodo, 2022)

A Decision Diagram Operation for Reachability. - Sebastiaan Brand; Thomas Bäck; Alfons Laarman (FM, 2023)

Quantum Graph-State Synthesis with SAT. - Sebastiaan Brand; Tim Coopmans; Alfons Laarman (POS@SAT, 2023)

Efficient Implementation of LIMDDs for Quantum Circuit Simulation. - Lieuwe Vinkhuijzen; Thomas Grurl; Stefan Hillmich; Sebastiaan Brand; Robert Wille; Alfons Laarman (SPIN, 2023)

Hybrid divide-and-conquer approach for tree search algorithms. - Mathys Rennela; Sebastiaan Brand; Alfons Laarman; Vedran Dunjko (Quantum, 2023)

Optimizing Causal Interventions in Hybrid Bayesian Networks - A Discretization, Knowledge Compilation, and Heuristic Optimization Approach. - Maarten C. Vonk; Diederick Vermetten; Jacob de Nobel; Sebastiaan Brand; Ninoslav Malekovic; Thomas Bäck; Alfons Laarman; Anna V. Kononova (IPMU (1), 2024)

Balancing Computational Cost and Accuracy in Inference of Continuous Bayesian Networks. - Maarten C. Vonk; Sebastiaan Brand; Ninoslav Malekovic; Thomas Bäck; Alfons Laarman; Anna V. Kononova (PGM, 2024)

Automated Reasoning in Quantum Circuit Compilation. - Dimitrios Thanos; Alejandro Villoria; Sebastiaan Brand; Arend-Jan Quist; Jingyi Mei; Tim Coopmans; Alfons Laarman (SPIN, 2024)

Numerical Errors in Quantitative System Analysis With Decision Diagrams. - Sebastiaan Brand; Arend-Jan Quist; Richard M. K. van Dijk; Alfons Laarman (CoRR, 2025)