Bao Trung Chu

According to our database¹, Bao Trung Chu authored at least 3 papers between 2018 and 2019.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2019

Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation -.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2019

On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem.

[BibT_eX]

[DOI]

CoRR, 2019

2018

Counting Algorithms for Recognizable and Algebraic Series.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2018