Rchr
J-GLOBAL ID:200901053708470982
Update date: Apr. 17, 2014
Kinoshita Yoshiki
キノシタ ヨシキ | Kinoshita Yoshiki
Contact this researcher
You can send email directly to the researcher.
Affiliation and department:
Kanagawa University Faculty of Science, Department of Information Sciences
About Kanagawa University Faculty of Science, Department of Information Sciences
Search "Kanagawa University Faculty of Science, Department of Information Sciences"
Detailed information
Homepage URL (1):
http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=Y63409779
MISC (6):
Formalising Coffman Conditions in First Order Modal mu Calculus. 算譜科学研究速報. 2006
形式的技法を用いた仕様検証. AIST Today. 2003. 3. 10. 11-11
暗号通信手順の安全性自動検証技術に関する研究成果報告書. AIST PROGTAMMING SCIENCE GROUP TECHNICAL REPORT. 2003
Essentially algebraic structure for Kleene algebra with tests and its application to semantics of while programs. 情報処理学会誌:プログラミング. 2003. 44. SIG 4. 47-53
テスト付きクリーニ代数の準代数構造 Essentially algebraic structure for Kleene algebra with tests. ソフトウェアサイエンス. 2003. 20. 2. 47-53
more...
Work history (1):
National Institute of Advanced Industrial Science and Technology
Association Membership(s) (3):
日本数理科学協会
, 情報処理学会
, 日本ソフトウェア科学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM