The following pages link to Michael Theobald (Q1000406):
Displayed 7 items.
- Quality options and hedging in Japanese government bond futures markets (Q1000408) (← links)
- (Q2845503) (← links)
- (Q4417923) (← links)
- Fast OFDD-based minimization of fixed polarity Reed-Muller expressions (Q4420806) (← links)
- OKFDDs versus OBDDs and OFDDs (Q4645202) (← links)
- Proof-guided underapproximation-widening for multi-process systems (Q5276140) (← links)
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems (Q5696927) (← links)