Immediate Impact
9 standout
Citing Papers
In search of an understandable consensus algorithm
2014 Standout
Business Process Management: A Comprehensive Survey
2013 Standout
Works of Rob Gerth being referenced
A partial order approach to branching time logic model checking
2002
Proving Monitors Revisited: A First Step Towards Verifying Object Oriented Systems1
1986
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Rob Gerth | 279 | 177 | 36 | 135 | 24 | 326 | |
| Dennis Dams | 319 | 234 | 29 | 171 | 23 | 364 | |
| Steven M. German | 200 | 135 | 44 | 75 | 15 | 253 | |
| Roberto Bagnara | 239 | 172 | 30 | 102 | 24 | 332 | |
| Nicolas Markey | 279 | 214 | 30 | 99 | 51 | 357 | |
| Enea Zaffanella | 219 | 164 | 25 | 102 | 25 | 286 | |
| Salvatore La Torre | 235 | 154 | 55 | 89 | 41 | 279 | |
| Gerhard Goos | 239 | 125 | 80 | 125 | 12 | 352 | |
| Jean-Claude Fernandez | 231 | 138 | 67 | 140 | 20 | 359 | |
| Barbara Jobstmann | 208 | 132 | 47 | 126 | 14 | 298 | |
| Jeremy Sproston | 283 | 124 | 62 | 162 | 18 | 353 |
All Works
Loading papers...