The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kazuo Ushijima: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jingde Cheng, Kazuo Ushijima
    Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 1991, pp:125-146 [Conf]
  2. Jingde Cheng, Kazuo Ushijima
    Tasking Deadlocks in Ada 95 Programs and Their Detection. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 1996, pp:135-146 [Conf]
  3. Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima
    A Supporting Tool for Development of Self-Measurement Ada Programs. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2000, pp:69-81 [Conf]
  4. Kazuo Ushijima
    Construction and Practice of a New Educational Environment with Lecture Recording System. [Citation Graph (0, 0)][DBLP]
    AINA (1), 2004, pp:12-15 [Conf]
  5. Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
    Computing Executable Slices for Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP]
    APAQS, 2001, pp:13-22 [Conf]
  6. Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima
    A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    APSEC, 1996, pp:345-354 [Conf]
  7. Yoshiaki Kasahara, Yoshinari Nomura, Masayuki Kamachi, Jingde Cheng, Kazuo Ushijima
    An Integrated Support Environment for Distributed Software Development based on Unified Program Representations. [Citation Graph (0, 0)][DBLP]
    APSEC, 1995, pp:254-263 [Conf]
  8. Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
    Event Interactions Graph for Test-case Generation of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    APSEC, 1995, pp:29-37 [Conf]
  9. Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
    A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph. [Citation Graph (0, 0)][DBLP]
    APSEC, 1996, pp:355-0 [Conf]
  10. Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
    A Test-case Generation Method for Concurrent Programs Including Task-types. [Citation Graph (0, 0)][DBLP]
    APSEC, 1997, pp:485-494 [Conf]
  11. Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
    Design and Implementation of Test-Case Generation for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    APSEC, 1998, pp:262-269 [Conf]
  12. Yusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima
    A System Dependence Net Generator for Ada Programs. [Citation Graph (0, 0)][DBLP]
    APSEC, 1999, pp:441-448 [Conf]
  13. Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng
    Monitoring facilities in languages supporting development of concurrent self-measurement programs. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:92-99 [Conf]
  14. Yusuka Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng
    A Run-Time Deadlock Detector for Concurrent Java Programs. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:45-52 [Conf]
  15. Sukanya Suranauwarat, Hideo Taniguchi, Kazuo Ushijima
    Evaluation of Process Scheduling Mechanism for a Web Server Based on Its Behavior while Executing. [Citation Graph (0, 0)][DBLP]
    APSEC, 1999, pp:80-87 [Conf]
  16. Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima
    ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract). [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:343-344 [Conf]
  17. Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
    CLPKIDS: A Program Analysis System for Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:531-537 [Conf]
  18. Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
    Static Slicing of Concurrent Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1996, pp:312-320 [Conf]
  19. Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
    A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance. [Citation Graph (0, 0)][DBLP]
    CSMR, 1998, pp:60-66 [Conf]
  20. Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
    A Metrics Suite for Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP]
    CSMR, 1998, pp:172-178 [Conf]
  21. Norihiro Sakamoto, Kazuo Ushijima
    Designing and Integrating Human Genome Databases with Object-Oriented Technology. [Citation Graph (0, 0)][DBLP]
    DEXA, 1994, pp:145-152 [Conf]
  22. Toshihisa Takagi, Fumihiro Matsuo, Shouichi Futamura, Kazuo Ushijima
    Implementation of Inferential Relational Database System. [Citation Graph (0, 0)][DBLP]
    FODO, 1985, pp:539-546 [Conf]
  23. Toshihiko Shimokawa, Norihiko Yoshida, Kazuo Ushijima
    Flexible Server Selection using DNS. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Internet, 2000, pp:0-0 [Conf]
  24. Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
    Program Dependence Analysis of Concurrent Logic Programs and Its Applications. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:825- [Conf]
  25. Neng-Fa Zhou, Toshihisa Takagi, Kazuo Ushijima
    A Matching Tree Oriented Abstract Machine for Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:159-173 [Conf]
  26. Hirotatsu Sakamoto, Yoshihiro Okada, Toshihiko Shimokawa, Kazuo Ushijima
    Component Based Video Communication Tool for Collaborative Virtual Environment. [Citation Graph (0, 0)][DBLP]
    ICOIN, 2001, pp:375-380 [Conf]
  27. Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
    Program dependence analysis of concurrent logic programs and its applications. [Citation Graph (0, 0)][DBLP]
    ICPADS, 1996, pp:282-291 [Conf]
  28. Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
    A Program Dependence Model for Concurrent Logic Programs and its Applications. [Citation Graph (0, 0)][DBLP]
    ICSM, 2001, pp:672-681 [Conf]
  29. Kai Cheng, Limin Xiang, Toyohiko Hirota, Kazuo Ushijima
    A Web-Based Classroom Environment for Enhanced Residential College Education. [Citation Graph (0, 0)][DBLP]
    ICWL, 2005, pp:56-65 [Conf]
  30. Kazunori Nishi, Jingde Cheng, Kazuo Ushijima
    Improving the Performance of Automated Forward Deduction System EnCal. [Citation Graph (0, 0)][DBLP]
    ISHPC, 1997, pp:371-380 [Conf]
  31. Kazuhiro Kusunoki, Isao Imai, Haruyuki Ohtani, Tetsuo Nakakawaji, Michitaka Ohshima, Kazuo Ushijima
    A CORBA-Based Remote Monitoring System for Factory Automation. [Citation Graph (0, 0)][DBLP]
    ISORC, 1998, pp:396-402 [Conf]
  32. Limin Xiang, Kazuo Ushijima
    Optimal Parallel Merging Algorithms on BSR. [Citation Graph (0, 0)][DBLP]
    ISPAN, 2000, pp:12-17 [Conf]
  33. Limin Xiang, Kazuo Ushijima, Yuichi Asahiro
    Coding k-ary Trees for Efficient Loopless Generation in Lexicographic Order. [Citation Graph (0, 0)][DBLP]
    ITCC, 2002, pp:396-403 [Conf]
  34. Limin Xiang, Kai Cheng, Kazuo Ushijima
    Encoding a Binary Search Tree in Constant Time on BSR. [Citation Graph (0, 0)][DBLP]
    PDCAT, 2005, pp:740-744 [Conf]
  35. 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. [Citation Graph (0, 0)][DBLP]
    PDCAT, 2004, pp:218-225 [Conf]
  36. Limin Xiang, Kai Cheng, Kazuo Ushijima
    Sequence Analysis in Constant Time on BSR. [Citation Graph (0, 0)][DBLP]
    PDCAT, 2006, pp:431-436 [Conf]
  37. Limin Xiang, Kazuo Ushijima
    O(1) Time Algorithm on BSR for Computing Convex Hull. [Citation Graph (0, 0)][DBLP]
    IASTED PDCS, 2002, pp:143-143 [Conf]
  38. Gou Masuda, Rei Yano, Norihiro Sakamoto, Kazuo Ushijima
    Discovering and Visualizing Attribute Associations Using Bayesian Networks and Their Use in KDD. [Citation Graph (0, 0)][DBLP]
    PKDD, 1999, pp:61-70 [Conf]
  39. Gou Masuda, Norihiro Sakamoto, Kazuo Ushijima
    Applying Design Patterns to Decision Tree Learning System. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1998, pp:111-120 [Conf]
  40. 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. [Citation Graph (0, 0)][DBLP]
    WebNet, 1999, pp:1340-1341 [Conf]
  41. Limin Xiang, Kazuo Ushijima, Selim G. Akl
    Generating Regular k-ary Trees Efficiently. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2000, v:43, n:4, pp:290-300 [Journal]
  42. Limin Xiang, Changjie Tang, Kazuo Ushijima
    Grammar-Oriented Enumeration of Binary Trees. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1997, v:40, n:5, pp:278-291 [Journal]
  43. Limin Xiang, Kazuo Ushijima
    On O(1) Time Algorithms for Combinatorial Generation. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2001, v:44, n:4, pp:292-302 [Journal]
  44. Limin Xiang, Kazuo Ushijima
    ANSV Problem on BSRs. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1998, v:65, n:3, pp:135-138 [Journal]
  45. Limin Xiang, Kazuo Ushijima
    Rearranging Scattered Information on BSR. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1999, v:71, n:1, pp:43-47 [Journal]
  46. Limin Xiang, Kazuo Ushijima
    A Theorem on the Relation Between BSRk and BSR+. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1999, v:71, n:2, pp:71-73 [Journal]
  47. Limin Xiang, Kazuo Ushijima, Changjie Tang
    Efficient loopless generation of Gray codes for k-ary trees. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2000, v:76, n:4-6, pp:169-174 [Journal]
  48. Limin Xiang, Kazuo Ushijima, Changjie Tang
    On generating k-ary trees in computer representation. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:77, n:5-6, pp:231-238 [Journal]
  49. Limin Xiang, Kazuo Ushijima, Jianjun Zhao
    Time Optimal n-Size Matching Parentheses and Binary Tree Decoding Algorithms on a p-Processor BSR. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2002, v:12, n:3-4, pp:365-374 [Journal]
  50. 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. [Citation Graph (0, 0)][DBLP]
    Systems and Computers in Japan, 2002, v:33, n:10, pp:41-53 [Journal]
  51. Kazuo Ushijima
    Step to an Efficient Program for Floating-point Summation. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1977, v:7, n:6, pp:759-769 [Journal]
  52. Limin Xiang, Kazuo Ushijima
    On Time Bounds, the Work-Time Scheduling Principle, and Optimality for BSR. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 2001, v:12, n:9, pp:912-921 [Journal]
  53. Limin Xiang, Kazuo Ushijima, Selim G. Akl, Ivan Stojmenovic
    An Efficient Implementation for the BROADCAST Instruction of BSR+. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1999, v:10, n:8, pp:852-863 [Journal]

  54. Efficient Generation of Gray Codes for Reflectable Languages. [Citation Graph (, )][DBLP]


  55. A Practical Object-Oriented Concept Learning System in Clinical Medicine. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002