Implementation of LMNtal Model Checkers: a Metaprogramming Approach. - Yutaro Tsunekawa; Taichi Tomioka; Kazunori Ueda (J. Object Technol., 2018)

Introducing Symmetry to Graph Rewriting Systems with Process Abstraction. - Taichi Tomioka; Yutaro Tsunekawa; Kazunori Ueda (ICGT, 2019)