| 発行日 | タイトル | 
著者 | 
| 2013  | Novel Strategies for Searching RC4 Key Collisions | Chen, Jiageng; Miyaji, Atsuko | 
| 1-Apr-2005  | Novel Techniques to Reduce Performance Sensitivity to Spatial Correlation and Timing Offset in Space-Time Coded MIMO Turbo Equalization | VESELINOVIC, Nenad; MATSUMOTO, Tadashi; SCHNEIDER, Christian | 
| 15-Jul-2012  | NP-completeness of generalized Kaboozle | Asano, Tetsuo; Demaine, Erik D.; Demaine, Martin L.; Uehara, Ryuhei | 
| 1-Nov-2006  | OFDM地上波ディジタルテレビ放送信号のFM変調による衛星伝送 | コイルー, アンワル; 原, 孝雄; 岡田, 実; 山本, 平一; ANWAR, Khoirul; HARA, Takao; OKADA, Minoru; YAMAMOTO, Heiichi | 
| Aug-2004  | On Anonymity Metrics for Practical Anonymous Communication Protocols | Kitazawa, Shigeki; Soshi, Masakazu; Miyaji, Atsuko | 
| 2012  | On bipartite powers of bigraphs | Okamoto, Yoshio; Otachi, Yota; Uehara, Ryuhei | 
| Oct-2007  | On Computing Longest Paths in Small Graph Classes | Uehara, Ryuhei; Uno, Yushi | 
| Sep-2005  | On constructing completions | Crosilla, Laura; Ishihara, Hajime; Schuster, Peter | 
| 1-May-2001  | On Detecting Digital Line Components in a Binary Image | ASANO, Tetsuo; OBOKATA, Koji; TOKUYAMA, Takeshi | 
| 2004  | On Geometric Structure of Global Roundings for Graphs and Range Spaces | Asano, Tetsuo; Katoh, Naoki; Tamaki, Hisao; Tokuyama, Takeshi | 
| 30-Jun-2016  | On principles between ∑1- and ∑2-induction,  and monotone enumerations | Kreuzer, Alexander P.; Yokoyama, Keita | 
| Apr-1994  | On Secure and Fast Elliptic Curve Cryptosystems over F_p | MIYAJI, Atsuko | 
| 14-Dec-2010  | On the complexity of reconfiguration problems | Ito, Takehiro; Demaine, Erik D.; Harvey, Nicholas J.A.; Papadimitriou, Christos H.; Sideri, Martha; Uehara, Ryuhei; Uno, Yushi | 
| 18-Sep-2010  | On the contrapositive of countable choice | Ishihara, Hajime; Schuster, Peter | 
| 22-Apr-2024  | On the Generality and Application of Mason’s Voting Theorem to Center of Mass Estimation for Pure Translational Motion | Gao, Ziyan; Elibol, Armagan; Chong, Nak Young | 
| 2007  | On the MMSE Criterion for Space-Time Coded Signaling in the Presence of Unknown Interference | Matsumoto, Tad; Hong, Aihua | 
| 11-Apr-2014  | On the Parameterized Complexity for Token Jumping on Graphs | Ito, Takehiro; Kaminski, Marcin; Ono, Hirotaka; Suzuki, Akira; Uehara, Ryuuhei; Yamanaka, Katsuhisa | 
| Jun-2014  | On the Ramseyan factorization theorem | Murakami, Shota; Yamazaki, Takeshi; Yokoyama, Keita | 
| 2005  | On the Success Probability of χ^2 attack on RC6 | Miyaji, Atsuko; Takano, Yuuki | 
| 2007  | On-the-Fly Model Checking of Fair Non-repudiation Protocols | Li, Guoqiang; Ogawa, Mizuhito | 
| 15-Jun-2007  | On-the-fly Model Checking of Security Protocols and Its Implementation by Maude | Li, Guoqiang; Ogawa, Mizuhito |