Mamoru Fujii - RankMe

13 papers A* 1A 1Journal 9Unranked 1

Year	Rank	Type	Title / Venue / Authors
1996	A	`conf`	A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs. ICDCS Masahiro Higuchi, Junko Sano, Keigo Hara, Mamoru Fujii
1994	—	`conf`	A method for verifying liveness of protocols modeled as a class of ECFSM. PSTV Masahiro Higuchi, S. Sugawa, Mamoru Fujii
1992	A*	`conf`	A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. CAV Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami
1991	—	`ch.`	An Algebraic Method For Verifying Progress Property of Communication Protocols. Software Science and Engineering Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori
1991	J	`jnl`	On Multiple Context-Free Grammars. Theor. Comput. Sci. Hiroyuki Seki, Takashi Matsumura, Mamoru Fujii, Tadao Kasami
1991	J	`jnl`	The generative power of multiple context-free grammars and head grammars. Syst. Comput. Jpn. Takashi Matsumura, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami
1989	J	`jnl`	Generalized context-free grammars and multiple context-free grammars. Syst. Comput. Jpn. Tadao Kasami, Hiroyuki Seki, Mamoru Fujii
1989	J	`jnl`	Membership problem for head languages and multiple context-free languages. Syst. Comput. Jpn. Tadao Kasami, Hiroyuki Seki, Mamoru Fujii
1989	J	`jnl`	Quantifying a design process based on experiments. J. Syst. Softw. Hideo Kudo, Yuji Sugiyama, Mamoru Fujii, Koji Torii
1989	J	`jnl`	Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol. Syst. Comput. Jpn. Teruo Higashino, Mamoru Fujii, Kenichi Taniguchi, Tadao Kasami, Masaaki Mori
1988	J	`jnl`	An attribute grammar with common attributes and its evaluator in prolog. Syst. Comput. Jpn. An Feng, Yuji Sugiyama, Mamoru Fujii, Koji Torii
1987	J	`jnl`	Logical Programming for the Telegram Analysis Problem. Comput. Lang. Koji Torii, Yuji Sugiyama, Mamoru Fujii, Tadao Kasami, Yoshitomi Morisawa
1987	J	`jnl`	Verification of progress property of algebraically specified communication protocols. Syst. Comput. Jpn. Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori