| 発行日 | タイトル |
著者 |
|---|
| 2015 | A privacy-preserving efficient RFID authentication protocol from SLPN assumption | Islam Mamun, Mohammad Saiful; Miyaji, Atsuko |
| Mar-2012 | Privacy-preserving Set Operations in the Presence of Rational Parties | Miyaji, Atsuko; Rahman, Mohammad Shahriar |
| Jul-2013 | Private Multiparty Set Intersection Protocol in Rational Model | Emura, Keita; Miyaji, Atsuko; Rahman, Mohammad Shahriar |
| 16-Nov-2000 | Probabilistic analysis of directional-couple-based photonic switching | Jiang, X. H.; Horiguchi, S. |
| 17-Sep-2014 | A Probabilistic Approach to Control of Complex Systems and Its Application to Real-Time Pricing | Kobayashi, Koichi; Hiraishi, Kunihiko |
| 2012 | Probabilistic-constrained optimal control of a class of stochastic hybrid systems | Kobayashi, Koichi; Matou, Koichiro; Hiraishi, Kunihiko |
| 4-Nov-2019 | Procedural Content Generation of Rhythm Games Using Deep Learning Methods | Liang, Yubin; Li, Wanxiang; Ikeda, Kokolo |
| 15-Jun-2000 | A procedure for competitive fair division | Sung, Shao Chin; Vlach, Milan |
| 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 |
