Sohei Ito
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2010–2024
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FSCD | Representation of Peano Arithmetic in Separation Logic. | Sohei Ito, Makoto Tatsuta |
| 2015 | EJC | A Conceptual Model of Fishery in Resource-Event-Agent Framework. | Sohei Ito, Kunimasa Aoki, Kazuaki Kajitori |
| 2013 | APLAS | Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes. | Koichi Fujima, Sohei Ito, Naoki Kobayashi |
| 2010 | BIBE | Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic. | Sohei Ito, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki |