Design and Evaluation of a Prolog Compiler. - Mitsuhiro Kishimoto; Tsuyoshi Shinogi; Yasunori Kimura; Akira Hattori (LP, 1985)

Multiple Reference Management in Flat GHC. - Takashi Chikayama; Yasunori Kimura (ICLP, 1987)

An Abstract KL1 Machine and Its Instruction Set. - Yasunori Kimura; Takashi Chikayama (SLP, 1987)

Macro-Call Instruction for the Efficient KL1 Implementation on PIM. - Tsuyoshi Shinogi; Kouichi Kumon; Akira Hattori; Atsuhiro Goto; Yasunori Kimura; Takashi Chikayama (FGCS, 1988)

Lazy Reference Counting: An Incremental Garbage Collection Method for Parallel Inference Machines. - Atsuhiro Goto; Yasunori Kimura; T. Nakagawa; Takashi Chikayama (ICLP/SLP, 1988)

Evaluation of MRB Garbage Collection on Parallel Logic Programming Architectures. - Kenji Nishida; Yasunori Kimura; Akira Matsumoto; Atsuhiro Goto (ICLP, 1990)

Cache miss heuristics and preloading techniques for general-purpose programs. - Toshihiro Ozawa; Yasunori Kimura; Shin'ichiro Nishizaki (MICRO, 1995)

OpenJIT Frontend System: An Implementation of the Reflective JIT Compiler Frontend. - Hirotaka Ogawa; Satoshi Matsuoka; Fuyuhiko Maruyama; Yukihiko Sohda; Kouya Shimura; Yasunori Kimura (Reflection and Software Engineering, 1999)

A 2.5-GFLOPS, 6.5 million polygons per second, four-way VLIW geometry processor with SIMD instructions and a software bypass mechanism. - Hajime Kubosawa; Naoshi Higaki; Satoshi Ando; Hiromasa Takahashi; Yoshimi Asada; Hideaki Anbutsu; Tomio Sato; Masato Sakate; Atsuhiro Suga; Michihide Kimura; Hideo Miyake; Hiroshi Okano; et al. (IEEE J. Solid State Circuits, 1999)

OpenJIT: An Open-Ended, Reflective JIT Compiler Framework for Java. - Hirotaka Ogawa; Kouya Shimura; Satoshi Matsuoka; Fuyuhiko Maruyama; Yukihiko Sohda; Yasunori Kimura (ECOOP, 2000)

Building a design support tool for superscalar processors and its case studies. - Yasunori Kimura; Kouya Shimura; Haruko Nishimoto; Motoyuki Kawaba; Takeshi Eguchi (Syst. Comput. Jpn., 2001)

Reverse Tracer: A Software Tool for Generating Realistic Performance Test Programs. - Mariko Sakamoto; Larry Brisson; Akira Katsuno; Aiichiro Inoue; Yasunori Kimura (HPCA, 2002)

Microarchitecture and Performance Analysis of a SPARC-V9 Microprocessor for Enterprise Server Systems. - Mariko Sakamoto; Akira Katsuno; Aiichiro Inoue; Takeo Asakawa; Haruhiko Ueno; Kuniki Morita; Yasunori Kimura (HPCA, 2003)

Performance prediction of large-scale parallell system and application using macro-level simulation. - Ryutaro Susukita; Hisashige Ando; Mutsumi Aoyagi; Hiroaki Honda; Yuichi Inadomi; Koji Inoue; Shigeru Ishizuki; Yasunori Kimura; Hidemi Komatsu; Motoyoshi Kurokawa; Kazuaki J. Murakami; Hidetomo Shibamura; et al. (SC, 2008)

Shrinking Projection Method for a Family of Quasinonexpansive Mappings with a Sequence of Subsets of an Index Set. - Yasunori Kimura (NL-MUA, 2011)

Strong convergence theorems for strongly nonexpansive sequences. - Koji Aoyama; Yasunori Kimura (Appl. Math. Comput., 2011)

Viscosity approximations by the shrinking projection method in Hilbert spaces. - Yasunori Kimura; Kazuhide Nakajo (Comput. Math. Appl., 2012)

Strong Convergence to a Solution of a Variational Inequality Problem in Banach Spaces. - Yasunori Kimura; Kazuhide Nakajo (J. Appl. Math., 2014)

A shrinking projection method for nonexpansive mappings with nonsummable errors in a Hadamard space. - Yasunori Kimura (Ann. Oper. Res., 2016)

Iterative Sequences for a Finite Number of Resolvent Operators on Complete Geodesic Spaces. - Kengo Kasahara; Yasunori Kimura (Axioms, 2021)

Asymptotic Behavior of Resolvents of a Convergent Sequence of Convex Functions on Complete Geodesic Spaces. - Yasunori Kimura; Keisuke Shindo (Axioms, 2022)

Common Fixed-Point Theorem and Projection Method on a Hadamard Space. - Yasunori Kimura (Symmetry, 2024)