Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2021/01/01 Vol. E104-DNo. 1pp. 121-125 Type of Manuscript: Special Section LETTER (Special Section on Empirical Software Engineering) Category: Keyword: developer's performance, code reading, mental simulation,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2007/10/01 Vol. E90-ANo. 10pp. 2290-2300 Type of Manuscript: PAPER Category: Reliability, Maintainability and Safety Analysis Keyword: software review, human factor, eye movement, experimental evaluation, system development,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2005/09/01 Vol. E88-DNo. 9pp. 2148-2158 Type of Manuscript: PAPER Category: Application Information Security Keyword: copyright protection, software protection, watermark, birthmark,
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2004/03/01 Vol. E87-BNo. 3pp. 429-436 Type of Manuscript: Special Section PAPER (Special Section on Internet Technology IV) Category: Implementation and Operation Keyword: IPv6, Linux, serialized data state processing,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2003/12/01 Vol. E86-DNo. 12pp. 2579-2587 Type of Manuscript: Special Section PAPER (Special Issue on Dependable Computing) Category: Dependable Communication Keyword: bounded model checking, SAT, feature interaction,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/10/25 Vol. E77-ANo. 10pp. 1634-1645 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications) Category: Keyword: protocol engineering, protocol synthesis, parallel execution of primitives,