Immediate Impact
1 from Science/Nature 16 standout
Citing Papers
Large Language Models for Software Engineering: A Systematic Literature Review
2024 Standout
Enhancing Cyber-Resiliency of DER-Based Smart Grid: A Survey
2024 Standout
Works of Béatrice Bérard being referenced
Systems and Software Verification: Model-Checking Techniques and Tools
2001
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Béatrice Bérard | 334 | 170 | 151 | 27 | 448 | |
| Gerd Behrmann | 270 | 120 | 154 | 29 | 489 | |
| François Laroussinie | 291 | 216 | 147 | 23 | 398 | |
| Jonathan S. Ostroff | 350 | 146 | 150 | 25 | 489 | |
| Thierry Jéron | 293 | 115 | 275 | 31 | 464 | |
| Franck Cassez | 317 | 134 | 75 | 38 | 420 | |
| Andreas Bauer | 214 | 203 | 140 | 23 | 396 | |
| Stefan Hallerstede | 201 | 202 | 153 | 26 | 455 | |
| Thai Son Hoang | 196 | 180 | 152 | 37 | 377 | |
| Ursula Goltz | 247 | 215 | 125 | 36 | 434 | |
| Dimitra Giannakopoulou | 216 | 205 | 205 | 47 | 398 |
All Works
Login with ORCID to disown or claim papers
Loading papers...