More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Alfons Laarman

Alfons W. Laarman

> Home > Persons

Person information

affiliation: Leiden University, The Netherlands

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/MeiBL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/MeiBL24
Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman:
Simulating Quantum Circuits by Model Counting. CAV (3) 2024: 555-578
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/HegemanWWL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/HegemanWWL24
Steef Hegeman, Daan Wöltgens, Anton Wijs, Alfons Laarman:
Compact Parallel Hash Tables on the GPU. Euro-Par (2) 2024: 226-241
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fm/QuistMCL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/QuistMCL24
Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman:
Advancing Quantum Computing with Formal Methods. FM (2) 2024: 420-446
[c36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/VilloriaBL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/VilloriaBL24
Alejandro Villoria, Henning Basold, Alfons Laarman:
Enriching Diagrams with Algebraic Operations. FoSSaCS (1) 2024: 121-143
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/MeiML24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/MeiML24
Jingyi Mei, Jan Martens, Alfons Laarman:
Disentangling the Gap Between Quantum and #SAT. ICTAC 2024: 17-40
[c34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcar/MeiCBL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcar/MeiCBL24
Jingyi Mei, Tim Coopmans, Marcello M. Bonsangue, Alfons Laarman:
Equivalence Checking of Quantum Circuits by Model Counting. IJCAR (2) 2024: 401-421
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/ThanosVBQMCL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ThanosVBQMCL24
Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman:
Automated Reasoning in Quantum Circuit Compilation. SPIN 2024: 106-134
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-01322
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-01322
Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman:
A Knowledge Compilation Map for Quantum Information. CoRR abs/2401.01322 (2024)
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-10579
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-10579
Arend-Jan Quist, Alfons Laarman:
Trade-offs between classical and quantum space using spooky pebbling. CoRR abs/2401.10579 (2024)
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-07197
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-07197
Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman:
Simulating Quantum Circuits by Model Counting. CoRR abs/2403.07197 (2024)
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-09255
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-09255
Steef Hegeman, Daan Wöltgens, Anton Wijs, Alfons Laarman:
Compact Parallel Hash Tables on the GPU. CoRR abs/2406.09255 (2024)
2023
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/quantum/RennelaBLD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/quantum/RennelaBLD23
Mathys Rennela, Sebastiaan Brand, Alfons Laarman, Vedran Dunjko:
Hybrid divide-and-conquer approach for tree search algorithms. Quantum 7: 959 (2023)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/quantum/VinkhuijzenCEDL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/quantum/VinkhuijzenCEDL23
Lieuwe Vinkhuijzen, Tim Coopmans, David Elkouss, Vedran Dunjko, Alfons Laarman:
LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States. Quantum 7: 1108 (2023)
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/LaarmanS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/LaarmanS23
Alfons Laarman, Ana Sokolova:
Introduction to the special issue for SPIN 2021. Int. J. Softw. Tools Technol. Transf. 25(1): 75-76 (2023)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ThanosCL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ThanosCL23
Dimitrios Thanos, Tim Coopmans, Alfons Laarman:
Fast Equivalence Checking of Quantum Circuits of Clifford Gates. ATVA 2023: 199-216
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BrandBL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BrandBL23
Sebastiaan Brand, Thomas Bäck, Alfons Laarman:
A Decision Diagram Operation for Reachability. FM 2023: 514-532
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BlankestijnL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BlankestijnL23
Max Blankestijn, Alfons Laarman:
Incremental Property Directed Reachability. ICFEM 2023: 208-227
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/QuistL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/QuistL23
Arend-Jan Quist, Alfons Laarman:
Optimizing Quantum Space Using Spooky Pebble Games. RC 2023: 134-149
[c28]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/sat/BrandCL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BrandCL23
Sebastiaan Brand, Tim Coopmans, Alfons Laarman:
Quantum Graph-State Synthesis with SAT. POS@SAT 2023: 1-13
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/VinkhuijzenGHBWL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/VinkhuijzenGHBWL23
Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman:
Efficient Implementation of LIMDDs for Quantum Circuit Simulation. SPIN 2023: 3-21
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/DalLL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/DalLL23
Giso H. Dal, Alfons Laarman, Peter J. F. Lucas:
ParaGnosis: A Tool for Parallel Knowledge Compilation. SPIN 2023: 22-37
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-12162
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-12162
Max Blankestijn, Alfons Laarman:
Incremental Property Directed Reachability. CoRR abs/2308.12162 (2023)
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-03593
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-03593
Sebastiaan Brand, Tim Coopmans, Alfons Laarman:
Quantum Graph-State Synthesis with SAT. CoRR abs/2309.03593 (2023)
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-11288
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-11288
Alejandro Villoria, Henning Basold, Alfons Laarman:
Enriching Diagrams with Algebraic Operations. CoRR abs/2310.11288 (2023)
2022
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/VinkhuijzenL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/VinkhuijzenL22
Lieuwe Vinkhuijzen, Alfons Laarman:
The Power of Disjoint Support Decompositions in Decision Diagrams. NFM 2022: 790-799
[d1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/BrandBL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BrandBL22
Sebastiaan Brand, Thomas Bäck, Alfons Laarman:
FM 2023 Artefact for "A Decision Diagram Operation for Reachability". Zenodo, 2022
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-03684
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-03684
Sebastiaan Brand, Thomas Bäck, Alfons Laarman:
A Decision Diagram Operation for Reachability. CoRR abs/2212.03684 (2022)
2021
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ijar/DalLHL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijar/DalLHL21
Giso H. Dal, Alfons W. Laarman, Arjen Hommersom, Peter J. F. Lucas:
A compositional approach to probabilistic knowledge compilation. Int. J. Approx. Reason. 138: 38-66 (2021)
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/2021
Alfons Laarman, Ana Sokolova:
Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings. Lecture Notes in Computer Science 12864, Springer 2021, ISBN 978-3-030-84628-2 [contents]
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-00931
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-00931
Lieuwe Vinkhuijzen, Tim Coopmans, David Elkouss, Vedran Dunjko, Alfons Laarman:
LIMDD A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States. CoRR abs/2108.00931 (2021)
2020
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/VinkhuijzenL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/VinkhuijzenL20
Lieuwe Vinkhuijzen, Alfons Laarman:
Symbolic Model Checking with Sentential Decision Diagrams. SETTA 2020: 124-142
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-07040
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-07040
Mathys Rennela, Alfons Laarman, Vedran Dunjko:
Hybrid divide-and-conquer approach for tree search algorithms. CoRR abs/2007.07040 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/isse/Laarman19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/Laarman19
Alfons Laarman:
Optimal compression of combinatorial state spaces. Innov. Syst. Softw. Eng. 15(3-4): 235-251 (2019)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/HuybersL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/HuybersL19
Richard Huybers, Alfons Laarman:
A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization. VMCAI 2019: 535-554
2018
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/Laarman18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/Laarman18
Alfons Laarman:
Optimal Storage of Combinatorial State Spaces. NFM 2018: 261-279
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/Laarman18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/Laarman18a
Alfons Laarman:
Stubborn Transaction Reduction. NFM 2018: 280-298
[c20]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/pgm/DalLL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pgm/DalLL18
Giso H. Dal, Alfons W. Laarman, Peter J. F. Lucas:
Parallel Probabilistic Inference by Weighted Model Counting. PGM 2018: 97-108
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/BarnatBDLPPR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/BarnatBDLPPR18
Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault:
Parallel Model Checking Algorithms for Linear-Time Temporal Logic. Handbook of Parallel Constraint Reasoning 2018: 457-507
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-02685
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-02685
Alfons Laarman:
Stubborn Transaction Reduction (with Proofs). CoRR abs/1802.02685 (2018)
2017
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/GuntherLSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/GuntherLSW17
Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher:
Dynamic Reductions for Model Checking Concurrent Software. VMCAI 2017: 246-265
2016
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/LaarmanPPH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/LaarmanPPH16
Alfons Laarman, Elwin Pater, Jaco van de Pol, Henri Hansen:
Guard-based partial-order reduction. Int. J. Softw. Tools Technol. Transf. 18(4): 427-448 (2016)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/BloemenLP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/BloemenLP16
Vincent Bloemen, Alfons Laarman, Jaco van de Pol:
Multi-core on-the-fly SCC decomposition. PPoPP 2016: 8:1-8:12
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/GuntherLW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GuntherLW16
Henning Günther, Alfons Laarman, Georg Weissenbacher:
Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution). TACAS 2016: 954-957
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GuntherLSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GuntherLSW16
Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher:
Dynamic Reductions for Model Checking Concurrent Software. CoRR abs/1611.09318 (2016)
2015
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/KantLMPBD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KantLMPBD15
Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk:
LTSmin: High-Performance Language-Independent Model Checking. TACAS 2015: 692-707
2014
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Laarman14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Laarman14
Alfons Laarman:
Scalable multi-core model checking. University of Twente, Enschede, Netherlands, 2014
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/LaarmanW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/LaarmanW14
Alfons Laarman, Anton Wijs:
Partial-Order Reduction for Multi-core LTL Model Checking. Haifa Verification Conference 2014: 267-283
2013
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LaarmanODLP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LaarmanODLP13
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: 968-983
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/LaarmanF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/LaarmanF13
Alfons Laarman, David Faragó:
Improved on-the-Fly Livelock Detection. NASA Formal Methods 2013: 32-47
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/LaarmanPP013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/LaarmanPP013
Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber:
Guard-Based Partial-Order Reduction. SPIN 2013: 227-245
2012
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/DijkLP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/DijkLP12
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)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/EvangelistaLPP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/EvangelistaLPP12
Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol:
Improved Multi-Core Nested Depth-First Search. ATVA 2012: 269-283
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/DalsgaardLLOP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/DalsgaardLLOP12
Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol:
Multi-core Reachability for Timed Automata. FORMATS 2012: 91-106
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BergL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BergL13
Freark I. van der Berg, Alfons Laarman:
SpinS: Extending LTSmin with Promela through SpinJa. PASM/PDMC 2012: 95-105
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DijkLP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DijkLP13
Tom van Dijk, Alfons Laarman, Jaco van de Pol:
Multi-Core BDD Operations for Symbolic Reachability. PASM/PDMC 2012: 127-143
2011
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/LaarmanLPWW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/LaarmanLPWW11
Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs:
Multi-core Nested Depth-First Search. ATVA 2011: 321-335
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/memics/VegtL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/VegtL11
Steven van der Vegt, Alfons Laarman:
A Parallel Compact Hash Table. MEMICS 2011: 191-204
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/LaarmanPW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/LaarmanPW11
Alfons Laarman, Jaco van de Pol, Michael Weber:
Multi-Core LTSmin: Marrying Modularity and Scalability. NASA Formal Methods 2011: 506-511
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/LaarmanP011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/LaarmanP011
Alfons Laarman, Jaco van de Pol, Michael Weber:
Parallel Recursive State Compression for Free. SPIN 2011: 38-56
[c3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1111-0369
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-0369
Alfons Laarman, Jaco van de Pol:
Variations on Multi-Core Nested Depth-First Search. PDMC 2011: 13-28
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1104-3119
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1104-3119
Alfons Laarman, Jaco van de Pol, Michael Weber:
Parallel Recursive State Compression for Free. CoRR abs/1104.3119 (2011)
2010
[c2]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/LaarmanPW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/LaarmanPW10
Alfons Laarman, Jaco van de Pol, Michael Weber:
Boosting multi-core reachability performance with shared hash tables. FMCAD 2010: 247-255
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1004-2772
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1004-2772
Alfons Laarman, Jaco van de Pol, Michael Weber:
Boosting Multi-Core Reachability Performance with Shared Hash Tables. CoRR abs/1004.2772 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sle/LaarmanK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/LaarmanK09
Alfons Laarman, Ivan Kurtev:
Ontological Metamodeling with Explicit Instantiation. SLE 2009: 174-183

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.