Taichi Tomioka

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Parameter Values

Computational Model

Experimental Data

Rewriting Systems

Top Venues

J. Object Technol.

Publications

Taichi Tomioka, Yutaro Tsunekawa, Kazunori Ueda
Introducing Symmetry to Graph Rewriting Systems with Process Abstraction. ICGT (2019)
Yutaro Tsunekawa, Taichi Tomioka, Kazunori Ueda
Implementation of LMNtal Model Checkers: a Metaprogramming Approach. J. Object Technol. 17 (1) (2018)