載入中…
系統目前無法執行作業,請稍後再試。
每年的引文數
重複引用
Google 學術搜尋已經合併下列文章。系統只會計算第一篇文章的
合併引用次數
。
合併引文
「引用次數」包含 Google 學術搜尋服務中以下文章的引用次數。文章旁如有
*
標示,代表可能與個人學術檔案中的文章不同。
新增共同作者
共同作者
追蹤
這位作者的新文章
其他人引用這位作者的最新情形
與這位作者的研究相關的新文章
接收最新動態的電子郵件地址
完成
我的個人學術檔案
我的圖書館
指標
快訊
設定
登入
登入
建立我自己的個人學術檔案
引用次數
全部
自 2019 年
引文
62
61
H 指數
3
3
i10 指數
1
1
0
20
10
2016
2017
2018
2019
2020
2021
2022
2023
2024
1
2
7
19
13
15
5
公開取用
查看全部
查看全部
2 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
追蹤
Takamasa Okudono
National Institute of Infromatics / The Graduate University for Advanced Studies
在 nii.ac.jp 的電子郵件地址已通過驗證 -
首頁
Automata learning
program verification
文章
引用次數
公開取用
標題
排序
按引用次數排序
按年份排序
按標題排序
引用次數
引用次數
年份
Weighted automata extraction from recurrent neural networks via regression on state spaces
T Okudono, M Waga, T Sekiyama, I Hasuo
Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 5306-5314
, 2020
46
2020
Sharper and simpler nonlinear interpolants for program verification
T Okudono, Y Nishida, K Kojima, K Suenaga, K Kido, I Hasuo
Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …
, 2017
7
2017
Mind the gap: Bit-vector interpolation recast over linear integer arithmetic
T Okudono, A King
International Conference on Tools and Algorithms for the Construction and …
, 2020
6
2020
Genetic algorithm for the weight maximization problem on weighted automata
E Gutiérrez, T Okudono, M Waga, I Hasuo
Proceedings of the 2020 Genetic and Evolutionary Computation Conference, 699-707
, 2020
3
2020
Algebraic Abstraction in Formal Methods (形式手法における代数的抽象化)
T Okudono
The Graduate University for Advanced Studies
, 2021
2021
系統目前無法執行作業,請稍後再試。
文章 1–5
顯示更多結果
隱私權
服務條款
說明
關於學術搜尋
Google 搜尋說明