Lieuwe Vinkhuijzen
Orcid: 0000-0002-8199-0901
According to our database1,
Lieuwe Vinkhuijzen
authored at least 6 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
0
1
2
3
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States.
Quantum, September, 2023
Proceedings of the Model Checking Software - 29th International Symposium, 2023
2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
2020
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020
2019
Electron. Colloquium Comput. Complex., 2019