Sosuke Moriguchi

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 16

Top Topics

Embedded Systems

Abstract Argumentation

Top Venues

Publications

Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe
Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems. ICSCA (2024)
Sosuke Moriguchi, Takuo Watanabe
Developing Distributed Systems with Multiparty Functional Reactive Programming. WSSE (2023)
Kento Sogo, Yuta Tsuji, Sosuke Moriguchi, Takuo Watanabe
Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems. REBLS@SPLASH (2023)
Go Suzuki, Takuo Watanabe, Sosuke Moriguchi
Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices. Programming (2023)
Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe
Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems. REBLS@SPLASH (2022)
Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe
A Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types. J. Inf. Process. 29 (2021)
Yoshitaka Sakurai, Sosuke Moriguchi, Takuo Watanabe
Functional Reactive Programming for Embedded Systems with GPGPUs. ICSCA (2021)
Momo Tosue, Sosuke Moriguchi, Kazuko Takahashi
Operations for Shape Transformations based on Angles. ICAART (2) (2019)
Sosuke Moriguchi, Kazuko Takahashi
Compiling Arguments in an Argumentation Framework into Three-valued Logical Expressions. CoRR (2019)
Tatsuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi
Hybrid Reasoning on a Bipolar Argumentation Framework. SUM (2019)
Sosuke Moriguchi, Kazuko Takahashi
Expressing the Characteristics of an Argumentation Framework. SAFA@COMMA (2018)
Tatsuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi
Reasoning by a Bipolar Argumentation Framework for PROLEG. JSAI-isAI Workshops (2018)
Tastuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi
Transformation from PROLEG to a Bipolar Argumentation Framework. SAFA@COMMA (2018)
Takeaki Kato, Sosuke Moriguchi, Kazuko Takahashi
Superposition of Qualitative Rectangles using a Quantitative Model. ICAART (2) (2017)
Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi
Verification of Content-Centric Networking Using Proof Assistant. IEICE Trans. Commun. (11) (2016)
Sosuke Moriguchi, Mizuki Goto, Kazuko Takahashi
Towards Verified Construction for Planar Class of a Qualitative Spatial Representation. SCSS (2016)
Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi
Formalization of the Behavior of Content-Centric Networking. FNC/MobiSPC (2015)
Sosuke Moriguchi, Takuo Watanabe
An interactive extension mechanism for reusing verified programs. SAC (2013)