All Outputs (2)

Experimental study of the short-circuit performance for a 600V normally-off p-gate GaN HEMT (2017)
Conference Proceeding
Oeder, T., Castellazzi, A., & Pfost, M. (in press). Experimental study of the short-circuit performance for a 600V normally-off p-gate GaN HEMT.

In this paper, the short-circuit robustness of a normally off GaN HEMT is investigated in relation to applied bias conditions and pulse duration. The results align with previous studies on normally-on devices in highlighting an electrical type of fai... Read More about Experimental study of the short-circuit performance for a 600V normally-off p-gate GaN HEMT.

On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner
Conference Proceeding
Dennis, L. A., Jamnik, M., & Pollet, M. (2005). On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner. In J. Carette, & W. Farmer (Eds.),

We present a framework for describing proof planners. This framework is based around a decomposition of proof planners into planning states, proof language, proof plans, proof methods, proof revision, proof control and planning algorithms. We us... Read More about On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner.