Counting Algorithms for Recognizable and Algebraic Series. - Bao Trung Chu; Kenji Hashimoto; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2018)

On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem. - Bao Trung Chu; Kenji Hashimoto; Hiroyuki Seki (CoRR, 2019)

Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation -. - Bao Trung Chu; Kenji Hashimoto; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2019)