Alfons Laarman

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 35

Top Venues

CoRR

NFM

VMCAI

Int. J. Softw. Tools Technol. Transf.

University of Twente, Enschede, Netherlands (PHD)

Education History

University of Twente, Enschede, Netherlands

PHD

Publications

Steef Hegeman, Daan Wöltgens, Anton Wijs, Alfons Laarman
Compact Parallel Hash Tables on the GPU. CoRR (2024)
Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman
Simulating Quantum Circuits by Model Counting. CoRR (2024)
Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman
Simulating Quantum Circuits by Model Counting. CAV (3) (2024)
Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman
A Knowledge Compilation Map for Quantum Information. CoRR (2024)
Arend-Jan Quist, Alfons Laarman
Trade-offs between classical and quantum space using spooky pebbling. CoRR (2024)
Jingyi Mei, Tim Coopmans, Marcello M. Bonsangue, Alfons Laarman
Equivalence Checking of Quantum Circuits by Model Counting. IJCAR (2) (2024)
Alejandro Villoria, Henning Basold, Alfons Laarman
Enriching Diagrams with Algebraic Operations. FoSSaCS (1) (2024)
Sebastiaan Brand, Tim Coopmans, Alfons Laarman
Quantum Graph-State Synthesis with SAT. CoRR (2023)
Sebastiaan Brand, Thomas Bäck, Alfons Laarman
A Decision Diagram Operation for Reachability. FM (2023)
Lieuwe Vinkhuijzen, Tim Coopmans, David Elkouss, Vedran Dunjko, Alfons Laarman
LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States. Quantum 7 (2023)
Alejandro Villoria, Henning Basold, Alfons Laarman
Enriching Diagrams with Algebraic Operations. CoRR (2023)
Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman
Efficient Implementation of LIMDDs for Quantum Circuit Simulation. SPIN (2023)
Mathys Rennela, Sebastiaan Brand, Alfons Laarman, Vedran Dunjko
Hybrid divide-and-conquer approach for tree search algorithms. Quantum 7 (2023)
Alfons Laarman, Ana Sokolova
Introduction to the special issue for SPIN 2021. Int. J. Softw. Tools Technol. Transf. 25 (1) (2023)
Giso H. Dal, Alfons Laarman, Peter J. F. Lucas
ParaGnosis: A Tool for Parallel Knowledge Compilation. SPIN (2023)
Max Blankestijn, Alfons Laarman
Incremental Property Directed Reachability. CoRR (2023)
Dimitrios Thanos, Tim Coopmans, Alfons Laarman
Fast Equivalence Checking of Quantum Circuits of Clifford Gates. ATVA (2023)
Arend-Jan Quist, Alfons Laarman
Optimizing Quantum Space Using Spooky Pebble Games. RC (2023)
Max Blankestijn, Alfons Laarman
Incremental Property Directed Reachability. ICFEM (2023)
Sebastiaan Brand, Tim Coopmans, Alfons Laarman
Quantum Graph-State Synthesis with SAT. POS@SAT (2023)
Sebastiaan Brand, Thomas Bäck, Alfons Laarman
A Decision Diagram Operation for Reachability. CoRR (2022)
Lieuwe Vinkhuijzen, Alfons Laarman
The Power of Disjoint Support Decompositions in Decision Diagrams. NFM (2022)
Lieuwe Vinkhuijzen, Tim Coopmans, David Elkouss, Vedran Dunjko, Alfons Laarman
LIMDD A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States. CoRR (2021)
Lieuwe Vinkhuijzen, Alfons Laarman
Symbolic Model Checking with Sentential Decision Diagrams. SETTA (2020)
Mathys Rennela, Alfons Laarman, Vedran Dunjko
Hybrid divide-and-conquer approach for tree search algorithms. CoRR (2020)
Richard Huybers, Alfons Laarman
A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization. VMCAI (2019)
Alfons Laarman
Optimal compression of combinatorial state spaces. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Alfons Laarman
Stubborn Transaction Reduction (with Proofs). CoRR (2018)
Alfons Laarman
Optimal Storage of Combinatorial State Spaces. NFM (2018)
Alfons Laarman
Stubborn Transaction Reduction. NFM (2018)
Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher
Dynamic Reductions for Model Checking Concurrent Software. VMCAI (2017)
Alfons Laarman, Elwin Pater, Jaco van de Pol, Henri Hansen
Guard-based partial-order reduction. Int. J. Softw. Tools Technol. Transf. 18 (4) (2016)
Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher
Dynamic Reductions for Model Checking Concurrent Software. CoRR (2016)
Henning Günther, Alfons Laarman, Georg Weissenbacher
Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution). TACAS (2016)
Vincent Bloemen, Alfons Laarman, Jaco van de Pol
Multi-core on-the-fly SCC decomposition. PPOPP (2016)
Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk
LTSmin: High-Performance Language-Independent Model Checking. TACAS (2015)
Alfons Laarman, Anton Wijs
Partial-Order Reduction for Multi-core LTL Model Checking. Haifa Verification Conference (2014)
Alfons Laarman, David Faragó
Improved on-the-Fly Livelock Detection. NASA Formal Methods (2013)
Tom van Dijk, Alfons Laarman, Jaco van de Pol
Multi-Core BDD Operations for Symbolic Reachability. Electron. Notes Theor. Comput. Sci. 296 (2013)
Freark I. van der Berg, Alfons Laarman
SpinS: Extending LTSmin with Promela through SpinJa. Electron. Notes Theor. Comput. Sci. 296 (2013)
Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber
Guard-Based Partial-Order Reduction. SPIN (2013)
Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, Jaco van de Pol
Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction. CAV (2013)
Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol
Multi-core Reachability for Timed Automata. FORMATS (2012)
Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol
Improved Multi-Core Nested Depth-First Search. ATVA (2012)
Tom van Dijk, Alfons Laarman, Jaco van de Pol
Multi-core and/or Symbolic Model Checking. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Alfons Laarman, Jaco van de Pol, Michael Weber
Multi-Core LTSmin: Marrying Modularity and Scalability. NASA Formal Methods (2011)
Alfons Laarman, Jaco van de Pol
Variations on Multi-Core Nested Depth-First Search PDMC (2011)
Alfons Laarman, Jaco van de Pol, Michael Weber
Parallel Recursive State Compression for Free. SPIN (2011)
Steven van der Vegt, Alfons Laarman
A Parallel Compact Hash Table. MEMICS (2011)
Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs
Multi-core Nested Depth-First Search. ATVA (2011)
Alfons Laarman, Jaco van de Pol, Michael Weber
Parallel Recursive State Compression for Free CoRR (2011)
Alfons Laarman, Jaco van de Pol, Michael Weber
Boosting Multi-Core Reachability Performance with Shared Hash Tables CoRR (2010)
Alfons Laarman, Jaco van de Pol, Michael Weber
Boosting multi-core reachability performance with shared hash tables. FMCAD (2010)
Alfons Laarman, Ivan Kurtev
Ontological Metamodeling with Explicit Instantiation. SLE (2009)

Alfons Laarman.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alfons Laarman