Immediate Impact
14 standout
Citing Papers
Agent-Based Modeling in Economics and Finance: Past, Present, and Future
2025 Standout
An All-Inclusive Taxonomy and Critical Review of Blockchain-Assisted Authentication and Session Key Generation Protocols for IoT
2024 Standout
Works of Stefan Hallerstede being referenced
Rodin: an open toolset for modelling and reasoning in Event-B
2010
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Stefan Hallerstede | 201 | 202 | 153 | 26 | 455 | |
| Thai Son Hoang | 196 | 180 | 152 | 37 | 377 | |
| José Merseguer | 96 | 222 | 196 | 44 | 491 | |
| Leonardo de Moura | 208 | 254 | 137 | 18 | 423 | |
| Dimitra Giannakopoulou | 216 | 205 | 205 | 47 | 398 | |
| Ketil Stølen | 89 | 187 | 127 | 44 | 407 | |
| Jonathan S. Ostroff | 350 | 146 | 150 | 25 | 489 | |
| Béatrice Bérard | 334 | 170 | 151 | 27 | 448 | |
| Juan Bicarregui | 147 | 168 | 179 | 36 | 413 | |
| Ylìès Falcone | 239 | 228 | 149 | 35 | 376 | |
| William H. Sanders | 155 | 66 | 75 | 45 | 441 |
All Works
Login with ORCID to disown or claim papers
Loading papers...