Koji Nakazawa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2008–2024
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | APLAS | Relative Completeness of Incorrectness Separation Logic. | Yeonseok Lee, Koji Nakazawa |
| 2021 | APLAS | Function Pointer Eliminator for C Programs. | Daisuke Kimura, Mahmudul Faisal Al Ameen, Makoto Tatsuta, Koji Nakazawa |
| 2021 | FSCD | Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions. | Kenji Saotome, Koji Nakazawa, Daisuke Kimura |
| 2020 | FLOPS | Restriction on Cut in Cyclic Proof System for Symbolic Heaps. | Kenji Saotome, Koji Nakazawa, Daisuke Kimura |
| 2019 | APLAS | Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions. | Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura |
| 2008 | CSL | Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence. | Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano |