Kawabe Yoshinobu | Ntt Corp. Atsugi‐shi Jpn
スポンサーリンク
概要
関連著者
-
Kawabe Yoshinobu
Ntt Corp. Atsugi‐shi Jpn
-
Kawabe Yoshinobu
Ntt Communication Science Laboratories Ntt Corporation
-
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)