A Logic Programming Approach to Specifying Logics and Constructing Proofs. - Hajime Sawamura; Toshiro Minami; Kaoru Yocota; Kyoko Ohashi (ICLP, 1990)

Potential of General-Purpose Reasoning Assistant System EUODHILOS. - Hajime Sawamura; Toshiro Minami; Kaoru Yokota; Kyoko Ohashi (Software Science and Engineering, 1991)

EUODHILOS: A General Reasoning System for a Variety of Logics. - Hajime Sawamura; Toshiro Minami; Kyoko Ohashi (LPAR, 1992)

A pattern system for XML application development. - Kouji Yamamoto 002; Tadahiro Uehara; Akihiko Matsuo; Kyoko Ohashi; Junji Inomata; Tomotaka Matsuda; Rieko Yamamoto (IASTED Conf. on Software Engineering, 2004)

Development of a Business Process Modeling Methodology and a Tool for Sharing Business Processes. - Rieko Yamamoto; Kouji Yamamoto 002; Kyoko Ohashi; Junji Inomata (APSEC, 2005)

A means of establishing traceability based on a UML model in business application development. - Kyoko Ohashi; Hidetoshi Kurihara; Yuka Tanaka; Rieko Yamamoto (RE, 2011)

Childhood maltreatment is associated with alteration in global network fiber-tract architecture independent of history of depression and anxiety. - Kyoko Ohashi; Carl M. Anderson; Elizabeth A. Bolger; Alaptagin Khan; Cynthia E. McGreenery; Martin H. Teicher (NeuroImage, 2017)

A Quality Model and Its Quantitative Evaluation Method for Web APIs. - Rieko Yamamoto; Kyoko Ohashi; Masahiro Fukuyori; Kosaku Kimura; Atsuji Sekiguchi; Ryuichi Umekawa; Tadahiro Uehara; Mikio Aoyama (APSEC, 2018)

Focusing Requirements Elicitation by Using a UX Measurement Method. - Kyoko Ohashi; Asako Katayama; Naoki Hasegawa; Hidetoshi Kurihara; Rieko Yamamoto; Jörg Dörr; Dominik Pascal Magin (RE, 2018)

Interaction of a stereoscopic 3DCG image with motion parallax displayed in mid-air. - Mayumi Takasaki; Kyoko Ohashi; Shinji Mizuno (SIGGRAPH ASIA Posters, 2018)

Differential effects of childhood neglect and abuse during sensitive exposure periods on male and female hippocampus. - Martin H. Teicher; Carl M. Anderson; Kyoko Ohashi; Alaptagin Khan; Cynthia E. McGreenery; Elizabeth A. Bolger; Michael L. Rohan; Gordana D. Vitaliano (NeuroImage, 2018)

Towards Guidelines for Assessing Qualities of Machine Learning Systems. - Julien Siebert; Lisa Jöckel; Jens Heidrich; Koji Nakamichi; Kyoko Ohashi; Isao Namba; Rieko Yamamoto; Mikio Aoyama (QUATIC, 2020)

Requirements-Driven Method to Determine Quality Characteristics and Measurements for Machine Learning Software and Its Evaluation. - Koji Nakamichi; Kyoko Ohashi; Isao Namba; Rieko Yamamoto; Mikio Aoyama; Lisa Jöckel; Julien Siebert; Jens Heidrich (RE, 2020)

AI Ethics Impact Assessment based on Requirement Engineering. - Izumi Nitta; Kyoko Ohashi; Satoko Shiga; Sachiko Onodera (RE Workshops, 2022)

Construction of a quality model for machine learning systems. - Julien Siebert; Lisa Jöckel; Jens Heidrich; Adam Trendowicz; Koji Nakamichi; Kyoko Ohashi; Isao Namba; Rieko Yamamoto; Mikio Aoyama (Softw. Qual. J., 2022)

Toward a Trustworthy Artificial Intelligence System Considering Security, Ethics, and Quality. - Jun Yajima; Satoko Shiga; Kyoko Ohashi; Masaru Ide; Hiroshi Tanaka; Sachiko Onodera (PRDC, 2024)