Kawabe Yoshinobu | Ntt Communication Science Laboratories Ntt Corporation

スポンサーリンク

概要

• KAWABE Yoshinobuの詳細を見る
• 同名の論文著者
• Ntt Communication Science Laboratories Ntt Corporationの論文著者

関連著者

• Kawabe Yoshinobu

  Ntt Communication Science Laboratories Ntt Corporation

• Kawabe Yoshinobu

  Ntt Corp. Atsugi‐shi Jpn

• Mano Ken

  NTT Communication Science Labs.

• Mano Ken

  Ntt Communication Science Laboratories

• Sakurada Hideki

  Ntt Corp. Atsugi‐shi Jpn

• Sakurada Hideki

  Ntt Communication Science Laboratories Ntt Corporation

• Kawabe Yoshinobu

  Ntt Communication Science Labs.

• Kawabe Yoshinobu

  Ntt Communication Science Labs

• Kogure Kiyoshi

  Ntt Communication Science Laboratories Ntt Corporation

• ISHII Naohiro

  Department of Intelligence and Computer Science, Nagoya Institute of Technology

• Ishii Naohiro

  Department Of Intelligence And Computer Science Nagoya Institute Of Technology

• Mano Ken

  Ntt Communication Science Laboratories Ntt Corporation

• HORITA Eiichi

  NTT Information Sharing Platform Laboratories, NTT Corporation

• TSUKADA Yasuyuki

  NTT Communication Science Laboratories, NTT Corporation

• Tsukada Yasuyuki

  Ntt Communication Science Laboratories Ntt Corporation

• Horita Eiichi

  Ntt Information Sharing Platform Laboratories Ntt Corporation

• Mano Ken

  Ntt Corp. Atsugi‐shi Jpn

• Ishii Naohiro

  Department Of Electrical Engineering And Computer Science Nagoya Institute Of Technology

もっと見る 閉じる

著作論文

• Termination of Order-Sorted Rewriting with Non-minimal Signatures
• Name Creation Implements Restriction in the π-Calculus
• On Backward-Style Anonymity Verification
• An Adversary Model for Simulation-Based Anonymity Proof
• Verifying Trace Equivalence of a Shared-Memory-Style Communication System(Selected Papers from the 17th Workshop on Circuits and Systems in Karuizawa)
• Modularity of Confluence in Order-Sorted Term Rewriting Systems

スポンサーリンク