Sebastiaan Brand
Orcid: 0000-0002-7666-2794
According to our database1,
Sebastiaan Brand
authored at least 7 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Model Checking Software - 30th International Symposium, 2024
2023
Proceedings of the Model Checking Software - 29th International Symposium, 2023
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
Proceedings of the Formal Methods - 25th International Symposium, 2023
2022
Dataset, November, 2022
2020
IEEE J. Sel. Areas Commun., 2020