Implementation of Temporal Logic Programming Language Tokio. - Shinji Kono; T. Aoyagi; Masahiro Fujita; Hidehiko Tanaka (LP, 1985)

Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog. - Masahiro Fujita; Shinji Kono; Hidehiko Tanaka; Tohru Moto-Oka (ICLP, 1986)

Logic Design Assistence Using Temporal Logic Based Language Tokio. - Hiroshi Nakamura; Masaya Nakai; Shinji Kono; Masahiro Fujita; Hidehiko Tanaka (LP, 1989)

Synthesis of Controllers from Interval Temporal Logic Specification. - Masahiro Fujita; Shinji Kono (ICCD, 1993)

A Combination of Clausal and Non Clausal Temporal Logic Programs. - Shinji Kono (Executable Modal and Temporal Logics, 1993)

Implementing Continuation based language in GCC - Shinji Kono; Kento Yogi (CoRR, 2011)

Composing Word Embeddings for Compound Words Using Linguistic Knowledge. - Kanako Komiya; Shinji Kono; Takumi Seitou; Teruo Hirabayashi (ACM Trans. Asian Low Resour. Lang. Inf. Process., 2023)