A Hoare logic for the coinductive trace-based big-step semantics of While by Keiko Nakata, Tarmo Uustalu

Get full text

On streams that are finitely red by Marc Bezem, Keiko Nakata, Tarmo Uustalu

Get full text

Influence of Prior Influenza Vaccination on Current Influenza Vaccine Effectiveness in Children Aged 1 to 5 Years by Kazuhiro Matsumoto, Wakaba Fukushima, Saeko Morikawa, Masashi Fujioka, Tohru Matsushita, Megumi Kubota, Yoshina Yagi, Yoshio Takasaki, Shizuo Shindo, Yuji Yamashita, Takato Yokoyama, Yumi Kiyomatsu, Satoshi Hiroi, Keiko Nakata, Akiko Maeda, Kyoko Kondo, Kazuya Ito, Tetsuo Kase, Satoko Ohfuji, Yoshio Hirota

Get full text

Nationwide and long-term molecular epidemiologic studies of mumps viruses that circulated in Japan between 1986 and 2017 by Minoru Kidokoro, Teiichiro Shiino, Tomohiro Yamaguchi, Eri Nariai, Hiroe Kodama, Keiko Nakata, Takako Sano, Keiko Gotou, Tomoko Kisu, Tomomi Maruyama, Yumani Kuba, Wakako Sakata, Teruaki Higashi, Naoko Kiyota, Takashi Sakai, Shunsuke Yahiro, Akira Nagita, Kaori Watanabe, Chika Hirokawa, Hirotsune Hamabata, Yoshiki Fujii, Miwako Yamamoto, Hajime Yokoi, Misako Sakamoto, Hiroyuki Saito, Chihiro Shibata, Machi Inada, Misako Fujitani, Hiroko Minagawa, Miyabi Ito, Akari Shima, Keiko Murano, Hiroshi Katoh, Fumihiro Kato, Makoto Takeda, Shigeru Suga, The Surveillance Team for Mumps Virus in Japan

Get full text