National Chengchi University, Social Science Center,Research & Development (Social network graph considers only
internal connections of NCCU
)
CHIH-DUO HONG (10)
2025-06
Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
2025-03
Concolic Testing on Individual Fairness of Neural Network Models
2024-07
Concolic Testing on Individual Fairness of Neural Network Models
2024-01
Regular Abstractions for Array Systems
2024-01
Regular Abstractions for Array Systems
2020-11
Parameterized Synthesis with Safety Properties
2019-07
Monadic Decomposability of Regular Relations
2019-07
Probabilistic Bisimulation for Parameterized Systems
2019-06
CSS Minification via Constraint Solving
2017-10
Learning to prove safety over parameterised concurrent systems
FANG YU
CHIH-DUO HONG
Nation Chengchi University Library All Rights Reserved.
Menu
close
Node
Scale:
1
Change Color!!
hide
0