Edit Profile (opens in new tab) Hong, Chih-Duo Co-Author Distance Author ID: 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 all top 5 Co-Authors 0 single-authored 3 Chen, Yu-Fang 2 Abdulla, Parosh Aziz 2 Lin, Anthony Widjaja 1 Barceló, Pablo 1 Clemente, Lorenzo 1 Delzanno, Giorgio 1 Haziza, Frédéric 1 Holík, Lukáš 1 Le, Xuan-Bach D. 1 Markgraf, Oliver 1 Mayr, Richard M. 1 Najib, Muhammad 1 Neider, Daniel 1 Niskanen, Reino 1 Rezine, Ahmed 1 Vojnar, Tomáš 1 Wang, Bow-Yaw 1 Zhang, Lijun Serials Fields 5 Computer science (68-XX) 1 Approximations and expansions (41-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications 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 all cited Publications top 5 cited Publications all top 5 Cited by 42 Authors 6 Li, Yong 5 Vardi, Moshe Ya’akov 5 Zhang, Lijun 3 Chen, Yu-Fang 2 Bartocci, Ezio 2 Fogarty, Seth J. 2 Hague, Matthew 2 Kovács, Laura Ildikó 2 Lin, Anthony Widjaja 2 Liu, Depeng 2 Stankovič, Miroslav 2 Tsay, Yih-Kuen 2 Turrini, Andrea 1 Abdulla, Parosh Aziz 1 Bao, Jialu 1 Clemente, Lorenzo 1 Diskin, Zinovy 1 Doveri, Kyveli 1 Feng, Weizhi 1 Fisher, Corey 1 Friedmann, Oliver 1 Ganty, Pierre 1 Holík, Lukáš 1 Hong, Chih-Duo 1 Hsu, Justin 1 Klaedtke, Felix 1 Lange, Martin 1 Maibaum, Thomas Stephen Edward 1 Markgraf, Oliver 1 Mayr, Richard M. 1 Mazzocchi, Nicolas 1 Meyer, Roland 1 Muskalla, Sebastian 1 Pathak, Drashti 1 Rosa-Velardo, Fernando 1 Roy, Subhajit 1 Rümmer, Philipp 1 Safilian, Aliakbar 1 Stan, Daniel 1 Trivedi, Nitesh 1 Vojnar, Tomáš 1 Wu, Zhilin Cited in 5 Serials 2 Information and Computation 1 Acta Informatica 1 Theoretical Computer Science 1 ACM Transactions on Computational Logic 1 Journal of Logical and Algebraic Methods in Programming Cited in 3 Fields 18 Computer science (68-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year