|
Publication List - Yasuhiko Minamide (22 entries)
Journal Paper
-
Masaki Kamano,
Taiga Fukuda,
Yasuhiko Minamide.
非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定,
コンピュータソフトウェア,
40,
1,
Feb. 2023.
-
Michikazu Hirata,
Yasuhiko Minamide,
Tetsuya Sato.
Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL,
16th International Symposium on Functional and Logic Programming(FLOPS 2022),
Lecture notes in computer science, LNCS,
volume 13215,
May 2022.
Official location
-
Kazuya Takahashi,
Yasuhiko Minamide.
拡張正規表現マッチングの計算量解析,
コンピュータソフトウェア,
Vol. 38,
No. 2,
pp. 53-70,
Apr. 2021.
-
Qizhen Zhu,,
Yasuhiko Minamide,
Hitoshi Akama.
Solving String Constraints with Streaming String Transducers,
Journal of Information Processing,
27,
Oct. 2019.
-
Takayuki Miyazaki,
Yasuhiko Minamide.
Derivatives of Regular Expressions with Lookahead,
June 2019.
-
Yuya Uezato,
Yasuhiko Minamide.
Configuration Reachability Analysis of Synchronized Recursive Timed Automata,
コンピュータソフトウェア,
Vol. 35,
No. 1,
pp. 140-168,
Jan. 2018.
-
Yasuhiko Minamide.
Weighted Pushdown Systems with Indexed Weight Domains,
Logical Methods in Computer Science,
International Federation of Computational Logic,
Vol. 12,
2,
June 2016.
-
Uezato, Y.,
Yasuhiko Minamide.
Monoid-based approach to the inclusion problem on superdeterministic pushdown automata,
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
Vol. 9840,
pp. 393-405,
2016.
International Conference (Reviewed)
-
Takayuki Miyazaki,
Yasuhiko Minamide.
Context-Free Grammars with Lookahead,
Language and Automata Theory and Applications(LATA),
Mar. 2021.
-
Uezato Yuya,
Yasuhiko Minamide.
Synchronized Recursive Timed Automata,
International Conference on Logic for Programming, Artificial Intelligence, and Reasoning,
Lecture notes in computer science, LNCS,
Springer,
9452,
249-265,
Nov. 2015.
Domestic Conference (Reviewed)
Domestic Conference (Not reviewed / Unknown)
-
Michikazu Hirata,
Yasuhiko Minamide,
Tetsuya Sato.
Isabelle/HOLによる高階確率的プログラム検証,
日本ソフトウェア科学会第38回大会,
Aug. 2021.
Official location
-
Masaki Kamano,
Taiga Fukuda,
Yasuhiko Minamide.
非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定,
日本ソフトウェア科学会第38回大会,
Aug. 2021.
-
Takayuki Miyazaki,
Yasuhiko Minamide.
先読み付き文脈自由文法とその微分,
Mar. 2020.
-
Takayuki Miyazaki,
Yasuhiko Minamide.
先読み付き文脈自由文法の微分,
日本ソフトウェア科学会第36回大会,
Aug. 2019.
-
Kazuya Takahashi,
Yasuhiko Minamide.
バックトラックによる正規表現マッチングの計算量判定の実装,
第21回プログラミングおよびプログラミング言語ワークショップ,
Mar. 2019.
-
Takayuki Miyazaki,
Yasuhiko Minamide.
先読み付き正規表現と解析表現の微分,
Mar. 2019.
-
Kazuya Takahashi,
Yasuhiko Minamide.
語の包含判定に基づくサニタイズ文脈の自動決定,
第20回プログラミングおよびプログラミング言語ワークショップ,
Mar. 2018.
-
Hitoshi Akama,
Yasuhiko Minamide.
Streaming String Transducerの合成の形式的証明,
第20回プログラミングおよびプログラミング言語ワークショップ,
Mar. 2018.
-
Minami Nakagawa,
Yasuhiko Minamide.
バックトラックによる正規表現マッチングの時間計算量解析,
第107回プログラミング研究発表会,
Jan. 2016.
-
Yuya Uezato,
Yasuhiko Minamide.
更新可能時間オートマトンの新たな拡張について,
日本ソフトウェア科学会32回大会,
Sept. 2015.
[ Save as BibTeX ]
[ Paper, Presentations, Books, Others, Degrees: Save as CSV
]
[ Patents: Save as CSV
]
|