Immediate Impact
33 standout
Citing Papers
Large Language Models for Software Engineering: A Systematic Literature Review
2024 Standout
Guidelines for including grey literature and conducting multivocal literature reviews in software engineering
2018 Standout
Works of Mark Trakhtenbrot being referenced
STATEMATE: a working environment for the development of complex reactive systems
1990
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Mark Trakhtenbrot | 179 | 140 | 8 | 157 | 6 | 385 | |
| Paul T. Ward | 136 | 210 | 5 | 164 | 9 | 452 | |
| Robin Sahner | 120 | 42 | 1 | 139 | 6 | 452 | |
| Béatrice Bérard | 334 | 170 | 1 | 151 | 27 | 448 | |
| Leonardo de Moura | 208 | 254 | 3 | 137 | 18 | 423 | |
| George H. Mealy | 183 | 177 | 47 | 4 | 394 | ||
| Brent Hailpern | 113 | 198 | 15 | 156 | 21 | 457 | |
| Jeremy Dick | 80 | 105 | 5 | 175 | 15 | 353 | |
| Corrado Böhm | 186 | 284 | 35 | 76 | 17 | 447 | |
| François Laroussinie | 291 | 216 | 1 | 147 | 23 | 398 | |
| Andrew J. Novobilski | 35 | 163 | 10 | 55 | 9 | 388 |
All Works
Loading papers...