Yuya Uezato (上里 友弥)

Third year doctoral student at Programming Logic Group & JSPS Fellow (DC1, from April 2015)
Address : Department of Computer Science, University of Tsukuba, Japan
E-Mail : uezato [COMMERCIAL AT] logic.cs.tsukuba.ac.jp    and   

Journal Articles

• Yuya Uezato and Yasuhiko Minamide: Configuration Reachability Analysis of Synchronized Recursive Timed Automata. (to be published)
• Yuya Uezato: Dense-Timed Pushdown Automata with Multiple Local Clocks. (to be published)

Conference Papers

• Yuya Uezato and Yasuhiko Minamide: Monoid-based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata. DLT 2016 (springer, author's version).
• Yuya Uezato and Yasuhiko Minamide: Synchronized Recursive Timed Automata. LPAR 20 (springer, author's version).
• Yuya Uezato and Yasuhiko Minamide: Pushdown Systems with Stack Manipulation. ATVA 2013 (springer, author's version, slide).

Publications in Japanese

• 上里 友弥，南出 靖彦：スタック長の特徴付けによる言語の非DCFL性証明.情報処理学会論文誌:プログラミング，Vol.7, No.4, pp.8--20, 2014. (情報処理学会電子図書館，スライド)
• 上里 友弥，南出 靖彦：Conditional Transformable Pushdown System: スタックの変換と検査が可能なプッシュダウンシステム. PPL2013 (著者版, スライド)
• 上里 友弥：Coq上でのMonadic Total Parser Combinatorの実装.情報処理学会論文誌:プログラミング, Vol.5, No.2, pp.1--15, 2012. (情報処理学会電子図書館)

Publications in Japanese (non peer-reviewed)

• 上里 友弥，南出 靖彦：更新可能時間オートマトンの新たな拡張について. 日本ソフトウェア科学会第32回大会(JSSST 2015) (著者版，スライド)
• 上里 友弥，南出 靖彦：スタックの高さの特徴付けによる言語が決定性文脈自由でないことの証明．PPL2014 (ポスター発表)

Awards

• Synchronized Recursive Timed Automata (LPAR-20で既発表の内容を国内で改めて紹介発表したもの)
  PPL 2016 発表賞
• 更新可能時間オートマトンの新たな拡張について
  日本ソフトウェア科学会第32回大会(2015年) 学生奨励賞
• スタック長の特徴付けによる言語の非DCFL性証明
  2014年度 情報処理学会CS領域奨励賞
• Conditional Transformable Pushdown System: スタックの変換と検査が可能なプッシュダウンシステム
  PPL 2013 論文賞
• Coq上でのMonadic Total Parser Combinatorの実装
  2012年度 情報処理学会CS領域奨励賞
• 筑波大学大学院システム情報工学研究科 研究科長表彰(2015年3月)
• 筑波大学情報学群長表彰(2013年3月)

Misc

• memorandum for some papers

• 決定不能問題メモ