Specific fluorescent labeling of 7-(aminomethyl)-7-deazaguanosine located in the anticodon of tRNATyr isolated from E. coli mutant. - Hiroaki Kasai; Nobuko Shindo-Okada; Shigeru Noguchi; Susumu Nishimura (Nucleic Acids Res., 1979)

A Calculus for Exploiting Data Parallelism on Recursively Defined Data. - Susumu Nishimura; Atsushi Ohori (Theory and Practice of Parallel Programming, 1994)

An Equational Object-Oriented Data Model and its Data-Parallel Query Language. - Susumu Nishimura; Atsushi Ohori; Keishi Tajima (OOPSLA, 1996)

Integrating Different Versions of Programs with Backward and Forward Slicesa. - Susumu Nishimura (Sci. Comput. Program., 1996)

A Strict Functional Language with Cyclic Recursive Data. - Susumu Nishimura (Formal Aspects Comput., 1997)

Static Typing for Dynamic Messages. - Susumu Nishimura (POPL, 1998)

Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion. - Susumu Nishimura; Atsushi Ohori (J. Funct. Program., 1999)

Type Inference for First-Class Messages with Feature Constraints. - Martin Müller; Susumu Nishimura (Int. J. Found. Comput. Sci., 2000)

Deriving Event-Based Document Transformers from Tree-Based Specifications. - Keisuke Nakano 001; Susumu Nishimura (LDTA@ETAPS, 2001)

Deforesting in Accumulating Parameters via Type-Directed Transformations. - Susumu Nishimura (APLAS, 2002)

Correctness of a Higher-Order Removal Transformation through a Relational Reasoning. - Susumu Nishimura (APLAS, 2003)

Fusion with stacks and accumulating parameters. - Susumu Nishimura (PEPM, 2004)

XML stream transformer generation through program composition and dependency analysis. - Susumu Nishimura; Keisuke Nakano 001 (Sci. Comput. Program., 2005)

Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic. - Susumu Nishimura (AMAST, 2006)

Safe Modification of Pointer Programs in Refinement Calculus. - Susumu Nishimura (MPC, 2008)

Algebraic fusion of functions with an accumulating parameter and its improvement. - Shin-ya Katsumata; Susumu Nishimura (J. Funct. Program., 2008)

Refining Exceptions in Four-Valued Logic. - Susumu Nishimura (LOPSTR, 2009)

Calculating tree navigation with symmetric relational zipper. - Yuta Ikeda; Susumu Nishimura (PEPM, 2011)

May&Must-Equivalence of Shared Variable Parallel Programs in Game Semantics. - Keisuke Watanabe; Susumu Nishimura (Inf. Media Technol., 2012)

A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables. - Susumu Nishimura (CSL, 2013)

Schlegel Diagram and Optimizable Immediate Snapshot Protocol. - Susumu Nishimura (OPODIS, 2017)

Logical Obstruction to Set Agreement Tasks for Superset-Closed Adversaries. - Koki Yagi; Susumu Nishimura (CoRR, 2020)

Proving Unsolvability of Set Agreement Task with Epistemic mu-Calculus. - Susumu Nishimura (CoRR, 2022)

Partial Product Updates for Agents of Detectable Failure and Logical Obstruction to Task Solvability. - Daisuke Nakai; Masaki Muramatsu; Susumu Nishimura (CoRR, 2023)

Defining logical obstruction with fixpoints in epistemic logic. - Susumu Nishimura (J. Appl. Comput. Topol., 2024)