( en | de | ru )

 

Disambiguation of "Araki, Keijiro"

Author of the publication

copydeleteadd this publication to your clipboard
A Calculus Based on the Agent-Place Model.

, and . ICFEM, page 56-63. IEEE Computer Society, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kazuo Araki

Tadao Johannes Araki

Emiko Dorothea Araki

 

Other publications of authors with the same name

Towards Verifying VDM Using SPIN., , , and . FTSCS, volume 596 of Communications in Computer and Information Science, page 241-256. Springer, (2015)On the Row Vectors of the Set of Multiple and Simultaneous Controls with Controlled Dan/Petri Nets., , and . IMECS, page 1516-1521. Newswood Limited, (2007)Generating supportive hypotheses in introducing formal methods using a software processes improvement model., , , and . FormaliSE, page 24-30. ACM, (2014)Visualizing centrality of process area networks in CMMI-DEV., , , and . ICSSP, page 173-174. ACM, (2015)Evolution of Random Synaptic Weights of the Hopfield Associative Memory: How Chaotic Trajectories Turn into Fixed Point Attractors?, and . ICONIP (1), page 452-455. Springer, (1997)Can a Niching Method Locate Multiple Attractors Embedded in the Hopfield Network?, and . SEAL, volume 1585 of Lecture Notes in Computer Science, page 325-332. Springer, (1998)What does the Landscape of a Hopfield Associative Memory Look Like?, and . Evolutionary Programming, volume 1447 of Lecture Notes in Computer Science, page 647-656. Springer, (1998)Evolution of Hopfield Model of Associative Memory by the Breeder Genetic Algorithm., and . ICGA, page 784-791. Morgan Kaufmann, (1997)Estimating minimum parallel execution time of loops with loop-carried dependencies., , , , and . Syst. Comput. Jpn., 30 (10): 57-68 (1999)Reusable Formal Specification for Embedded Systems., and . APSEC, page 557-558. IEEE Computer Society, (2004)