Immediate Impact
1 standout
Citing Papers
An overview on smart contracts: Challenges, advances and platforms
2019 Standout
Works of Luís Pinto being referenced
Type-based termination of recursive definitions
2004
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Luís Pinto | 84 | 69 | 1 | 9 | 17 | 93 | |
| Luca Roversi | 104 | 96 | 1 | 12 | 14 | 123 | |
| Sylvain Lombardy | 84 | 113 | 1 | 8 | 14 | 122 | |
| Klaus-Jörn Lange | 60 | 77 | 7 | 16 | 92 | ||
| Chad E. Brown | 104 | 69 | 2 | 7 | 14 | 109 | |
| Ben Moszkowski | 59 | 49 | 12 | 20 | 70 | ||
| Gian Luca Cattani | 83 | 81 | 17 | 14 | 111 | ||
| Kamal Lodaya | 57 | 88 | 21 | 20 | 100 | ||
| Hans de Nivelle | 105 | 57 | 1 | 15 | 16 | 111 | |
| Tudor Jebelean | 67 | 57 | 12 | 13 | 89 | ||
| John Longley | 111 | 99 | 5 | 15 | 120 |
All Works
Login with ORCID to disown or claim papers
Loading papers...