Immediate Impact
10 standout
Citing Papers
Dealing with information overload: a comprehensive review
2023 Standout
A Survey of Important Issues in Quantum Computing and Communications
2023 Standout
Works of Amı́lcar Sernadas being referenced
Reasoning About Imperative Quantum Programs
2006
Probabilistic Situation Calculus
2001
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Amı́lcar Sernadas | 406 | 285 | 109 | 54 | 446 | |
| Marcelo Finger | 399 | 206 | 131 | 59 | 494 | |
| Larry Wos | 339 | 233 | 68 | 54 | 449 | |
| Fabio Gadducci | 285 | 195 | 89 | 58 | 380 | |
| Robert Rosebrugh | 179 | 144 | 52 | 46 | 381 | |
| R. D. Tennent | 441 | 243 | 105 | 29 | 504 | |
| Wolfgang Bibel | 315 | 205 | 73 | 44 | 393 | |
| Michele Boreale | 320 | 206 | 151 | 40 | 385 | |
| Ilaria Castellani | 369 | 297 | 206 | 31 | 461 | |
| Carlos Areces | 430 | 217 | 77 | 58 | 453 | |
| Lorenza Saitta | 352 | 76 | 38 | 58 | 444 |
All Works
Login with ORCID to disown or claim papers
Loading papers...