I agree that this site is using cookies. You can find further informations here.
X
Do, Thi Bich Ngoc
1099  results:
Search for persons X
?
1

SMT-Based Model Checking of Industrial Simulink Models:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,
Ishii, Daisuke ; Tomita, Takashi ; Aoki, Toshiaki... - p. 156-172 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Coverage Testing of Industrial Simulink Models using Monte-..:

, In: 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS),
Ishii, Daisuke ; Tomita, Takashi ; Aoki, Toshiaki... - p. 422-433 , 2022
Link: https://doi.org/10.1109/..
 
?
3

Constructing test cases for n-wise testing from tree-based ..:

, In: Proceedings of the Fourth Symposium on Information and Communication Technology,
Do, Thi Bich Ngoc ; Kitamura, Takashi ; Nguyen, Van Tang... - p. 275-284 , 2013
Link: https://dl.acm.org/doi/1..
 
?
4

Influence of channel communication on purchasing sustainabl..:

Cam Thuy, Dao ; Thi Bich Ngoc, Do ; Khanh Linh, Vu...
VNU University of Economics and Business.  4 (2024)  2 - p. , 2024
Link: https://doi.org/10.57110..
 
?
5

Checking roundoff errors using counterexample-guided narrow..:

, In: Proceedings of the IEEE/ACM international conference on Automated software engineering,
Ngoc, Do Thi Bich ; Ogawa, Mizuhito - p. 301-304 , 2010
Link: https://dl.acm.org/doi/1..
 
?
6

SMT-Based Model Checking of Industrial Simulink Models:

Ishii, Daisuke ; Tomita, Takashi ; Aoki, Toshiaki...
http://arxiv.org/abs/2206.02992.  , 2022
Link: http://arxiv.org/abs/220..
 
?
7

Improvement of septic tank effluent and green coverage by s..:

Vo, Thi-Dieu-Hien ; Do, Thi-Bich-Ngoc ; Bui, Xuan-Thanh...
International Biodeterioration & Biodegradation.  124 (2017)  - p. 138-145 , 2017
Link: https://doi.org/10.1016/..
 
?
8

Combining morphological and molecular data to identify Padi..:

Huynh Thi, Thu Hue ; Vu, Dinh Phong ; Nguyen Thi, Bich Ngoc...
Academia Journal of Biology.  46 (2024)  2 - p. , 2024
Link: https://doi.org/10.15625..
 
?
9

High biocompatible FITC-conjugated silica nanoparticles for..:

Nguyen, Thi Thuy ; Nguyen, Hoang Nam ; Nghiem, Thi Ha Lien...
Scientific Reports.  14 (2024)  1 - p. , 2024
Link: https://doi.org/10.1038/..
 
?
10

Nannizzia incurvata in Hue city - Viet Nam: Molecular ident..:

Ngo, Thi Minh Chau ; Ton Nu, Phuong Anh ; Le, Chi Cao...
Journal of Medical Mycology.  32 (2022)  3 - p. 101291 , 2022
Link: https://doi.org/10.1016/..
 
?
11

First detection of Trichophyton indotineae causing tinea co..:

Ngo, Thi Minh Chau ; Ton Nu, Phuong Anh ; Le, Chi Cao...
Medical Mycology Case Reports.  36 (2022)  - p. 37-41 , 2022
Link: https://doi.org/10.1016/..
 
?
12

Estimation of basic reproduction number (R0) of African swi..:

Mai, Nguyen Tuan Anh ; Trinh, Thi Bich Ngoc ; Nguyen, Van Tam...
Frontiers in Veterinary Science.  9 (2022)  - p. , 2022
Link: https://doi.org/10.3389/..
 
?
13

Enhancement of antibacterial activity by a copper(II) and z..:

Nguyen, Trong Nghia ; Do, Quang Hoa ; Vu, Thi Thuy Duong...
Chemical Papers.  76 (2022)  11 - p. 7163-7176 , 2022
Link: https://doi.org/10.1007/..
 
?
14

Direct colorimetric LAMP assay for rapid detection of Afric..:

Tran, Diem Hong ; Tran, Hau Thi ; Le, Uyen Phuong...
Transboundary and Emerging Diseases.  68 (2020)  4 - p. 2595-2602 , 2020
Link: https://doi.org/10.1111/..
 
?
15

Synthesis and antiproliferative activity of 1H-1,2,3-triazo..:

Nguyen, Dinh Thanh ; Do, Son Hai ; Le, Thi Huyen...
New Journal of Chemistry.  46 (2022)  48 - p. 23179-23197 , 2022
Link: https://doi.org/10.1039/..
 
1-15