RustHorn: CHC-based Verification for Rust Programs
Matsushita, Yusuke, Tsukada, Takeshi, Kobayashi, Naoki
Published in ACM transactions on programming languages and systems (01.12.2021)
Published in ACM transactions on programming languages and systems (01.12.2021)
Get full text
Journal Article
Identification of Q value and angular frequency of smart gear antenna using the resonant return loss of the receiving antenna
Mac, Thanh-Tung, Iba, Daisuke, Matsushita, Yusuke, Inoue, Takeru, Miura, Nanako, Masuda, Arata, Moriwaki, Ichiro
Published in SN applied sciences (01.10.2022)
Published in SN applied sciences (01.10.2022)
Get full text
Journal Article
New semiconducting silicides assembled from transition-metal-encapsulating Si clusters
Uchida, Noriyuki, Miyazaki, Takehide, Matsushita, Yusuke, Sameshima, Kenichiro, Kanayama, Toshihiko
Published in Thin solid films (03.10.2011)
Published in Thin solid films (03.10.2011)
Get full text
Journal Article
Conference Proceeding
Stabilization of sulfide and sulfite and ion-pair chromatography of mixtures of sulfide, sulfite, sulfate and thiosulfate
Miura, Yasuyuki, Matsushita, Yusuke, Haddad, Paul R.
Published in Journal of Chromatography A (26.08.2005)
Published in Journal of Chromatography A (26.08.2005)
Get full text
Journal Article
Conference Proceeding
Functional Expression of Nitrile Hydratase in Escherichia coli: Requirement of a Nitrile Hydratase Activator and Post-Translational Modification of a Ligand Cysteine
Nojiri, Masaki, Yohda, Masafumi, Odaka, Masafumi, Matsushita, Yusuke, Tsujimura, Masanari, Yoshida, Takao, Dohmae, Naoshi, Takio, Koji, Endo, Isao
Published in Journal of biochemistry (Tokyo) (01.04.1999)
Published in Journal of biochemistry (Tokyo) (01.04.1999)
Get full text
Journal Article