年別の研究成果
年別の研究成果
フィンガープリント
Yutaro Tsunekawaが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 6 類似のプロファイル
研究成果
-
Introducing symmetry to graph rewriting systems with process abstraction
Tomioka, T., Tsunekawa, Y. & Ueda, K., 2019 1 1, Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Proceedings. Orejas, F. & Guerra, E. (eds.). Springer-Verlag, p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11629 LNCS).研究成果: Conference contribution
-
Implementation of LMNtal Model Checkers: A Metaprogramming Approach
Tsunekawa, Y., Tomioka, T. & Ueda, K., 2018 11 1, In: Journal of Object Technology. 17, 1研究成果: Article › 査読