Uniform Boundedness Principle. - Hideki Sakurai; Hisayoshi Kunimune; Yasunari Shidama (Formaliz. Math., 2008)

Open Mapping Theorem. - Hideki Sakurai; Hisayoshi Kunimune; Yasunari Shidama (Formaliz. Math., 2008)

Banach's Continuous Inverse Theorem and Closed Graph Theorem. - Hideki Sakurai; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2012)

Process Technologies for GaN High Voltage Devices. - Tetsu Kachi; Tetsuo Narita; Hideki Sakurai; Jun Suda (DRC, 2019)