Immediate Impact
1 by Nobel laureates 62 standout
Citing Papers
Data-centric Artificial Intelligence: A Survey
2025 Standout
Expasy, the Swiss Bioinformatics Resource Portal, as designed by its users
2021 Standout
Works of Pierre Wolper being referenced
Constraint-Generating Dependencies
1999
Synthesis of Communicating Processes from Temporal Logic Specifications
1984
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Pierre Wolper | 2142 | 1617 | 934 | 37 | 2.6k | |
| E. Allen Emerson | 2247 | 1640 | 1016 | 34 | 2.8k | |
| A. Prasad Sistla | 1937 | 1439 | 893 | 44 | 2.7k | |
| Edmund M. Clarke | 1991 | 1245 | 1258 | 72 | 2.8k | |
| Dexter Kozen | 2482 | 2480 | 419 | 110 | 3.2k | |
| Zohar Manna | 2113 | 2263 | 730 | 84 | 3.0k | |
| Wojciech Penczek | 1615 | 1426 | 425 | 68 | 2.2k | |
| Gerard J. Holzmann | 1461 | 941 | 1040 | 26 | 2.2k | |
| Matthew Hennessy | 2277 | 2378 | 392 | 94 | 3.1k | |
| Amir Pnueli | 2391 | 1629 | 872 | 92 | 3.2k | |
| E. M. Clarke | 2994 | 1826 | 1590 | 46 | 3.8k |
All Works
Login with ORCID to disown or claim papers
Loading papers...