| Transformation from PROLEG to a Bipolar Argumentation Framework T KAWASAKI, S MORIGUCHI, K TAKAHASHI SAFA@ COMMA, 36-47, 2018 | 7 | 2018 |
| Hybrid Reasoning on a Bipolar Argumentation Framework T Kawasaki, S Moriguchi, K Takahashi International Conference on Scalable Uncertainty Management, 79-92, 2019 | 4 | 2019 |
| An interactive extension mechanism for reusing verified programs S Moriguchi, T Watanabe Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1236-1243, 2013 | 4 | 2013 |
| Qualitative shape representation and reasoning based on concavity and tangent point M Tosue, S Moriguchi, K Takahashi Proceedings of the 31st International Workshop on Qualitative Reasoning, 2018 | 2 | 2018 |
| Operations for Shape Transformations based on Angles. M Tosue, S Moriguchi, K Takahashi ICAART (2), 576-583, 2019 | 1 | 2019 |
| Expressing the Characteristics of an Argumentation Framework. S Moriguchi, K Takahashi SAFA@ COMMA, 60-71, 2018 | 1 | 2018 |
| Towards Verified Construction for Planar Class of a Qualitative Spatial Representation. S Moriguchi, M Goto, K Takahashi SCSS, 117-129, 2016 | 1 | 2016 |
| Formalization of a surface subdivision allowing a region with holes without coordinates K Takahashi, S Moriguchi, M Goto ADG2016, 190-207, 2016 | 1 | 2016 |
| Formalization of the behavior of content-centric networking S Moriguchi, T Morishima, M Goto, K Takahashi Procedia Computer Science 56, 197-204, 2015 | 1 | 2015 |
| 関数リアクティブプログラミング言語のための時間制約付きイベントの記述方式 堀紗知子， 森口草介， 渡部卓雄 研究報告組込みシステム (EMB) 2021 (3), 1-2, 2021 | | 2021 |
| 関数リアクティブプログラミングにおける時変値の初期値の自動決定 白鳥佑弥， 森口草介， 渡部卓雄 研究報告組込みシステム (EMB) 2021 (2), 1-5, 2021 | | 2021 |
| 組込みシステム向け FRP 言語におけるモデル検査を用いた状態依存動作の検証 内藤博， 森口草介， 渡部卓雄 研究報告組込みシステム (EMB) 2021 (4), 1-2, 2021 | | 2021 |
| WSAN 向けマクロプログラミング言語の提案 後藤司， 森口草介， 渡部卓雄 コンピュータ ソフトウェア 38 (2), 2_20-2_26, 2021 | | 2021 |
| Functional Reactive Programming for Embedded Systems with GPGPUs Y Sakurai, S Moriguchi, T Watanabe 2021 10th International Conference on Software and Computer Applications, 75-80, 2021 | | 2021 |
| A Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types A Yokoyama, S Moriguchi, T Watanabe Journal of Information Processing 29, 685-706, 2021 | | 2021 |
| 組込みシステム向け関数リアクティブプログラミング言語の内部 DSL としての実装 辻裕太， 森口草介， 渡部卓雄 研究報告組込みシステム (EMB) 2020 (3), 1-8, 2020 | | 2020 |
| Compiling Arguments in an Argumentation Framework into Three-valued Logical Expressions S Moriguchi, K Takahashi arXiv preprint arXiv:1911.01185, 2019 | | 2019 |
| 論理型言語 PROLEG から双極議論フレームワークへの変換の Coq による形式化と証明 中西瑠海， 森口草介， 高橋和子 第 81 回全国大会講演論文集 2019 (1), 199-200, 2019 | | 2019 |
| 法律構成を表す双極議論フレームワーク上での推論 川﨑樹， 森口草介， 高橋和子 人工知能学会全国大会論文集 第 33 回 (2019), 4E3OS7b03-4E3OS7b03, 2019 | | 2019 |
| Reasoning by a Bipolar Argumentation Framework for PROLEG T Kawasaki, S Moriguchi, K Takahashi JSAI International Symposium on Artificial Intelligence, 115-130, 2018 | | 2018 |
