"Rui Kawamura,Yasuhiko Minamide","拡張正規表現マッチングの保守的計算量解析における後方参照の解析精度向上","第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）",,,,,,2023,Mar.
"Masaki Kamano,Taiga Fukuda,Yasuhiko Minamide","非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定",,"コンピュータソフトウェア",,"  40","  1",,2023,Feb.
"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",,,2022,May
"Michikazu Hirata,Yasuhiko Minamide,Tetsuya Sato","Isabelle/HOLによる高階確率的プログラム検証","日本ソフトウェア科学会第38回大会",,,,,,2021,Aug.
"Masaki Kamano,Taiga Fukuda,Yasuhiko Minamide","非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定","日本ソフトウェア科学会第38回大会",,,,,,2021,Aug.
"Kazuya Takahashi,Yasuhiko Minamide","拡張正規表現マッチングの計算量解析",,"コンピュータソフトウェア",,"Vol. 38","No. 2","pp. 53-70",2021,Apr.
"Takayuki Miyazaki,Yasuhiko Minamide","Context-Free Grammars with Lookahead","Language and Automata Theory and Applications(LATA)",,,,,,2021,Mar.
"Kazuya Takahashi,Yasuhiko Minamide","正規表現マッチングの計算量解析ツールの拡張と高速化","第22回プログラミングおよびプログラミング言語ワークショップ",,,,,,2020,Mar.
"Takayuki Miyazaki,Yasuhiko Minamide","先読み付き文脈自由文法とその微分",,,,,,,2020,Mar.
"Qizhen Zhu,,Yasuhiko Minamide,Hitoshi Akama","Solving String Constraints with Streaming String Transducers",,"Journal of Information Processing",,"  27",,,2019,Oct.
"Takayuki Miyazaki,Yasuhiko Minamide","先読み付き文脈自由文法の微分","日本ソフトウェア科学会第36回大会",,,,,,2019,Aug.
"Takayuki Miyazaki,Yasuhiko Minamide","Derivatives of Regular Expressions with Lookahead",,,,,,,2019,June
"Kazuya Takahashi,Yasuhiko Minamide","バックトラックによる正規表現マッチングの計算量判定の実装","第21回プログラミングおよびプログラミング言語ワークショップ",,,,,,2019,Mar.
"Takayuki Miyazaki,Yasuhiko Minamide","先読み付き正規表現と解析表現の微分",,,,,,,2019,Mar.
"Kazuya Takahashi,Yasuhiko Minamide","語の包含判定に基づくサニタイズ文脈の自動決定","第20回プログラミングおよびプログラミング言語ワークショップ",,,,,,2018,Mar.
"Hitoshi Akama,Yasuhiko Minamide","Streaming String Transducerの合成の形式的証明","第20回プログラミングおよびプログラミング言語ワークショップ",,,,,,2018,Mar.
"Yuya Uezato,Yasuhiko Minamide","Configuration Reachability Analysis of Synchronized Recursive Timed Automata",,"コンピュータソフトウェア",,"Vol. 35","No. 1","pp. 140-168",2018,Jan.
"Yasuhiko Minamide","Weighted Pushdown Systems with Indexed Weight Domains",,"Logical Methods in Computer Science","International Federation of Computational Logic","Vol. 12","  2",,2016,June
"Minami Nakagawa,Yasuhiko Minamide","バックトラックによる正規表現マッチングの時間計算量解析","第107回プログラミング研究発表会",,,,,,2016,Jan.
"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,
"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",2015,Nov.
"Yuya Uezato,Yasuhiko Minamide","更新可能時間オートマトンの新たな拡張について","日本ソフトウェア科学会３２回大会",,,,,,2015,Sept.