All 2022 2021 2020 2019 2018 2017
All Journal Article Presentation
TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science
Volume: 13243 Pages: 379-386
10.1007/978-3-030-99524-9_20
34th European Conference on Object-Oriented Programming (ECOOP 2020)
Volume: －
PLACES 2020: Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Dublin, Ireland
Volume: 314 Pages: 61-75
10.4204/eptcs.314.6
ECOOP 2020: 34th European Conference on Object-Oriented Programming
Volume: 2020
15th International Symposium on Functional and Logic Programming (FLOPS 2020)
Lecture Notes in Computer Science
Volume: 12073 Pages: 66-87
10.1007/978-3-030-59025-3_5
SFDI2019: Second Workshop on Software Foundations for Data Interoperability (In proceedings of 2019 IEEE International Conference on Big Data and Smart Computing (BigComp))
Volume: － Pages: 1-5
10.1109/bigcomp.2019.8679265
Science of Computer Programming
Volume: 172 Pages: 135-159
10.1016/j.scico.2018.08.005
Journal of Information Processing
Volume: 27 Issue: 0 Pages: 431-444
10.2197/ipsjjip.27.431
130007663763
Volume: 印刷中
Volume: 10319 Pages: 99-118
10.1007/978-3-319-59746-1_6
