Sebastiaan Brand

According to our database, Sebastiaan Brand authored at least 10 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Numerical Errors in Quantitative System Analysis With Decision Diagrams.

Sebastiaan Brand, Arend-Jan Quist, Richard M. K. van Dijk, Alfons Laarman

CoRR, August, 2025

2024

Automated Reasoning in Quantum Circuit Compilation.

Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman

Proceedings of the Model Checking Software - 30th International Symposium, 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

Proceedings of the International Conference on Probabilistic Graphical Models, 2024

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

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2024

2023

Hybrid divide-and-conquer approach for tree search algorithms.

Mathys Rennela, Sebastiaan Brand, Alfons Laarman, Vedran Dunjko

Quantum, March, 2023

Efficient Implementation of LIMDDs for Quantum Circuit Simulation.

Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman

Proceedings of the Model Checking Software - 29th International Symposium, 2023

Quantum Graph-State Synthesis with SAT.

Sebastiaan Brand, Tim Coopmans, Alfons Laarman

Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), 2023

A Decision Diagram Operation for Reachability.

Sebastiaan Brand, Thomas Bäck, Alfons Laarman

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

FM 2023 Artefact for "A Decision Diagram Operation for Reachability".

Sebastiaan Brand, Thomas Bäck, Alfons Laarman

Dataset, November, 2022

2020

Efficient Computation of the Waiting Time and Fidelity in Quantum Repeater Chains.

Sebastiaan Brand, Tim Coopmans, David Elkouss

IEEE J. Sel. Areas Commun., 2020