Thi Kim Nhung Dang

According to our database, Thi Kim Nhung Dang authored at least 5 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Fuzzy Fault Trees: the Fast and the Formal.

Thi Kim Nhung Dang, Benedikt Peterseim, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2025

2024

Fuzzy Fault Trees Formalized.

Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga

CoRR, 2024

Fuzzy quantitative attack tree analysis.

Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

Look back, look around: A systematic analysis of effective predictors for new outlinks in focused Web crawling.

Thi Kim Nhung Dang, Doina Bucur, Berk Atil, Guillaume Pitel, Frank Ruis, Hamid Reza Kadkhodaei, Nelly Litvak

Knowl. Based Syst., 2023

2021

Prediction of new outlinks for focused Web crawling.

Thi Kim Nhung Dang, Doina Bucur, Berk Atil, Guillaume Pitel, Frank Ruis, Hamid Reza Kadkhodaei, Nelly Litvak

CoRR, 2021