|
Publication List - Yasuhiko Minamide (29 entries)
![2024 2024](/ls_arrow.gif)
![2016 2016](/ll_arrow.gif)
![2012 2012](/l_arrow.gif)
- 2011
- 2010
- 2009
- 2008
- 2007
![2010 2010](/r_arrow.gif)
![2006 2006](/rr_arrow.gif)
- All
Journal Paper
-
Takayuki Miyazaki,
Yasuhiko Minamide.
Derivatives of Context-Free Grammars with Lookahead,
Journal of Information Processing,
Vol. 31,
July 2023.
-
Michikazu Hirata,
Yasuhiko Minamide,
Tetsuya Sato.
Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL,
14th Conference on Interactive Theorem Proving(ITP2023),
July 2023.
Official location
-
Michikazu Hirata,
Yasuhiko Minamide,
Tetsuya Sato.
Program logic for higher-order probabilistic programs in Isabelle/HOL,
Science of Computer Programming,
Vol. 230,
June 2023.
-
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)
-
Fumi Hamada,
Yasuhiko Minamide.
後方参照で拡張された正規表現マッチングの計算量解析:限定された場合の精密な解析とKMP法によるマッチング,
第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024),
Mar. 2024.
-
Futa Miyachi,
Yasuhiko Minamide.
後方参照付き正規表現の言語クラスの ストリーミング文字列変換による分析,
第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024),
Mar. 2024.
-
Akihiro Omori,
Yasuhiko Minamide.
Postの対応問題に対する様々なアプローチ,
第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024),
Mar. 2024.
-
Yasuhiko Minamide.
正規表現のDoS脆弱性(ReDoS)とその検査技術,
PPLサマースクール2023,
Sept. 2023.
-
Masaki Kamano,
Taiga Fukuda,
Yasuhiko Minamide.
非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定,
日本ソフトウェア科学会第38回大会,
Aug. 2021.
-
Michikazu Hirata,
Yasuhiko Minamide,
Tetsuya Sato.
Isabelle/HOLによる高階確率的プログラム検証,
日本ソフトウェア科学会第38回大会,
Aug. 2021.
Official location
-
Takayuki Miyazaki,
Yasuhiko Minamide.
先読み付き文脈自由文法とその微分,
Mar. 2020.
-
Takayuki Miyazaki,
Yasuhiko Minamide.
先読み付き文脈自由文法の微分,
日本ソフトウェア科学会第36回大会,
Aug. 2019.
-
Takayuki Miyazaki,
Yasuhiko Minamide.
先読み付き正規表現と解析表現の微分,
Mar. 2019.
-
Kazuya Takahashi,
Yasuhiko Minamide.
バックトラックによる正規表現マッチングの計算量判定の実装,
第21回プログラミングおよびプログラミング言語ワークショップ,
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
]
|