Immediate Impact
1 standout
Citing Papers
Blockchain smart contracts: Applications, challenges, and future trends
2021 Standout
Works of Chiyan Chen being referenced
Guarded recursive datatype constructors
2003
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Chiyan Chen | 36 | 17 | 14 | 5 | 36 | |
| M.F. Kuiper | 32 | 20 | 13 | 5 | 42 | |
| David Stoutamire | 26 | 8 | 11 | 4 | 36 | |
| François Bobot | 23 | 19 | 6 | 6 | 29 | |
| Leonid Kof | 21 | 10 | 20 | 5 | 38 | |
| Gary T. Leavens | 38 | 22 | 20 | 6 | 48 | |
| François Bourdoncle | 28 | 24 | 7 | 4 | 36 | |
| Laurence Rideau | 27 | 26 | 9 | 7 | 34 | |
| Mads Torgersen | 29 | 9 | 21 | 5 | 44 | |
| Vijay Anand Korthikanti | 14 | 12 | 15 | 4 | 32 | |
| Sarah M. Loos | 34 | 32 | 7 | 5 | 50 |
All Works
Loading papers...