Rchr
J-GLOBAL ID：202101001396212676
Update date: Jan. 30, 2024
Murakami Masaki
Murakami Masaki
Affiliation and department：
Job title：
Professor
Research theme for competitive and other funds (5)：
- 2016 - 2018 プログラム変換を用いたソフトウェアセキュリティの改善手法についての研究
- 2012 - 2015 Study on the theory of concurrent systems with code streaming
- 2000 - 2003 Research Project for A Theory of Mobile Concurrent Computations
- 1998 - 1998 並行システムの実行時プログラム変換の形式化についての研究
- 1995 - 1997 Study on Parallelization Method for Sequential Processes Using Partial Evaluation
Papers (29)：
-
Masaki Murakami, Takami Sasaki. Contextual transition system for π-calculus. Proceedings of 2014 Science and Information Conference, SAI 2014. 2014. 133-139
-
Masaki Murakami. A graphical structure rewriting model for concurrent system with higher-order streaming communication. 2013 3rd International Conference on Innovative Computing Technology, INTECH 2013. 2013. 526-531
-
Masaki Murakami. Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System. Seventh International Symposium on Theoretical Aspects of Software Engineering(TASE). 2013. 149-152
-
Masaki Murakami. Partial evaluation of communicating processes with temporal formulas and its application. Advances in Intelligent and Soft Computing. 2012. 166 AISC. VOL. 1. 901-909
-
Masaki Murakami. A model of higher-order concurrent programs based on graph rewriting. Emerging Topics on Differential Geometry and Graph Theory. 2011. 373-394
ｍore...
Professional career (1)：
- Doctor of Engineering (Nagoya University)
Return to Previous Page
