| 発行日 | タイトル |
著者 |
|---|
| 9-Oct-2010 | Foreign Investment and Development of Water Business in China Based on Option-Game Approach | Feng, YanYan; Fujiwara, Takao |
| Sep-2004 | Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol | Kong, Weiqiang; Ogata, Kazuhiro; Xiang Jianwen; Futatsugi, Kokichi |
| 20-Aug-2002 | Formal analysis of the iKP electronic payment protocols | Ogata, Kazuhiro; Futatsugi, Kokichi |
| 11-Sep-2012 | A Formal Framework for Access Rights Analysis | Li, Xin; Hua, Vy Le Thanh |
| Dec-2018 | Formal Semantics Extraction from Natural Language Specifications for ARM | VU, Viet Anh; ゔ, ゔぃえ あん |
| Dec-2014 | Formal Semantics of Core SQL Language based on the K Framework | Sitthisak, Pakakorn |
| 17-Feb-2015 | Formal Semantics of Core SQL Language based on the K Framework | Sitthisak, Pakakorn |
| Mar-2015 | Formal Topology における Bishop のコンパクト性 | 河井, 達治; かわい, たつじ |
| Sep-2020 | Formal verification of some mutual exclusion protocols with CafeInMaude, its proof assistant and its proof generator | Tran Dinh, Duong; とらん でぃん, どぅおんぐ |
| Mar-2018 | Formalization and Verification of AUTOSAR OS Standard's Memory Protection | Le, Khanh Trinh; れ, かん ちん |
| 15-Mar-2013 | Formalization and Verification of Behavioral Correctness of Dynamic Software Updates | Zhang, Min; Ogata, Kazuhiro; Futatsugi, Kokichi |
| Feb-2005 | Formation and Characterization of Transmission Holographic Gratings Obtained Using a Novel Siloxane-containing Liquid Crystal | He, Man; Cho, Yeong Hee; Kim, Nam; Kawakami, Yusuke |
| Mar-2008 | Formation and Function of Polymeric Systems Containing Silicon-Oxygen Bonds - Polyhedral Oligomeric Silsesquioxane and Siloxane-containing Spiroorthoester | 李, 澤; り, ずあ |
| 22-Mar-2016 | Formation of amorphous silicon passivation films with high stability against postannealing, air exposure, and light soaking using liquid silicon | Guo, Cheng; Ohdaira, Keisuke; Takagishi, Hideyuki; Masuda, Takashi; Shen, Zhongrong; Shimoda, Tatsuya |
| 6-Dec-2007 | Formation of Highly Uniform Micrometer-Order-Thick Polycrystalline Silicon Films by Flash Lamp Annealing of Amorphous Silicon on Glass Substrate | Ohdaira, Keisuke; Endo, Yohei; Fujiwara, Tomoko; Nishizaki, Shogo; Matsumura, Hideki |
| 15-Jan-2009 | Formation of micrometer-order-thick poly-Si films on textured glass substrates by flash lamp annealing of a-Si films prepared by catalytic chemical vapor deposition | Ohdaira, K.; Fujiwara, T.; Endo, Y.; Nishioka, K.; Matsumura, H. |
| 2009 | Formation of Ohmic Carrier Injection at Anode/organic Interfaces and Carrier Transport Mechanisms of Organic Thin Films | Matsushima, Toshinori; Jin, Guang-He; Kanai, Yoshihiro; Yokota, Tomoyuki; Kitada, Seiki; Kishi, Toshiyuki; Murata, Hideyuki |
| 17-Nov-2007 | Formation of Ohmic hole injection by inserting an ultrathin layer of molybdenum trioxide between indium tin oxide and organic hole-transporting layers | Matsushima, Toshinori; Kinoshita, Yoshiki; Murata, Hideyuki |
| 2004 | Formation of periodic grain boundary in an Si thin film crystallized by a linearly polarized Nd:YAG pulse laser with an ultra sonic oscillator | Kaki, H; Ootani, T; Horita, S |
| 6-Aug-2015 | The formation of poly-Si films on flat glass substrates by flash lamp annealing | Watanabe, Taiki; Ohdaira, Keisuke |
| 14-Nov-2008 | Formation of Several-Micrometer-Thick Polycrystalline Silicon Films on Soda Lime Glass by Flash Lamp Annealing | Ohdaira, Keisuke; Fujiwara, Tomoko; Endo, Yohei; Nishizaki, Shogo; Matsumura, Hideki |
