Susumu Nishimura

Publication Activity (10 Years)

Years Active: 1979-2023
Publications (10 Years): 5

Top Topics

Interacting Agents

Concurrency Control Protocols

Reasoning Process

Formal Analysis

Top Venues

Publications

Daisuke Nakai, Masaki Muramatsu, Susumu Nishimura
Partial Product Updates for Agents of Detectable Failure and Logical Obstruction to Task Solvability. CoRR (2023)
Susumu Nishimura
Proving Unsolvability of Set Agreement Task with Epistemic mu-Calculus. CoRR (2022)
Koki Yagi, Susumu Nishimura
Logical Obstruction to Set Agreement Tasks for Superset-Closed Adversaries. CoRR (2020)
Susumu Nishimura
Schlegel Diagram and Optimizable Immediate Snapshot Protocol. OPODIS (2017)
Susumu Nishimura
Schlegel Diagram and Optimizable Immediate Snapshot Protocol. CoRR (2017)
Susumu Nishimura
A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables. CSL (2013)
Keisuke Watanabe, Susumu Nishimura
May&Must-Equivalence of Shared Variable Parallel Programs in Game Semantics. Inf. Media Technol. 7 (4) (2012)
Yuta Ikeda, Susumu Nishimura
Calculating tree navigation with symmetric relational zipper. PEPM (2011)
Susumu Nishimura
Refining Exceptions in Four-Valued Logic. LOPSTR (2009)
Susumu Nishimura
Safe Modification of Pointer Programs in Refinement Calculus. MPC (2008)
Shin-ya Katsumata, Susumu Nishimura
Algebraic fusion of functions with an accumulating parameter and its improvement. J. Funct. Program. 18 (5-6) (2008)
Susumu Nishimura
Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic. AMAST (2006)
Shin-ya Katsumata, Susumu Nishimura
Algebraic fusion of functions with an accumulating parameter and its improvement. ICFP (2006)
Susumu Nishimura, Keisuke Nakano
XML stream transformer generation through program composition and dependency analysis. Sci. Comput. Program. 54 (2-3) (2005)
Susumu Nishimura
Fusion with stacks and accumulating parameters. PEPM (2004)
Susumu Nishimura
Correctness of a Higher-Order Removal Transformation through a Relational Reasoning. APLAS (2003)
Susumu Nishimura
Deforesting in Accumulating Parameters via Type-Directed Transformations. APLAS (2002)
Keisuke Nakano, Susumu Nishimura
Deriving Event-Based Document Transformers from Tree-Based Specifications. Electron. Notes Theor. Comput. Sci. 44 (2) (2001)
Martin Müller, Susumu Nishimura
Type Inference for First-Class Messages with Feature Constraints. Int. J. Found. Comput. Sci. 11 (1) (2000)
Susumu Nishimura, Atsushi Ohori
Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion. J. Funct. Program. 9 (4) (1999)
Susumu Nishimura
Static Typing for Dynamic Messages. POPL (1998)
Martin Müller, Susumu Nishimura
Type Inference for First-Class Messages with Feature Constraints. ASIAN (1998)
Susumu Nishimura
A Strict Functional Language with Cyclic Recursive Data. Formal Aspects Comput. 9 (1) (1997)
Susumu Nishimura
Integrating Different Versions of Programs with Backward and Forward Slicesa. Sci. Comput. Program. 27 (1) (1996)
Susumu Nishimura, Atsushi Ohori, Keishi Tajima
An Equational Object-Oriented Data Model and its Data-Parallel Query Language. OOPSLA (1996)
Susumu Nishimura, Atsushi Ohori
A Calculus for Exploiting Data Parallelism on Recursively Defined Data. Theory and Practice of Parallel Programming (1994)
Hiroaki Kasai, Nobuko Shindo-Okada, Shigeru Noguchi, Susumu Nishimura
Specific fluorescent labeling of 7-(aminomethyl)-7-deazaguanosine located in the anticodon of tRNATyr isolated from E. coli mutant. Nucleic Acids Res. 7 (1) (1979)