Immediate Impact
18 standout
Citing Papers
Wheat2035: Integrating pan-omics and advanced biotechnology for future wheat design
2025 Standout
Colloquium: Quantum batteries
2024 Standout
Works of Andre Scedrov being referenced
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
2005
Decision problems for propositional linear logic
1992
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Andre Scedrov | 1025 | 706 | 274 | 75 | 1.2k | |
| Mariangiola Dezani-Ciancaglini | 1207 | 861 | 279 | 114 | 1.3k | |
| Salil Vadhan | 745 | 517 | 232 | 70 | 1.1k | |
| Eugenio Moggi | 1108 | 674 | 159 | 31 | 1.2k | |
| Deepak Kapur | 712 | 766 | 109 | 91 | 1.2k | |
| Frank Ruskey | 575 | 603 | 196 | 80 | 1.2k | |
| Gary L. Mullen | 813 | 336 | 119 | 119 | 1.3k | |
| John V. Tucker | 596 | 717 | 107 | 110 | 1.0k | |
| Robert L. Constable | 733 | 575 | 139 | 70 | 996 | |
| Gilles Barthe | 914 | 325 | 189 | 114 | 1.0k | |
| Anil Nerode | 684 | 864 | 89 | 75 | 1.4k |
All Works
Login with ORCID to disown or claim papers
Loading papers...