Statistics
Publications
5
Citations
143
H-Index
5
Active since
2014
Affiliations
Kyoto University(Current)
Yuki Nishida is an author at Kyoto University specializing in computer science, computing, and engineering.
Publications per year
2014–2022
5
5
Fabrication of PLLA/HA composite scaffolds modified by DNA
Yuki Nishida, Ryota Domura, Reika Sakai et al. · Polymer · 2014 · 37 citations
Manifest Contracts for Datatypes
Taro Sekiyama, Yuki Nishida, Atsushi Igarashi · 2014 · 16 citations
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
Yuki Nishida, Hiromasa Saito, Ran Chen et al. · New Generation Computing · 2022 · 10 citations · Full text
1–5 of 5