`Travelled to:`

1 × Portugal

2 × Italy

4 × USA

`Collaborated with:`

∅ Y.Ikeda S.Katsumata K.Nakano A.Ohori K.Tajima

`Talks about:`

parallel (2) paramet (2) accumul (2) fusion (2) tree (2) data (2) base (2) transform (1) synchron (1) function (1)

## Person: Susumu Nishimura

### DBLP: Nishimura:Susumu

### Contributed to:

### Wrote 8 papers:

- CSL-2013-Nishimura #game studies #parallel #semantics
- A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables (SN), pp. 578–596.
- PEPM-2011-IkedaN #navigation #relational #symmetry
- Calculating tree navigation with symmetric relational zipper (YI, SN), pp. 101–110.
- LOPSTR-2009-Nishimura #exception #logic
- Refining Exceptions in Four-Valued Logic (SN), pp. 113–127.
- ICFP-2006-KatsumataN #algebra #parametricity
- Algebraic fusion of functions with an accumulating parameter and its improvement (SyK, SN), pp. 227–238.
- PEPM-2004-Nishimura #parametricity
- Fusion with stacks and accumulating parameters (SN), pp. 101–112.
- LDTA-2001-NakanoN #documentation #specification
- Deriving Event-Based Document Transformers from Tree-Based Specifications (KN, SN), pp. 181–205.
- POPL-1998-Nishimura #static typing #type system
- Static Typing for Dynamic Messages (SN), pp. 266–278.
- OOPSLA-1996-NishimuraOT #equation #object-oriented #query
- An Equational Object-Oriented Data Model and its Data-Parallel Query Language (SN, AO, KT), pp. 1–17.