Immediate Impact
11 standout
Citing Papers
Internet of Things and Big Data Analytics for Smart and Connected Communities
2016 Standout
Transformational leadership and project success: The mediating role of team-building
2016 Standout
Works of Dines Bjørner being referenced
Position statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods
1990
Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper)
1982
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Dines Bjørner | 243 | 129 | 148 | 46 | 369 | |
| Ali Mili | 223 | 102 | 141 | 63 | 406 | |
| Ole Lehrmann Madsen | 289 | 83 | 84 | 41 | 399 | |
| Thomas Arts | 270 | 107 | 189 | 33 | 410 | |
| Mehdi Jazayeri | 188 | 118 | 75 | 36 | 389 | |
| Egidio Astesiano | 191 | 84 | 110 | 34 | 302 | |
| Juergen Dingel | 168 | 201 | 74 | 32 | 320 | |
| Robert Clarisó | 183 | 240 | 77 | 34 | 397 | |
| Jifeng He | 207 | 101 | 180 | 57 | 383 | |
| Joanne M. Atlee | 249 | 184 | 98 | 28 | 381 | |
| David S. Wile | 264 | 151 | 65 | 25 | 361 |
All Works
Login with ORCID to disown or claim papers
Loading papers...