Hoang Gia Nguyen

Layered and Collecting NDFS with Subsumption for Parametric Timed Automata18 trích dẫn
· 2018 · DOI

Parametric Model Checking Timed Automata Under Non-Zenoness Assumption12 trích dẫn
Lecture notes in computer science · 2017 · DOI

Reachability Preservation Based Parameter Synthesis for Timed Automata9 trích dẫn
Lecture notes in computer science · 2015 · DOI

Enhanced Distributed Behavioral Cartography of Parametric Timed Automata8 trích dẫn
Lecture notes in computer science · 2015 · DOI

The Effectiveness of Afatinib as First‐Line Treatment in Vietnamese Patients With EGFR‐Mutant Non–Small Cell Lung Cancer and Brain Metastases3 trích dẫn
Asia-Pacific Journal of Clinical Oncology · 2024 · DOI

Retifanlimab versus placebo in combination with platinum-based chemotherapy in patients with first-line non-squamous or squamous metastatic non-small-cell lung cancer (POD1UM-304): a phase 3, multiregional, placebo-controlled, double-blind, randomised study3 trích dẫn
The Lancet Respiratory Medicine · 2025 · DOI

Real-world analysis of afatinib as a first-line treatment for patients with advanced stage non-small-cell lung cancer with uncommon EGFR mutations: a multicenter study in Vietnam3 trích dẫn
Therapeutic Advances in Medical Oncology · 2024 · DOI

A real-world cohort study of first-line afatinib in patients with EGFR-mutant advanced non-small cell lung cancer in Vietnam3 trích dẫn
BMC Cancer · 2024 · DOI

Efficient Parameter Synthesis Using Optimized State Exploration Strategies3 trích dẫn
· 2017 · DOI

Optimizing afatinib dosage: enhancing treatment outcomes and minimizing toxicities in advanced EGFR-mutated non-small cell lung cancer patients in Vietnam1 trích dẫn
Therapeutic Advances in Medical Oncology · 2025 · DOI