Sosuke Moriguchi

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