Simulation analysis of two adjacent traffic signals. - Kiyoshi Yamada; Tenny N. Lam (WSC, 1985)

Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances. - Takuo Watanabe; Kiyoshi Yamada; Naoyuki Nagatou (WSTFES, 2003)

Specifying context-aware runtime security policies using an algebraic policy specification language. - Takuo Watanabe; Kiyoshi Yamada; Naoyuki Nagatou (IASTED Conf. on Software Engineering, 2004)

An Aspect-oriented Approach to Modular Behavioral Specification of Java Components. - Kiyoshi Yamada; Takuo Watanabe (IASTED Conf. on Software Engineering, 2005)

An Aspect-Oriented Approach to Modular Behavioral Specification. - Kiyoshi Yamada; Takuo Watanabe (ABMB, 2005)

Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS. - Reynald Affeldt; David Nowak; Kiyoshi Yamada (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Certifying assembly with formal security proofs: The case of BBS. - Reynald Affeldt; David Nowak; Kiyoshi Yamada (Sci. Comput. Program., 2012)