読み込んでいます...
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
年間引用数
重複した引用
次の論文は Scholar 内で結合されています。
結合された引用
は、最初の論文のみがカウントされます。
結合された引用
この [引用先] の件数には Scholar 内の次の論文への引用も含まれています。
*
が付いた論文は、プロフィール内の論文とは異なる場合があります。
共著者を追加
共著者
フォロー
この著者の新しい論文
この著者からの新しい引用
この著者の研究に関連する新しい論文
通知を受け取るメールアドレス
完了
プロフィール
マイ ライブラリ
統計情報
アラート
設定
ログイン
ログイン
自分のプロフィールを作成
引用先
すべて
2019 年以来
引用
61
60
h 指標
3
3
i10 指標
1
1
0
20
10
2016
2017
2018
2019
2020
2021
2022
2023
2024
1
2
7
19
13
15
4
オープン アクセス
すべて表示
すべて表示
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
45
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 Scholar について
ヘルプを検索