| 発行日 | タイトル |
著者 |
|---|
| 26-Feb-2024 | Proceedings of the 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC), 2023 | Escobar, Santiago; Otmani, Ayoub; Akleylek, Sedat; Ogata, Kazuhiro |
| 2015 | Process Acceleration in the Iterated Learning Model with String Clipping | Matoba, Ryuichi; Sudo, Hiroki; Nakamura, Makoto; Hagiwara, Shingo; Tojo, Satoshi |
| 26-Sep-2003 | Process Model Combining the Artifact Process with Communication Path | Zhou, Yi; Ochimizu, Koichiro |
| 2016 | Production of Emotion-based Behaviors for a Human-like Computer Player | Temsiririrkkul, Sila; Luong, Huu Phuc; Ikeda, Kokolo |
| Aug-2013 | Production of Various Strategies and Position Control for Monte-Carlo Go - Entertaining human players | Ikeda, Kokolo; Viennot, Simon |
| 1-May-2010 | Program Transformation Templates for Tupling Based on Term Rewriting | Chiba, Yuki; Aoto, Takahito; Toyama, Yoshihito |
| 20-Feb-1998 | A proof of the conjecture of zantema on a persistent property of term rewriting systems | Aoto, Takahito |
| 2010 | Proof Score Approach to Analysis of Electronic Commerce Protocols | Ogata, Kazuhiro; Futatsugi, Kokichi |
| 1-Dec-2008 | Proof Score Approach to Verification of Liveness Properties | OGATA, Kazuhiro; FUTATSUGI, Kokichi |
| 4-Aug-1999 | Proof-theoretic analysis of termination proofs by recursive path ordering | Ishii, Katsumasa |
| 21-Jul-2018 | The proof-theoretic strength of Ramsey's theorem for pairs and two colors | Patey, Ludovic; Yokoyama, Keita |
| 12-Nov-2013 | Propagation of partial randomness | Higuchi, Kojiro; Hudelson, W. M. Phillip; Simpson, Stephen G.; Yokoyama, Keita |
| 4-Nov-1997 | Propositional calculus with identity | Ishii, Tadao |
| Jul-2013 | ProRATE: Obtaining the potential throughput from the system view in two-way relay networks | Zhu, Lingyun; Wang, Hai; Wang, Xin; Zhu, Yu; Lim, Azman Osman |
| Apr-2008 | Protection and Recovery of Disk Encryption Key Using Smart Cards | Omote, Kazumasa; Kato, Kazuhiko |
| 2014 | A Provable Secure Batch Authentication Scheme for EPCGen2 Tags | Chen, Jiageng; Miyaji, Atsuko; Su, Chunhua |
| Aug-2002 | Provably Secure Multi-signature Scheme with Signers' Intentions | Kawauchi, Kei; Minato, Hiroshi; Miyaji, Atsuko; Tada, Mitsuru |
| 24-Jul-2002 | Providing a framework for conflict resolution | Schroeter, Kirsten; Sung, Shao Chin |
| 2005 | Proving Properties of Incremental Merkle Trees | Ogawa, Mizuhito; Horita, Eiichi; Ono, Satoshi |
| Jan-2004 | Pseudo approximation algorithms with applications to optimal motion planning | Asano, Tetsuo; Kirkpatrick, David; Yap, Chee |
| 23-Sep-2008 | Psychoacoustically-motivated adaptive β-order generalized spectral subtraction based on data-driven optimization | Li, Junfeng; Jiang, Hui; Akagi, Masato |
