神田徳夫(1996年3月修了）
AND-EXOR論理式の性質とその最小化に関する研究

Debatosh Debnath(1998年3月修了）
On the Minimization of AND-EXOR and AND-OR-EXOR Newtworks

Hafiz Mohammad Hasan Babu (2000年3月修了)
 Data Structures for Multiple-Output Functions and Their Applications to VLSI CAD 

永山忍　(2004年9月短期修了）
　Representations and Evaluations of Logic Functions using Multi-valued Decision Diagrams

Qin Hui（2007年3月修了）
Study on Designs and Applications of LUT Cascade and Cascade Emulator 


中原啓貴（2007年9月短期修了）
A Study on LUT cascades and LUT cascade emulators: Applications to logic simulators and CAM emulators

Infall Syafalni（2014年3月修了）
Representation of Classification functions by Head-Tail Expressions