Alfons Laarman
Scholar

Alfons Laarman

Google Scholar ID: InHyqKgAAAAJ
Leiden University
Reliable ComputingParallel ComputingQuantum Computing
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,426
 
H-index
21
 
i10-index
32
 
Publications
20
 
Co-authors
20
list available
Contact
No contact links provided.
Publications
6 items
Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation
2026
Cited
0
From Tensor Networks to Tractable Circuits, and back
2026
Cited
0
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
2026
Cited
0
Search-Driven Clause Learning for Product-State Quantum $k$-SAT (PRODSAT-QSAT)
2026
Cited
0
The Compilability Thresholds of 2-CNF to OBDD
2026
Cited
0
Uniformity within Parameterized Circuit Classes
2025
Cited
0
Resume (English only)
Co-authors
20 total
Jaco van de Pol
Jaco van de Pol
Professor of Computer Science, Aarhus University
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Anton Wijs
Anton Wijs
Associate Professor on Parallel Software Development at Eindhoven University of Technology
Vedran Dunjko
Vedran Dunjko
Leiden University
Laure Petrucci
Laure Petrucci
LIPN, CNRS UMR 7030, Université Paris 13
Kim G. Larsen
Kim G. Larsen
Director, Professor Aalborg University
Co-author 8
Co-author 8