
	Chemical structure search How to Search	Import MOLfile format is only available (V3000 format is not available) Exact match Substructure search Superstructure search Substructure or superstructure search Similarity search

Co-authoring Researcher

Kato Toru
Kindai University Faculty of Informatics
形式モデル, 物流システム, プロセス代数, プログラミング言語意味論, Semantics for Programming Languages

Co-inventing Researcher

Researcher similar to the Researcher

Article similar to the Researcher

Patent similar to the Researcher

Research Project similar to the Researcher

Article(J-GLOBAL estimation)

Patent(J-GLOBAL estimation)

Rchr

J-GLOBAL ID：201401008954779016 Update date: Sep. 14, 2024

Higuchi Masahiro

ヒグチマサヒロ | Higuchi Masahiro

Lectures and oral presentations (11)

Timed Ambient Calculus
(2013)
DAOパターンを用いるWebアプリケーションのための単体テストケース補完ツール
(情報処理学会第74回全国大会 2012)
集団行動支援のための位置情報頒布方式における適正なパラメータ値の算出
(情報処理学会第74回全国大会 2012)
モバイルアドホックネットワークを用いた集団行動補助のための位置情報頒布パラメータ設定
(平成23年電気関係学会関西連合大会 2011)
Ambient Calculusの時間拡張とそれに基づく物流監視システム
(情報処理学会第73回全国大会 2011)
MANET上での再配布を用いた複製配布におけるトラヒック抑制について
(東京工業大学 2011)
協調作業支援のためのJavaSpacesアクセスエージェントの開発
(情報処理学会第71回全国大会 2009)
JavaSpacesへのアクセス制御機能の追加
(平成20年電気関係学会関西支部連合大会 2008)
2D-data partition on the Heterogeneous BSP model
(The International Association of Science and Technology for Development (IASTED) 2003)
タイマ付きFSMの故障診断法のシミュレーション評価
(平成14年電気関係学会関西支部連合大会(東大阪) 2002)
A File Naming Scheme using Hierachical Keywords
(26th International Computer Software and Applications Conference(Compsac2002) (Oxford) 2002)

1 to 11 of 11 results


	Free word	※Add the following synonyms, you can increase the number of hits.




		～