Susumu Nishimura

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