Susumu Nishimura
(西村 進)
Modified on: 02/06
Papers
26
Entries per page
-
Leibniz International Proceedings in Informatics, LIPIcs, 95 22:1-22:16, Mar 1, 2018 Peer-reviewed
-
Leibniz International Proceedings in Informatics, LIPIcs, 23 578-596, Sep 1, 2013 Peer-reviewed
-
Information Processing Society of Japan Transactions on Programming (PRO), 2012(5(4)) 17-26, Sep, 2012 Peer-reviewed
-
PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 101-110, 2011 Peer-reviewed
-
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 6037 113-127, 2010 Peer-reviewed
-
JOURNAL OF FUNCTIONAL PROGRAMMING, 18 781-819, Sep, 2008 Peer-reviewed
-
MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 5133 284-304, 2008 Peer-reviewed
-
ACM SIGPLAN NOTICES, 41(9) 227-238, Sep, 2006 Peer-reviewed
-
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 4019 293-307, 2006 Peer-reviewed
-
SCIENCE OF COMPUTER PROGRAMMING, 54(2-3) 257-290, Feb, 2005 Peer-reviewed
-
Computer Software, 21(6) 494-498, Nov 25, 2004
-
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 101-112, 2004 Peer-reviewed
-
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2895 358-375, 2003 Peer-reviewed
-
Computer Software, 19(4) 289-295, 2002 Peer-reviewed
-
Electronic Notes in Theoretical Computer Science, 44(2) 187-211, Jun, 2001 Peer-reviewed
-
Computer Software, 18(2) 262-281, Mar, 2001 Peer-reviewed
-
Computer Software, 17(1) 19-20, Jan 17, 2000
-
International Journal of Foundations of Computer Science, 11(1) 29-63, 2000 Peer-reviewed
-
Journal of Functional Programming, 9(4) 427-462, 1999 Peer-reviewed
-
Conference Record of POPL'98 : The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,, 1998 Peer-reviewed
-
ADVANCES IN COMPUTING SCIENCE-ASIAN' 98, 1538 169-187, 1998 Peer-reviewed
-
Formal Aspects of Computingg, 1(9) 78-97, 1997 Peer-reviewed
-
ACM SIGPLAN NOTICES, 31(10) 1-17, Oct, 1996 Peer-reviewed
-
SCIENCE OF COMPUTER PROGRAMMING, 27(1) 1-35, Jul, 1996 Peer-reviewed
-
12(5) 487-501, Sep, 1995 Peer-reviewed
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 907 413-432, 1995 Peer-reviewed