Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types von Nishida, Yuki, Saito, Hiromasa, Chen, Ran, Kawata, Akira, Furuse, Jun, Suenaga, Kohei, Igarashi, Atsushi

Volltext

VITC: Safe C Code Compilation Against Attacks von FURUSE, Jun, YONEZAWA, Akinori

Volltext

Extensional Polymorphism by Flow Graph Dispatching von Furuse, Jun

Volltext

Report on APLAS'03 von FURUSE, Jun

Volltext

Extensional Polymorphism by Flow Graph Dispatching von FURUSE, Jun

Volltext

Extensional Polymorphism by Flow Graph dispatching von Furuse, Jun

Volltext

Report on APLAS'03 von FURUSE, Jun

Volltext

Verification of a Merkle Patricia Tree Library Using F von Sato, Sota, Banno, Ryotaro, Furuse, Jun, Suenaga, Kohei, Igarashi, Atsushi

Volltext bestellen

HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types von Nishida, Yuki, Saito, Hiromasa, Chen, Ran, Kawata, Akira, Furuse, Jun, Suenaga, Kohei, Igarashi, Atsushi

Volltext bestellen

Verification of a Merkle Patricia Tree Library Using F von Sato, Sota, Banno, Ryotaro, Furuse, Jun, Suenaga, Kohei, Igarashi, Atsushi

Volltext

HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types von Nishida, Yuki, Saito, Hiromasa, Chen, Ran, Kawata, Akira, Furuse, Jun, Suenaga, Kohei, Igarashi, Atsushi

Volltext

フローグラフを使ったExtensional Polymorphismのコンパイル von 古瀬, 淳

Volltext

フローグラフを使った extensional polymorphism のコンパイル von 古瀬, 淳

Volltext

Effects of empagliflozin versus placebo on cardiac sympathetic activity in acute myocardial infarction patients with type 2 diabetes mellitus: the EMBODY trial von Shimizu, Wataru, Kubota, Yoshiaki, Hoshika, Yu, Mozawa, Kosuke, Tara, Shuhei, Tokita, Yukichi, Yodogawa, Kenji, Iwasaki, Yu-Ki, Yamamoto, Takeshi, Takano, Hitoshi, Tsukada, Yayoi, Asai, Kuniya, Miyamoto, Masaaki, Miyauchi, Yasushi, Kodani, Eitaro, Ishikawa, Masahiro, Maruyama, Mitsunori, Ogano, Michio, Tanabe, Jun

Volltext

Selective expression of claudin-5 in thymic endothelial cells regulates the blood–thymus barrier and T-cell export von Nagatake, Takahiro, Zhao, Yan-Chun, Ito, Takeshi, Itoh, Masahiko, Kometani, Kohei, Furuse, Mikio, Saika, Azusa, Node, Eri, Kunisawa, Jun, Minato, Nagahiro, Hamazaki, Yoko

Volltext

Fabrication and Test of HTS Magnet for Induction Heating Device in Aluminum Extrusion Processing von Ito, Tetsuya, Fukui, Satoshi, Kawashima, Hiroshi, Ogata, Yasuhiro, Furuse, Mitsuho, Watanabe, Tomonori, Nagaya, Shigeo, Ogawa, Jun

Volltext

TAS-118 (S-1 plus leucovorin) versus S-1 in patients with gemcitabine-refractory advanced pancreatic cancer: a randomised, open-label, phase 3 study (GRAPE trial) von Ioka, Tatsuya, Ueno, Makoto, Ueno, Hideki, Park, Joon Oh, Chang, Heung-Moon, Sasahira, Naoki, Kanai, Masashi, Chung, Ik Joo, Ikeda, Masafumi, Nakamori, Shoji, Mizuno, Nobumasa, Omuro, Yasushi, Yamaguchi, Taketo, Hara, Hiroki, Sugimori, Kazuya, Furuse, Junji, Maguchi, Hiroyuki, Furukawa, Masayuki, Fukuzawa, Kengo, Kim, Jun-Suk, Yukisawa, Seigo, Takeuchi, Masahiro, Okusaka, Takuji, Boku, Narikazu, Hyodo, Ichinosuke

Volltext

Reconstruction techniques using free jejunal transfer for total pharyngolaryngectomy with total glossectomy von Hidaka, Takeaki, Miyamoto, Shimpei, Oba, Jun, Furuse, Kiichi, Oshima, Azusa, Matsuura, Kazuto, Higashino, Takuya

Volltext

Japanese phase I study of cabazitaxel in metastatic castration-resistant prostate cancer von Nozawa, Masahiro, Mukai, Hirofumi, Takahashi, Shunji, Uemura, Hiroji, Kosaka, Takeo, Onozawa, Yusuke, Miyazaki, Jun, Suzuki, Kazuhiro, Okihara, Koji, Arai, Yoichi, Kamba, Tomomi, Kato, Masashi, Nakai, Yasutomo, Furuse, Hiroshi, Kume, Haruki, Ide, Hisamitsu, Kitamura, Hiroshi, Yokomizo, Akira, Kimura, Takahiro, Tomita, Yoshihiko, Ohno, Keiji, Kakehi, Yoshiyuki

Volltext

Implication of anti-inflammatory macrophages in regenerative moto-neuritogenesis: Promotion of myoblast migration and neural chemorepellent semaphorin 3A expression in injured musc... von Sakaguchi, Shohei, Shono, Jun-ichi, Suzuki, Takahiro, Sawano, Shoko, Anderson, Judy E., Do, Mai-Khoi Q., Ohtsubo, Hideaki, Mizunoya, Wataru, Sato, Yusuke, Nakamura, Mako, Furuse, Mitsuhiro, Yamada, Koji, Ikeuchi, Yoshihide, Tatsumi, Ryuichi

Volltext