×
Author ID: hong.chih-duo Recent zbMATH articles by "Hong, Chih-Duo"
Published as: Hong, Chih-Duo
Documents Indexed: 5 Publications since 2010
Co-Authors: 18 Co-Authors with 5 Joint Publications
407 Co-Co-Authors

Serials

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 19 times in 18 Documents Cited by Year
Advanced Ramsey-based Büchi automata inclusion testing. Zbl 1343.68130
Abdulla, Parosh Aziz; Chen, Yu-Fang; Clemente, Lorenzo; Holík, Lukáš; Hong, Chih-Duo; Mayr, Richard; Vojnar, Tomáš
12
2011
Counterexample-guided polynomial loop invariant generation by Lagrange interpolation. Zbl 1381.68049
Chen, Yu-Fang; Hong, Chih-Duo; Wang, Bow-Yaw; Zhang, Lijun
3
2015
Monadic decomposability of regular relations. Zbl 07561596
Barceló, Pablo; Hong, Chih-Duo; Le, Xuan-Bach; Lin, Anthony W.; Niskanen, Reino
2
2019
Constrained monotonic abstraction: a CEGAR for parameterized verification. Zbl 1287.68117
Abdulla, Parosh Aziz; Chen, Yu-Fang; Delzanno, Giorgio; Haziza, Frédéric; Hong, Chih-Duo; Rezine, Ahmed
1
2010
Parameterized synthesis with safety properties. Zbl 1476.68154
Markgraf, Oliver; Hong, Chih-Duo; Lin, Anthony W.; Najib, Muhammad; Neider, Daniel
1
2020
Parameterized synthesis with safety properties. Zbl 1476.68154
Markgraf, Oliver; Hong, Chih-Duo; Lin, Anthony W.; Najib, Muhammad; Neider, Daniel
1
2020
Monadic decomposability of regular relations. Zbl 07561596
Barceló, Pablo; Hong, Chih-Duo; Le, Xuan-Bach; Lin, Anthony W.; Niskanen, Reino
2
2019
Counterexample-guided polynomial loop invariant generation by Lagrange interpolation. Zbl 1381.68049
Chen, Yu-Fang; Hong, Chih-Duo; Wang, Bow-Yaw; Zhang, Lijun
3
2015
Advanced Ramsey-based Büchi automata inclusion testing. Zbl 1343.68130
Abdulla, Parosh Aziz; Chen, Yu-Fang; Clemente, Lorenzo; Holík, Lukáš; Hong, Chih-Duo; Mayr, Richard; Vojnar, Tomáš
12
2011
Constrained monotonic abstraction: a CEGAR for parameterized verification. Zbl 1287.68117
Abdulla, Parosh Aziz; Chen, Yu-Fang; Delzanno, Giorgio; Haziza, Frédéric; Hong, Chih-Duo; Rezine, Ahmed
1
2010

Citations by Year