Journal Paper

• Satoshi Takimoto, Sosuke Moriguchi, Takuo Watanabe. Mode Management of Peripherals Based on State Transition Model in FRP Language for Embedded Systems, Computer Software, JSSST, Vol. 42, No. 1, pp. 40-53, Jan. 2025.

International Conference (Reviewed)

• Satoshi Takimoto, Sosuke Moriguchi, Takuo Watanabe. Unification Modulo Isomorphisms between Dependent Types for Type-based Library Search, 10th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2025), (to appear), Oct. 2025.
• Sosuke Moriguchi, Satoshi Takimoto, Mizuki Shirai, Takuo Watanabe. Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists, 13th Workshop on Computation: Theory and Practice (WCTP 2024), Proceedings of 13th Workshop on Computation: Theory and Practice (WCTP 2024), Atlantis Press, pp. 7-19, Apr. 2025.

Domestic Conference (Not reviewed / Unknown)

• Satoshi Takimoto, Sosuke Moriguchi, Takuo Watanabe. 定理証明支援系のためのライブラリ検索システム作成に向けて, 日本ソフトウェア科学会第27回プログラミングおよびプログラミング言語ワークショップ(PPL 2025), Mar. 2025.

[ Save as BibTeX ]    [ Paper, Presentations, Books, Others, Degrees: Save as CSV ]    [ Patents: Save as CSV ]