Immediate Impact
9 standout
Citing Papers
Application of digital technologies for ensuring agricultural productivity
2023 Standout
Digital transformation of agriculture and rural areas: A socio-cyber-physical system framework to support responsibilisation
2021 Standout
Works of Jan M. Smith being referenced
Twenty Five Years of Constructive Type Theory
1998
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Jan M. Smith | 296 | 207 | 7 | 73 | 15 | 359 | |
| Erwin Engeler | 255 | 242 | 13 | 31 | 31 | 411 | |
| Roy Dyckhoff | 317 | 215 | 9 | 48 | 35 | 400 | |
| Thorsten Altenkirch | 309 | 191 | 13 | 45 | 32 | 333 | |
| Wilfried Buchholz | 255 | 309 | 35 | 24 | 387 | ||
| Silvio Valentini | 259 | 188 | 1 | 84 | 36 | 326 | |
| Giuseppe Rosolini | 239 | 180 | 8 | 119 | 31 | 318 | |
| Laurent Régnier | 288 | 228 | 7 | 33 | 7 | 316 | |
| Robert W. Ritchie | 150 | 208 | 18 | 21 | 313 | ||
| Thomas W. Hungerford | 56 | 127 | 65 | 12 | 389 | ||
| Franck van Breugel | 174 | 209 | 25 | 45 | 29 | 304 |
All Works
Loading papers...