| 臺大學術典藏 |
2021-07-26T06:53:01Z |
Cutting performance of diamond-like carbon coated tips in ultrasonic osteotomy
|
Liao Y.-S.; Lin T.-C.; Lai C.-Y.; Chen Y.-L.; Chang H.-H.; CHUN-PIN LIN |
| 臺大學術典藏 |
2021-07-07T00:51:34Z |
Risk of subsequent attention-deficit/hyperactivity disorder among children and adolescents with amalgam restorations: A nationwide longitudinal study
|
Lin P.-Y.; Wang J.; YU-CHIH CHIANG; Lai C.-Y.; Chang H.-J.; Chi L.-Y. |
| 臺大學術典藏 |
2021-07-06T07:01:19Z |
Downregulation of COMMD1 by MIR-205 promotes a positive feedback loop for amplifying inflammatory- and stemness-associated properties of cancer cells
|
Yeh D.-W.;Chen Y.-S.;Lai C.-Y.;Liu Y.-L.;Lu C.-H.;Lo J.-F.;Chen L.;Lih-Ching Hsu;Luo Y.;Xiang R.;Chuang T.-H.; Yeh D.-W.; Chen Y.-S.; Lai C.-Y.; Liu Y.-L.; Lu C.-H.; Lo J.-F.; Chen L.; LIH-CHING HSU; Luo Y.; Xiang R.; Chuang T.-H. |
| 臺大學術典藏 |
2021-06-24T07:16:43Z |
Community outbreak of adenovirus, Taiwan, 2011
|
Tsou T.-P.; Tan B.-F.; Chang H.-Y.; Chen W.-C.; Huang Y.-P.; Lai C.-Y.; Chao Y.-N.; Wei S.-H.; Hung M.-N.; Hsu L.-C.; Lu C.-Y.; Shao P.-L.; Mu J.-J.; Chang L.-Y.; Liu M.-T.; LI-MIN HUANG |
| 臺大學術典藏 |
2021-06-24T07:16:41Z |
Adenovirus Serotype 3 and 7 Infection with Acute Respiratory Failure in Children in Taiwan, 2010-2011
|
Lai C.-Y.; Lee C.-J.; Lu C.-Y.; Lee P.-I.; Shao P.-L.; Wu E.-T.; Wang C.-C.; Tan B.-F.; Chang H.-Y.; Hsia S.-H.; Lin J.-J.; Chang L.-Y.; Huang Y.-C.; LI-MIN HUANG |
| 臺大學術典藏 |
2021-06-24T07:16:33Z |
Comparison of invasive pneumococcal disease caused by serotype 19A and non-19A pneumococci in children: More empyema in serotype 19A invasive pneumococcal disease
|
Lai C.-Y.; LI-MIN HUANG; Lee P.-Y.; Lu C.-Y.; Shao P.-L.; Chang L.-Y. |
| 臺大學術典藏 |
2021-06-04T08:33:24Z |
Novel histone deacetylase inhibitor MPT0G009 induces cell apoptosis and synergistic anticancer activity with tumor necrosis factor-related apoptosis-inducing ligand against human hepatocellular carcinoma
|
Chen M.-C.; Huang H.-H.; Lai C.-Y.; Lin Y.-J.; Liou J.-P.; Lai M.-J.; Li Y.-H.; Teng C.-M.; CHIA-RON YANG |
| 臺大學術典藏 |
2021-05-24T03:41:59Z |
PI3K modulates estrogen-dependent facilitation of colon-to-urethra cross-organ reflex sensitization in ovariectomized female rats
|
Peng H.-Y.; Chen G.-D.; Lai C.-Y.; Hsieh M.-C.; HSAO-HSUN HSU; Wu H.-C.; Lin T.-B. |
| 臺大學術典藏 |
2021-05-12T03:27:33Z |
A sampling train for rapid measurement of regional lung deposition
|
Chang K.-N.; Huang S.-H.; Chen C.-W.; HUEY-DONG WU; Chen Y.-K.; Lai C.-Y.; Chen C.-C. |
| 臺大學術典藏 |
2021-05-12T03:27:22Z |
Experimental measurements of regional lung deposition in taiwanese
|
Lin C.-W.; Huang S.-H.; Chang K.-N.; Kuo Y.-M.; HUEY-DONG WU; Lai C.-Y.; Chen C.-C. |
| 臺大學術典藏 |
2021-05-06T08:26:06Z |
Community outbreak of adenovirus, Taiwan, 2011
|
Tsou T.-P.; Tan B.-F.; Chang H.-Y.; Chen W.-C.; Huang Y.-P.; Lai C.-Y.; Chao Y.-N.; Wei S.-H.; Hung M.-N.; Hsu L.-C.; Lu C.-Y.; PEI-LAN SHAO; Mu J.-J.; Chang L.-Y.; Liu M.-T.; Huang L.-M. |
| 臺大學術典藏 |
2021-05-06T08:26:05Z |
Adenovirus Serotype 3 and 7 Infection with Acute Respiratory Failure in Children in Taiwan, 2010-2011
|
Lai C.-Y.; Lee C.-J.; Lu C.-Y.; Lee P.-I.; PEI-LAN SHAO; Wu E.-T.; Wang C.-C.; Tan B.-F.; Chang H.-Y.; Hsia S.-H.; Lin J.-J.; Chang L.-Y.; Huang Y.-C.; Huang L.-M. |
| 臺大學術典藏 |
2021-05-06T08:26:02Z |
Comparison of invasive pneumococcal disease caused by serotype 19A and non-19A pneumococci in children: More empyema in serotype 19A invasive pneumococcal disease
|
Lai C.-Y.; Huang L.-M.; Lee P.-Y.; Lu C.-Y.; PEI-LAN SHAO; Chang L.-Y. |
| 臺大學術典藏 |
2021-04-21T07:59:37Z |
Aberrant expression of microRNAs as biomarker for schizophrenia: from acute state to partial remission, and from peripheral blood to cortical tissue
|
Lai C.-Y.; Lee S.-Y.; Scarr E.; Yu Y.-H.; YI-TING LIN; Liu C.-M.; Hwang T.-J.; Hsieh M.H.; Liu C.-C.; Chien Y.-L.; Udawela M.; Gibbons A.S.; Everall I.P.; Hwu H.-G.; Dean B.; Chen W.J. |
| 臺大學術典藏 |
2021-03-04T02:57:22Z |
A Scheme to Mitigate Generation Trip Events by Ancillary Services Considering Minimal Actions of UFLS
|
Lai, C.-Y.; Liu, C.-W.; CHIH-WEN LIU |
| 臺大學術典藏 |
2021-02-20T08:35:40Z |
Impedimetric aptasensing using a symmetric Randles circuit model
|
Lai, C.-Y.; Huang, W.-C.; Weng, J.-H.; Chen, L.-C.; Chou, C.-F.; Wei, P.-K.; Lai, C.-Y.; Huang, W.-C.; Weng, J.-H.; Chen, L.-C.; Chou, C.-F.; Wei, P.-K.; LIN-CHI CHEN |
| 臺大學術典藏 |
2021-01-27T07:49:55Z |
Development of upconversion nanoparticle-conjugated indium phosphide quantum dot for matrix metalloproteinase-2 cancer transformation sensing
|
Chan, M.-H.;Lai, C.-Y.;Chan, Y.-C.;Hsiao, M.;Chung, R.-J.;Chen, X.;Liu, R.-S.; Chan, M.-H.; Lai, C.-Y.; Chan, Y.-C.; Hsiao, M.; Chung, R.-J.; Chen, X.; Liu, R.-S.; RU-SHI LIU |
| 臺大學術典藏 |
2021-01-21T02:05:03Z |
Tubular jejunal duplication, amelia and congenital diaphragmatic eventration in a neonate
|
Lai C.-Y.;Hsu W.-M.;Peng S.S.-F.;Chou H.-C.;Chien-Yi Chen;Hsieh W.-S.;Tsao P.-N.; Lai C.-Y.; Hsu W.-M.; Peng S.S.-F.; Chou H.-C.; CHIEN-YI CHEN; Hsieh W.-S.; Tsao P.-N. |
| 臺大學術典藏 |
2021-01-08T02:16:13Z |
Adenovirus Serotype 3 and 7 Infection with Acute Respiratory Failure in Children in Taiwan, 2010-2011
|
Chang L.-Y.; Lin J.-J.; Hsia S.-H.; Chang H.-Y.; Tan B.-F.; Lai C.-Y.; Lee C.-J.; CHUN-YI LU; Lee P.-I.; Shao P.-L.; Wu E.-T.; Wang C.-C.; Huang Y.-C.; Huang L.-M. |
| 臺大學術典藏 |
2021-01-08T02:16:09Z |
Comparison of invasive pneumococcal disease caused by serotype 19A and non-19A pneumococci in children: More empyema in serotype 19A invasive pneumococcal disease
|
Chang L.-Y.; Shao P.-L.; Lai C.-Y.; Huang L.-M.; Lee P.-Y.; CHUN-YI LU |
| 臺大學術典藏 |
2021-01-07T06:08:49Z |
Adenovirus Serotype 3 and 7 Infection with Acute Respiratory Failure in Children in Taiwan, 2010-2011
|
Lai C.-Y.; Lee C.-J.; Lu C.-Y.; PING-ING LEE; Shao P.-L.; Wu E.-T.; Wang C.-C.; Tan B.-F.; Chang H.-Y.; Hsia S.-H.; Lin J.-J.; Chang L.-Y.; Huang Y.-C.; Huang L.-M. |
| 國立成功大學 |
2021 |
Role of Interfacial Defects in Photoelectrochemical Properties of BiVO4Coated on ZnO Nanodendrites: X-ray Spectroscopic and Microscopic Investigation
|
Wang, H.-T.;Chiou, J.-W.;Chen, K.-H.;Shelke, A.R.;Dong, C.-L.;Lai, C.-H.;Yeh, P.-H.;Du, C.-H.;Lai, C.-Y.;Asokan, K.;Hsieh, S.-H.;Shiu, H.-W.;Pao, C.-W.;Tsai, H.-M.;Yang, J.-S.;Wu, J.-J.;Ohigashi, T.;Pong, W.-F. |
| 臺大學術典藏 |
2020-12-24T03:22:33Z |
Adenovirus Serotype 3 and 7 Infection with Acute Respiratory Failure in Children in Taiwan, 2010-2011
|
Lai C.-Y.; Lee C.-J.; Lu C.-Y.; Lee P.-I.; Shao P.-L.; EN-TING WU; Wang C.-C.; Tan B.-F.; Chang H.-Y.; Hsia S.-H.; Lin J.-J.; Chang L.-Y.; Huang Y.-C.; Huang L.-M. |
| 臺大學術典藏 |
2020-12-24T02:03:56Z |
Tubular jejunal duplication, amelia and congenital diaphragmatic eventration in a neonate
|
Lai C.-Y.;Hsu W.-M.;Peng S.S.-F.;Hung-Chieh Chou;Chen C.-Y.;Hsieh W.-S.;Tsao P.-N.; Lai C.-Y.; Hsu W.-M.; Peng S.S.-F.; HUNG-CHIEH CHOU; Chen C.-Y.; Hsieh W.-S.; Tsao P.-N. |
| 臺大學術典藏 |
2020-12-23T02:57:58Z |
Mixed connective tissue disease with protein-losing enteropathy: Discussion of the treatment strategy
|
Wang W.-J.; VIN-CENT WU; Wu H.-S.; Chang P.-L.; Chao C.-T.;Lai C.-Y.;Chang P.-L.;Wu H.-S.;Vin-Cent Wu;Wang W.-J.; Chao C.-T.; Lai C.-Y. |
| 臺大學術典藏 |
2020-12-22T03:29:33Z |
Tubular jejunal duplication, amelia and congenital diaphragmatic eventration in a neonate
|
PO-NIEN TSAO; Hsieh W.-S.; Chen C.-Y.; Chou H.-C.; Peng S.S.-F.; Hsu W.-M.; Lai C.-Y.; Lai C.-Y.;Hsu W.-M.;Peng S.S.-F.;Chou H.-C.;Chen C.-Y.;Hsieh W.-S.;Po-Nien Tsao |
| 臺大學術典藏 |
2020-12-22T03:29:26Z |
MicroRNA expression aberration associated with bronchopulmonary dysplasia in preterm infants: A preliminary study
|
Wu Y.-T.;Chen W.J.;Hsieh W.-S.;Po-Nien Tsao;Yu S.-L.;Lai C.-Y.;Lee W.-C.;Jeng S.-F.; Wu Y.-T.; Chen W.J.; Hsieh W.-S.; PO-NIEN TSAO; Yu S.-L.; Lai C.-Y.; Lee W.-C.; Jeng S.-F. |
| 臺大學術典藏 |
2020-12-17T08:17:49Z |
Adenovirus Serotype 3 and 7 Infection with Acute Respiratory Failure in Children in Taiwan, 2010-2011
|
Lin J.-J.; Chang L.-Y.; Huang Y.-C.; Huang L.-M.; Lai C.-Y.; Lee C.-J.; Lu C.-Y.; Lee P.-I.; Shao P.-L.; Wu E.-T.; CHING-CHIA WANG; Tan B.-F.; Chang H.-Y.; Hsia S.-H. |
| 臺大學術典藏 |
2020-12-15T07:42:07Z |
Community outbreak of adenovirus, Taiwan, 2011
|
Tsou T.-P.; Tan B.-F.; Chang H.-Y.; Chen W.-C.; Huang Y.-P.; Lai C.-Y.; Chao Y.-N.; Wei S.-H.; Hung M.-N.; Hsu L.-C.; Lu C.-Y.; Shao P.-L.; Mu J.-J.; LUAN-YIN CHANG; Liu M.-T.; Huang L.-M. |
| 臺大學術典藏 |
2020-12-15T07:42:06Z |
Adenovirus Serotype 3 and 7 Infection with Acute Respiratory Failure in Children in Taiwan, 2010-2011
|
Lai C.-Y.; Lee C.-J.; Lu C.-Y.; Lee P.-I.; Shao P.-L.; Wu E.-T.; Wang C.-C.; Tan B.-F.; Chang H.-Y.; Hsia S.-H.; Lin J.-J.; LUAN-YIN CHANG; Huang Y.-C.; Huang L.-M. |
| 臺大學術典藏 |
2020-12-15T07:42:02Z |
Comparison of invasive pneumococcal disease caused by serotype 19A and non-19A pneumococci in children: More empyema in serotype 19A invasive pneumococcal disease
|
Lai C.-Y.; Huang L.-M.; Lee P.-Y.; Lu C.-Y.; Shao P.-L.; LUAN-YIN CHANG |
| 臺大學術典藏 |
2020-12-08T03:28:48Z |
Down-regulation of ATF1 leads to early neuroectoderm differentiation of human embryonic stem cells by increasing the expression level of SOX2
|
Tu P.-W.A.; Yang S.-C.; Liu J.-J.; Wang C.-K.; Lin Y.-T.; Tsai S.-Y.; Chen W.-J.; Huang W.-K.; Lin Y.-C.; Chang C.-F.; Cheng C.-L.; Lin H.; Lai C.-Y.; Lin C.-Y.; Lee Y.-H.; Chiu Y.-C.; Hsu C.-C.; Hsu S.-C.; Hsiao M.; Schuyler S.C.; FRANK LEIGH LU; Lu J. |
| 臺大學術典藏 |
2020-12-08T03:28:47Z |
CXCL14 Maintains hESC Self-Renewal through Binding to IGF-1R and Activation of the IGF-1R Pathway
|
Cheng C.-L.;Yang S.-C.;Lai C.-Y.;Wang C.-K.;Chang C.-F.;Lin C.-Y.;Chen W.-J.;Lin P.-Y.;Wu H.-C.;Ma N.;Frank Leigh Lu;Lu J.; Cheng C.-L.; Yang S.-C.; Lai C.-Y.; Wang C.-K.; Chang C.-F.; Lin C.-Y.; Chen W.-J.; Lin P.-Y.; Wu H.-C.; Ma N.; FRANK LEIGH LU; Lu J. |
| 臺大學術典藏 |
2020-12-04T07:44:45Z |
Physicochemistry and cardiovascular toxicity of metal fume PM 2.5: A study of human coronary artery endothelial cells and welding workers
|
Lai C.-Y.; Lai C.-H.; Chuang H.-C.; Pan C.-H.; Yen C.-C.; Lin W.-Y.; Chen J.-K.; LIAN-YU LIN; Chuang K.-J. |
| 臺大學術典藏 |
2020-12-02T02:34:08Z |
MicroRNA expression Aberration as potential peripheral blood biomarkers for Schizophrenia
|
Lai C.-Y. ;Pan-Chyr Yang Et Al.; Lai C.-Y.; PAN-CHYR YANG et al. |
| 臺大學術典藏 |
2020-12-02T02:33:57Z |
Antitumor agents 295. E-ring hydroxylated antofine and cryptopleurine analogues as antiproliferative agents: Design, synthesis, and mechanistic studies
|
Yang X.; Shi Q.; Lai C.-Y.; Chen C.-Y.; Ohkoshi E.; Yang S.-C.; Wang C.-Y.; Bastow K.F.; Wu T.-S.; Pan S.-L.; Teng C.-M.; Pan-Chyr Yang; Lee K.-H.; Yang X.; PAN-CHYR YANG et al. |
| 臺大學術典藏 |
2020-12-02T02:33:47Z |
Depletion of 4E-BP1 and regulation of autophagy lead to YXM110-induced anticancer effects
|
Lai C.-Y.; Pan S.-L.; Yang X.-M.; Chang L.-H.; Chang Y.-L.; PAN-CHYR YANG; Lee K.-H.; Teng C.-M.; Lai C.-Y.; Pan S.-L.; Yang X.-M.; Chang L.-H.; Chang Y.-L.; PAN-CHYR YANG; Lee K.-H.; Teng C.-M. |
| 臺大學術典藏 |
2020-11-19T08:19:35Z |
MicroRNA expression aberration associated with bronchopulmonary dysplasia in preterm infants: A preliminary study
|
Chen W.J.; Hsieh W.-S.; Tsao P.-N.; Yu S.-L.; Lai C.-Y.; WEN-CHUNG LEE; Jeng S.-F.; Wu Y.-T.;Chen W.J.;Hsieh W.-S.;Tsao P.-N.;Yu S.-L.;Lai C.-Y.;Wen-Chung Lee;Jeng S.-F.; Wu Y.-T. |
| 臺大學術典藏 |
2020-10-23T11:54:50Z |
Aberrant expression of microRNAs as biomarker for schizophrenia: from acute state to partial remission, and from peripheral blood to cortical tissue
|
Lai C.-Y.; Lee S.-Y.; Scarr E.; Yu Y.-H.; Lin Y.-T.; Liu C.-M.; TZUNG-JENG HWANG; Hsieh M.H.; Liu C.-C.; Chien Y.-L.; Udawela M.; Gibbons A.S.; Everall I.P.; Hwu H.-G.; Dean B.; Chen W.J. |
| 臺大學術典藏 |
2020-09-28T07:04:59Z |
Mixed connective tissue disease with protein-losing enteropathy: Discussion of the treatment strategy
|
Wang W.-J.; Wu H.-S.; Chang P.-L.; Chao C.-T.; Lai C.-Y. |
| 臺大學術典藏 |
2020-09-22T09:06:09Z |
Tubular jejunal duplication, amelia and congenital diaphragmatic eventration in a neonate
|
Hsu W.-M.; Lai C.-Y.; STEVEN SHINN-FORNG PENG; Chou H.-C.; Chen C.-Y.; Hsieh W.-S.; Tsao P.-N. |
| 臺大學術典藏 |
2020-09-22T08:51:48Z |
Tubular jejunal duplication, amelia and congenital diaphragmatic eventration in a neonate
|
Lai C.-Y.; Hsu W.-M.; Peng S.S.-F.; Chou H.-C.; Chen C.-Y.; Hsieh W.-S.; Tsao P.-N. |
| 臺大學術典藏 |
2020-07-03T02:18:26Z |
Antibodies to envelope glycoprotein of dengue virus during the natural course of infection are predominantly cross-reactive and recognize epitopes containing highly conserved residues at the fusion loop of domain II
|
Lai C.-Y.;Tsai W.-Y.;Lin S.-R.;Chuan-Liang Kao;Hu H.-P.;King C.-C.;Wu H.-C.;Chang G.-J.;Wang W.-K.; Lai C.-Y.; Tsai W.-Y.; Lin S.-R.; CHUAN-LIANG KAO; Hu H.-P.; King C.-C.; Wu H.-C.; Chang G.-J.; Wang W.-K. |
| 臺大學術典藏 |
2020-07-03T02:18:19Z |
Phenotypic and genetic characterization of avian influenza H5N2 viruses with intra- and inter-duck variations in Taiwan
|
Li Y.-T.;Ko H.-Y.;Lee C.-C.D.;Lai C.-Y.;Chuan-Liang Kao;Yang C.;Wang W.-B.;King C.-C.; Li Y.-T.; Ko H.-Y.; Lee C.-C.D.; Lai C.-Y.; CHUAN-LIANG KAO; Yang C.; Wang W.-B.; King C.-C. |
| 臺大學術典藏 |
2020-07-01T08:53:27Z |
Modulated expression of human peripheral blood microRNAs from infancy to adulthood and its role in aging
|
Lai C.-Y.;Wu Y.-T.;Yu S.-L.;Yu Y.-H.;Lee S.-Y.;Liu C.-M.;Hsieh W.-S.;Hwu H.-G.;Chen P.-C.;Suh-Fang Jeng;Chen W.J.; Lai C.-Y.; Wu Y.-T.; Yu S.-L.; Yu Y.-H.; Lee S.-Y.; Liu C.-M.; Hsieh W.-S.; Hwu H.-G.; Chen P.-C.; SUH-FANG JENG; Chen W.J. |
| 臺大學術典藏 |
2020-06-30T03:22:26Z |
Modulated expression of human peripheral blood microRNAs from infancy to adulthood and its role in aging
|
Hsieh W.-S.; Hwu H.-G.; Chen P.-C.; Jeng S.-F.; Chen W.J.; Liu C.-M.; Lee S.-Y.; Yu Y.-H.; Yu S.-L.; YEN-TZU WU; Lai C.-Y.; Lai C.-Y.;Yen-Tzu Wu;Yu S.-L.;Yu Y.-H.;Lee S.-Y.;Liu C.-M.;Hsieh W.-S.;Hwu H.-G.;Chen P.-C.;Jeng S.-F.;Chen W.J. |
| 臺大學術典藏 |
2020-06-17T03:01:51Z |
MicroRNA expression Aberration as potential peripheral blood biomarkers for Schizophrenia
|
Lai C.-Y. ;Sung-Liang Yu ;Hsieh M.H. ;Chen C.-H. ;Chen H.-Y. ;Wen C.-C. ;Huang Y.-H. ;Hsiao P.-C. ;Hsiao C.K. ;Liu C.-M. ;Yang P.-C. ;Hwu H.-G. ;Chen W.J.; Lai C.-Y.; SUNG-LIANG YU; Hsieh M.H.; Chen C.-H.; Chen H.-Y.; Wen C.-C.; Huang Y.-H.; Hsiao P.-C.; Hsiao C.K.; Liu C.-M.; Yang P.-C.; Hwu H.-G.; Chen W.J. |
| 臺大學術典藏 |
2020-06-17T03:01:50Z |
Antitumor agents 288: Design, synthesis, SAR, and biological studies of novel heteroatom-incorporated antofine and cryptopleurine analogues as potent and selective antitumor agents
|
Yang X. ;Shi Q. ;Yang S.-C. ;Chen C.-Y. ;Sung-Liang Yu ;Bastow K.F. ;Morris-Natschke S.L. ;Wu P.-C. ;Lai C.-Y. ;Wu T.-S. ;Pan S.-L. ;Teng C.-M. ;Lin J.-C. ;Yang P.-C. ;Lee K.-H.; Yang X.; Shi Q.; Yang S.-C.; Chen C.-Y.; SUNG-LIANG YU; Bastow K.F.; Morris-Natschke S.L.; Wu P.-C.; Lai C.-Y.; Wu T.-S.; Pan S.-L.; Teng C.-M.; Lin J.-C.; Yang P.-C.; Lee K.-H. |
| 臺大學術典藏 |
2020-06-17T03:01:43Z |
Modulated expression of human peripheral blood microRNAs from infancy to adulthood and its role in aging
|
Lai C.-Y.;Wu Y.-T.;Sung-Liang Yu;Yu Y.-H.;Lee S.-Y.;Liu C.-M.;Hsieh W.-S.;Hwu H.-G.;Chen P.-C.;Jeng S.-F.;Chen W.J.; Lai C.-Y.; Wu Y.-T.; SUNG-LIANG YU; Yu Y.-H.; Lee S.-Y.; Liu C.-M.; Hsieh W.-S.; Hwu H.-G.; Chen P.-C.; Jeng S.-F.; Chen W.J. |
| 臺大學術典藏 |
2020-06-11T06:33:10Z |
A counterexample-guided interpolant generation algorithm for SAT-based model checking
|
Wu, C.-Y.;Wu, C.-A.;Lai, C.-Y.;Huang, C.-Y.; Wu, C.-Y.; Wu, C.-A.; Lai, C.-Y.; Huang, C.-Y.; CHUNG-YANG HUANG |
