Koichi Fujima

According to our database, Koichi Fujima authored at least 2 papers between 2013 and 2017.

Collaborative distances:

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

2017

Streett Automata Model Checking of Higher-Order Recursion Schemes.

Ryota Suzuki, Koichi Fujima, Naoki Kobayashi, Takeshi Tsukada

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

2013

Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes.

Koichi Fujima, Sohei Ito, Naoki Kobayashi

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013