| 2010 | ICCSA | Efficient Generation of Gray Codes for Reflectable Languages. | Limin Xiang, Kai Cheng, Kazuo Ushijima |
| 2006 | PDCAT | Sequence Analysis in Constant Time on BSR. | Limin Xiang, Kai Cheng, Kazuo Ushijima |
| 2005 | PDCAT | Encoding a Binary Search Tree in Constant Time on BSR. | Limin Xiang, Kai Cheng, Kazuo Ushijima |
| 2004 | AINA | Construction and Practice of a New Educational Environment with Lecture Recording System. | Kazuo Ushijima |
| 2004 | PDCAT | O(1) Time Algorithm on BSR for Constructing a Binary Search Tree with Best Frequencies. | Limin Xiang, Kazuo Ushijima, Kai Cheng, Jianjun Zhao, Cunwei Lu |
| 2001 | APSEC | A Run-Time Deadlock Detector for Concurrent Java Programs. | Yusuke Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng |
| 2001 | COMPSAC | CLPKIDS: A Program Analysis System for Concurrent Logic Programs. | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
| 2000 | APSEC | Monitoring facilities in languages supporting development of concurrent self-measurement programs. | Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng |
| 1999 | APSEC | A System Dependence Net Generator for Ada Programs. | Yusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima |
| 1999 | APSEC | Evaluation of Process Scheduling Mechanism for a Web Server Based on Its Behavior while Executing. | Sukanya Suranauwarat, Hideo Taniguchi, Kazuo Ushijima |
| 1998 | APSEC | Design and Implementation of Test-Case Generation for Concurrent Programs. | Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima |
| 1998 | ISORC | A CORBA-Based Remote Monitoring System for Factory Automation. | Kazuhiro Kusunoki, Isao Imai, Haruyuki Ohtani, Tetsuo Nakakawaji, Michitaka Ohshima, Kazuo Ushijima |
| 1997 | APSEC | A Test-case Generation Method for Concurrent Programs Including Task-types. | Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima |
| 1996 | APSEC | A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs. | Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima |
| 1996 | APSEC | A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph. | Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima |
| 1996 | COMPSAC | Static Slicing of Concurrent Object-Oriented Programs. | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
| 1996 | ICPADS | Program dependence analysis of concurrent logic programs and its applications. | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
| 1995 | APSEC | An Integrated Support Environment for Distributed Software Development based on Unified Program Representations. | Yoshiaki Kasahara, Yoshinari Nomura, Masayuki Kamachi, Jingde Cheng, Kazuo Ushijima |
| 1995 | APSEC | Event Interactions Graph for Test-case Generation of Concurrent Programs. | Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima |
| 1995 | ICLP | Program Dependence Analysis of Concurrent Logic Programs and Its Applications. | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
| 1994 | APSEC | Ordered sequence testing criteria for concurrent programs and the support tool. | Eisuke Itoh, Yutaka Kawaguchi, Zengo Furukawa, Kazuo Ushijima |
| 1994 | DEXA | Designing and Integrating Human Genome Databases with Object-Oriented Technology. | Norihiro Sakamoto, Kazuo Ushijima |
| 1991 | COMPSAC | A tasking deadlock detector for Ada programs. | Jingde Cheng, Yoshiaki Kasahara, Kazuo Ushijima |
| 1990 | ICLP | A Matching Tree Oriented Abstract Machine for Prolog. | Neng-Fa Zhou, Toshihisa Takagi, Kazuo Ushijima |
| 1989 | COMPSAC | Entailment as a logical basis for incremental generation of causal relations. | Jingde Cheng, Kazuo Ushijima |