Alfons W. Laarman

From MaRDI portal
Person:2060757

Available identifiers

zbMath Open laarman.alfons-wWikidataQ102448657 ScholiaQ102448657MaRDI QIDQ2060757

List of research outcomes





PublicationDate of PublicationType
Enriching diagrams with algebraic operations2024-10-30Paper
Optimizing quantum space using spooky pebble games2024-01-11Paper
Efficient implementation of LIMDDs for quantum circuit simulation2023-10-16Paper
A decision diagram operation for reachability2023-08-17Paper
Symbolic model checking with sentential decision diagrams2022-09-01Paper
A compositional approach to probabilistic knowledge compilation2021-12-13Paper
A parallel relation-based algorithm for symbolic bisimulation minimization2020-01-23Paper
Dynamic reductions for model checking concurrent software2017-02-21Paper
Improved multi-core nested depth-first search2012-11-21Paper
Multi-core Reachability for Timed Automata2012-11-21Paper

Research outcomes over time

This page was built for person: Alfons W. Laarman

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2060757&oldid=6533192"
Powered by MediaWiki