Kazuya Masuda

Approximate Model Checking Using a Subset of First-order Logic

Kiyoharu Hamaguchi, Toshinobu Kashiwabara, Kazuya Masuda, 2010, IPSJ Trans. Syst. LSI Des. Methodol..

Aryl hydrocarbon receptor negatively regulates dendritic cell immunogenicity via a kynurenine-dependent mechanism

Kazuya Masuda, Nam Trung Nguyen, Y. Fujii‐Kuriyama, 2010, Proceedings of the National Academy of Sciences.