| 発行日 | タイトル |
著者 |
|---|
| 6-Mar-2012 | Confluence of Non-Left-Linear TRSs via Relative Termination | Klein, Dominik; Hirokawa, Nao |
| 12-Nov-1996 | A consensus making support system using AHP in combination with KJ method and relationship matrix | Kato, Naotaka; Kunifuji, Susumu |
| Jan-1998 | Conservative extensions in relevant implicational logics | Kamide, Norihiro; Kashima, Ryou; 上出,哲広; 鹿島,亮; カミデ, ノリヒロ; カシマ, リョウ |
| 2012 | Constant-Ciphertext-Size Dual Policy Attribute Based Encryption | Miyaji, Atsuko; Tran, Phuong V.X. |
| 3-Feb-2010 | Constant-Work-Space Algorithm for a Shortest Path in a Simple Polygon | Asano, Tetsuo; Mulzer, Wolfgang; Wang, Yajun |
| 2009 | Constant-Working-Space Algorithms for Image Processing | Asano, Tetsuo |
| 2007 | Constraints for Argument Filterings | Zankl, Harald; Hirokawa, Nao; Middeldorp, Aart |
| 2011 | Construct of Common Development of Regular Tetrahedron and Cube | Shirakawa, Toshihiro; Horiyama, Takashi; Uehara, Ryuhei |
| 24-Mar-1997 | Constructing a support environment for cooperative works over computer network by integrating software process enactment support and communication support | Ochimizu, Koichiro; 落水, 浩一郎 |
| 6-Dec-2001 | Constructing high availability application servers | Inoguchi, Yasushi; Shikida, Mikifumi; Tan, Yasuo; Matsuzawa, Teruo |
| 6-Dec-2001 | Constructing high availability network systems | Inoguchi, Yasushi; Shikida, Mikifumi; Tan, Yasuo; Matsuzawa, Teruo |
| 2009 | Constructing Optimal Highways | Ahn, Hee-Kap; Alt, Helmut; Asano, Tetsuo; Bae, Sang Won; Brass, Peter; Cheong, Otfried; Knauer, Christian; Na, Hyeon-Suk; Shin, Chan-Su; Wolff, Alexander |
| 28-Apr-1995 | A construction of codes with exponential error bounds on arbitrary discrete memoryless channels | Uyematsu, Tomohiko; Okamoto, Eiji; 植松, 友彦; 岡本, 栄司; ウエマツ, トモヒコ; オカモト, エイジ |
| 8-Jan-2002 | Construction of Rule Base for the Control of Discrete Event Dynamic | Hiraishi, Kunihiko; Capkovic, Frantisek |
| 17-May-2002 | A constructive completion of the space D(R) | Yoshida, Satoru |
| Dec-2002 | A constructive look at the completeness of the space DR | Ishihara, Hajime; Yoshida, Satoru |
| 10-Jun-2002 | A constructive look at Weierstrass' theorem | Yoshida, Satoru |
| 17-May-2002 | A constructive meaning for convergence and the cauchyness of sequences of the space D(R) | Yoshida, Satoru |
| 29-May-2009 | Constructor-based Institutions | Gaina, Daniel; Futatsugi, Kokichi; Ogata, Kazuhiro |
| 4-Sep-2008 | Context-sensitive points-to analysis for Java as all-in-one weighted pushdown model checking | Li, Xin; Ogawa, Mizuhito |
| 2008 | Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution | Li, Xin; Shannon, Daryl; Ghosh, Indradeep; Ogawa, Mizuhito; Rajan, Sreeranga P.; Khurshid, Sarfraz |
