Lieuwe Vinkhuijzen
Promovendus / gast
- Naam
- L.T. Vinkhuijzen MSc
- Telefoon
- 071 5272727
- l.t.vinkhuijzen@liacs.leidenuniv.nl
- ORCID iD
- 0000-0002-8199-0901
Promovendus / gast
- Wiskunde en Natuurwetenschappen
- Leiden Inst of Advanced Computer Science
- Vinkhuijzen L.T., Grurl T., Hillmich S., Brand S.O., Wille R. & Laarman A.W. (2023), Efficient Implementation of LIMDDs for Quantum Circuit Simulation. Caltais G. & Schilling C. (red.), Model Checking Software. SPIN 2023. Model Checking Software. SPIN 2023 26 april 2023 - 27 april 2023. Lecture Notes in Computer Science nr. 13872. Cham: Springer. 3-21.
- Vinkhuijzen L.T., Coopmans T.J., Elkouss D., Dunjko V. & Laarman A.W. (2023), LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States, Quantum 7: 1108.