A Verification Method for LOTOS Specifications and its Application. - Norio Shiratori; Hiroaki Kaminaga; Kaoru Takahashi; Shoichi Noguchi (PSTV, 1989)

An equivalence in lotos and its decision method. - Hiroaki Kaminaga; Kaoru Takahashi; Norio Shiratori; Shoichi Noguchi (Syst. Comput. Jpn., 1991)

A flexible protocol synthesis method for adopting requirement changes. - Bhed Bahadur Bista; Kaoru Takahashi; Hiroaki Kaminaga; Norio Shiratori (ICPADS, 1996)

Automatic modification of a protocol specification based on changes of a service specification. - Kentaro Go; Kaoru Takahashi; Hiroaki Kaminaga; Norio Shiratori (ICPADS, 1996)

A Visual Bookmark Sharing System Considering Retrieval Scenes and Its Evaluations. - Shoichi Nakamura; Hirokazu Shirai; Hiroaki Kaminaga; Youzou Miyadera (AINA, 2007)

Algorithms for Extracting Topic across Different Types of Documents. - Shoichi Nakamura; Saori Chiba; Hirokazu Shirai; Hiroaki Kaminaga; Setsuo Yokoyama; Youzou Miyadera (KES (2), 2009)

A system for management of research resources focusing on grasping the polish processes. - Hiroyuki Anzai; Hiroaki Kaminaga; Yasuhiko Morimoto; Setsuo Yokoyama; Youzou Miyadera; Shoichi Nakamura (ICITST, 2012)

Visualization of Web exploration streams and user's genuine intentions. - Takuya Matsumoto; Tatuya Yamazaki; Hiroaki Kaminaga; Youzou Miyadera; Shoichi Nakamura (ICITST, 2012)

Visual support system for semi-automatic generation of spadework of academic paper from presentation slides. - Yusuke Morita; Hiroyuki Anzai; Hiroaki Kaminaga; Youzou Miyadera; Shoichi Nakamura (ICITST, 2012)

Innovative extracting and integrating the potential and subjectively formed context-information. - Hiroki Nakayama; Hiroaki Kaminaga; Youzou Miyadera; Shoichi Nakamura (ICITST, 2012)

Extraction methods of e-mail discussion processes considering diversity of description granularity and their complicated relationships. - Hiroki Nakayama; Ryo Onuma; Hiroaki Kaminaga; Youzou Miyadera; Setsuo Yokoyama; Shoichi Nakamura (ICITST, 2013)

Methods for strategic accumulation of context information in research activities. - Ryo Onuma; Hiroki Nakayama; Hiroaki Kaminaga; Yasuhiko Morimoto; Youzou Miyadera; Shoichi Nakamura (ICITST, 2013)

A Method for Detecting Bad Smells and ITS Application to Software Engineering Education. - Yuki Ito; Atsuo Hazeyama; Yasuhiko Morimoto; Hiroaki Kaminaga; Shoichi Nakamura; Youzou Miyadera (IIAI-AAI, 2014)

Graph Grammar for the Research Information Collection Method According to Research Activities. - Youzou Miyadera; Chiaki Murakami; Koichi Anada; Yasuhiko Morimoto; Shoichi Nakamura; Hiroaki Kaminaga; Takeo Yaku (CIT/IUCC/DASC/PICom, 2015)

A Method for Extracting the Search Contexts in Collaborative Exploration. - Hiroki Nakayama; Ryo Onuma; Hiroaki Kaminaga; Youzou Miyadera; Shoichi Nakamura (DSDIS, 2015)

Hybrid Analysis of Audience Gaze and Slide Construction to Obtain the Clues for Improving Presentations. - Tomohiro Funayama; Hiroki Nakayama; Ryo Onuma; Hiroaki Kaminaga; Youzou Miyadera; Shoichi Nakamura (SCSE, 2015)

Strategic Accumulation and Organization of the Polish Contexts in Research Document Creation. - Ryo Onuma; Hiroki Nakayama; Shuhei Abe; Hiroaki Kaminaga; Youzou Miyadera; Shoichi Nakamura (SCSE, 2015)

Methods for supporting the understanding of differences between search intentions and actual browsing situations in collaborative exploration. - Hiroki Nakayama; Ryo Onuma; Hayato Takagi; Hiroaki Kaminaga; Youzou Miyadera; Shoichi Nakamura (ICDIM, 2016)

Gaze network extraction from bookmarks in accordance with search intentions. - Takashi Amano; Ryo Onuma; Hiroki Nakayama; Hiroaki Kaminaga; Youzou Miyadera; Shoichi Nakamura (ICITST, 2016)

Dynamically visualizing the relationships between Web pages depending on user's search viewpoints. - Daisuke Arakawa; Hiroki Nakayama; Ryo Onuma; Hiroaki Kaminaga; Youzou Miyadera; Shoichi Nakamura (ICITST, 2016)

Learning History Transition Graphs for understanding the programming learning situations. - Hiroki Nakayama; Shoichi Nakamura; Kaname Nozaki; Yasuhiko Morimoto; Hiroaki Kaminaga; Youzou Miyadera (ICITST, 2016)

Estimation of the Error Factors in Programming Exercises Based on Dynamic Revisions of Case-Bases. - Hiroki Nakayama; Kodai Yamamoto; Katsunori Ogane; Hiroaki Kaminaga; Shoichi Nakamura; Youzou Miyadera (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld, 2016)

Visualization of Change of Human Relationships on the Web based on Analysis of Term Appearance in Pages. - Hikaru Fujisawa; Ryo Onuma; Hiroki Nakayama; Hiroaki Kaminaga; Youzou Miyadera; Shoichi Nakamura (CIIS, 2019)

A System for Cultivating Exploration Skills by Presenting Clues Based on the Analysis of Page Selection Behaviors. - Yota Kawawa; Ryo Onuma; Hiroki Nakayama; Hiroaki Kaminaga; Youzou Miyadera; Shoichi Nakamura (CIIS, 2019)

System for Visually Organizing Documents and Histories Involved with Research Work aimed at Sustainably Cultivating Learning Strategies. - Shoichi Nakamura; Ryo Onuma; Hiroki Nakayama; Tsubasa Shimoyama; Hiroaki Kaminaga; Youzou Miyadera (ICETC, 2019)

A Strategy for Cultivating Practical Exploration Skills by Suggesting the Clues based on the Analysis of Novices' Unaware Intentions. - Ryo Onuma; Yota Kawawa; Hiroki Nakayama; Hiroaki Kaminaga; Youzou Miyadera; Shoichi Nakamura (ITHET, 2019)

Initial Evaluation of System for Visualizing Novices' Unaware Search Intentions by Analyzing Behaviors of Article Selection. - Ryo Onuma; Hiroki Nakayama; Yota Kawawa; Hiroaki Kaminaga; Youzou Miyadera; Shoichi Nakamura (TALE, 2020)

Estimation of Problematic Portions in Presentation Slides Based on Analysis of Audience's Unconscious Reactions and Slide Data. - Ko Saito; Ryo Onuma; Hiroki Nakayama; Hiroaki Kaminaga; Youzou Miyadera; Shoichi Nakamura (CSCI, 2021)

Discussion Visualization Based on Analysis of Comments to Web News. - Hiroki Wakabayashi; Hiroki Nakayama; Ryo Onuma; Hiroaki Kaminaga; Youzou Miyadera; Shoichi Nakamura (CSCI, 2021)

An Experiment on Dynamic Extraction of the Human Relationships on the Web Using Closeness Centrality. - Ayaka Ichikawa; Ryo Onuma; Hiroki Nakayama; Hiroaki Kaminaga; Youzou Miyadera; Shoichi Nakamura (CSCI, 2022)

A Framework for Promoting the Experience of Novices in Examining Articles that Alert Dangers of Disaster on Social Media. - Tomoki Ishii; Hiroki Nakayama; Ryo Onuma; Hiroaki Kaminaga; Youzou Miyadera; Shoichi Nakamura (CSCI, 2022)