"濱田 芙実,南出 靖彦","後方参照で拡張された正規表現マッチングの計算量解析：限定された場合の精密な解析とKMP法によるマッチング","第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）",,,,,,2024,Mar.
"大森 章裕,南出 靖彦","Postの対応問題に対する様々なアプローチ","第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）",,,,,,2024,Mar.
"宮地 風汰,南出 靖彦","後方参照付き正規表現の言語クラスの ストリーミング文字列変換による分析","第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）",,,,,,2024,Mar.
"南出靖彦","正規表現のDoS脆弱性(ReDoS)とその検査技術","PPLサマースクール2023",,,,,,2023,Sept.
"Takayuki Miyazaki,Yasuhiko Minamide","Derivatives of Context-Free Grammars with Lookahead",,"Journal of Information Processing",,"Vol. 31",,,2023,July
"Michikazu Hirata,Yasuhiko Minamide,Tetsuya Sato","Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL","14th Conference on Interactive Theorem Proving(ITP2023)",,,,,,2023,July
"Michikazu Hirata,Yasuhiko Minamide,Tetsuya Sato","Program logic for higher-order probabilistic programs in Isabelle/HOL",,"Science of Computer Programming",,"Vol. 230",,,2023,June
"川村瑠,南出靖彦","拡張正規表現マッチングの保守的計算量解析における後方参照の解析精度向上","第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）",,,,,,2023,Mar.
"釜野雅基,福田大我,南出靖彦","非決定性 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
"釜野 雅基,福田 大我,南出 靖彦","非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定","日本ソフトウェア科学会第38回大会",,,,,,2021,Aug.
"平田路和,南出靖彦,佐藤哲也","Isabelle/HOLによる高階確率的プログラム検証","日本ソフトウェア科学会第38回大会",,,,,,2021,Aug.
"高橋和也,南出靖彦","拡張正規表現マッチングの計算量解析",,"コンピュータソフトウェア",,"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.
"宮嵜貴之,南出靖彦","先読み付き文脈自由文法とその微分",,,,,,,2020,Mar.
"高橋和也,南出靖彦","正規表現マッチングの計算量解析ツールの拡張と高速化","第22回プログラミングおよびプログラミング言語ワークショップ",,,,,,2020,Mar.
"Qizhen Zhu,,Yasuhiko Minamide,Hitoshi Akama","Solving String Constraints with Streaming String Transducers",,"Journal of Information Processing",,"  27",,,2019,Oct.
"宮嵜 貴之,南出 靖彦","先読み付き文脈自由文法の微分","日本ソフトウェア科学会第36回大会",,,,,,2019,Aug.
"Takayuki Miyazaki,Yasuhiko Minamide","Derivatives of Regular Expressions with Lookahead",,,,,,,2019,June
"宮嵜 貴之,南出 靖彦","先読み付き正規表現と解析表現の微分",,,,,,,2019,Mar.
"高橋 和也,南出 靖彦","バックトラックによる正規表現マッチングの計算量判定の実装","第21回プログラミングおよびプログラミング言語ワークショップ",,,,,,2019,Mar.
"高橋和也,南出靖彦","語の包含判定に基づくサニタイズ文脈の自動決定","第20回プログラミングおよびプログラミング言語ワークショップ",,,,,,2018,Mar.
"赤間仁志,南出靖彦","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
"中川 みなみ,南出 靖彦","バックトラックによる正規表現マッチングの時間計算量解析","第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.
"上里 友弥,南出 靖彦","更新可能時間オートマトンの新たな拡張について","日本ソフトウェア科学会３２回大会",,,,,,2015,Sept.