Lieuwe Vinkhuijzen

According to our database, Lieuwe Vinkhuijzen authored at least 7 papers between 2019 and 2026.

Collaborative distances:

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

2026

A Knowledge Compilation Map for Quantum Information.

Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Efficient Implementation of LIMDDs for Quantum Circuit Simulation and Verification.

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

Dataset, September, 2025

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