Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
Nishida, Yuki, Saito, Hiromasa, Chen, Ran, Kawata, Akira, Furuse, Jun, Suenaga, Kohei, Igarashi, Atsushi
Published in New generation computing (01.07.2022)
Published in New generation computing (01.07.2022)
Get full text
Journal Article
FILM-FORMING MATERIAL FOR SEMICONDUCTOR, MEMBER-FORMING MATERIAL FOR SEMICONDUCTOR, PROCESS MEMBER-FORMING MATERIAL FOR SEMICONDUCTOR, UNDERLAYER FILM-FORMING MATERIAL, UNDERLAYER FILM, AND SEMICONDUCTOR DEVICE
SAITO, Hiromasa, MURAMATSU, Yousuke, IRISAWA, Masatomi, SUZUKI, Mizuki
Year of Publication 26.01.2023
Get full text
Year of Publication 26.01.2023
Patent
COMPOUND AND COMPOSITION
SAITO, Hiromasa, MURAMATSU, Yousuke, IRISAWA, Masatomi, SUZUKI, Mizuki
Year of Publication 23.06.2022
Get full text
Year of Publication 23.06.2022
Patent
IMAGING ELEMENT AND IMAGING DEVICE
SATO, Shinya, KITANO, Yoshiaki, SAITO, Hiromasa, TANAKA, Yusuke, KASUKAWA, Shuhei, KAJIKAWA, Ryoko
Year of Publication 28.12.2023
Get full text
Year of Publication 28.12.2023
Patent
SOLID-STATE IMAGING DEVICE
KUROSE Tomoki, SAITO Hiromasa, ABE Masumi, YAMADA Hirofumi, HAYAFUJI Junji
Year of Publication 23.09.2021
Get full text
Year of Publication 23.09.2021
Patent
ULTRASOUND PROBE OPERATION SYSTEM AND METHOD
HIRANO, Takanori, NISHIUCHI, Makoto, SAITO, Hiromasa, SHIMOGAMI, Manabu, YAMASHITA, Yasuhiro, OSHIMA, Fumiyoshi, YOSHIDA, Naofumi
Year of Publication 19.08.2021
Get full text
Year of Publication 19.08.2021
Patent
SOLID-STATE IMAGING DEVICE
KUROSE Tomoki, NAKAGAWA Shinji, SAITO Hiromasa, YAMADA Hirofumi, HAYAFUJI Junji, ARAI Tomoyuki
Year of Publication 15.10.2020
Get full text
Year of Publication 15.10.2020
Patent
Fluorescence imaging of mitochondria in living cells using a novel fluorene derivative with a large two-photon absorption cross-section
Tani, Seiji, Nakagawa, Kenta, Honda, Takuya, Saito, Hiromasa, Suzuki, Yasutaka, Kawamata, Jun, Uchida, Makiyo, Sasaki, Akira, Kinjo, Masataka
Published in Current pharmaceutical biotechnology (01.11.2012)
Published in Current pharmaceutical biotechnology (01.11.2012)
Get more information
Journal Article
POLYSACCHARIDE BINDING SITE RECOGNITION PROTEIN, AND APPLICATION OF THE SAME
TAKEDA TAKUMI, NAKANO TOMOKI, SAKAMOTO YUICHI, TAKAHASHI MACHIKO, SAITO HIROMASA, YAMASHITA TETSUO, TERAUCHI RYOHEI
Year of Publication 23.06.2016
Get full text
Year of Publication 23.06.2016
Patent