Sosuke Moriguchi
Orcid: 0000-0002-4153-4514
According to our database1,
Sosuke Moriguchi
authored at least 19 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
1
1
1
2
3
1
1
2
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2024
Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems.
Proceedings of the 13th International Conference on Software and Computer Applications, 2024
2023
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.
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.
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.
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.
J. Inf. Process., 2021
Proceedings of the ICSCA 2021, 2021
2019
Compiling Arguments in an Argumentation Framework into Three-valued Logical Expressions.
CoRR, 2019
Proceedings of the Scalable Uncertainty Management - 13th International Conference, 2019
Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019
2018
Proceedings of the New Frontiers in Artificial Intelligence, 2018
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
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
Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017
2016
IEICE Trans. Commun., 2016
Towards Verified Construction for Planar Class of a Qualitative Spatial Representation.
Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016
2015
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
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013