Edit Profile (opens in new tab) Chen, Yu-Fang Co-Author Distance Author ID: chen.yu-fang Published as: Chen, Yu-Fang Documents Indexed: 27 Publications since 1994 1 Contribution as Editor Co-Authors: 47 Co-Authors with 22 Joint Publications 832 Co-Co-Authors all top 5 Co-Authors 0 single-authored 7 Abdulla, Parosh Aziz 6 Holík, Lukáš 4 Tsay, Yih-Kuen 4 Vojnar, Tomáš 4 Wang, Bow-Yaw 3 Hong, Chih-Duo 3 Lengál, Ondřej 3 Wu, Zhilin 3 Zhang, Lijun 2 Atig, Mohamed Faouzi 2 Chan, Wen-Chin 2 Cheng, Chih-Hong 2 Clarke, Edmund Melson jun. 2 Farzan, Azadeh 2 Havlena, Vojtěch 2 Li, Yong 2 Liu, Depeng 2 Luo, Chi-Jian 2 Mayr, Richard M. 2 Rezine, Ahmed 2 Siegel, David 2 Tsai, Ming-Hsien 2 Voller, Vaughan R. 2 Yen, Di-De 1 Bensalem, Saddek 1 Blahoudek, František 1 Buckl, Christian 1 Chang, Jinn-Shu 1 Chocholatý, David 1 Clemente, Lorenzo 1 Delzanno, Giorgio 1 Diep, Bui Phi 1 Esparza, Javier 1 Haziza, Frédéric 1 Hu, Denghang 1 Jobstmann, Barbara 1 Knoll, Alois C. 1 Leonardsson, Carl 1 Rueß, Harald 1 Síč, Juraj 1 Song, Lei 1 Tan, Tony 1 Tsai, Wei-Lun 1 Tuan, P. H. 1 Tung, J. C. 1 Turrini, Andrea 1 Wu, Kang-Nien 1 Wu, Zhillin 1 Xia, Bican 1 Yan, Rongjie 1 Zhan, Naijun all top 5 Serials 1 Acta Informatica 1 International Journal for Numerical Methods in Fluids 1 Rocky Mountain Journal of Mathematics 1 International Journal for Numerical Methods in Engineering 1 Theoretical Computer Science 1 Information and Computation 1 Formal Aspects of Computing 1 Journal of Physics A: Mathematical and General 1 The Canadian Applied Mathematics Quarterly 1 Lecture Notes in Computer Science 1 Annalen der Physik all top 5 Fields 22 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 2 Fluid mechanics (76-XX) 2 Quantum theory (81-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Ordinary differential equations (34-XX) 1 Approximations and expansions (41-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 18 Publications have been cited 108 times in 83 Documents Cited by ▼ Year ▼ Extending automated compositional verification to the full class of omega-regular languages. Zbl 1134.68406 Farzan, Azadeh; Chen, Yu-Fang; Clarke, Edmund M.; Tsay, Yih-Kuen; Wang, Bow-Yaw 24 2008 Learning minimal separating DFA’s for compositional verification. Zbl 1234.68166 Chen, Yu-Fang; Farzan, Azadeh; Clarke, Edmund M.; Tsay, Yih-Kuen; Wang, Bow-Yaw 20 2009 When simulation meets antichains. (On checking language inclusion of nondeterministic finite (tree) automata). Zbl 1284.68337 Abdulla, Parosh Aziz; Chen, Yu-Fang; Holík, Lukáš; Mayr, Richard; Vojnar, Tomáš 16 2010 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 A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1453.68098 Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng 8 2017 Counter-example guided fence insertion under TSO. Zbl 1352.68047 Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Chen, Yu-Fang; Leonardsson, Carl; Rezine, Ahmed 7 2012 GOAL extended: Towards a research tool for omega automata and temporal logic. Zbl 1134.68420 Tsay, Yih-Kuen; Chen, Yu-Fang; Tsai, Ming-Hsien; Chan, Wen-Chin; Luo, Chi-Jian 6 2008 Global stability of deficiency zero chemical networks. Zbl 0823.92011 Siegel, D.; Chen, Y. F. 4 1994 Prediction of filling times of porous cavities. Zbl 0884.76071 Voller, V. R.; Chen, Y. F. 4 1996 Numerical solution of transient, free surface problems in porous media. Zbl 0884.76072 Voller, V. R.; Peng, S.; Chen, Y. F. 4 1996 Mediating for reduction (on minimizing alternating Büchi automata). Zbl 1248.68280 Abdulla, Parosh A.; Chen, Yu-Fang; Holik, Lukáš; Vojnar, Tomáš 3 2009 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 A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1518.68150 Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng 3 2021 Register automata with linear arithmetic. Zbl 1458.68095 Chen, Yu-Fang; Lengál, Ondřej; Tan, Tony; Wu, Zhilin 3 2017 Vortex structure of quantum eigenstates and classical periodic orbits in two-dimensional harmonic oscillators. Zbl 1026.81022 Chen, Y. F.; Huang, K. F. 2 2003 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 A symbolic algorithm for the case-split rule in string constraint solving. Zbl 1476.68312 Chen, Yu-Fang; Havlena, Vojtěch; Lengál, Ondřej; Turrini, Andrea 1 2020 Solving not-substring constraint with flat abstraction. Zbl 1520.68068 Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Chen, Yu-Fang; Diep, Bui Phi; Holík, Lukáš; Hu, Denghang; Tsai, Wei-Lun; Wu, Zhillin; Yen, Di-De 1 2021 A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1518.68150 Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng 3 2021 Solving not-substring constraint with flat abstraction. Zbl 1520.68068 Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Chen, Yu-Fang; Diep, Bui Phi; Holík, Lukáš; Hu, Denghang; Tsai, Wei-Lun; Wu, Zhillin; Yen, Di-De 1 2021 A symbolic algorithm for the case-split rule in string constraint solving. Zbl 1476.68312 Chen, Yu-Fang; Havlena, Vojtěch; Lengál, Ondřej; Turrini, Andrea 1 2020 A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1453.68098 Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng 8 2017 Register automata with linear arithmetic. Zbl 1458.68095 Chen, Yu-Fang; Lengál, Ondřej; Tan, Tony; Wu, Zhilin 3 2017 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 Counter-example guided fence insertion under TSO. Zbl 1352.68047 Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Chen, Yu-Fang; Leonardsson, Carl; Rezine, Ahmed 7 2012 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 When simulation meets antichains. (On checking language inclusion of nondeterministic finite (tree) automata). Zbl 1284.68337 Abdulla, Parosh Aziz; Chen, Yu-Fang; Holík, Lukáš; Mayr, Richard; Vojnar, Tomáš 16 2010 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 Learning minimal separating DFA’s for compositional verification. Zbl 1234.68166 Chen, Yu-Fang; Farzan, Azadeh; Clarke, Edmund M.; Tsay, Yih-Kuen; Wang, Bow-Yaw 20 2009 Mediating for reduction (on minimizing alternating Büchi automata). Zbl 1248.68280 Abdulla, Parosh A.; Chen, Yu-Fang; Holik, Lukáš; Vojnar, Tomáš 3 2009 Extending automated compositional verification to the full class of omega-regular languages. Zbl 1134.68406 Farzan, Azadeh; Chen, Yu-Fang; Clarke, Edmund M.; Tsay, Yih-Kuen; Wang, Bow-Yaw 24 2008 GOAL extended: Towards a research tool for omega automata and temporal logic. Zbl 1134.68420 Tsay, Yih-Kuen; Chen, Yu-Fang; Tsai, Ming-Hsien; Chan, Wen-Chin; Luo, Chi-Jian 6 2008 Vortex structure of quantum eigenstates and classical periodic orbits in two-dimensional harmonic oscillators. Zbl 1026.81022 Chen, Y. F.; Huang, K. F. 2 2003 Prediction of filling times of porous cavities. Zbl 0884.76071 Voller, V. R.; Chen, Y. F. 4 1996 Numerical solution of transient, free surface problems in porous media. Zbl 0884.76072 Voller, V. R.; Peng, S.; Chen, Y. F. 4 1996 Global stability of deficiency zero chemical networks. Zbl 0823.92011 Siegel, D.; Chen, Y. F. 4 1994 all cited Publications top 5 cited Publications all top 5 Cited by 173 Authors 9 Holík, Lukáš 8 Tsay, Yih-Kuen 8 Vojnar, Tomáš 7 Chen, Yu-Fang 7 Fisman, Dana 7 Vardi, Moshe Ya’akov 6 Abdulla, Parosh Aziz 6 Angluin, Dana 6 Lengál, Ondřej 6 Li, Yong 5 Grumberg, Orna 5 Zhang, Lijun 4 Atig, Mohamed Faouzi 4 Shoham, Sharon 3 Clemente, Lorenzo 3 Fogarty, Seth J. 3 Havlena, Vojtěch 3 Păsăreanu, Corina S. 3 Tsai, Ming-Hsien 3 Wang, Bow-Yaw 2 An, Jie 2 Bartocci, Ezio 2 Bouajjani, Ahmed 2 Brunet, Paul 2 Chang, Jinn-Shu 2 Ciancia, Vincenzo 2 Dierl, Simon 2 Fiedor, Tomáš 2 Frenkel, Hadar 2 Garcia, Pedro 2 Héam, Pierre-Cyrille 2 Howar, Falk 2 Kovács, Laura Ildikó 2 Leonardsson, Carl 2 Lin, Anthony Widjaja 2 Liu, Depeng 2 López , Damián 2 Mayr, Richard M. 2 Nicaud, Cyril 2 Pous, Damien 2 Rogalewicz, Adam 2 Schmitz, Sylvain 2 Sheinvald, Sarai 2 Stankovič, Miroslav 2 Turrini, Andrea 2 Vázquez de Parga, Manuel 2 Zhan, Bohua 2 Zhan, Naijun 2 Zhang, Miaomiao 1 Abd Elkader, Karam 1 Antonopoulos, Timos 1 Aronis, Stavros 1 Bao, Jialu 1 Barth, Stephan 1 Björklund, Henrik 1 Björklund, Johanna 1 Blahoudek, František 1 Boker, Udi 1 Bonchi, Filippo 1 Chan, Wen-Chin 1 Chang, Yi-Wen 1 Chatterjee, Krishnendu 1 Chen, Mingshuai 1 Chocholatý, David 1 Clarke, Edmund Melson jun. 1 David, Cristina 1 Deng, Robert Huijie 1 Diskin, Zinovy 1 Doveri, Kyveli 1 Farzan, Azadeh 1 Feng, Weizhi 1 Fernau, Henning 1 Fisher, Corey 1 Fleischhacker, Nils 1 Friedmann, Oliver 1 Ganty, Pierre 1 Garg, Pranav 1 Gheorghe, Marian 1 Giannakopoulou, Dimitra 1 Habermehl, Peter 1 Hague, Matthew 1 Haziza, Frédéric 1 Heggernes, Pinar 1 Heizmann, Matthias 1 Holík, Luká 1 Hong, Chih-Duo 1 Hsu, Justin 1 Iosif, Radu 1 Ipate, Florentin 1 Janků, Petr 1 Jin, Xiangyu 1 Jonsson, Bengt 1 Jung, Yungbum 1 Kappé, Tobias 1 Kaxiras, Stefanos 1 Klaedtke, Felix 1 Kong, Soonho 1 König, Barbara 1 Krupp, Johannes 1 Kuperberg, Denis ...and 73 more Authors all top 5 Cited in 15 Serials 7 Theoretical Computer Science 6 Information and Computation 5 Acta Informatica 5 Logical Methods in Computer Science 3 Formal Methods in System Design 3 Journal of Logical and Algebraic Methods in Programming 2 Formal Aspects of Computing 1 Artificial Intelligence 1 Information Sciences 1 Journal of Computer and System Sciences 1 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic Cited in 5 Fields 79 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Information and communication theory, circuits (94-XX) 1 Systems theory; control (93-XX) Citations by Year