Nishizawa Koki
(西澤 弘毅)
Modified on: 02/14
Profile Information
- Affiliation
- Associate Professor, Faculty of Engineering Department of Information Systems Creation, Kanagawa University
- Researcher number
- 60455433
- J-GLOBAL ID
- 200901004633370749
- researchmap Member ID
- 5000102428
Research Interests
8Research Areas
2Research History
9-
Oct, 2019 - Present
-
Apr, 2013 - Aug, 2013
-
Apr, 2012 - Mar, 2013
-
Apr, 2009 - Mar, 2013
-
Oct, 2008 - Mar, 2013
-
Aug, 2007 - Sep, 2008
-
Apr, 2007 - Jul, 2007
-
Apr, 2006 - Jul, 2007
-
Apr, 2003 - Mar, 2006
Education
3-
Apr, 2003 - Mar, 2006
-
Apr, 2001 - Mar, 2003
-
Apr, 1997 - Mar, 2001
Committee Memberships
1-
Apr, 2014 - Present
Awards
2-
Mar, 2008
-
Jun, 2007
Papers
25-
Lecture Notes in Computer Science, 12062 221-236, Apr, 2020 Peer-reviewed
-
Lecture Notes in Computer Science, 12062 237-252, Apr, 2020 Peer-reviewed
-
Lecture Notes in Computer Science, 11194 97-112, Nov, 2018 Peer-reviewed
-
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 84(3) 426-439, May, 2015 Peer-reviewed
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8428 261-276, 2014 Peer-reviewed
-
IEEE Global Engineering Education Conference, EDUCON, 520-525, 2013 Peer-reviewed
-
Bulletin of Tottori University of Environmental Studies, vol. 9 and 10 91-103, Mar, 2012 Peer-reviewed
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7560 207-218, 2012 Peer-reviewed
-
Relational and Algebraic Methods in Computer Science, LNCS 6663, Springer, 148-163, May, 2011 Peer-reviewed
-
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E93D(8) 2036-2039, Aug, 2010 Peer-reviewed
-
Computer Software, 27(3) 99-113, Aug, 2010 Peer-reviewed
-
Relations and Kleene Algebra in Computer Science, LNCS 5827, Springer, 276-290, Nov, 2009 Peer-reviewed
-
Bulletin of Informatics and Cybernetics, Kyushu University, 41 11-24, Sep, 2009 Peer-reviewed
-
Computer Software, 26(2) 147-156, May, 2009 Peer-reviewed
-
JOURNAL OF PURE AND APPLIED ALGEBRA, 213(3) 377-386, Mar, 2009 Peer-reviewed
-
Technical Report, Institut fur Informatik, Universitat Augsburg, 73-77, Apr, 2008
-
Relations and Kleene Algebra in Computer Science, LNCS 4998, Springer, 110-122, Apr, 2008 Peer-reviewed
-
Programming Science Technical Report, Research Center for Verification and Semantics, AIST, AIST-PS-2007-005 1-20, Apr, 2007
-
Electronic Notes in Theoretical Computer Science, 164(1) 177-194, Oct 20, 2006
-
Electronic Notes in Theoretical Computer Science, 164(1) 177-194, Oct 20, 2006
Books and Other Publications
1-
近代科学社, Jun, 2018
Professional Memberships
3Works
13-
Jan, 2012 Other
-
May, 2011 Other
-
Jan, 2011 Other
-
Dec, 2010 Other
-
Sep, 2008 Other
-
Mar, 2008 Other
-
Sep, 2007 Other
-
Sep, 2007 Other
-
Sep, 2006 Other
-
Feb, 2004 Other
-
Sep, 2003 Other
-
Sep, 2002 Other
Research Projects
6-
日本学術振興会科学研究費補助金 若手研究（B）, 日本学術振興会, Apr, 2012 - Mar, 2016
-
環境研究総合推進費補助金, 環境省, Apr, 2012 - Mar, 2014
-
循環型社会形成推進科学研究費補助金, 環境省, Apr, 2009 - Mar, 2012
-
日本学術振興会科学研究費補助金萌芽研究, Apr, 2008 - Mar, 2010
-
日本学術振興会科学研究費補助金 若手研究（B）, Apr, 2008 - Mar, 2010
-
平成19年度日本学術振興会科学研究費補助金特定領域研究, Aug, 2007 - Mar, 2008
Social Activities
5