|
Brand, S., Laarman, A.
"Q-Sylvan: a parallel decision diagram package for quantum computing."
Automated Technology for Verification and Analysis
(2025).
|
arXiv |
|
Brand, S., Quist, AJ., van Dijk, R., Laarman, A.
"Numerical errors in quantitative system analysis with decision diagrams."
QEST+FORMATS
(2025).
|
arXiv |
|
Brand, S., Coopmans, T., Laarman, A.
"Quantum graph-state synthesis with SAT."
14th International Workshop on Pragmatics of SAT
(2023).
|
arXiv |
|
Rennela, M., Brand, S., Laarman, A., and Dunjko V.
"Hybrid divide-and-conquer approach for tree search algorithms."
Quantum
(2023).
|
arXiv |
|
Brand, S., Bäck, T. and Laarman, A.
"A decision diagram operation for reachability."
Formal Methods: 25th International Symposium
(2023).
|
arXiv |
|
Coopmans, T., Brand, S., and Elkouss, D.
"Improved analytical bounds on delivery times of long-distance entanglement."
Physical Review A
(2022).
|
arXiv |
|
Brand, S., Coopmans, T., and Elkouss, D.
"Efficient computation of the waiting time and fidelity in quantum repeater chains."
IEEE Journal on Selected Areas in Communications
(2020).
|
arXiv |
