Alfons Laarman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
31
Venues
20
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
31 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | A Knowledge Compilation Map for Quantum Information. | Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman |
| 2026 | CAV | Quokka#: Quantum Computing with #SAT. | Jingyi Mei, Dekel Zak, Muhammad Osama, Tim Coopmans, Alfons Laarman |
| 2026 | KR | From Tensor Networks to Tractable Circuits, and Back. | Arend-Jan Quist, Marc Farreras Bartra, Alexis de Colnet, John van de Wetering, Alfons Laarman |
| 2026 | SAT | The Compilability Thresholds of 2-CNF to OBDD. | Alexis de Colnet, Alfons Laarman, Joon Hyung Lee |
| 2026 | TACAS | Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting. | Wei-Jia Huang, Christophe Chareton, Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Alfons Laarman, Jingyi Mei |
| 2025 | ATVA | Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing. | Sebastiaan Brand, Alfons Laarman |
| 2025 | CP | Reducing Quantum Circuit Synthesis to #SAT. | Dekel Zak, Jingyi Mei, Jean-Marie Lagniez, Alfons Laarman |
| 2025 | TACAS | Parallel Equivalence Checking of Stabilizer Quantum Circuits on GPUs. | Muhammad Osama, Dimitrios Thanos, Alfons Laarman |
| 2024 | CAV | Simulating Quantum Circuits by Model Counting. | Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman |
| 2024 | EuroPar | Compact Parallel Hash Tables on the GPU. | Steef Hegeman, Daan Wltgens, Anton Wijs, Alfons Laarman |
| 2024 | FM | Advancing Quantum Computing with Formal Methods. | Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman |
| 2024 | FOSSACS | Enriching Diagrams with Algebraic Operations. | Alejandro Villoria, Henning Basold, Alfons Laarman |
| 2024 | IJCAR | Equivalence Checking of Quantum Circuits by Model Counting. | Jingyi Mei, Tim Coopmans, Marcello M. Bonsangue, Alfons Laarman |
| 2024 | IPMU | Optimizing Causal Interventions in Hybrid Bayesian Networks - A Discretization, Knowledge Compilation, and Heuristic Optimization Approach. | Maarten C. Vonk, Diederick Vermetten, Jacob de Nobel, Sebastiaan Brand, Ninoslav Malekovic, Thomas Bck, Alfons Laarman, Anna V. Kononova |
| 2024 | ICTAC | Disentangling the Gap Between Quantum and #SAT. | Jingyi Mei, Jan Martens, Alfons Laarman |
| 2023 | ATVA | Fast Equivalence Checking of Quantum Circuits of Clifford Gates. | Dimitrios Thanos, Tim Coopmans, Alfons Laarman |
| 2023 | FM | A Decision Diagram Operation for Reachability. | Sebastiaan Brand, Thomas Bck, Alfons Laarman |
| 2023 | ICFEM | Incremental Property Directed Reachability. | Max Blankestijn, Alfons Laarman |
| 2023 | RC | Optimizing Quantum Space Using Spooky Pebble Games. | Arend-Jan Quist, Alfons Laarman |
| 2023 | SAT | Quantum Graph-State Synthesis with SAT. | Sebastiaan Brand, Tim Coopmans, Alfons Laarman |
| 2020 | SETTA | Symbolic Model Checking with Sentential Decision Diagrams. | Lieuwe Vinkhuijzen, Alfons Laarman |
| 2019 | VMCAI | A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization. | Richard Huybers, Alfons Laarman |
| 2017 | VMCAI | Dynamic Reductions for Model Checking Concurrent Software. | Henning Gnther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher |
| 2016 | PPoPP | Multi-core on-the-fly SCC decomposition. | Vincent Bloemen, Alfons Laarman, Jaco van de Pol |
| 2016 | TACAS | Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution). | Henning Gnther, Alfons Laarman, Georg Weissenbacher |
| 2015 | TACAS | LTSmin: High-Performance Language-Independent Model Checking. | Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk |
| 2013 | CAV | Multi-core Emptiness Checking of Timed Bchi Automata Using Inclusion Abstraction. | Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, Jaco van de Pol |
| 2012 | ATVA | Improved Multi-Core Nested Depth-First Search. | Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol |
| 2011 | ATVA | Multi-core Nested Depth-First Search. | Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs |
| 2010 | FMCAD | Boosting multi-core reachability performance with shared hash tables. | Alfons Laarman, Jaco van de Pol, Michael Weber |
| 2009 | SLE | Ontological Metamodeling with Explicit Instantiation. | Alfons Laarman, Ivan Kurtev |