Naoki Iwayama
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2019–2020
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | APLAS | A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking. | Hiroyuki Katsura, Naoki Iwayama, Naoki Kobayashi, Takeshi Tsukada |
| 2020 | SAS | Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking. | Naoki Iwayama, Naoki Kobayashi, Ryota Suzuki, Takeshi Tsukada |
| 2019 | PEPM | Combining higher-order model checking with refinement type inference. | Ryosuke Sato, Naoki Iwayama, Naoki Kobayashi |