by Nagashima, Yutaka
Published in Tests and Proofs

by Nagashima, Yutaka
Published in Programming Languages and Systems

by Nagashima, Yutaka, He, Yilun
Published in 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2018)

by NAGASHIMA YUTAKA
Year of Publication 10.10.2019

by MIYAMOTO SATORU, SAKAI NOBUAKI, NAGASHIMA YUTAKA, KATO YUSUKE
Year of Publication 20.05.2024

by MIYAMOTO SATORU, SAKAI NOBUAKI, NAGASHIMA YUTAKA, KATO YUSUKE
Year of Publication 20.05.2024

by Nagashima, Yutaka, Parsert, Julian
Published in Intelligent Computer Mathematics (2018)

by TACHIKAWA YOSHITAKA, NAGASHIMA YUTAKA, OTA SOSHI, IZAWA KEI
Year of Publication 09.02.2023

by Nagashima, Yutaka
Published in arXiv.org (19.01.2023)

by NAGASHIMA YUTAKA, SHIMADA KIMISATO, MASUDA NORIHIRO
Year of Publication 31.08.2020

by Nagashima, Yutaka
Published in arXiv.org (20.05.2022)

by TANAKA KEIZO, NAGASHIMA YUTAKA, SHIMIZU SEIGO, YAMADA SHUNSUKE
Year of Publication 15.04.2021

by Kusumoto, Tetsuo, Saito, Yoshitaka, Nagashima, Yutaka, Negishi, Makoto, Takehara, Sadao, Iwashita, Yoshinori, Takeuchi, Kiyofumi, Takatsu, Haruyoshi, Pithart, Corneria, Frings, Rainer, Lachowicz, Artur, Grahe, Gerwald
Published in Molecular crystals and liquid crystals (Philadelphia, Pa. : 2003) (01.01.2004)

by Nagashima, Yutaka
Published in arXiv.org (09.05.2021)

by TANAKA KEIZO, NAGASHIMA YUTAKA, SHIMIZU SEIGO, YAMADA SHUNSUKE
Year of Publication 20.05.2020

by Nagashima, Yutaka
Published in 2020 Formal Methods in Computer Aided Design (FMCAD) (21.09.2020)

by Nagashima, Yutaka
Published in arXiv.org (26.05.2020)

by Nagashima, Yutaka
Published in arXiv.org (25.05.2020)

by Nagashima, Yutaka
Published in arXiv.org (24.05.2020)

by KURISAWA Kazuki, IWASHITA Yoshinori, NAGASHIMA Yutaka
Year of Publication 16.11.2017