Awesome Quantum Computing
📄
Papers
🧭
Topics
🔥
Trending
🗺️
Map
🏆
Leaderboards
🎓
Learn
🤖
Ask AI
⋯
More
👥
Authors
📚
Reading Packs
📊
Datasets
🛠️
Tools
📰
News
📝
Blogs
✉️
Newsletter
🎯
Research Radar
🔖
Saved
+ Add Paper
☾
☀
← authors
·
overview
Loading author…
🤖
Ask AI
Alfons Laarman — most-cited papers & profile · Quantum Computing
← authors
·
overview
Alfons Laarman
9
papers ·
25
citations ·
19
h-index
Leiden University
Google Scholar ↗
Semantic Scholar ↗
OpenAlex ↗
Most-cited papers
Simulating Quantum Circuits by Model Counting
2024 · 12 citations
Fast equivalence checking of quantum circuits of Clifford gates
2023 · 9 citations
LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States
2021 · 2 citations
Hybrid divide-and-conquer approach for tree search algorithms
2020 · 1 citations
Reducing Quantum Circuit Synthesis to #SAT
2025
Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing
2025
Quantum Graph-State Synthesis with SAT
2023
A Knowledge Compilation Map for Quantum Information
2024
Top co-authors
Tim Coopmans
· 4
Sebastiaan Brand
· 3
Jingyi Mei
· 2
Lieuwe Vinkhuijzen
· 2
Vedran Dunjko
· 2
David Elkouss
· 1
Dekel Zak
· 1
Dimitrios Thanos
· 1
Jean-Marie Lagniez
· 1
Marcello Bonsangue
· 1
Mathys Rennela
· 1
Topics
Quantum Simulation
Quantum Algorithms
Quantum Software
Theory
quant-ph
NISQ
Error Correction
cs.DS
Quantum Machine Learning