No photo of Masaki Murakami

View Scopus Profile

Masaki Murakami

  • 37 Citations
  • 4 h-Index
1986 …2014

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

External positions

Faculty of Engineering

Fingerprint Dive into the research topics where Masaki Murakami is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Research Output

  • 37 Citations
  • 4 h-Index
  • 68 Article
  • 12 Conference contribution
  • 2 Conference article
  • 1 Chapter

Contextual transition system for π-calculus

Murakami, M. & Sasaki, T., Oct 7 2014, Proceedings of 2014 Science and Information Conference, SAI 2014. Institute of Electrical and Electronics Engineers Inc., p. 133-139 7 p. 6918181. (Proceedings of 2014 Science and Information Conference, SAI 2014).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • A graphical structure rewriting model for concurrent system with higher-order streaming communication

    Murakami, M., Dec 31 2013, 2013 3rd International Conference on Innovative Computing Technology, INTECH 2013. p. 526-531 6 p. 6653636. (2013 3rd International Conference on Innovative Computing Technology, INTECH 2013).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • Congruent bisimulation equivalence of ambient calculus based on contextual transition system

    Murakami, M., Oct 30 2013, Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013. p. 149-152 4 p. 6597891. (Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • 2 Citations (Scopus)

    An Application of Partial Evaluation of Communicating Processes to System Security

    Murakami, M., 2012, In : International Journal in Foundations of Computer Science & Technology. 2, 4, p. 15-27 13 p.

    Research output: Contribution to journal › Article

    Partial evaluation of communicating processes with temporal formulas and its application

    Murakami, M., Aug 24 2012, Advances in Computer Science, Engineering and Applications - Proceedings of the Second International Conference on Computer Science, Engineering and Applications, ICCSEA 2012. VOL. 1 ed. p. 901-909 9 p. (Advances in Intelligent and Soft Computing; vol. 166 AISC, no. VOL. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution