标题/作者 | 引用次数 | 年份 |
---|---|---|
G Katz, CW Barrett, DL Dill, K Julian, MJ Kochenderfer CAV (1), 97-117 | 1293 | 2017 |
X Huang, M Kwiatkowska, S Wang, M Wu CAV (1), 3-29 | 750 | 2017 |
C Dehnert, S Junges, JP Katoen, M Volk CAV (2), 592-600 | 388 | 2017 |
G Katz, DA Huang, D Ibeling, K Julian, C Lazarus, R Lim, P Shah, ... CAV (1), 443-452 | 244 | 2019 |
HD Tran, X Yang, D Manzanas Lopez, P Musau, LV Nguyen, W Xiang, ... Computer Aided Verification: 32nd International Conference, CAV 2020, Los … | 95 | 2020 |
T Dreossi, DJ Fremont, S Ghosh, E Kim, H Ravanbakhsh, ... CAV (1), 432-442 | 94 | 2019 |
I Grishchenko, M Maffei, C Schneidewind CAV (1), 51-78 | 82 | 2018 |
C Fan, B Qi, S Mitra, M Viswanathan CAV (1), 441-461 | 72 | 2017 |
PJ Meyer, S Sickert, M Luttenberger CAV (1), 578-586 | 71 | 2018 |
B Ekici, A Mebsout, C Tinelli, C Keller, G Katz, A Reynolds, CW Barrett CAV (2), 126-133 | 70 | 2017 |
B Cook CAV (1), 38-47 | 68 | 2018 |
A El-Hassany, P Tsankov, L Vanbever, MT Vechev CAV (2), 261-281 | 66 | 2017 |
P Faymonville, B Finkbeiner, L Tentrup CAV (2), 325-332 | 65 | 2017 |
T Dreossi, S Jha, SA Seshia CAV (1), 3-26 | 62 | 2018 |
L D'Antoni, M Veanes CAV (1), 47-67 | 61 | 2017 |
HD Tran, S Bak, W Xiang, TT Johnson Computer Aided Verification: 32nd International Conference, CAV 2020, Los … | 57 | 2020 |
C Baier, J Klein, L Leuschner, D Parker, S Wunderlich CAV (1), 160-180 | 56 | 2017 |
S Bak, PS Duggirala CAV (1), 401-420 | 56 | 2017 |
A Niemetz, M Preiner, C Wolf, A Biere CAV (1), 587-595 | 56 | 2018 |
S Bak, HD Tran, K Hobbs, TT Johnson Computer Aided Verification: 32nd International Conference, CAV 2020, Los … | 54 | 2020 |
1 - 20
计算机程序会自动估算并确定日期和引用次数。