Skip to content
cs-conference-ranking.org

Susumu Nishimura

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

9

Active years

1996–2017

Best venue rank

A*

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
2017OPODISSchlegel Diagram and Optimizable Immediate Snapshot Protocol.Susumu Nishimura
2013CSLA Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables.Susumu Nishimura
2011PEPMCalculating tree navigation with symmetric relational zipper.Yuta Ikeda, Susumu Nishimura
2009LOPSTRRefining Exceptions in Four-Valued Logic.Susumu Nishimura
2008MPCSafe Modification of Pointer Programs in Refinement Calculus.Susumu Nishimura
2006ICFPAlgebraic fusion of functions with an accumulating parameter and its improvement.Shin-ya Katsumata, Susumu Nishimura
2004PEPMFusion with stacks and accumulating parameters.Susumu Nishimura
2003APLASCorrectness of a Higher-Order Removal Transformation through a Relational Reasoning.Susumu Nishimura
2002APLASDeforesting in Accumulating Parameters via Type-Directed Transformations.Susumu Nishimura
1998POPLStatic Typing for Dynamic Messages.Susumu Nishimura
1996OOPSLAAn Equational Object-Oriented Data Model and its Data-Parallel Query Language.Susumu Nishimura, Atsushi Ohori, Keishi Tajima