Immediate Impact
1 standout
Citing Papers
Artificial intelligence for waste management in smart cities: a review
2023 Standout
Works of C.-H. Luke Ong being referenced
Formal Methods and Software Engineering
2017
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| C.-H. Luke Ong | 474 | 371 | 45 | 46 | 43 | 502 | |
| Josée Desharnais | 323 | 358 | 71 | 44 | 19 | 454 | |
| Donald Sannella | 486 | 380 | 130 | 54 | 28 | 555 | |
| Gilles Dowek | 358 | 282 | 29 | 31 | 58 | 444 | |
| Radha Jagadeesan | 453 | 388 | 79 | 67 | 25 | 565 | |
| Igor Walukiewicz | 380 | 468 | 77 | 42 | 37 | 527 | |
| Jean-Pierre Jouannaud | 525 | 407 | 59 | 77 | 47 | 574 | |
| Colin Stirling | 382 | 439 | 92 | 86 | 19 | 534 | |
| Roland Backhouse | 396 | 330 | 80 | 96 | 45 | 526 | |
| Jörg H. Siekmann | 353 | 233 | 20 | 63 | 31 | 431 | |
| Rob van Glabbeek | 354 | 366 | 33 | 96 | 46 | 466 |
All Works
Login with ORCID to disown or claim papers
Loading papers...