| Computer vision techniques for growth prediction: A prisma-based systematic literature review Y Harie, BP Gautam, K Wasaki Applied Sciences 13 (9), 5335, 2023 | 11 | 2023 |
| HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool Y Harie, Y Mitsui, K Fujimori, A Batajoo, K Wasaki 2017 IEEE 6th Global Conference on Consumer Electronics (GCCE), 1-5, 2017 | 10 | 2017 |
| A Petri Net design and verification platform based on the scalable and parallel architecture: HiPS Y Harie, K Wasaki Information Technology-New Generations: 14th International Conference on …, 2018 | 7 | 2018 |
| Augmented triplet network for individual organism and unique object classification for reliable monitoring of ezoshika deer Y Harie, SB Neupane, BP Gautam, S Norio 2021 Ninth International Symposium on Computing and Networking Workshops …, 2021 | 5 | 2021 |
| Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets. Y Harie, K Wasaki SIMULTECH, 356-361, 2017 | 4 | 2017 |
| Formal verification of safety testing for remote controlled consumer electronics using the Petri net tool: HiPS Y Harie, K Wasaki 2016 IEEE 5th Global Conference on Consumer Electronics, 1-5, 2016 | 3 | 2016 |
| A-015 ペトリネット設計検証ツール HiPS における On-the-fly LTL モデル検査器 (A 分野: モデル・アルゴリズム・プログラミング, 一般論文) 張江洋次朗， 和崎克己 情報科学技術フォーラム講演論文集 14 (1), 139-142, 2015 | 3 | 2015 |
| Stability subnet detection of petri net by circuit flow-matrix transformation Y Harie, K Wasaki 電子情報通信学会技術研究報告 118 (296 (MSS2018 37-53)), 37-42, 2018 | 2 | 2018 |
| Formal Verification of the Safety Testing for Remote Controlled Consumer Electronics Using the Petri Net Design and Tool: HiPS Y Harie, K Wasaki 5th IEEE Global Conference on Consumer Electronics, GCCE2016, 290-294, 2016 | 2 | 2016 |
| Analysis of Structural Liveness and Boundedness in Weighted Free-Choice Net Based on Circuit Flow Values Y Harie, K Wasaki Science and Information Conference, 570-580, 2020 | 1 | 2020 |
| 拡張被覆グラフを用いた L2/L3 活性判定器のペトリネットツール HiPS への実装 三井雄太， 張江洋次朗， 和崎克己 FIT2017 (第 16 回情報科学技術フォーラム) 講演論文集,(A-003), 91-94, 2017 | 1 | 2017 |
| ペトリネット検証ツール HiPS における on-the-fly LTL モデル検査器の実装 張江洋次朗， 和崎克己 15th Forum on Information Technology, FIT, 109-114, 2016 | 1 | 2016 |
| CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems Y Harie, Y Ogata, BP Gautam, K Wasaki 2024 Twelfth International Symposium on Computing and Networking (CANDAR), 30-38, 2024 | | 2024 |
| 自然言語処理モデルを利用したソフトウェア検証分野における反例予測 大野亮祐， 張江洋次朗 IEICE Conferences Archives, 2024 | | 2024 |
| Memory Efficient Video Collection and Extraction Technique for Augmented Triplet Network's Dataset Y Harie, SB Neupane, BP Gautam 2022 37th International Technical Conference on Circuits/Systems, Computers …, 2022 | | 2022 |
| Monitoring System to Minimize Wild Animal Hazards by Using Individual Organism Recognition Method with the Raspberry Pi and Computer Vision. SB Neupane, Y Harie 情報処理学会第 84 回全国大会 5, 09, 2022 | | 2022 |
| An Approach for Flow Net Subgraph to Analysis of The Model of Flexible Manufacturing Systems Y Harie, K Wasaki 2020 35th International Technical Conference on Circuits/Systems, Computers …, 2020 | | 2020 |
| ペトリネット構造解析の効率化を目的としたヒューリスティック探査手法の実装 南史弥， 張江洋次朗， 和﨑克己 第 82 回全国大会講演論文集 2020 (1), 287-288, 2020 | | 2020 |
| サブクラス定義に反する閉路検知を利用したペトリネットの詳細解析 渡貫正也， 張江洋次朗， 和﨑克己 第 82 回全国大会講演論文集 2020 (1), 289-290, 2020 | | 2020 |
| 分岐・共通部優先ヒューリスティック探索によるサイフォン・トラップ構造検出の効率化 南史弥， 張江洋次朗， 和崎克己 IEICE Conferences Archives, 2019 | | 2019 |
Katsumi WasakiShinshu University確認したメール アドレス: cs.shinshu-u.ac.jp