Susumu Nishimura
According to our database1,
Susumu Nishimura
authored at least 24 papers
between 1979 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Partial Product Updates for Agents of Detectable Failure and Logical Obstruction to Task Solvability.
CoRR, 2023
2022
2020
CoRR, 2020
2017
Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017
2013
A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables.
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013
2012
Inf. Media Technol., 2012
2011
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011
2009
Proceedings of the Logic-Based Program Synthesis and Transformation, 2009
2008
J. Funct. Program., 2008
Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008
2006
Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic.
Proceedings of the Algebraic Methodology and Software Technology, 2006
2005
XML stream transformer generation through program composition and dependency analysis.
Sci. Comput. Program., 2005
2004
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004
2003
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003
2002
Deforesting in Accumulating Parameters via Type-Directed Transformations.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002
2001
Proceedings of the First Workshop on Language Descriptions, Tools and Applications, 2001
2000
Int. J. Found. Comput. Sci., 2000
1999
Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion.
J. Funct. Program., 1999
1998
1997
Formal Aspects Comput., 1997
1996
Sci. Comput. Program., 1996
Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996
1994
Proceedings of the Theory and Practice of Parallel Programming, 1994
1979
Specific fluorescent labeling of 7-(aminomethyl)-7-deazaguanosine located in the anticodon of tRNATyr isolated from E. coli mutant.
Nucleic Acids Res., 1979