すべて 2022 2021 2020 2019 2018 2017
すべて 雑誌論文 学会発表
TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science
巻: 13243 ページ: 379-386
10.1007/978-3-030-99524-9_20
34th European Conference on Object-Oriented Programming (ECOOP 2020)
巻: －
PLACES 2020: Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Dublin, Ireland
巻: 314 ページ: 61-75
10.4204/eptcs.314.6
ECOOP 2020: 34th European Conference on Object-Oriented Programming
巻: 2020
15th International Symposium on Functional and Logic Programming (FLOPS 2020)
Lecture Notes in Computer Science
巻: 12073 ページ: 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))
巻: － ページ: 1-5
10.1109/bigcomp.2019.8679265
Science of Computer Programming
巻: 172 ページ: 135-159
10.1016/j.scico.2018.08.005
Journal of Information Processing
巻: 27 号: 0 ページ: 431-444
10.2197/ipsjjip.27.431
130007663763
巻: 印刷中
巻: 10319 ページ: 99-118
10.1007/978-3-319-59746-1_6
