Michael Theobald

From MaRDI portal
Person:1000406

Available identifiers

zbMath Open theobald.michaelMaRDI QIDQ1000406

List of research outcomes





PublicationDate of PublicationType
OKFDDs versus OBDDs and OFDDs2019-01-10Paper
Proof-guided underapproximation-widening for multi-process systems2017-07-14Paper
Symbolic model checking of software2013-08-30Paper
Quality options and hedging in Japanese government bond futures markets2009-02-06Paper
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems2005-10-19Paper
https://portal.mardi4nfdi.de/entity/Q44179232003-07-30Paper
Fast OFDD-based minimization of fixed polarity Reed-Muller expressions1996-01-01Paper

Research outcomes over time

This page was built for person: Michael Theobald

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