• 川村瑠, 南出靖彦, 非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定, 第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）, 2023.
• 釜野雅基, 福田大我, 南出靖彦, 非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定, コンピュータソフトウェア, 40(1), 117-136, 2023. (著者版)
• 高橋和也, 南出靖彦, 拡張正規表現マッチングの計算量解析, コンピュータソフトウェア, 38(2), 53-70. 2021. (J-STAGE)
• 加賀江 優幸, 南出 靖彦, Streaming String Transducerの等価性判定と正規表現による文字列置換への応用, 情報処理学会論文誌プログラミング（PRO）, 8(3),1-10, 2015. (情報処理学会電子図書館)
• 上里 友弥 , 南出 靖彦, スタック長の特徴付けによる言語の非DCFL性証明, 情報処理学会論文誌：プログラミング, Vol.7, No.4, 8-20, 2014. (情報処理学会電子図書館)
• アトミックグループで拡張された正規表現のオートマトンへの変換, 杉山 聡, 南出 靖彦, 情報処理学会論文誌:プログラミング, Vol.6, No.1, pages 17–26, 2013. (情報処理学会電子図書館)
• Rubyプログラムの制御フロー解析とその健全性の証明, 松本宗太郎, 南出靖彦, 情報処理学会論文誌:プログラミング, Vol.3, No. 2, pages 9-25, 2010.
• 多相レコード型に基づくRubyプログラムの型推論, 松本宗太郎, 南出靖彦, 情報処理学会論文誌:プログラミング, Vol.49, No. SIG 3, PRO 36, pp.39-54, 2008
  (情報処理学会電子図書館)
• 実行可能なコンパイラの形式化と検証, 大熊浩示, 南出靖彦, 情報処理学会論文誌:プログラミング, No. SIG 6(PRO 25), pp.18-34, 2005.
  (情報処理学会電子図書館)

---

ソフトウェア解説（日本語）

Cプログラムの検証ツール Caduceus, 南出靖彦, コンピュータソフトウェア, Vol. 24, No. 3, pp.15-19, 2007.

研究会（日本語）

バックトラックによる正規表現マッチングの時間計算量解析, 中川みなみ,南出靖彦, 情報処理学会プログラミング研究会, 2016年1月14日. (PDF)

---

Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.