Characterization of the anti-platelet actions of FK419, a novel non-peptide antagonist of platelet GPIIb/IIIa by Mihara, Kayoko, Aoki, Toshiaki, Moriguchi, Akira, Yamamoto, Hiroko, Maeda, Masashi, Tojo, Nobuteru, Yamanaka, Toshio, Ohkubo, Mitsuru, Matsuoka, Nobuya, Seki, Jiro, Mutoh, Seitaro

Get full text

SMT-Based Model Checking of Industrial Simulink Models by Ishii, Daisuke, Tomita, Takashi, Aoki, Toshiaki, The Quyen Ngo, Thi Bich Ngoc Do, Takai, Hideaki

Get full text

Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking by Ogawa, Hideto, Ichii, Makoto, Kumeno, Fumihiro, Aoki, Toshiaki

Request full text

P2I-19 Pharmacological characterization of analgesics on mechanical allodynia in streptozotocin-induced diabetic rats by Hiroko Yamamoto, Yukinori Shimoshige, Takayuki Yamaji, Nobuhito Murai, Toshiaki Aoki, Nobuya Matsuoka

Get full text

Capacitance scaling system by Aoki, T., Yokoi, K.

Get full text

Evaluation of Operational Vulnerability in Cloud Service Management Using Model Checking by Kikuchi, S., Aoki, T.

Request full text

Formalization and analysis of dataflow in object-oriented design models by Aoki, T., Katayama, T.

Request full text

Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods by Ishii, Daisuke, Tomita, Takashi, Aoki, Toshiaki, Ngo, The Quyen, Do, Thi Bich Ngoc, Takai, Hideaki

Request full text

P1-024 Pharmacological characterization of L5/L6 spinal nerve ligation model of neuropathic pain in mice by Tetsuo Kiso, Tomonari Watabiki, Mina Tsukamoto, Mayuko Okabe, Toshiaki Aoki, Nobuya Matsuoka

Get full text

NIMBYの文脈における当事者の優位化を促す信頼と道徳基盤の影響―カナダでの地層処分地選定をめぐる公的機関・先住民族・地元住民の正当性... by 野波, 寬, 大沼, 進, 青木, 俊明, 大友, 章司

Get full text

Alterations in expression of BDNF and plasma corticosterone level in the olfactory bulbecomized rats by Miwako Shobo, Masahiko Morita, Tomoya Oe, Toshiaki Aoki, Noriaki Inamura

Get full text

Building a Body of Knowledge on Model Checking for Software Development by Taguchi, Kenji, Nishihara, Hideaki, Aoki, Toshiaki, Kumeno, Fumihiro, Hayamizu, Koji, Shinozaki, Koichi

Request full text

Human monoclonal antibody 28K29 highly reactive with lung adenocarcinomas of all grades of differentiation and with large cell carcinomas by Yoshinari, Kaoru, Aoki, Toshiaki, Yamada, Hiroyuki, Sugawara, Isamu

Get full text

Dissolution of the Gap between Safety Requirements Written in a Natural Language and Formal Notations by Matsubara, Masahiro, Narisawa, Fumio, Ohno, Atsuhiro, Aoki, Toshiaki, Chiba, Yuki

Request full text

The anti-platelet and anti-thrombotic effects of FK633, a peptide-mimetic GPIIB/IIIA antagonist by AOKI, T, COX, D, SENZAKI, K, SEKI, J, TANAKA, A, TAKASUGI, H, MOTOYAMA, Y

Get full text

Towards Formal Description of Standards for Automotive Operating Systems by Yatsu, Hirokazu, Ando, Takahiro, Weiqiang Kong, Aoki, Toshiaki, Futatsugi, Kokichi

Request full text

Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking by Pacharoen, W., Aoki, T., Surarerks, A., Bhattarakosol, P.

Request full text

Design, synthesis, and evaluation of orally active fibrinogen inhibitors by Tanaka, Akito, Sakai, Hiroyoshi, Ishikawa, Takatoshi, Aoki, Toshiaki, Motoyama, Yukio, Takasugi, Hisashi

Get full text

An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification by Pham Ngoc Hung, Viet-Ha Nguyen, Aoki, T., Katayama, T.

Request full text

FK419, a novel non-peptide antagonist of platelet glycoprotein GPIIb/IIIa, is neuroprotective in a guinea pig focal cerebral ischemia model with minimal risk of cerebral hemorrhage by Kayoko Mihara, Masashi Maeda, Akira Moriguchi, Toshiaki Aoki, Nobuya Matsuoka, Seitaro Mutoh

Get full text