Lieuwe Vinkhuijzen

According to our database, Lieuwe Vinkhuijzen authored at least 6 papers between 2019 and 2024.

Collaborative distances:

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

2024

A Knowledge Compilation Map for Quantum Information.

Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman

CoRR, 2024

2023

LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States.

Lieuwe Vinkhuijzen, Tim Coopmans, David Elkouss, Vedran Dunjko, Alfons Laarman

Quantum, September, 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

2022

The Power of Disjoint Support Decompositions in Decision Diagrams.

Lieuwe Vinkhuijzen, Alfons Laarman

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2020

Symbolic Model Checking with Sentential Decision Diagrams.

Lieuwe Vinkhuijzen, Alfons Laarman

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

2019

A Simple Proof of Vyalyi's Theorem and some Generalizations.

Lieuwe Vinkhuijzen, André H. Deutz

Electron. Colloquium Comput. Complex., 2019