The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Masaki Murakami: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Masaki Murakami
    A Declarative Semantics of Parallel Logic Programs with Perpetual Processes. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:374-381 [Conf]
  2. Masaki Murakami
    Proving Partial Correctness of Guarded Horn Clauses Programs. [Citation Graph (0, 0)][DBLP]
    LP, 1987, pp:215-235 [Conf]
  3. Masaki Murakami
    A Runtime Transformation Method for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2003, pp:119-125 [Conf]
  4. Masaki Murakami
    A Calculus for Concurrent System with Higher-Order Streaming Communication. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2004, pp:90-96 [Conf]
  5. Masaki Murakami
    Scope Equivalence of Concurrent Systems Based on Bipartite Directed Acyclic Graph. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2005, pp:80-86 [Conf]
  6. Masaki Murakami
    A Model of Access Control for Data Materials Based on Ambient Calculus. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2006, pp:811-820 [Conf]
  7. Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami
    Nested Guarded Horn Clauses. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1990, v:1, n:3, pp:249-264 [Journal]
  8. Masaki Murakami
    A model of runtime transformation for distributed systems based on directed acyclic graph model. [Citation Graph (0, 0)][DBLP]
    Journal of Systems Architecture, 2004, v:50, n:7, pp:417-425 [Journal]
  9. Koichi Furukawa, Akira Okumura, Masaki Murakami
    Unfolding Rules for GHC Programs. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1988, v:6, n:2&3, pp:143-157 [Journal]
  10. Masaki Murakami
    A calculus for concurrent system with higher-order streaming communication. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:57, n:1, pp:61-72 [Journal]
  11. Masaki Murakami
    A formal model of concurrent systems based on bipartite directed acyclic graph. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:61, n:1, pp:38-47 [Journal]
  12. Masaki Murakami
    A Declarative Semantics of Flat Guarded Horn Clauses for Programs with Perpetual Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:1&2, pp:67-83 [Journal]

  13. Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model. [Citation Graph (, )][DBLP]


  14. Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs. [Citation Graph (, )][DBLP]


  15. A Graph Rewriting Model of Concurrent Programs with Higher-Order Communication. [Citation Graph (, )][DBLP]


  16. On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication. [Citation Graph (, )][DBLP]


Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002