The SCEAS System
Navigation Menu

Search the dblp DataBase


Keijiro Araki: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yuji Arichika, Keijiro Araki
    Reusable Formal Specification for Embedded Systems. [Citation Graph (0, 0)][DBLP]
    APSEC, 2004, pp:557-558 [Conf]
  2. Ian J. Hayes, Keijiro Araki, David J. Duke, Val E. Veraart
    Are Formal Methods Relevant? [Citation Graph (0, 0)][DBLP]
    APSEC, 1995, pp:513- [Conf]
  3. Hiroshi Maruyama, Keijiro Araki
    VRML Program Slicing. [Citation Graph (0, 0)][DBLP]
    APSEC, 1999, pp:355-358 [Conf]
  4. Syouri Kouno, Han-Myung Chang, Keijiro Araki
    Consistency Checking between Data and Process Diagrams Based on Formal Methods. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1996, pp:261-269 [Conf]
  5. Kenji Taguchi, Keijiro Araki
    Extending Z with State Transition Constraints. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1996, pp:246-260 [Conf]
  6. Akira Imada, Keijiro Araki
    Searching Real-Valued Synaptic Weights of Hopfield's Associative Memory Using Evolutionary Programming. [Citation Graph (0, 0)][DBLP]
    Evolutionary Programming, 1997, pp:13-22 [Conf]
  7. Akira Imada, Keijiro Araki
    What does the Landscape of a Hopfield Associative Memory Look Like? [Citation Graph (0, 0)][DBLP]
    Evolutionary Programming, 1998, pp:647-656 [Conf]
  8. Kosuke Tomonaga, Masataka Ohta, Keijiro Araki
    Privacy-Aware Location Dependent Services over Wireless Internet with Anycast. [Citation Graph (0, 0)][DBLP]
    Human.Society@Internet, 2005, pp:311-321 [Conf]
  9. Akira Imada, Keijiro Araki
    Lamarckian Evolution of Associative Memory. [Citation Graph (0, 0)][DBLP]
    International Conference on Evolutionary Computation, 1996, pp:676-680 [Conf]
  10. Kenji Taguchi, Keijiro Araki
    The State-Based CCS Semantics for Concurrent Z Specification. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:283-292 [Conf]
  11. Kenji Taguchi, Keijiro Araki
    A Calculus Based on the Agent-Place Model. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1998, pp:56-63 [Conf]
  12. Akira Imada, Keijiro Araki
    Genetic Algorithm Enlarges the Capacity of Associative Memory. [Citation Graph (0, 0)][DBLP]
    ICGA, 1995, pp:413-420 [Conf]
  13. Akira Imada, Keijiro Araki
    Evolution of Hopfield Model of Associative Memory by the Breeder Genetic Algorithm. [Citation Graph (0, 0)][DBLP]
    ICGA, 1997, pp:784-791 [Conf]
  14. Moto yuki Ohmori, Koji Okamura, Keijiro Araki
    Design of Scalable Interdomain IP Multicast Architecture. [Citation Graph (0, 0)][DBLP]
    ICOIN, 2001, pp:819-824 [Conf]
  15. Masataka Sonoda, Koji Okamura, Keijiro Araki
    Design of General Reliable Multicast Architecture with Active Network Framework. [Citation Graph (0, 0)][DBLP]
    ICOIN, 2001, pp:825-830 [Conf]
  16. Kentaro Takei, Koji Okamura, Keijiro Araki
    Design of Gateway System between Different Signalling Protocols of the Multimedia Session on the Internet. [Citation Graph (0, 0)][DBLP]
    ICOIN, 2001, pp:297-0 [Conf]
  17. Yoshikazu Watanabe, Koji Okamura, Keijiro Araki
    Study on Merge of Overlapped TCP Traffic Using Reliable Multicast Transport. [Citation Graph (0, 0)][DBLP]
    ICOIN, 2003, pp:253-262 [Conf]
  18. Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda
    Estimating Parallel Execution Time of Loops with Loop-Carried Dependencies. [Citation Graph (0, 0)][DBLP]
    ICPP, Vol. 3, 1996, pp:61-69 [Conf]
  19. Tsuneo Nakanishi, Kazuki Joe, Hideki Saito, Akira Fukuda, Keijiro Araki
    The CDP2 Partitioning Algorithm a Combined End Program Partitioning Algorithm on the Data Partitioning Graph. [Citation Graph (0, 0)][DBLP]
    ICPP (2), 1995, pp:177-181 [Conf]
  20. Mariko Sasakura, Kazuki Joe, Keijiro Araki
    NaraView: An Interactive 3D Visualization System for Parallelization of Programs. [Citation Graph (0, 0)][DBLP]
    ISHPC, 1997, pp:231-242 [Conf]
  21. Akira Imada, Keijiro Araki
    Random Perturbations to Hebbian Synapses of Associative Memory Using a Genetic Algorithm. [Citation Graph (0, 0)][DBLP]
    IWANN, 1997, pp:398-407 [Conf]
  22. Mariko Sasakura, Satoko Kiwada, Kazuki Joe, Tsuneo Nakanishi, Keijiro Araki
    3D Visualization of Program Structure and Data Dependence for Parallelizing Compilers and Parallel Programming. [Citation Graph (0, 0)][DBLP]
    LCPC, 1996, pp:591-593 [Conf]
  23. Tsuneo Nakanishi, Kazuki Joe, Akira Fukuda, Keijiro Araki, Hideki Saito, Constantine D. Polychronopoulos
    The Data Partitioning Graph: Extending Data and Control Dependencies for Data Partitioning. [Citation Graph (0, 0)][DBLP]
    LCPC, 1994, pp:170-185 [Conf]
  24. Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda
    Estimating Minimum Execution Time of Perfect Loop Nests with Loop-Carried Dependences. [Citation Graph (0, 0)][DBLP]
    LCPC, 1996, pp:597-599 [Conf]
  25. Akira Imada, Keijiro Araki
    How Real-valued Random Synapses Evolve Toward Symmetry with Diploid Chromosomes? [Citation Graph (0, 0)][DBLP]
    NC, 1998, pp:164-169 [Conf]
  26. Kensuke Shibata, Koji Okamura, Keijiro Araki
    Design and Evaluation of Dynamic Protocol Selection Architecture for Reliable Multicast. [Citation Graph (0, 0)][DBLP]
    SAINT, 2002, pp:262-269 [Conf]
  27. Akira Imada, Keijiro Araki
    Can a Niching Method Locate Multiple Attractors Embedded in the Hopfield Network? [Citation Graph (0, 0)][DBLP]
    SEAL, 1998, pp:325-332 [Conf]
  28. Mariko Sasakura, Kazuki Joe, Yoshitoshi Kunieda, Keijiro Araki
    NaraView: An Interactive 3D Visualization System for Parallelization of Programs. [Citation Graph (0, 0)][DBLP]
    International Journal of Parallel Programming, 1999, v:27, n:2, pp:111-129 [Journal]
  29. Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda
    Estimating minimum parallel execution time of loops with loop-carried dependencies. [Citation Graph (0, 0)][DBLP]
    Systems and Computers in Japan, 1999, v:30, n:10, pp:57-68 [Journal]
  30. Keijiro Araki, Zengo Furukawa, Jingde Cheng
    A General Framework for Debugging. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1991, v:8, n:3, pp:14-20 [Journal]

  31. Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud. [Citation Graph (, )][DBLP]

  32. On the Row Vectors of the Set of Multiple and Simultaneous Controls with Controlled Dan/Petri Nets. [Citation Graph (, )][DBLP]

  33. Enforcing the optimal set of controls for state feedback with non-redundant controllers. [Citation Graph (, )][DBLP]

  34. Large Scale Business-academia Collaboration in Master Education Course. [Citation Graph (, )][DBLP]

Search in 0.006secs, Finished in 0.007secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002