Fingerprint Dive into the research topics where Department of Electronic Information Systems is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

  • Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Research Output

    Automatic verification of behavior of UML requirements specifications using model checking

    Matsuura, S., Ikeda, S. & Yokotae, K., 2020 Jan 1, MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F. & Selic, B. (eds.). SciTePress, p. 158-166 9 p. (MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • CALET on the International Space Station: The first three years of observations

    Brogi, P., Brogi, P., Adriani, O., Adriani, O., Akaike, Y., Akaike, Y., Asano, K., Asaoka, Y., Asaoka, Y., Bagliesi, M. G., Bagliesi, M. G., Berti, E., Berti, E., Bigongiari, G., Bigongiari, G., Binns, W. R., Bonechi, S., Bonechi, S., Bongi, M., Bongi, M. & 97 others, Bruno, A., Buckley, J. H., Cannady, N., Cannady, N., Castellini, G., Checchia, C., Checchia, C., Cherry, M. L., Collazuol, G., Collazuol, G., Di Felice, V., Di Felice, V., Ebisawa, K., Fuke, H., Guzik, T. G., Hams, T., Hams, T., Hibino, K., Ichimura, M., Ioka, K., Ishizaki, W., Israel, M. H., Kasahara, K., Kataoka, J., Kataoka, R., Katayose, Y., Kato, C., Kawanaka, N., Kawanaka, N., Kawakubo, Y., Kohri, K., Krawczynski, H. S., Krizmanic, J. F., Krizmanic, J. F., Link, J., Link, J., Maestro, P., Maestro, P., Marrocchesi, P. S., Marrocchesi, P. S., Messineo, A. M., Messineo, A. M., Mitchell, J. W., Miyake, S., Moiseev, A. A., Moiseev, A. A., Mori, M., Mori, N., Motz, H. M., Munakata, K., Murakami, H., Nakahira, S., Nishimura, J., De Nolfo, G. A., Okuno, S., Ormes, J. F., Ospina, N., Ospina, N., Ozawa, S., Pacini, L., Palma, F., Palma, F., Papini, P., Rauch, B. F., Ricciarini, S. B., Ricciarini, S. B., Sakai, K., Sakai, K., Sakamoto, T., Sasaki, M., Sasaki, M., Shimizu, Y., Shiomi, A., Sparvoli, R., Sparvoli, R., Spillantini, P., Stolzi, F., Stolzi, F., Sugita, S., Suh, J. E., Suh, J. E., Sulaj, A., Sulaj, A., Takahashi, I., Takita, M., Tamura, T., Terasawa, T., Torii, S., Torii, S., Tsunesada, Y., Uchihori, Y., Vannuccini, E., Wefel, J. P., Yamaoka, K., Yanagita, S., Yoshida, A. & Yoshida, K., 2020 Jul, In : Physica Scripta. 95, 7, 074012.

    Research output: Contribution to journalArticle

  • CALET results after three years on the International Space Station

    Asaoka, Y., Adriani, O., Akaike, Y., Asano, K., Bagliesi, M. G., Berti, E., Bigongiari, G., Binns, W. R., Bonechi, S., Bongi, M., Bruno, A., Buckley, J. H., Cannady, N., Castellini, G., Checchia, C., Cherry, M. L., Collazuol, G., Di Felice, V., Ebisawa, K., Fuke, H. & 65 others, Guzik, T. G., Hams, T., Hibino, K., Ichimura, M., Ioka, K., Ishizaki, W., Israel, M. H., Kasahara, K., Kataoka, J., Kataoka, R., Katayose, Y., Kato, C., Kawanaka, N., Kawakubo, Y., Kohri, K., Krawczynski, H. S., Krizmanic, J. F., Link, J., Maestro, P., Marrocchesi, P. S., Messineo, A. M., Mitchell, J. W., Miyake, S., Moiseev, A. A., Mori, M., Mori, N., Motz, H. M., Munakata, K., Nakahira, S., Nishimura, J., De Nolfo, G. A., Okuno, S., Opsina, N., Ormes, J. F., Ozawa, S., Pacini, L., Palma, F., Pal'Shin, V., Papini, P., Rauch, B. F., Ricciarini, S. B., Sakai, K., Sakamoto, T., Sasaki, M., Shimizu, Y., Shiomi, A., Sparvoli, R., Spillantini, P., Stolzi, F., Sugita, S., Suh, J. E., Sulaj, A., Takahashi, I., Takita, M., Tamura, T., Terasawa, T., Torii, S., Tsunesada, Y., Uchihori, Y., Vannuccini, E., Wefel, J. P., Yamaoka, K., Yanagita, S., Yoshida, A. & Yoshida, K., 2020 Mar 20, In : Journal of Physics: Conference Series. 1468, 1, 012074.

    Research output: Contribution to journalConference article

    Open Access