Verification of heap manipulating programs with ordered data by extended forest automata von Abdulla, Parosh Aziz, Holík, Lukáš, Jonsson, Bengt, Lengál, Ondřej, Trinh, Cong Quy, Vojnar, Tomáš

Volltext

Automated Verification of Linearization Policies von Abdulla, Parosh Aziz, Jonsson, Bengt, Trinh, Cong Quy

Volltext

Automated Verification of Data Properties and Linearizability for Heap-Manipulating Programs von Trinh, Cong Quy

Volltext bestellen

Automated Verification of Data Properties and Linearizability for Heap-Manipulating Programs von Trinh, Cong Quy

Volltext bestellen

Fragment abstraction for concurrent shape analysis von Abdulla, Parosh Aziz, Jonsson, Bengt, Trinh, Cong Quy

Volltext

Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata von Abdulla, Parosh Aziz, Holík, Lukáš, Jonsson, Bengt, Lengál, Ondřej, Trinh, Cong Quy, Vojnar, Tomáš

Volltext

Formal Verification of Skiplist Algorithms von Trinh, Cong Quy

Volltext bestellen

Verification of heap manipulating programs with ordered data by extended forest automata von Abdulla, Parosh Aziz, Holík, Lukás, Jonsson, Bengt, Lengál, Ondrej, Trinh, Cong Quy, Vojnar, Tomás

Volltext bestellen

Predicting mortality risk in hospitalized COVID-19 patients: an early model utilizing clinical symptoms von Hai, Cong Nguyen, Duc, Thanh Bui, Minh, The Nguyen, Quang, Lich Ngo, Tung, Son Luong Cao, Duc, Loi Trinh, Duong-Quy, Sy

Volltext

Vietnam Association of Gastroenterology (VNAGE) consensus on the management of Helicobacter pylori infection von Quach, Duc Trong, Mai, Bang Hong, Tran, Mien Kieu, Dao, Long Van, Tran, Huy Van, Vu, Khanh Truong, Vu, Khien Van, Pham, Ho Thi-Thu, Bui, Hoang Huu, Ho, Dung Dang-Quy, Trinh, Dung Tuan, Nguyen, Vinh Thuy, Duong, Thai Hong, Tran, Tuong Thi-Khanh, Nguyen, Ha Thi-Viet, Nguyen, Thinh Tien, Nguyen, Thang Duy, Nguyen, Long Cong, Dao, Hang Viet, Thai, Ky Doan, Phan, Nam Trung, Le, Ly Thanh, Vo, Cong Hong-Minh, Ho, Phat Tan, Nguyen, Tung Lam, Le, Quang Dinh, Le, Nho Viet, Phan, Hoan Quoc, Nguyen, Binh Canh, Tran, Trung Thien, Tran, Tu Viet, Ta, Long

Volltext

The inverse problem for generalized contraharmonic means von Dinh, Trung Hoa, Le, Cong Trinh, Vo, Bich Khue

Volltext

THE EFFECTS OF TRAY DENSITY AND CARE REGIMES ON GROWTH AND SURVIVAL RATE OF SNOUT OTTER CLAM von Cao Truong Giang, Tran The Muu, Tran Thi Thuy, Le Van Khoi, Nguyen Thi Bien Thuy, Nguyen Duc Tuan, Tran Thi Nguyet Minh, Dang Thi Lua, Cao Van Hanh, Hoang Nhat Son, Nguyen Thi Dieu Phuong, Nguyen Manh Cuong, Le Thi Linh, Vu Van In, Vu Van Sang, Thai Thanh Binh, Vu Cong Tam, Trinh Dinh Khuyen

Volltext

Oophorectomy and Tamoxifen Adjuvant Therapy in Premenopausal Vietnamese and Chinese Women With Operable Breast Cancer von LOVE, Richard R, NGUYEN BA DUC, TRINH LUONG TRAN, TRAN TU QUY, NGUYEN VAN THUY, PHAM NHU THE, TON THAT CAU, NGUYEN DINH TUNG, DANG THANH HUONG, LE MINH QUANG, NGUYEN NGOC HIEN, LE THUONG, ALLRED, D. Craig, SHEN, Tian-Zhen, YE XIN, QIAN ZHANG, HAVIGHURST, Thomas C, YANG, Yonghong Fred, HILLNER, Bruce E, DEMETS, David L, NGUYEN CONG BINH, NGUYEN VAN DINH, NGUYEN NGOC KHA, TRAN VAN THUAN, MOHSIN, Syed K, LE DINH ROANH, HOANG XUAN KHANG

Volltext