Andrew S. Miner

From MaRDI portal
Person:1798670

Available identifiers

zbMath Open miner.andrew-sMaRDI QIDQ1798670

List of research outcomes





PublicationDate of PublicationType
Improving Saturation Efficiency with Implicit Relations2024-01-29Paper
Binary decision diagrams with edge-specified reductions2023-11-24Paper
The footprint form of a matrix: definition, properties, and an application2022-07-26Paper
Reachability set generation using hybrid relation compatible saturation2021-07-06Paper
Computation tree measurement language (CTML)2018-10-23Paper
Exploiting interleaving semantics in symbolic state-space generation2007-08-17Paper

Research outcomes over time

This page was built for person: Andrew S. Miner

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