An interactive extension mechanism for reusing verified programs. - Sosuke Moriguchi; Takuo Watanabe (SAC, 2013)

Formalization of the Behavior of Content-Centric Networking. - Sosuke Moriguchi; Takashi Morishima; Mizuki Goto; Kazuko Takahashi 001 (FNC/MobiSPC, 2015)

Towards Verified Construction for Planar Class of a Qualitative Spatial Representation. - Sosuke Moriguchi; Mizuki Goto; Kazuko Takahashi 001 (SCSS, 2016)

Verification of Content-Centric Networking Using Proof Assistant. - Sosuke Moriguchi; Takashi Morishima; Mizuki Goto; Kazuko Takahashi 001 (IEICE Trans. Commun., 2016)

Superposition of Qualitative Rectangles using a Quantitative Model. - Takeaki Kato; Sosuke Moriguchi; Kazuko Takahashi 001 (ICAART (2), 2017)

Transformation from PROLEG to a Bipolar Argumentation Framework. - Tastuki Kawasaki; Sosuke Moriguchi; Kazuko Takahashi 001 (SAFA@COMMA, 2018)

Expressing the Characteristics of an Argumentation Framework. - Sosuke Moriguchi; Kazuko Takahashi 001 (SAFA@COMMA, 2018)

Reasoning by a Bipolar Argumentation Framework for PROLEG. - Tatsuki Kawasaki; Sosuke Moriguchi; Kazuko Takahashi 001 (JSAI-isAI Workshops, 2018)

Operations for Shape Transformations based on Angles. - Momo Tosue; Sosuke Moriguchi; Kazuko Takahashi 001 (ICAART (2), 2019)

Hybrid Reasoning on a Bipolar Argumentation Framework. - Tatsuki Kawasaki; Sosuke Moriguchi; Kazuko Takahashi 001 (SUM, 2019)

Compiling Arguments in an Argumentation Framework into Three-valued Logical Expressions. - Sosuke Moriguchi; Kazuko Takahashi 001 (CoRR, 2019)

Functional Reactive Programming for Embedded Systems with GPGPUs. - Yoshitaka Sakurai; Sosuke Moriguchi; Takuo Watanabe (ICSCA, 2021)

A Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types. - Akihiko Yokoyama; Sosuke Moriguchi; Takuo Watanabe (J. Inf. Process., 2021)

Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems. - Akihiko Yokoyama; Sosuke Moriguchi; Takuo Watanabe (REBLS@SPLASH, 2022)

Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices. - Go Suzuki; Takuo Watanabe; Sosuke Moriguchi (Programming, 2023)

Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems. - Kento Sogo; Yuta Tsuji; Sosuke Moriguchi; Takuo Watanabe (REBLS@SPLASH, 2023)

Developing Distributed Systems with Multiparty Functional Reactive Programming. - Sosuke Moriguchi; Takuo Watanabe (WSSE, 2023)

Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems. - Akihiko Yokoyama; Sosuke Moriguchi; Takuo Watanabe (ICSCA, 2024)

mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices. - Go Suzuki; Takuo Watanabe; Sosuke Moriguchi (MPLR, 2024)