Výsledky vyhledávání

Software model-checking: Benchmarking and techniques for buffer overflow analysis.

Autor: Ku, Kelvin.

Thesis (M. Sc.)--University of Toronto, 2008.
Source: Masters Abstracts International, Volume: 46-06, page: 3313.

Externí odkaz: http://link.library.utoronto.ca/eir/EIRdetail.cfm?Resources__ID=772084&T=F

Akademický článek

Synthesis and Cytotoxicity of Methyl-4,8-dihydrobenzo[1,2- b:5,4- b′]dithiophene-4,8-dione Derivatives

Autor: Chao, Yu-Hua ^{a, b}, Kuo, Sheng-Chu ^{b, *}, Ku, Kelvin ^b, Chiu, I-Ping ^b, Wu, Chun-Hsiung ^b, Mauger, Anthony ^c, Wang, Hui-Kang ^a, Lee, Kuo-Hsiung ^a

Publikováno v: In Bioorganic & Medicinal Chemistry 1999 7(6):1025-1031

Zobrazit plný text záznamu

Conference

A buffer overflow benchmark for software model checkers.

Autor: Ku, Kelvin, Hart, Thomas E., Chechik, Marsha, Lie, David

Publikováno v: Proceedings of the Twenty-Second IEEE/ACM International Conference: Automated Software Engineering; 11/ 5/2007, p389-392, 4p

Zobrazit plný text záznamu

Dissertation/ Thesis

Synthesis and Cytotoxicity of Methyl-4,8-Dihydrobenzo[1,2-b:5,4- b']Dithiophene-4,8-Dione Derivatives

Autor: Ku Kelvin, 古凱文

81
Recently, a series of 4,8-dihydrobenzo[1,2-b:4,5-b']dithio- phene-4,8-diones were synthesized and exhibited excellent cyto- toxity for such cell lines as KB cell, HCT-8, MCF, P-388 and L-1210 and so on. In order to search for the SAR between

Externí odkaz: http://ndltd.ncl.edu.tw/handle/82189660801895339515

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání