default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKazuo Ushijima
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2010
[c46]Limin Xiang, Kai Cheng, Kazuo Ushijima:
Efficient Generation of Gray Codes for Reflectable Languages. ICCSA (4) 2010: 418-426
2000 – 2009
- 2006
- [c45]Limin Xiang, Kai Cheng, Kazuo Ushijima:
Sequence Analysis in Constant Time on BSR. PDCAT 2006: 431-436 - 2005
- [c44]Kai Cheng, Limin Xiang, Toyohiko Hirota, Kazuo Ushijima:
A Web-Based Classroom Environment for Enhanced Residential College Education. ICWL 2005: 56-65 - [c43]Limin Xiang, Kai Cheng, Kazuo Ushijima:
Encoding a Binary Search Tree in Constant Time on BSR. PDCAT 2005: 740-744 - 2004
- [c42]Kazuo Ushijima:
Construction and Practice of a New Educational Environment with Lecture Recording System. AINA (1) 2004: 12-15 - [c41]Limin Xiang, Kazuo Ushijima, Kai Cheng, Jianjun Zhao, Cunwei Lu:
O(1) Time Algorithm on BSR for Constructing a Binary Search Tree with Best Frequencies. PDCAT 2004: 218-225 - 2002
- [j16]Limin Xiang, Kazuo Ushijima, Jianjun Zhao:
Time Optimal n-Size Matching Parentheses and Binary Tree Decoding Algorithms on a p-Processor BSR. Parallel Process. Lett. 12(3-4): 365-374 (2002) - [j15]Yusuke Nonaka, Sozo Inoue, Katsuhiko Hatano, Tsutomu Harada, Yoshinari Nomura, Mizuho Iwaihara, Tsunenori Mine, Kazuo Ushijima:
Development and operation of a document database for university research and education activities. Syst. Comput. Jpn. 33(10): 41-53 (2002) - [c40]Limin Xiang, Kazuo Ushijima, Yuichi Asahiro:
Coding k-ary Trees for Efficient Loopless Generation in Lexicographic Order. ITCC 2002: 396-403 - [c39]Limin Xiang, Kazuo Ushijima:
O(1) Time Algorithm on BSR for Computing Convex Hull. IASTED PDCS 2002: 143-143 - 2001
- [j14]Limin Xiang, Kazuo Ushijima:
On O(1) Time Algorithms for Combinatorial Generation. Comput. J. 44(4): 292-302 (2001) - [j13]Limin Xiang, Kazuo Ushijima, Changjie Tang:
On generating k-ary trees in computer representation. Inf. Process. Lett. 77(5-6): 231-238 (2001) - [j12]Limin Xiang, Kazuo Ushijima:
On Time Bounds, the Work-Time Scheduling Principle, and Optimality for BSR. IEEE Trans. Parallel Distributed Syst. 12(9): 912-921 (2001) - [c38]Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
Computing Executable Slices for Concurrent Logic Programs. APAQS 2001: 13-22 - [c37]Yusuke Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng:
A Run-Time Deadlock Detector for Concurrent Java Programs. APSEC 2001: 45-52 - [c36]Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
CLPKIDS: A Program Analysis System for Concurrent Logic Programs. COMPSAC 2001: 531-537 - [c35]Hirotatsu Sakamoto, Yoshihiro Okada, Toshihiko Shimokawa, Kazuo Ushijima:
Component Based Video Communication Tool for Collaborative Virtual Environment. ICOIN 2001: 375-380 - [c34]Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
A Program Dependence Model for Concurrent Logic Programs and its Applications. ICSM 2001: 672-681 - 2000
- [j11]Limin Xiang, Kazuo Ushijima, Selim G. Akl:
Generating Regular k-ary Trees Efficiently. Comput. J. 43(4): 290-300 (2000) - [j10]Limin Xiang, Kazuo Ushijima, Changjie Tang:
Efficient loopless generation of Gray codes for k-ary trees. Inf. Process. Lett. 76(4-6): 169-174 (2000) - [c33]Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima:
A Supporting Tool for Development of Self-Measurement Ada Programs. Ada-Europe 2000: 69-81 - [c32]Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng:
Monitoring facilities in languages supporting development of concurrent self-measurement programs. APSEC 2000: 92-99 - [c31]Toshihiko Shimokawa, Norihiko Yoshida, Kazuo Ushijima:
Flexible Server Selection using DNS. ICDCS Workshop on Internet 2000: A76-A81 - [c30]Limin Xiang, Kazuo Ushijima:
Optimal Parallel Merging Algorithms on BSR. ISPAN 2000: 12-17
1990 – 1999
- 1999
- [j9]Limin Xiang, Kazuo Ushijima:
Rearranging Scattered Information on BSR. Inf. Process. Lett. 71(1): 43-47 (1999) - [j8]Limin Xiang, Kazuo Ushijima:
A Theorem on the Relation Between BSRk and BSR+. Inf. Process. Lett. 71(2): 71-73 (1999) - [j7]Limin Xiang, Kazuo Ushijima, Selim G. Akl, Ivan Stojmenovic:
An Efficient Implementation for the BROADCAST Instruction of BSR+. IEEE Trans. Parallel Distributed Syst. 10(8): 852-863 (1999) - [c29]Sukanya Suranauwarat, Hideo Taniguchi, Kazuo Ushijima:
Evaluation of Process Scheduling Mechanism for a Web Server Based on Its Behavior while Executing. APSEC 1999: 80-87 - [c28]Yusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima:
A System Dependence Net Generator for Ada Programs. APSEC 1999: 441-448 - [c27]Gou Masuda, Rei Yano, Norihiro Sakamoto, Kazuo Ushijima:
Discovering and Visualizing Attribute Associations Using Bayesian Networks and Their Use in KDD. PKDD 1999: 61-70 - [c26]Ryoji Matsuno, Yutaka Tsutsumi, Kazuo Ushijima:
Interactive Courseware Quiz Creator: An Adaptive Zero-Programming Content Development Tool for Students Learning and Testing via Intra/Internet. WebNet 1999: 1340-1341 - 1998
- [j6]Limin Xiang, Kazuo Ushijima:
ANSV Problem on BSRs. Inf. Process. Lett. 65(3): 135-138 (1998) - [c25]Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima:
Design and Implementation of Test-Case Generation for Concurrent Programs. APSEC 1998: 262-269 - [c24]Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance. CSMR 1998: 60-66 - [c23]Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
A Metrics Suite for Concurrent Logic Programs. CSMR 1998: 172-178 - [c22]Kazuhiro Kusunoki, Isao Imai, Haruyuki Ohtani, Tetsuo Nakakawaji, Michitaka Ohshima, Kazuo Ushijima:
A CORBA-Based Remote Monitoring System for Factory Automation. ISORC 1998: 396-402 - [c21]Gou Masuda, Norihiro Sakamoto, Kazuo Ushijima:
Applying Design Patterns to Decision Tree Learning System. SIGSOFT FSE 1998: 111-120 - 1997
- [j5]Limin Xiang, Changjie Tang, Kazuo Ushijima:
Grammar-Oriented Enumeration of Binary Trees. Comput. J. 40(5): 278-291 (1997) - [c20]Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima:
A Test-case Generation Method for Concurrent Programs Including Task-types. APSEC 1997: 485-494 - [c19]Kazunori Nishi, Jingde Cheng, Kazuo Ushijima:
Improving the Performance of Automated Forward Deduction System EnCal. ISHPC 1997: 371-380 - 1996
- [c18]Jingde Cheng, Kazuo Ushijima:
Tasking Deadlocks in Ada 95 Programs and Their Detection. Ada-Europe 1996: 135-146 - [c17]Eisuke Itoh
, Zengo Furukawa, Kazuo Ushijima:
A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs. APSEC 1996: 345-354 - [c16]Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima:
A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph. APSEC 1996: 355- - [c15]Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima:
ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract). ASIAN 1996: 343-344 - [c14]Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
Static Slicing of Concurrent Object-Oriented Programs. COMPSAC 1996: 312-320 - [c13]Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
Program dependence analysis of concurrent logic programs and its applications. ICPADS 1996: 282-291 - [c12]Gou Masuda, Norihiro Sakamoto, Kazuo Ushijima:
A Practical Object-Oriented Concept Learning System in Clinical Medicine. IEA/AIE 1996: 449-454 - 1995
- [j4]Akio Nishikawa, Kenji Satou, Emiko Furuichi, Satoru Kuhara, Kazuo Ushijima:
Data Classification Component in a Deductive Database System and Its Application to Protein Structural Analysis. IEICE Trans. Inf. Syst. 78-D(11): 1377-1387 (1995) - [c11]Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima:
Event Interactions Graph for Test-case Generation of Concurrent Programs. APSEC 1995: 29-37 - [c10]Yoshiaki Kasahara, Yoshinari Nomura, Masayuki Kamachi, Jingde Cheng, Kazuo Ushijima:
An Integrated Support Environment for Distributed Software Development based on Unified Program Representations. APSEC 1995: 254-263 - [c9]Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
Program Dependence Analysis of Concurrent Logic Programs and Its Applications. ICLP 1995: 825 - 1994
- [c8]Eisuke Itoh, Yutaka Kawaguchi, Zengo Furukawa, Kazuo Ushijima:
Ordered sequence testing criteria for concurrent programs and the support tool. APSEC 1994: 236-245 - [c7]Norihiro Sakamoto, Kazuo Ushijima:
Designing and Integrating Human Genome Databases with Object-Oriented Technology. DEXA 1994: 145-152 - 1992
- [j3]Toshihisa Takagi, Takahiko Suzuki, Susumu Goto, Kazuo Ushijima:
Evaluation of a deductive database system for CAD applications. Syst. Comput. Jpn. 23(13): 15-27 (1992) - 1991
- [j2]Neng-Fa Zhou, Kazuo Ushijima, Toshihisa Takagi:
Bidirectional inference of mode information for logic programs. Syst. Comput. Jpn. 22(4): 1-9 (1991) - [c6]Jingde Cheng, Kazuo Ushijima:
Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets. Ada-Europe 1991: 125-146 - [c5]Jingde Cheng, Yoshiaki Kasahara, Kazuo Ushijima:
A tasking deadlock detector for Ada programs. COMPSAC 1991: 56-63 - 1990
- [c4]Neng-Fa Zhou, Toshihisa Takagi, Kazuo Ushijima:
A Matching Tree Oriented Abstract Machine for Prolog. ICLP 1990: 159-173
1980 – 1989
- 1989
- [c3]Jingde Cheng, Kazuo Ushijima:
Entailment as a logical basis for incremental generation of causal relations. COMPSAC 1989: 719-726 - 1986
- [c2]Keijiro Araki, Kazuo Ushijima:
The use of Ada in the development of distributed systems: experience implementing a communications system. WADAS 1986: 245-251 - 1985
- [c1]Toshihisa Takagi, Fumihiro Matsuo, Shouichi Futamura, Kazuo Ushijima:
Implementation of Inferential Relational Database System. FODO 1985: 539-546
1970 – 1979
- 1977
- [j1]Kazuo Ushijima:
Step to an Efficient Program for Floating-point Summation. Softw. Pract. Exp. 7(6): 759-769 (1977)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
