Michael Theobald

Available identifiers

zbMath Open theobald.michaelMaRDI QIDQ1000406

List of research outcomes

Publication	Date of Publication	Type
OKFDDs versus OBDDs and OFDDs	2019-01-10	Paper
Proof-guided underapproximation-widening for multi-process systems	2017-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q2845503	2013-08-30	Paper
Quality options and hedging in Japanese government bond futures markets	2009-02-06	Paper
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems	2005-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q4417923	2003-07-30	Paper
Fast OFDD-based minimization of fixed polarity Reed-Muller expressions	1996-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael Theobald