"Yuya Uezato,Yasuhiko Minamide","Configuration Reachability Analysis of Synchronized Recursive Timed Automata",,"コンピュータソフトウェア",,"Vol. 35","No. 1","pp. 140-168",2018,Jan.
"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.