BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Alfons Laarman
SearchCollections
Map detail
Alfons Laarman6 visible / 6 total nodes / 5 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAlfons LaarmanAAlfons LaarmanResearcherBoosting Multi-Core Reachability Performance with Shared Hash TablesWBoosting Multi-Core Rea...preprint / 2010Parallel Recursive State Compression for FreeWParallel Recursive Stat...preprint / 2011Variations on Multi-Core Nested Depth-First SearchWVariations on Multi-Cor...preprint / 2011Dynamic Reductions for Model Checking Concurrent SoftwareWDynamic Reductions for ...preprint / 2016A Knowledge Compilation Map for Quantum InformationWA Knowledge Compilation...preprint / 2024
Person5 links

Alfons Laarman

Researcher

PaperBoosting Multi-Core Reachability Performance with Shared Hash TablesAuthorship / preprint / 2010PaperParallel Recursive State Compression for FreeAuthorship / preprint / 2011PaperVariations on Multi-Core Nested Depth-First SearchAuthorship / preprint / 2011PaperDynamic Reductions for Model Checking Concurrent SoftwareAuthorship / preprint / 2016PaperA Knowledge Compilation Map for Quantum InformationAuthorship / preprint / 2024

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)