| 発行日 | タイトル |
著者 |
|---|
| 19-Jul-2011 | Redesigning Group Key Exchange Protocol based on Bilinear Pairing Suitable for Various Environments | Desmedt, Yvo; Miyaji, Atsuko |
| 1-Feb-2010 | Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications | Nakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 1-Jan-2017 | Refined Construction of RC4 Key Setting in WPA | Ito, Ryoma; Miyaji, Atsuko |
| 1-Jun-2016 | Refined RC4 key correlations of internal states in WPA | Ito, Ryoma; Miyaji, Atsuko |
| 6-Nov-2012 | Relating Bishop's function spaces to neighbourhood spaces | Ishihara, Hajime |
| 15-May-2014 | Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors | Pham, Thanh-Trung; Defago, Xavier; Huynh, Quyet-Thang |
| 1-Dec-2001 | Reliable Data Routing for Spatial-Temporal TMR Multiprocessor Systems | KANEKO, Mineo |
| 1-Jul-2001 | Results of Link-Level Simulations Using Field Measurement Data for an FTDL-Spatial/ MLSE-Temporal Equalizer | YAMADA, Takefumi; TOMISATO, Shigeru; MATSUMOTO, Tadashi; TRAUTWEIN, Uwe |
| 15-Jun-2016 | Reverse mathematical bounds for the Termination Theorem | Steila, Silvia; Yokoyama, Keita |
| 27-Oct-2012 | Reverse mathematics and Peano categoricity | Simpson, Stephen G.; Yokoyama, Keita |
| 17-Oct-2015 | Revising a Labelled Sequent Calculus for Public Announcement Logic | Nomura, Shoshin; Sano, Katsuhiko; Tojo, Satoshi |
| 15-Sep-2008 | Revisited (Hyper)-Elliptic Curve Scalar Multiplication with a Fixed Point | Miyaji, Atsuko; Mizosoe, Kenji |
| 15-Jul-2012 | A Revocable Group Signature Scheme with the Property of Hiding the Number of Revoked Users | Emura, Keita; Miyaji, Atsuko; Omote, Kazumasa |
| Apr-2004 | Rewriting-Based Verification of Authentication Protocols | Ogata, Kazuhiro; Futatsugi, Kokichi |
| 2007 | RFID-based mobile robot guidance to a stationary target | Kim, Myungsik; Chong, Nak Young |
| Jan-2009 | Robust DOA estimation and target docking for mobile robots | Kim, Myungsik; Nak Young, Chong; Yu, Wonpil |
| Dec-2007 | A Robust Fingerprint Indexing Scheme Using Minutia Neighborhood Structure and Low-Order Delaunay Triangles | Liang, Xuefeng; Bishnu, A; Asano, T |
| 6-Dec-2012 | Robust pseudo virtual passive dynamic walking with control of swing-leg retraction | Asano, Fumihiko |
| Feb-2013 | Route-Enabling Graph Orientation Problems | Ito, Takehiro; Miyamoto, Yuichiro; Ono, Hirotaka; Tamaki, Hisao; Uehara, Ryuhei |
| 1-Jul-2014 | Sankaku-Tori: An Old Western-Japanese Game Played on a Point Set | Horiyama, Takashi; Kiyomi, Masashi; Okamoto, Yoshio; Uehara, Ryuhei; Uno, Takeaki; Uno, Yushi; Yamauchi, Yukiko |
| 2017 | Sankaku-tori: An Old Western-Japanese Game Played on a Point Set | Horiyama, Takashi; Iizuka, Takashi; Kiyomi, Masashi; Okamoto, Yoshio; Uehara, Ryuhei; Uno, Takeaki; Uno, Yushi; Yamauchi, Yukiko |
