Immediate Impact
9 standout
Citing Papers
Security in quantum cryptography
2022 Standout
Swarm Robotics: Past, Present, and Future [Point of View]
2021 Standout
Works of Lars‐Åke Fredlund being referenced
Time and Probability in Formal Design of Distributed Systems
1994
Book Review: Design and Validation of Computer Protocols by Gerard J. Holzmann (Prentice Hall, 1991)
1991
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Lars‐Åke Fredlund | 135 | 166 | 53 | 60 | 21 | 220 | |
| Reino Kurki-Suonio | 118 | 113 | 56 | 51 | 19 | 193 | |
| Stefan Blom | 111 | 140 | 48 | 59 | 30 | 192 | |
| Lenore D. Zuck | 189 | 201 | 69 | 80 | 26 | 288 | |
| Judi Romijn | 73 | 170 | 41 | 86 | 20 | 223 | |
| Wendelin Serwe | 63 | 103 | 43 | 57 | 18 | 163 | |
| Frédéric Lang | 102 | 139 | 45 | 85 | 23 | 221 | |
| Enea Zaffanella | 164 | 219 | 25 | 102 | 25 | 286 | |
| Steven M. German | 135 | 200 | 44 | 75 | 15 | 253 | |
| Hubert Garavel | 116 | 180 | 69 | 99 | 23 | 267 | |
| Julien Signoles | 130 | 89 | 41 | 99 | 20 | 210 |
All Works
Login with ORCID to disown or claim papers
Loading papers...