A 9-M tr. access network system-on-a-chip for mega-bit Internet access at home. - Shinichi Kozu; Toshiya Aramaki; Chinatsu Ikeda; Yasuaki Kuroda; Satoru Kawanago; Mitsuji Okada; Hiroshi Kariya; Masao Manabe; Hirotaka Utani; Eiji Sudou; Yukihiro Oda; Hideo Suzukii (CICC, 2000)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions. - Yukihiro Oda; James Brotherston; Makoto Tatsuta (J. Log. Comput., 2025)

Proof systems for partial incorrectness logic (partial reverse Hoare logic). - Yukihiro Oda (CoRR, 2025)

Cyclic Proofs in Hoare Logic and its Reverse. - James Brotherston; Quang Loc Le; Gauri Desai; Yukihiro Oda (CoRR, 2025)