Publications

3 results for D. Geist

Formal verification analysis of load-voltage power control
- - M. Moulin
  - L. Gluhovsky
  - et al.
- 2006
- Intelligent Automation and Soft Computing
Computing the minimum DNF representation of Boolean functions defined by intervals
- - Baruch Schieber
  - Daniel Geist
  - et al.
- 2005
- Discrete Applied Mathematics
Formal Verification analysis of load-voltage power dynamics and control
- - M. Moulin
  - L. Gluhovsky
  - et al.
- 2004
- ISIAC - WAC 2004