SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs von Lahiri, Shuvendu K., Hawblitzel, Chris, Kawaguchi, Ming, Rebêlo, Henrique

Volltext

Towards Modularly Comparing Programs Using Automated Theorem Provers von Hawblitzel, Chris, Kawaguchi, Ming, Lahiri, Shuvendu K., Rebêlo, Henrique

Volltext

Towards Porting Operating Systems with Program Synthesis von Hu, Jingmei, Lu, Eric, Holland, David A., Kawaguchi, Ming, Chong, Stephen, Seltzer, Margo

Volltext

Towards Porting Operating Systems with Program Synthesis von Hu, Jingmei, Lu, Eric, Holland, David A, Kawaguchi, Ming, Chong, Stephen, Seltzer, Margo I

Volltext

Liquid types von Rondon, Patrick M., Kawaguci, Ming, Jhala, Ranjit

Volltext

CSolve: Verifying C with Liquid Types von Rondon, Patrick, Bakst, Alexander, Kawaguchi, Ming, Jhala, Ranjit

Volltext

Dsolve: Safety Verification via Liquid Types von Kawaguchi, Ming, Rondon, Patrick M., Jhala, Ranjit

Volltext

Aquarium: Cassiopea and Alewife Languages von Holland, David A, Hu, Jingmei, Kawaguchi, Ming, Lu, Eric, Chong, Stephen, Seltzer, Margo I

Volltext bestellen

Type-based data structure verification von Kawaguchi, Ming, Rondon, Patrick, Jhala, Ranjit

Volltext

Deterministic parallelism via liquid effects von Kawaguchi, Ming, Rondon, Patrick, Bakst, Alexander, Jhala, Ranjit

Volltext

Aquarium: Cassiopea and Alewife Languages von Holland, David A, Hu, Jingmei, Kawaguchi, Ming, Lu, Eric, Chong, Stephen, Seltzer, Margo I

Volltext

Low-level liquid types von Rondon, Patrick Maxim, Kawaguchi, Ming, Jhala, Ranjit

Volltext

The Asian Pacific Association for the Study of the Liver clinical practice guidelines for the diagnosis and management of metabolic associated fatty liver disease von Eslam, Mohammed, Sarin, Shiv K., Wong, Vincent Wai-Sun, Fan, Jian-Gao, Kawaguchi, Takumi, Ahn, Sang Hoon, Zheng, Ming-Hua, Shiha, Gamal, Yilmaz, Yusuf, Gani, Rino, Alam, Shahinul, Dan, Yock Young, Kao, Jia-Horng, Hamid, Saeed, Cua, Ian Homer, Chan, Wah-Kheong, Payawal, Diana, Tan, Soek-Siam, Tanwandee, Tawesak, Adams, Leon A., Kumar, Manoj, Omata, Masao, George, Jacob

Volltext

Robust Hi-C Maps of Enhancer-Promoter Interactions Reveal the Function of Non-coding Genome in Neural Development and Diseases von Lu, Leina, Liu, Xiaoxiao, Huang, Wei-Kai, Giusti-Rodríguez, Paola, Cui, Jian, Zhang, Shanshan, Xu, Wanying, Wen, Zhexing, Ma, Shufeng, Rosen, Jonathan D., Xu, Zheng, Bartels, Cynthia F., Kawaguchi, Riki, Hu, Ming, Scacheri, Peter C., Rong, Zhili, Li, Yun, Sullivan, Patrick F., Song, Hongjun, Ming, Guo-li, Li, Yan, Jin, Fulai

Volltext

Is Asian flushing syndrome a disadvantage in the labor market? von Kawaguchi, Daiji, Lee, Jungmin, Lin, Ming‐Jen, Yokoyama, Izumi

Volltext

Soft corrugated channel with synergistic exclusive discrimination gating for CO2 recognition in gas mixture von Gu, Yifan, Zheng, Jia-Jia, Otake, Ken-ichi, Sakaki, Shigeyoshi, Ashitani, Hirotaka, Kubota, Yoshiki, Kawaguchi, Shogo, Yao, Ming-Shui, Wang, Ping, Wang, Ying, Li, Fengting, Kitagawa, Susumu

Volltext

Identification of type 2 diabetes loci in 433,540 East Asian individuals von Spracklen, Cassandra N., Horikoshi, Momoko, Kim, Young Jin, Lin, Kuang, Moon, Sanghoon, Suzuki, Ken, Tam, Claudia H. T., Tabara, Yasuharu, Kwak, Soo-Heon, Takeuchi, Fumihiko, Long, Jirong, Lim, Victor J. Y., Chai, Jin-Fang, Chen, Chien-Hsiun, Nakatochi, Masahiro, Yao, Jie, Choi, Hyeok Sun, Iyengar, Apoorva K., Perrin, Hannah J., Brotman, Sarah M., van de Bunt, Martijn, Gloyn, Anna L., Below, Jennifer E., Boehnke, Michael, Chambers, John C., Mahajan, Anubha, McCarthy, Mark I., Ng, Maggie C. Y., Petty, Lauren E., Zhang, Weihua, Morris, Andrew P., Adair, Linda S., Akiyama, Masato, Bian, Zheng, Chan, Juliana C. N., Chang, Li-Ching, Chee, Miao-Li, Chen, Yii-Der Ida, Chen, Yuan-Tsong, Chen, Zhengming, Chuang, Lee-Ming, Du, Shufa, Gordon-Larsen, Penny, Gross, Myron, Guo, Xiuqing, Guo, Yu, Han, Sohee, Howard, Annie-Green, Huang, Wei, Hung, Yi-Jen, Hwang, Mi Yeong, Hwu, Chii-Min, Isono, Masato, Jang, Hye-Mi, Jiang, Guozhi, Kamatani, Yoichiro, Katsuya, Tomohiro, Kawaguchi, Takahisa, Lee, Myung-Shik, Lee, Nanette R., Li, Liming, Liu, Jianjun, Luk, Andrea O., Pereira, Mark A., Sabanayagam, Charumathi, Shi, Jinxiu, Shin, Dong Mun, So, Wing Yee, Takahashi, Atsushi, Tomlinson, Brian, van Dam, Rob M., Xiang, Yong-Bing, Yamamoto, Ken, Yamauchi, Toshimasa, Yoon, Kyungheon, Yu, Canqing, Yuan, Jian-Min, Zhang, Liang, Zheng, Wei, Igase, Michiya, Cho, Yoon Shin, Rotter, Jerome I., Wang, Ya-Xing, Sheu, Wayne H. H., Yokota, Mitsuhiro, Wu, Jer-Yuarn, Cheng, Ching-Yu, Shu, Xiao-Ou, Kato, Norihiro, Park, Kyong-Soo, Tai, E-Shyong, Matsuda, Fumihiko, Koh, Woon-Puay, Ma, Ronald C. W., Millwood, Iona Y., Lee, Juyoung, Walters, Robin G., Kim, Bong-Jo, Mohlke, Karen L., Sim, Xueling

Volltext

Growth mechanisms and anisotropic softness-dependent conductivity of orientation-controllable metal-organic framework nanofilms von Yao, Ming-Shui, Otake, Ken-Ichi, Koganezawa, Tomoyuki, Ogasawara, Moe, Asakawa, Hitoshi, Tsujimoto, Masahiko, Xue, Zi-Qian, Li, Yan-Hong, Flanders, Nathan C, Wang, Ping, Gu, Yi-Fan, Honma, Tetsuo, Kawaguchi, Shogo, Kubota, Yoshiki, Kitagawa, Susumu

Volltext

Coexistence of Strong and Weak Topological Orders in a Quasi-One-Dimensional Material von Wang, De-Yang, Jiang, Qi, Kuroda, Kenta, Kawaguchi, Kaishu, Harasawa, Ayumi, Yaji, Koichiro, Ernst, Arthur, Qian, Hao-Ji, Liu, Wen-Jing, Zha, He-Ming, Jiang, Zhi-Cheng, Ma, Ni, Mei, Hong-Ping, Li, Ang, Kondo, Takeshi, Qiao, Shan, Ye, Mao

Volltext

Identification of PLXDC1 and PLXDC2 as the transmembrane receptors for the multifunctional factor PEDF von Cheng, Guo, Zhong, Ming, Kawaguchi, Riki, Kassai, Miki, Al-Ubaidi, Muayyad, Deng, Jun, Ter-Stepanian, Mariam, Sun, Hui

Volltext