Susumu Nishimura

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Defining logical obstruction with fixpoints in epistemic logic Journal of Applied and Computational Topology	2024-11-29	Paper
Schlegel diagram and optimizable immediate snapshot protocol (available as arXiv preprint)	2020-07-30	Paper
A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables	2017-02-02	Paper
Algebraic fusion of functions with an accumulating parameter and its improvement Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming	2015-08-03	Paper
Refining exceptions in four-valued logic Logic-Based Program Synthesis and Transformation	2010-05-04	Paper
Correctness of a higher-order removal transformation through a relational reasoning. Lecture Notes in Computer Science	2010-01-05	Paper
Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic Algebraic Methodology and Software Technology	2009-04-28	Paper
Algebraic fusion of functions with an accumulating parameter and its improvement Journal of Functional Programming	2008-12-18	Paper
Safe Modification of Pointer Programs in Refinement Calculus Lecture Notes in Computer Science	2008-08-28	Paper
XML stream transformer generation through program composition and dependency analysis Science of Computer Programming	2005-01-11	Paper
Parallel functional programming on recursively defined data via data-parallel recursion Journal of Functional Programming	2000-11-28	Paper
scientific article; zbMATH DE number 1377616 (Why is no real title available?)	1999-12-14	Paper
A strict functional language with cyclic recursive data Formal Aspects of Computing	1997-05-28	Paper
Integrating different versions of programs with backward and forward slices Science of Computer Programming	1996-11-10	Paper

Research outcomes over time

This page was built for person: Susumu Nishimura