Mitochondrial Stasis Reveals p62-Mediated Ubiquitination in Parkin-Independent Mitophagy and Mitigates Nonalcoholic Fatty Liver Disease von Yamada, Tatsuya, Murata, Daisuke, Adachi, Yoshihiro, Itoh, Kie, Kameoka, Shoichiro, Igarashi, Atsushi, Kato, Takashi, Araki, Yoichi, Huganir, Richard L., Dawson, Ted M., Yanagawa, Toru, Okamoto, Koji, Iijima, Miho, Sesaki, Hiromi

Volltext

Brain-specific Drp1 regulates postsynaptic endocytosis and dendrite formation independently of mitochondrial division von Itoh, Kie, Murata, Daisuke, Kato, Takashi, Yamada, Tatsuya, Araki, Yoichi, Saito, Atsushi, Adachi, Yoshihiro, Igarashi, Atsushi, Li, Shuo, Pletnikov, Mikhail, Huganir, Richard L, Watanabe, Shigeki, Kamiya, Atsushi, Iijima, Miho, Sesaki, Hiromi

Volltext

Ethylene Dimerization/Polymerization Catalyzed by (Adamantylimido)vanadium(V) Complexes Containing (2-Anilidomethyl)pyridine Ligands: Factors Affecting the Ethylene Reactivity von Igarashi, Atsushi, Zhang, Shu, Nomura, Kotohiro

Volltext

Synthesis of (Adamantylimido)vanadium(V) Dimethyl Complex Containing (2-Anilidomethyl)pyridine Ligand and Selected Reactions: Exploring the Oxidation State of the Catalytically Act... von Nomura, Kotohiro, Mitsudome, Takato, Igarashi, Atsushi, Nagai, Go, Tsutsumi, Ken, Ina, Toshiaki, Omiya, Takuya, Takaya, Hikaru, Yamazoe, Seiji

Volltext

Temporal Verification of Programs via First-Order Fixpoint Logic von Kobayashi, Naoki, Nishikawa, Takeshi, Igarashi, Atsushi, Unno, Hiroshi

Volltext

My random research on types and programming languages von IGARASHI, Atsushi

Volltext

On polymorphic gradual typing von Igarashi, Yuu, Sekiyama, Taro, Igarashi, Atsushi

Volltext

A Hoare Logic for GPU Kernels von Kojima, Kensuke, Igarashi, Atsushi

Volltext

Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings von Igarashi, Atsushi

Volltext

Placement of SpaceOAR hydrogel spacer for prostate cancer patients treated with iodine‐125 low‐dose‐rate brachytherapy von Morita, Masashi, Fukagai, Takashi, Hirayama, Kidai, Yamatoya, Jin, Noguchi, Tetsuo, Ogawa, Yu, Igarashi, Atsushi, Niiya, Akifumi, Kato, Masako, Morota, Madoka, Oshinomi, Kazuhiko, Ogawa, Yoshio, Lederer, John L

Volltext

Polymorphic Manifest Contracts, Revised and Resolved von Sekiyama, Taro, Igarashi, Atsushi, Greenberg, Michael

Volltext

Automated Verification of Functional Correctness of Race-Free GPU Programs von Kojima, Kensuke, Imanishi, Akifumi, Igarashi, Atsushi

Volltext

Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings von Hanus, Michael, Igarashi, Atsushi

Volltext

Synthesis and Structural Analysis of (Imido)Vanadium(V) Complexes Containing Chelate (Anilido)Methyl-imine Ligands: Ligand Effect in Ethylene Dimerization von Nomura, Kotohiro, Igarashi, Atsushi, Katao, Shohei, Zhang, Wenjuan, Sun, Wen-Hua

Volltext

Dynamic type inference for gradual Hindley–Milner typing von Miyazaki, Yusuke, Sekiyama, Taro, Igarashi, Atsushi

Volltext

Method safety mechanism for asynchronous layer deactivation von Kamina, Tetsuo, Aotani, Tomoyuki, Masuhara, Hidehiko, Igarashi, Atsushi

Volltext

Signature restriction for polymorphic algebraic effects von Sekiyama, Taro, Tsukada, Takeshi, Igarashi, Atsushi

Volltext

Detection of circulating urothelial cancer cells in the blood using the CellSearch System von Naoe, Michio, Ogawa, Yoshio, Morita, Jun, Omori, Kei, Takeshita, Kumiko, Shichijyo, Takeshi, Okumura, Taisuke, Igarashi, Atsushi, Yanaihara, Atsushi, Iwamoto, Sanju, Fukagai, Takashi, Miyazaki, Akira, Yoshida, Hideki

Volltext

Gradual session types von Igarashi, Atsushi, Thiemann, Peter, Vasconcelos, Vasco T., Wadler, Philip

Volltext

Functional and logic programming: Selected papers of FLOPS 2022 von Hanus, Michael, Igarashi, Atsushi

Volltext