( en | de | ru )

 

Disambiguation of "Araki, Keijiro"

Author of the publication

copydeleteadd this publication to your clipboard
Consistency Checking between Data and Process Diagrams Based on Formal Methods.

, , and . COMPSAC, page 261-269. IEEE Computer Society, (1996)

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

Lamarckian Evolution of Associative Memory., and . International Conference on Evolutionary Computation, page 676-680. IEEE, (1996)SIMPEL: An innovative web application interface supporting online course management system., and . ITHET, page 1-8. IEEE, (2012)Privacy-Aware Location Dependent Services over Wireless Internet with Anycast., , and . Human.Society@Internet, volume 3597 of Lecture Notes in Computer Science, page 311-321. Springer, (2005)Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud., , and . ICSOFT (1), page 264-268. INSTICC Press, (2009)Specification slicing in formal methods of software development., and . COMPSAC, page 313-319. IEEE, (1993)Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware., , and . FM, volume 9109 of Lecture Notes in Computer Science, page 593-596. Springer, (2015)Enforcing the optimal set of controls for state feedback with non-redundant controllers., , and . SMC, page 1394-1399. IEEE, (2007)A Calculus Based on the Agent-Place Model., and . ICFEM, page 56-63. IEEE Computer Society, (1998)Estimating Parallel Execution Time of Loops with Loop-Carried Dependencies., , , , and . ICPP, Vol. 3, page 61-69. IEEE Computer Society, (1996)0-8186-7623-X.Design of General Reliable Multicast Architecture with Active Network Framework., , and . ICOIN, page 825-830. IEEE Computer Society, (2001)