Shuichi Inokuchi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2005–2016
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ISITA | Formalization of proofs using relational calculus. | Yoshihiro Mizoguchi, Hisaharu Tanaka, Shuichi Inokuchi |
| 2006 | UC | The Number of Orbits of Periodic Box-Ball Systems. | Akihiro Mikoda, Shuichi Inokuchi, Yoshihiro Mizoguchi, Mitsuhiko Fujio |
| 2005 | UC | On Reversible Cellular Automata with Finite Cell Array. | Shuichi Inokuchi, Kazumasa Honda, Hyen Yeal Lee, Tatsuro Sato, Yoshihiro Mizoguchi, Yasuo Kawahara |