Step to an Efficient Program for Floating-point Summation. - Kazuo Ushijima (Softw. Pract. Exp., 1977)

Implementation of Inferential Relational Database System. - Toshihisa Takagi; Fumihiro Matsuo; Shouichi Futamura; Kazuo Ushijima (FODO, 1985)

The use of Ada in the development of distributed systems: experience implementing a communications system. - Keijiro Araki; Kazuo Ushijima (WADAS, 1986)

Entailment as a logical basis for incremental generation of causal relations. - Jingde Cheng; Kazuo Ushijima (COMPSAC, 1989)

A Matching Tree Oriented Abstract Machine for Prolog. - Neng-Fa Zhou; Toshihisa Takagi; Kazuo Ushijima (ICLP, 1990)

Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets. - Jingde Cheng; Kazuo Ushijima (Ada-Europe, 1991)

A tasking deadlock detector for Ada programs. - Jingde Cheng; Yoshiaki Kasahara; Kazuo Ushijima (COMPSAC, 1991)

Bidirectional inference of mode information for logic programs. - Neng-Fa Zhou; Kazuo Ushijima; Toshihisa Takagi (Syst. Comput. Jpn., 1991)

Evaluation of a deductive database system for CAD applications. - Toshihisa Takagi; Takahiko Suzuki; Susumu Goto; Kazuo Ushijima (Syst. Comput. Jpn., 1992)

Ordered sequence testing criteria for concurrent programs and the support tool. - Eisuke Itoh; Yutaka Kawaguchi; Zengo Furukawa; Kazuo Ushijima (APSEC, 1994)

Designing and Integrating Human Genome Databases with Object-Oriented Technology. - Norihiro Sakamoto; Kazuo Ushijima (DEXA, 1994)

An Integrated Support Environment for Distributed Software Development based on Unified Program Representations. - Yoshiaki Kasahara; Yoshinari Nomura; Masayuki Kamachi; Jingde Cheng; Kazuo Ushijima (APSEC, 1995)

Event Interactions Graph for Test-case Generation of Concurrent Programs. - Tetsuro Katayama; Zengo Furukawa; Kazuo Ushijima (APSEC, 1995)

Program Dependence Analysis of Concurrent Logic Programs and Its Applications. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (ICLP, 1995)

Data Classification Component in a Deductive Database System and Its Application to Protein Structural Analysis. - Akio Nishikawa; Kenji Satou; Emiko Furuichi; Satoru Kuhara; Kazuo Ushijima (IEICE Trans. Inf. Syst., 1995)

Tasking Deadlocks in Ada 95 Programs and Their Detection. - Jingde Cheng; Kazuo Ushijima (Ada-Europe, 1996)

A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs. - Eisuke Itoh; Zengo Furukawa; Kazuo Ushijima (APSEC, 1996)

A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph. - Tetsuro Katayama; Zengo Furukawa; Kazuo Ushijima (APSEC, 1996)

ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract). - Kazuaki Goshi; Jingde Cheng; Kazuo Ushijima (ASIAN, 1996)

Static Slicing of Concurrent Object-Oriented Programs. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (COMPSAC, 1996)

A Practical Object-Oriented Concept Learning System in Clinical Medicine. - Gou Masuda; Norihiro Sakamoto; Kazuo Ushijima (IEA/AIE, 1996)

A Test-case Generation Method for Concurrent Programs Including Task-types. - Tetsuro Katayama; Zengo Furukawa; Kazuo Ushijima (APSEC, 1997)

Improving the Performance of Automated Forward Deduction System EnCal. - Kazunori Nishi; Jingde Cheng; Kazuo Ushijima (ISHPC, 1997)

Grammar-Oriented Enumeration of Binary Trees. - Limin Xiang; Changjie Tang; Kazuo Ushijima (Comput. J., 1997)

Design and Implementation of Test-Case Generation for Concurrent Programs. - Tetsuro Katayama; Zengo Furukawa; Kazuo Ushijima (APSEC, 1998)

A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (CSMR, 1998)

A Metrics Suite for Concurrent Logic Programs. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (CSMR, 1998)

A CORBA-Based Remote Monitoring System for Factory Automation. - Kazuhiro Kusunoki; Isao Imai; Haruyuki Ohtani; Tetsuo Nakakawaji; Michitaka Ohshima; Kazuo Ushijima (ISORC, 1998)

Applying Design Patterns to Decision Tree Learning System. - Gou Masuda; Norihiro Sakamoto; Kazuo Ushijima (SIGSOFT FSE, 1998)

ANSV Problem on BSRs. - Limin Xiang; Kazuo Ushijima (Inf. Process. Lett., 1998)

A System Dependence Net Generator for Ada Programs. - Yusuke Nonaka; Katsuhiko Hatano; Yoshinari Nomura; Jingde Cheng; Kazuo Ushijima (APSEC, 1999)

Evaluation of Process Scheduling Mechanism for a Web Server Based on Its Behavior while Executing. - Sukanya Suranauwarat; Hideo Taniguchi; Kazuo Ushijima (APSEC, 1999)

Discovering and Visualizing Attribute Associations Using Bayesian Networks and Their Use in KDD. - Gou Masuda; Rei Yano; Norihiro Sakamoto; Kazuo Ushijima (PKDD, 1999)

Interactive Courseware Quiz Creator: An Adaptive Zero-Programming Content Development Tool for Students Learning and Testing via Intra/Internet. - Ryoji Matsuno; Yutaka Tsutsumi; Kazuo Ushijima (WebNet, 1999)

Rearranging Scattered Information on BSR. - Limin Xiang; Kazuo Ushijima (Inf. Process. Lett., 1999)

A Theorem on the Relation Between BSRk and BSR+. - Limin Xiang; Kazuo Ushijima (Inf. Process. Lett., 1999)

An Efficient Implementation for the BROADCAST Instruction of BSR+. - Limin Xiang; Kazuo Ushijima; Selim G. Akl; Ivan Stojmenovic (IEEE Trans. Parallel Distributed Syst., 1999)

A Supporting Tool for Development of Self-Measurement Ada Programs. - Yusuke Nonaka; Jingde Cheng; Kazuo Ushijima (Ada-Europe, 2000)

Monitoring facilities in languages supporting development of concurrent self-measurement programs. - Yusuke Nonaka; Kazuo Ushijima; Jingde Cheng (APSEC, 2000)

Flexible Server Selection using DNS. - Toshihiko Shimokawa; Norihiko Yoshida; Kazuo Ushijima (ICDCS Workshop on Internet, 2000)

Optimal Parallel Merging Algorithms on BSR. - Limin Xiang; Kazuo Ushijima (ISPAN, 2000)

Generating Regular k-ary Trees Efficiently. - Limin Xiang; Kazuo Ushijima; Selim G. Akl (Comput. J., 2000)

Efficient loopless generation of Gray codes for k-ary trees. - Limin Xiang; Kazuo Ushijima; Changjie Tang (Inf. Process. Lett., 2000)

Computing Executable Slices for Concurrent Logic Programs. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (APAQS, 2001)

A Run-Time Deadlock Detector for Concurrent Java Programs. - Yusuke Nonaka; Kazuo Ushijima; Hibiki Serizawa; Shigeru Murata; Jingde Cheng (APSEC, 2001)

CLPKIDS: A Program Analysis System for Concurrent Logic Programs. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (COMPSAC, 2001)

Component Based Video Communication Tool for Collaborative Virtual Environment. - Hirotatsu Sakamoto; Yoshihiro Okada; Toshihiko Shimokawa; Kazuo Ushijima (ICOIN, 2001)

A Program Dependence Model for Concurrent Logic Programs and its Applications. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (ICSM, 2001)

On O(1) Time Algorithms for Combinatorial Generation. - Limin Xiang; Kazuo Ushijima (Comput. J., 2001)

On generating k-ary trees in computer representation. - Limin Xiang; Kazuo Ushijima; Changjie Tang (Inf. Process. Lett., 2001)

On Time Bounds, the Work-Time Scheduling Principle, and Optimality for BSR. - Limin Xiang; Kazuo Ushijima (IEEE Trans. Parallel Distributed Syst., 2001)

Coding k-ary Trees for Efficient Loopless Generation in Lexicographic Order. - Limin Xiang; Kazuo Ushijima; Yuichi Asahiro (ITCC, 2002)

O(1) Time Algorithm on BSR for Computing Convex Hull. - Limin Xiang; Kazuo Ushijima (IASTED PDCS, 2002)

Time Optimal n-Size Matching Parentheses and Binary Tree Decoding Algorithms on a p-Processor BSR. - Limin Xiang; Kazuo Ushijima; Jianjun Zhao 001 (Parallel Process. Lett., 2002)

Development and operation of a document database for university research and education activities. - Yusuke Nonaka; Sozo Inoue; Katsuhiko Hatano; Tsutomu Harada; Yoshinari Nomura; Mizuho Iwaihara; Tsunenori Mine; Kazuo Ushijima (Syst. Comput. Jpn., 2002)

Construction and Practice of a New Educational Environment with Lecture Recording System. - Kazuo Ushijima (AINA (1), 2004)

O(1) Time Algorithm on BSR for Constructing a Binary Search Tree with Best Frequencies. - Limin Xiang; Kazuo Ushijima; Kai Cheng; Jianjun Zhao 001; Cunwei Lu (PDCAT, 2004)

A Web-Based Classroom Environment for Enhanced Residential College Education. - Kai Cheng; Limin Xiang; Toyohiko Hirota; Kazuo Ushijima (ICWL, 2005)

Encoding a Binary Search Tree in Constant Time on BSR. - Limin Xiang; Kai Cheng; Kazuo Ushijima (PDCAT, 2005)

Sequence Analysis in Constant Time on BSR. - Limin Xiang; Kai Cheng; Kazuo Ushijima (PDCAT, 2006)

Efficient Generation of Gray Codes for Reflectable Languages. - Limin Xiang; Kai Cheng; Kazuo Ushijima (ICCSA (4), 2010)