| Higher-order program verification via HFL model checking N Kobayashi, T Tsukada, K Watanabe Programming Languages and Systems: 27th European Symposium on Programming …, 2018 | 38 | 2018 |
| Reduction from branching-time property verification of higher-order programs to HFL validity checking K Watanabe, T Tsukada, H Oshikawa, N Kobayashi Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and …, 2019 | 18 | 2019 |
| Automatically disproving fair termination of higher-order functional programs K Watanabe, R Sato, T Tsukada, N Kobayashi ACM SIGPLAN Notices 51 (9), 243-255, 2016 | 10 | 2016 |
| Higher-order program verification via HFL model checking. CoRR abs/1710.08614 (2017) N Kobayashi, T Tsukada, K Watanabe arXiv preprint arXiv:1710.08614, 2017 | 5 | 2017 |
| Binary Hacks Rebooted — 低レイヤの世界を探検するテクニック89選 A Kawata, Y Koike, K Watanabe, T Saeki, M Arata | | 2024 |
