Alfons Laarman

75 papers A* 2A 3B 11C 3Misc 1Journal 25Unranked 27
YearRankTypeTitle / Venue / Authors
2026 A* conf
A Knowledge Compilation Map for Quantum Information.
AAAI
Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman
2026 — conf
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting.
TACAS (2)
Wei-Jia Huang, Christophe Chareton, Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Alfons Laarman, Jingyi Mei
2026 J jnl
Search-Driven Clause Learning for Product-State Quantum k-SAT (PRODSAT-QSAT).
CoRR
Samuel González-Castillo, Joon Hyung Lee, Alfons Laarman
2026 J jnl
The Compilability Thresholds of 2-CNF to OBDD.
CoRR
Alexis de Colnet, Alfons Laarman, Joon Hyung Lee
2025 — conf
Numerical Errors in Quantitative System Analysis With Decision Diagrams.
QEST+FORMATS
Sebastiaan Brand, Arend-Jan Quist, Richard M. K. van Dijk, Alfons Laarman
2025 J jnl
Numerical Errors in Quantitative System Analysis With Decision Diagrams.
CoRR
Sebastiaan Brand, Arend-Jan Quist, Richard M. K. van Dijk, Alfons Laarman
2025 — conf
Parallel Equivalence Checking of Stabilizer Quantum Circuits on GPUs.
TACAS (3)
Muhammad Osama, Dimitrios Thanos, Alfons Laarman
2025 B conf
Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing.
ATVA
Sebastiaan Brand, Alfons Laarman
2025 A conf
Reducing Quantum Circuit Synthesis to #SAT.
CP
Dekel Zak, Jingyi Mei, Jean-Marie Lagniez, Alfons Laarman
2025 J jnl
Trade-offs between classical and quantum space using spooky pebbling.
Log. Methods Comput. Sci.
Arend-Jan Quist, Alfons Laarman
2025 B conf
Uniformity Within Parameterized Circuit Classes.
IPEC
Steef Hegeman, Jan Martens, Alfons Laarman
2025 J jnl
Uniformity within Parameterized Circuit Classes.
CoRR
Steef Hegeman, Jan Martens, Alfons Laarman
2024 J jnl
A Knowledge Compilation Map for Quantum Information.
CoRR
Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman
2024 — conf
Advancing Quantum Computing with Formal Methods.
FM (2)
Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman
2024 — conf
Automated Reasoning in Quantum Circuit Compilation.
SPIN
Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman
2024 — conf
Balancing Computational Cost and Accuracy in Inference of Continuous Bayesian Networks.
PGM
Maarten C. Vonk, Sebastiaan Brand, Ninoslav Malekovic, Thomas Bäck, Alfons Laarman, Anna V. Kononova
2024 — conf
Compact Parallel Hash Tables on the GPU.
Euro-Par (2)
Steef Hegeman, Daan Wöltgens, Anton Wijs, Alfons Laarman
2024 J jnl
Compact Parallel Hash Tables on the GPU.
CoRR
Steef Hegeman, Daan Wöltgens, Anton Wijs, Alfons Laarman
2024 C conf
Disentangling the Gap Between Quantum and #SAT.
ICTAC
Jingyi Mei, Jan Martens, Alfons Laarman
2024 — conf
Enriching Diagrams with Algebraic Operations.
FoSSaCS (1)
Alejandro Villoria, Henning Basold, Alfons Laarman
2024 — conf
Equivalence Checking of Quantum Circuits by Model Counting.
IJCAR (2)
Jingyi Mei, Tim Coopmans, Marcello M. Bonsangue, Alfons Laarman
2024 — conf
Optimizing Causal Interventions in Hybrid Bayesian Networks - A Discretization, Knowledge Compilation, and Heuristic Optimization Approach.
IPMU (1)
Maarten C. Vonk, Diederick Vermetten, Jacob de Nobel, Sebastiaan Brand, Ninoslav Malekovic, Thomas Bäck, Alfons Laarman, Anna V. Kononova
2024 — conf
Simulating Quantum Circuits by Model Counting.
CAV (3)
Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman
2024 J jnl
Simulating Quantum Circuits by Model Counting.
CoRR
Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman
2024 J jnl
Trade-offs between classical and quantum space using spooky pebbling.
CoRR
Arend-Jan Quist, Alfons Laarman
2023 B conf
A Decision Diagram Operation for Reachability.
FM
Sebastiaan Brand, Thomas Bäck, Alfons Laarman
2023 — conf
Efficient Implementation of LIMDDs for Quantum Circuit Simulation.
SPIN
Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman
2023 J jnl
Enriching Diagrams with Algebraic Operations.
CoRR
Alejandro Villoria, Henning Basold, Alfons Laarman
2023 B conf
Fast Equivalence Checking of Quantum Circuits of Clifford Gates.
ATVA
Dimitrios Thanos, Tim Coopmans, Alfons Laarman
2023 J jnl
Hybrid divide-and-conquer approach for tree search algorithms.
Quantum
Mathys Rennela, Sebastiaan Brand, Alfons Laarman, Vedran Dunjko
2023 C conf
Incremental Property Directed Reachability.
ICFEM
Max Blankestijn, Alfons Laarman
2023 J jnl
Incremental Property Directed Reachability.
CoRR
Max Blankestijn, Alfons Laarman
2023 J jnl
Introduction to the special issue for SPIN 2021.
Int. J. Softw. Tools Technol. Transf.
Alfons Laarman, Ana Sokolova
2023 J jnl
LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States.
Quantum
Lieuwe Vinkhuijzen, Tim Coopmans, David Elkouss, Vedran Dunjko, Alfons Laarman
2023 C conf
Optimizing Quantum Space Using Spooky Pebble Games.
RC
Arend-Jan Quist, Alfons Laarman
2023 — conf
ParaGnosis: A Tool for Parallel Knowledge Compilation.
SPIN
Giso H. Dal, Alfons Laarman, Peter J. F. Lucas
2023 — conf
Quantum Graph-State Synthesis with SAT.
POS@SAT
Sebastiaan Brand, Tim Coopmans, Alfons Laarman
2023 J jnl
Quantum Graph-State Synthesis with SAT.
CoRR
Sebastiaan Brand, Tim Coopmans, Alfons Laarman
2022 J jnl
A Decision Diagram Operation for Reachability.
CoRR
Sebastiaan Brand, Thomas Bäck, Alfons Laarman
2022 — conf
The Power of Disjoint Support Decompositions in Decision Diagrams.
NFM
Lieuwe Vinkhuijzen, Alfons Laarman
2021 J jnl
LIMDD A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States.
CoRR
Lieuwe Vinkhuijzen, Tim Coopmans, David Elkouss, Vedran Dunjko, Alfons Laarman
2021 — ed.
Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
SPIN
Alfons Laarman, Ana Sokolova
2020 J jnl
Hybrid divide-and-conquer approach for tree search algorithms.
CoRR
Mathys Rennela, Alfons Laarman, Vedran Dunjko
2020 Misc conf
Symbolic Model Checking with Sentential Decision Diagrams.
SETTA
Lieuwe Vinkhuijzen, Alfons Laarman
2019 B conf
A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization.
VMCAI
Richard Huybers, Alfons Laarman
2019 J jnl
Optimal compression of combinatorial state spaces.
Innov. Syst. Softw. Eng.
Alfons Laarman
2018 — conf
Optimal Storage of Combinatorial State Spaces.
NFM
Alfons Laarman
2018 — ch.
Parallel Model Checking Algorithms for Linear-Time Temporal Logic.
Handbook of Parallel Constraint Reasoning
Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault
2018 J jnl
Stubborn Transaction Reduction (with Proofs).
CoRR
Alfons Laarman
2018 — conf
Stubborn Transaction Reduction.
NFM
Alfons Laarman
2017 B conf
Dynamic Reductions for Model Checking Concurrent Software.
VMCAI
Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher
2016 J jnl
Dynamic Reductions for Model Checking Concurrent Software.
CoRR
Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher
2016 J jnl
Guard-based partial-order reduction.
Int. J. Softw. Tools Technol. Transf.
Alfons Laarman, Elwin Pater, Jaco van de Pol, Henri Hansen
2016 B conf
Multi-core on-the-fly SCC decomposition.
PPoPP
Vincent Bloemen, Alfons Laarman, Jaco van de Pol
2016 A conf
Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution).
TACAS
Henning Günther, Alfons Laarman, Georg Weissenbacher
2015 A conf
LTSmin: High-Performance Language-Independent Model Checking.
TACAS
Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk
2014 — conf
Partial-Order Reduction for Multi-core LTL Model Checking.
Haifa Verification Conference
Alfons Laarman, Anton Wijs
2014 — —
Scalable multi-core model checking.
Alfons Laarman
2013 — conf
Guard-Based Partial-Order Reduction.
SPIN
Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber
2013 — conf
Improved on-the-Fly Livelock Detection.
NASA Formal Methods
Alfons Laarman, David Faragó
2013 A* conf
Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction.
CAV
Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, Jaco van de Pol
2012 B conf
Improved Multi-Core Nested Depth-First Search.
ATVA
Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol
2012 — conf
Multi-Core BDD Operations for Symbolic Reachability.
PASM/PDMC
Tom van Dijk, Alfons Laarman, Jaco van de Pol
2012 — conf
Multi-core Reachability for Timed Automata.
FORMATS
Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol
2012 J jnl
Multi-core and/or Symbolic Model Checking.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Tom van Dijk, Alfons Laarman, Jaco van de Pol
2012 — conf
SpinS: Extending LTSmin with Promela through SpinJa.
PASM/PDMC
Freark I. van der Berg, Alfons Laarman
2011 — conf
A Parallel Compact Hash Table.
MEMICS
Steven van der Vegt, Alfons Laarman
2011 — conf
Multi-Core LTSmin: Marrying Modularity and Scalability.
NASA Formal Methods
Alfons Laarman, Jaco van de Pol, Michael Weber
2011 B conf
Multi-core Nested Depth-First Search.
ATVA
Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs
2011 J jnl
Parallel Recursive State Compression for Free
CoRR
Alfons Laarman, Jaco van de Pol, Michael Weber
2011 — conf
Parallel Recursive State Compression for Free.
SPIN
Alfons Laarman, Jaco van de Pol, Michael Weber
2011 — conf
Variations on Multi-Core Nested Depth-First Search
PDMC
Alfons Laarman, Jaco van de Pol
2010 J jnl
Boosting Multi-Core Reachability Performance with Shared Hash Tables
CoRR
Alfons Laarman, Jaco van de Pol, Michael Weber
2010 B conf
Boosting multi-core reachability performance with shared hash tables.
FMCAD
Alfons Laarman, Jaco van de Pol, Michael Weber
2009 B conf
Ontological Metamodeling with Explicit Instantiation.
SLE
Alfons Laarman, Ivan Kurtev