Sosuke Moriguchi

According to our database, Sosuke Moriguchi authored at least 17 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Developing Distributed Systems with Multiparty Functional Reactive Programming.

Sosuke Moriguchi, Takuo Watanabe

Proceedings of the 5th World Symposium on Software Engineering, 2023

Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems.

Kento Sogo, Yuta Tsuji, Sosuke Moriguchi, Takuo Watanabe

Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2023

Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices.

Go Suzuki, Takuo Watanabe, Sosuke Moriguchi

Proceedings of the Companion Proceedings of the 7th International Conference on the Art, 2023

2022

Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems.

Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe

Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2022

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

Functional Reactive Programming for Embedded Systems with GPGPUs.

Yoshitaka Sakurai, Sosuke Moriguchi, Takuo Watanabe

Proceedings of the ICSCA 2021, 2021

2019

Compiling Arguments in an Argumentation Framework into Three-valued Logical Expressions.

Sosuke Moriguchi, Kazuko Takahashi

CoRR, 2019

Hybrid Reasoning on a Bipolar Argumentation Framework.

Tatsuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi

Proceedings of the Scalable Uncertainty Management - 13th International Conference, 2019

Operations for Shape Transformations based on Angles.

Momo Tosue, Sosuke Moriguchi, Kazuko Takahashi

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

2018

Reasoning by a Bipolar Argumentation Framework for PROLEG.

Tatsuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi

Proceedings of the New Frontiers in Artificial Intelligence, 2018

Expressing the Characteristics of an Argumentation Framework.

Sosuke Moriguchi, Kazuko Takahashi

Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), 2018

Transformation from PROLEG to a Bipolar Argumentation Framework.

Tastuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi

Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), 2018

2017

Superposition of Qualitative Rectangles using a Quantitative Model.

Takeaki Kato, Sosuke Moriguchi, Kazuko Takahashi

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

2016

Verification of Content-Centric Networking Using Proof Assistant.

Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi

IEICE Trans. Commun., 2016

Towards Verified Construction for Planar Class of a Qualitative Spatial Representation.

Sosuke Moriguchi, Mizuki Goto, Kazuko Takahashi

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

2015

Formalization of the Behavior of Content-Centric Networking.

Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi

Proceedings of the 10th International Conference on Future Networks and Communications (FNC 2015) / The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, 2015

2013

An interactive extension mechanism for reusing verified programs.

Sosuke Moriguchi, Takuo Watanabe

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013