If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Yutaro Tsunekawa is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles
Graph Rewriting Mathematics
Rewriting Systems Mathematics
Symmetry Mathematics
Symmetry Reduction Mathematics
Model checking Engineering & Materials Science
Model Checking Mathematics
Graph Isomorphism Mathematics
Model Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2018 2019

  • 1 Conference contribution
  • 1 Article

Introducing symmetry to graph rewriting systems with process abstraction

Tomioka, T., Tsunekawa, Y. & Ueda, K., 2019 Jan 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).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Graph Rewriting
Rewriting Systems
Symmetry
Symmetry Reduction
Model checking

Implementation of LMNtal Model Checkers: A Metaprogramming Approach

Tsunekawa, Y., Tomioka, T. & Ueda, K., 2018 Nov 1, In : Journal of Object Technology. 17, 1

Research output: Contribution to journalArticle

Application programming interfaces (API)
Modeling languages