論文

• 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.  公式リンク  
  
• Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato. Program logic for higher-order probabilistic programs in Isabelle/HOL, Science of Computer Programming, Vol. 230, June 2023.
• 釜野雅基, 福田大我, 南出靖彦. 非決定性 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.  公式リンク  
  
• 高橋和也, 南出靖彦. 拡張正規表現マッチングの計算量解析, コンピュータソフトウェア, 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.

国際会議発表 (査読有り)

• 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.

国内会議発表 (査読有り)

• 川村瑠, 南出靖彦. 拡張正規表現マッチングの保守的計算量解析における後方参照の解析精度向上, 第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）, Mar. 2023.
• 高橋和也, 南出靖彦. 正規表現マッチングの計算量解析ツールの拡張と高速化, 第22回プログラミングおよびプログラミング言語ワークショップ, Mar. 2020.

国内会議発表 (査読なし・不明)

• 濱田 芙実, 南出 靖彦. 後方参照で拡張された正規表現マッチングの計算量解析：限定された場合の精密な解析とKMP法によるマッチング, 第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）, Mar. 2024.
• 宮地 風汰, 南出 靖彦. 後方参照付き正規表現の言語クラスの ストリーミング文字列変換による分析, 第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）, Mar. 2024.
• 大森 章裕, 南出 靖彦. Postの対応問題に対する様々なアプローチ, 第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）, Mar. 2024.
• 南出靖彦. 正規表現のDoS脆弱性(ReDoS)とその検査技術, PPLサマースクール2023, Sept. 2023.
• 釜野 雅基, 福田 大我, 南出 靖彦. 非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定, 日本ソフトウェア科学会第38回大会, Aug. 2021.
• 平田路和, 南出靖彦, 佐藤哲也. Isabelle/HOLによる高階確率的プログラム検証, 日本ソフトウェア科学会第38回大会, Aug. 2021.  公式リンク  
  
• 宮嵜貴之, 南出靖彦. 先読み付き文脈自由文法とその微分, Mar. 2020.
• 宮嵜 貴之, 南出 靖彦. 先読み付き文脈自由文法の微分, 日本ソフトウェア科学会第36回大会, Aug. 2019.
• 宮嵜 貴之, 南出 靖彦. 先読み付き正規表現と解析表現の微分, Mar. 2019.
• 高橋 和也, 南出 靖彦. バックトラックによる正規表現マッチングの計算量判定の実装, 第21回プログラミングおよびプログラミング言語ワークショップ, Mar. 2019.
• 高橋和也, 南出靖彦. 語の包含判定に基づくサニタイズ文脈の自動決定, 第20回プログラミングおよびプログラミング言語ワークショップ, Mar. 2018.
• 赤間仁志, 南出靖彦. Streaming String Transducerの合成の形式的証明, 第20回プログラミングおよびプログラミング言語ワークショップ, Mar. 2018.
• 中川 みなみ, 南出 靖彦. バックトラックによる正規表現マッチングの時間計算量解析, 第107回プログラミング研究発表会, Jan. 2016.
• 上里 友弥, 南出 靖彦. 更新可能時間オートマトンの新たな拡張について, 日本ソフトウェア科学会３２回大会, Sept. 2015.

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]