Immediate Impact
7 standout
Citing Papers
The Oracle Problem in Software Testing: A Survey
2014 Standout
Cyber–Physical Systems: A Perspective at the Centennial
2012 Standout
Works of Eric C. R. Hehner being referenced
Real-time programming
1989
Predicative programming Part I
1984
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Eric C. R. Hehner | 276 | 216 | 56 | 80 | 26 | 351 | |
| Lambert Meertens | 269 | 178 | 76 | 46 | 36 | 381 | |
| Radu Iosif | 190 | 169 | 36 | 98 | 21 | 353 | |
| Paweł Sobociński | 241 | 166 | 20 | 105 | 47 | 328 | |
| Nicolas Markey | 214 | 279 | 35 | 99 | 51 | 357 | |
| Germán Puebla | 244 | 177 | 98 | 98 | 32 | 329 | |
| Jean-Christophe Filliâtre | 321 | 261 | 47 | 49 | 15 | 393 | |
| Wei-Ngan Chin | 250 | 187 | 96 | 87 | 58 | 328 | |
| Jean-Claude Fernandez | 138 | 231 | 55 | 140 | 20 | 359 | |
| H. Partsch | 289 | 152 | 60 | 136 | 17 | 392 | |
| Roberto Bagnara | 172 | 239 | 91 | 102 | 24 | 332 |
All Works
Login with ORCID to disown or claim papers
Loading papers...