The prevalence of Pfk13 polymorphism in malaria patients treated with artemisinin-based therapy: a systematic review and meta-analysis von Hung, Dang The, Tran, Linh, Tam, Dao Ngoc Hien, Elshafei, Ghada, Cuong, Nguyen The Ky, Ha, Nam Xuan, Khader, Sarah Abd Elaziz, Le Quang, Loc, Shaikhkhalil, Hosam Waleed, Abdallfatah, Abdallfatah, Aziz, Jeza M Abdul, Hirayama, Kenji, Huy, Nguyen Tien

Volltext

Finding real bugs in big programs with incorrectness logic von Le, Quang Loc, Raad, Azalea, Villard, Jules, Berdine, Josh, Dreyer, Derek, O'Hearn, Peter W.

Volltext

The role of nursing leadership in promoting evidence-based nursing practice von Elsheikh, Randa, Le Quang, Loc, Nguyen, Ngoc Quynh Tram, Van, Phu Tran, Hung, Dang The, Makram, Abdelrahman M., Huy, Nguyen Tien

Volltext

Perceived Stress of Quarantine and Isolation During COVID-19 Pandemic: A Global Survey von Huy, Nguyen Tien, Duc, Nguyen Tran Minh, Mohammed Alhady, Shamael Thabit, Mai, Luu Ngoc, Hassan, Amr K., Giang, Tran Van, Truong, Le Van, Ravikulan, Rohanti, Raut, Akshay, Dayyab, Farouq Muhammad, Durme, Shyam Prakash, Trang, Vu Thi Thu, Loc, Le Quang, Thach, Pham Ngoc

Volltext

Clinical and laboratory factors associated with coronavirus disease 2019 (Covid‐19): A systematic review and meta‐analysis von Minh, Le Huu Nhat, Abozaid, Ali Ahmed‐Fouad, Ha, Nam Xuan, Le Quang, Loc, Gad, Abdelrahman Gamil, Tiwari, Ranjit, Nhat‐Le, Tran, Quyen, Dinh Kim, AL‐Manaseer, Balqees, Kien, Nguyen Dang, Vuong, Nguyen Lam, Zayan, Ahmad Helmy, Nhi, Le Huu Hanh, Surya Dila, Kadek Agus, Varney, Joseph, Tien Huy, Nguyen

Volltext

A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints von Le, Quang Loc, He, Mengda

Volltext

A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic von Le, Quang Loc, Tatsuta, Makoto, Sun, Jun, Chin, Wei-Ngan

Volltext

Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning von Pham, Long H., Sun, Jun, Le, Quang Loc

Volltext

Concolic Testing Heap-Manipulating Programs von Pham, Long H., Le, Quang Loc, Phan, Quoc-Sang, Sun, Jun

Volltext

HOT aSAX: A Novel Adaptive Symbolic Representation for Time Series Discords Discovery von Pham, Ninh D., Le, Quang Loc, Dang, Tran Khanh

Volltext

Compositional Satisfiability Solving in Separation Logic von Le, Quang Loc

Volltext

Effect of nitazoxanide on diarrhea: A systematic review and network meta-analysis of randomized controlled trials von Hashan, Mohammad Rashidul, Elhusseiny, Khaled Mosaad, Huu-Hoai, Le, Tieu, Thuan Minh, Low, Soon Khai, Minh, Le Huu Nhat, Nghia, Thai Le Ba, Loc, Le Quang, Y, Mai Nhu, Eid, Peter Samuel, Abed, Mohammed, Elkolaly, Salma Said, Tawfik, Gehad Mohamed, Huy, Nguyen Tien

Volltext

Psychological Impacts and Post-Traumatic Stress Disorder among People under COVID-19 Quarantine and Isolation: A Global Survey von Tchounwou, Paul B

Volltext

Experience of Tacrolimus Usage in Kidney Transplant Vietnamese Patients

Volltext

Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection von Li, Wenhua, Le, Quang Loc, Song, Yahui, Chin, Wei-Ngan

Volltext

An Idealist's Approach for Smart Contract Correctness von Nguyen, Tai D., Pham, Long H., Sun, Jun, Le, Quang Loc

Volltext

Constraining new physics from Higgs measurements with Lilith: update to LHC Run 2 results von Kraml, Sabine, Quang Loc, Tran, Nhung, Dao Thi, Ninh, Le Duc

Volltext

Satisfiability Modulo Heap-Based Programs von Le, Quang Loc, Sun, Jun, Chin, Wei-Ngan

Volltext

An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic von Le, Quang Loc, Le, Xuan-Bach D

Volltext bestellen

An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic von Le, Quang Loc, Le, Xuan-Bach D

Volltext bestellen