Tomoki Shiraishi

According to our database, Tomoki Shiraishi authored at least 2 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

A Proof Method for Local Sufficient Completeness of Term Rewriting Systems.

Tomoki Shiraishi, Kentaro Kikuchi, Takahito Aoto

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

2011

Temperature-controlled molecular dynamics study on velocity-dependent threshold behavior of dynamic nano-friction.

Keiji Hayashi, Tomoki Shiraishi, Kazuho Toyoda, Fumiya Tanaka, Taiga Mori, Takumi Hata

Comput. Phys. Commun., 2011