| 作者 | 引用 | 发文 |
|---|---|---|
| David Monniaux | 1391 | 5 |
| Antoine Miné | 1000 | 2 |
| Xavier Rival | 967 | 2 |
| Patrick Cousot | 949 | 1 |
| Bruno Blanchet | 949 | 1 |
| Jérôme Feret | 949 | 1 |
| Radhia Cousot | 949 | 1 |
| Laurent Mauborgne | 949 | 1 |
| Zachary Tatlock | 582 | 5 |
| Shoaib Kamil | 403 | 2 |
| 作者 | 引用 | 发文 |
|---|---|---|
| David Van Horn | 388 | 13 |
| Vasco T. Vasconcelos | 116 | 9 |
| Kees Middelburg | 86 | 8 |
| J.A. (Jan) Bergstra | 86 | 8 |
| Nobuko Yoshida | 50 | 7 |
| James Cheney | 144 | 7 |
| Luca Padovani | 158 | 7 |
| Sam Tobin-Hochstadt | 113 | 6 |
| Justin Hsu | 213 | 6 |
| Matthew Might | 162 | 6 |
