Chocolat/SMV: A Translator from CafeOBJ into SMV. - Kazuhiro Ogata 001; Masahiro Nakano; Masaki Nakamura 001; Kokichi Futatsugi (PDCAT, 2005)

Induction-Guided Falsification. - Kazuhiro Ogata 001; Masahiro Nakano; Weiqiang Kong; Kokichi Futatsugi (ICFEM, 2006)

Simulations on The Population and Disease in Japan. - Kazuharu Koide; Hiroyuki Matsuura; Nobuo Noda; Masahiro Nakano (ICICIC (3), 2006)

Stochastic Mechanism and Its Dynamics in Biological System. - Hiroyuki Matsuura; Nobuo Noda; Kazuyuki Koide; Tetsuya Nemoto; Kadahiro Kin; Ken-ichi Makino; Masahiro Nakano (ICICIC (3), 2006)

Management and Control of Vibrational Motions of Muscle Elements. - Masahiro Nakano; Hiroyuki Matsuura; Tetsuya Nemoto; Nobuo Noda (ICICIC (3), 2006)

Cell Preservation by Application of Tardigrada's Adaptation to Extreme Circumstances. - Tetsuya Nemoto; Tadahiro Kin; Masahiro Nakano; Akira Shimamoto; Fumio Nogata; Hiroyuki Matsuura (ICICIC (3), 2006)

Numerical Analysis of Blood Flow in Vessels. - Nobuo Noda; Masahiro Nakano; Hiroyuki Matsuura; Tetsuya Nemoto; Kazuharu Koide (ICICIC (3), 2006)

Automating Invariant Verification of Behavioral Specifications. - Masahiro Nakano; Kazuhiro Ogata 001; Masaki Nakamura 001; Kokichi Futatsugi (QSIC, 2006)

CrÈme: an Automatic Invariant Prover of Behavioral Specifications. - Masahiro Nakano; Kazuhiro Ogata 001; Masaki Nakamura 001; Kokichi Futatsugi (Int. J. Softw. Eng. Knowl. Eng., 2007)

Mediatory Summary Generation: Summary-Passage Extraction for Information Credibility on the Web. - Koichi Kaneko; Hideyuki Shibuki; Masahiro Nakano; Rintaro Miyazaki; Madoka Ishioroshi; Tatsunori Mori (PACLIC, 2009)

A Method for Automatically Generating a Mediatory Summary to Verify Credibility of Information on the Web. - Hideyuki Shibuki; Takahiro Nagai; Masahiro Nakano; Rintaro Miyazaki; Madoka Ishioroshi; Tatsunori Mori (COLING (Posters), 2010)

Nonnegative Matrix Factorization with Markov-Chained Bases for Modeling Time-Varying Patterns in Music Spectrograms. - Masahiro Nakano; Jonathan Le Roux; Hirokazu Kameoka; Yu Kitano; Nobutaka Ono; Shigeki Sagayama (LVA/ICA, 2010)

Monophonic Instrument Sound Segregation by Clustering NMF Components Based on Basis Similarity and Gain Disjointness. - Kazuma Murao; Masahiro Nakano; Yu Kitano; Nobutaka Ono; Shigeki Sagayama (ISMIR, 2010)

Construction of Text Summarization Corpus for the Credibility of Information on the Web. - Masahiro Nakano; Hideyuki Shibuki; Rintaro Miyazaki; Madoka Ishioroshi; Koichi Kaneko; Tatsunori Mori (LREC, 2010)

Infinite-state spectrum model for music signal analysis. - Masahiro Nakano; Jonathan Le Roux; Hirokazu Kameoka; Nobutaka Ono; Shigeki Sagayama (ICASSP, 2011)

Single molecule analysis of transcription factor-DNA complexes using atomic force microscopy. - Masahiro Nakano; Jun Teramoto; Tomohiro Shimada; Kaneyoshi Yamamoto; Akira Ishihama (MHS, 2011)

Bayesian nonparametric spectrogram modeling based on infinite factorial infinite hidden Markov model. - Masahiro Nakano; Jonathan Le Roux; Hirokazu Kameoka; Tomohiko Nakamura; Nobutaka Ono; Shigeki Sagayama (WASPAA, 2011)

Constrained and regularized variants of non-negative matrix factorization incorporating music-specific constraints. - Hirokazu Kameoka; Masahiro Nakano; Kazuki Ochiai; Yutaka Imoto; Kunio Kashino; Shigeki Sagayama (ICASSP, 2012)

Bayesian nonparametric music parser. - Masahiro Nakano; Yasunori Ohishi; Hirokazu Kameoka; Ryo Mukai; Kunio Kashino (ICASSP, 2012)

Context-free 2D Tree Structure Model of Musical Notes for Bayesian Modeling of Polyphonic Spectrograms. - Hirokazu Kameoka; Kazuki Ochiai; Masahiro Nakano; Masato Tsuchiya; Shigeki Sagayama (ISMIR, 2012)

Bayesian semi-supervised audio event transcription based on Markov indian buffet process. - Yasunori Ohishi; Daichi Mochihashi; Tomoko Matsui; Masahiro Nakano; Hirokazu Kameoka; Tomonori Izumitani; Kunio Kashino (ICASSP, 2013)

Mondrian hidden Markov model for music signal processing. - Masahiro Nakano; Yasunori Ohishi; Hirokazu Kameoka; Ryo Mukai; Kunio Kashino (ICASSP, 2014)

Rectangular Tiling Process. - Masahiro Nakano; Katsuhiko Ishiguro; Akisato Kimura; Takeshi Yamada; Naonori Ueda (ICML, 2014)

Least square evaluation of head injury criterion (HIC) for various situations. - Masahiro Nakano; Makoto Yamanaka; Hiroyuki Matsuura; Masaaki Tamagawa; Toru Yukimasa (SCIS&ISIS, 2014)

Infinite Plaid Models for Infinite Bi-Clustering. - Katsuhiko Ishiguro; Issei Sato; Masahiro Nakano; Akisato Kimura; Naonori Ueda (AAAI, 2016)

Machine Learning Based Skill-Level Classification for Personal Mobility Devices Using Only Operational Characteristics. - Yifan Huang; Taiga Mori; Udara E. Manawadu; Mitsuhiro Kamezaki; Tatsuya Ishihara; Masahiro Nakano; Kohjun Koshiji; Naoki Higo; Toshimitsu Tubaki; Shigeki Sugano (IROS, 2018)

Efficient cyclic Learning rate Schedules and their Evaluations for Neural Network Ensemble. - Minoru Mori; Masahiro Nakano (MLSP, 2018)

Gaussian process with physical laws for 3D cardiac modeling. - Masahiro Nakano; Ryohei Shibue; Kunio Kashino; Shingo Tsukada; Hitonobu Tomoike (EUSIPCO, 2020)

Baxter Permutation Process. - Masahiro Nakano; Akisato Kimura; Takeshi Yamada; Naonori Ueda (NeurIPS, 2020)

Bayesian nonparametric model for arbitrary cubic partitioning. - Masahiro Nakano; Yasuhiro Fujiwara; Akisato Kimura; Takeshi Yamada; Naonori Ueda (ACML, 2021)

Unsupervised Heart Sound Decomposition and State Estimation with Generative Oscillation Models. - Ryohei Shibue; Masahiro Nakano; Tomoharu Iwata; Kunio Kashino; Hitonobu Tomoike (EMBC, 2021)

Permuton-induced Chinese Restaurant Process. - Masahiro Nakano; Yasuhiro Fujiwara; Akisato Kimura; Takeshi Yamada; Naonori Ueda (NeurIPS, 2021)

Nonparametric Relational Models with Superrectangulation. - Masahiro Nakano; Ryo Nishikimi; Yasuhiro Fujiwara; Akisato Kimura; Takeshi Yamada; Naonori Ueda (AISTATS, 2022)

Fast Binary Network Hashing via Graph Clustering. - Yasuhiro Fujiwara; Masahiro Nakano; Atsutoshi Kumagai; Yasutoshi Ida; Akisato Kimura; Naonori Ueda (IEEE Big Data, 2022)

Efficient Network Representation Learning via Cluster Similarity. - Yasuhiro Fujiwara; Yasutoshi Ida; Atsutoshi Kumagai; Masahiro Nakano; Akisato Kimura; Naonori Ueda (Data Sci. Eng., 2023)

Warped Diffusion for Latent Differentiation Inference. - Masahiro Nakano; Hiroki Sakuma; Ryo Nishikimi; Ryohei Shibue; Takashi Sato; Tomoharu Iwata; Kunio Kashino (AISTATS, 2024)

Electrocardiographic Classification using Deep Learning with Lead Switching. - Tomoharu Iwata; Ryo Nishikimi; Ryohei Shibue; Masahiro Nakano; Kunio Kashino; Hitonobu Tomoike (EMBC, 2024)

Sunflower Strategy for Bayesian Relational Data Analysis. - Masahiro Nakano; Ryohei Shibue; Kunio Kashino (ICASSP, 2024)

Efficient Algorithm for K-Multiple-Means. - Yasuhiro Fujiwara; Atsutoshi Kumagai; Yasutoshi Ida; Masahiro Nakano; Makoto Nakatsuji; Akisato Kimura (Proc. ACM Manag. Data, 2024)

Hyperbolic PHATE: Visualizing Continuous Hierarchy of Latent Differentiation Structures. - Masahiro Nakano; Hiroki Sakuma; Ryo Nishikimi; Kenji Komiya; Tomoharu Iwata; Kunio Kashino (ICASSP, 2025)