标题/作者 | 引用次数 | 年份 |
---|---|---|
G Katz, DA Huang, D Ibeling, K Julian, C Lazarus, R Lim, P Shah, ... CAV (1), 443-452 | 401 | 2019 |
HD Tran, X Yang, DM Lopez, P Musau, LV Nguyen, W Xiang, S Bak, ... CAV (1), 3-17 | 192 | 2020 |
T Dreossi, DJ Fremont, S Ghosh, E Kim, H Ravanbakhsh, ... CAV (1), 432-442 | 184 | 2019 |
I Grishchenko, M Maffei, C Schneidewind CAV (1), 51-78 | 100 | 2018 |
HD Tran, S Bak, W Xiang, TT Johnson CAV (1), 18-42 | 97 | 2020 |
YY Elboher, J Gottschlich, G Katz CAV (1), 43-65 | 96 | 2020 |
PJ Meyer, S Sickert, M Luttenberger CAV (1), 578-586 | 95 | 2018 |
B Cook CAV (1), 38-47 | 94 | 2018 |
S Bak, HD Tran, K Hobbs, TT Johnson CAV (1), 66-96 | 84 | 2020 |
T Dreossi, S Jha, SA Seshia CAV (1), 3-26 | 78 | 2018 |
LC Cordeiro, P Kesseli, D Kroening, P Schrammel, M Trtík CAV (1), 183-190 | 75 | 2018 |
A Niemetz, M Preiner, C Wolf, A Biere CAV (1), 587-595 | 74 | 2018 |
P Faymonville, B Finkbeiner, M Schledjewski, M Schwenger, M Stenger, ... CAV (1), 421-431 | 67 | 2019 |
M Soos, S Gocht, KS Meel CAV (1), 463-484 | 63 | 2020 |
A Gacek, J Backes, M Whalen, LG Wagner, E Ghassabani CAV (2), 20-27 | 62 | 2018 |
M Eilers, P Müller CAV (1), 596-603 | 60 | 2018 |
A Chudnov, N Collins, B Cook, J Dodds, B Huffman, C MacCárthaigh, ... CAV (2), 430-446 | 59 | 2018 |
A Reynolds, H Barbosa, A Nötzli, CW Barrett, C Tinelli CAV (2), 74-83 | 58 | 2019 |
A Abate, C David, P Kesseli, D Kroening, E Polgreen CAV (1), 270-288 | 58 | 2018 |
J Backes, S Bayless, B Cook, C Dodge, A Gacek, AJ Hu, T Kahsai, ... CAV (2), 231-241 | 55 | 2019 |
1 - 20
计算机程序会自动估算并确定日期和引用次数。