Equational axiomatization of call-by-name delimited control. - Yukiyoshi Kameyama; Asami Tanaka (PPDP, 2010)

Mapping of the 3D Objects Using Computer Generated Hologram SOM. - Hiroshi Dozono; Asami Tanaka; Shinya Nishijima; Hiroshi Tsukizi; Masanori Nakakuni (WSOM, 2011)

A Call-by-Name CPS Hierarchy. - Asami Tanaka; Yukiyoshi Kameyama (FLOPS, 2012)

Shortening or Abolishing Shift Report as the Effect of ENR and EMR Implementation, and Its Side Effects. - Asami Tanaka; Anna Nakajima; Yuri Fukuju; Natsumi Mori; Mariko Shimoda; Yukio Kurihara (MIE, 2016)