Bao Trung Chu

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 4

Top Topics

Complexity Analysis

Computationally Expensive

Probabilistic Inference

Top Venues

IEICE Trans. Inf. Syst.

Publications

Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation -. IEICE Trans. Inf. Syst. (10) (2019)
Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem. CoRR (2019)
Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
Quantifying Dynamic Leakage: Complexity Analysis and Model Counting-based Calculation. CoRR (2019)
Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
Counting Algorithms for Recognizable and Algebraic Series. IEICE Trans. Inf. Syst. (6) (2018)