Standout Papers
Immediate Impact
29 standout
Citing Papers
Artificial Intelligence (AI) Applications in Drug Discovery and Drug Delivery: Revolutionizing Personalized Medicine
2024 Standout
Physics-informed machine learning for reliability and systems safety applications: State of the art and challenges
2022 Standout
Works of Ed Brinksma being referenced
Lectures on formal methods and performance analysis: first EEF/Euro summer school on trends in computer science
2002
Tools and Algorithms for the Construction and Analysis of Systems
1997
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Ed Brinksma | 614 | 311 | 187 | 429 | 47 | 936 | |
| Martin Leucker | 590 | 510 | 210 | 535 | 61 | 1.1k | |
| Dino Mandrioli | 673 | 385 | 128 | 453 | 81 | 1.1k | |
| Marius Bozga | 423 | 249 | 183 | 380 | 63 | 835 | |
| Egon Börger | 504 | 216 | 198 | 558 | 71 | 956 | |
| Roger Boyle | 493 | 179 | 209 | 445 | 27 | 960 | |
| Jean-Raymond Abrial | 588 | 410 | 239 | 524 | 18 | 1.0k | |
| John Rushby | 389 | 271 | 244 | 393 | 34 | 893 | |
| Michel Reniers | 753 | 206 | 144 | 409 | 134 | 1.0k | |
| Scott A. Smolka | 672 | 185 | 244 | 542 | 85 | 997 | |
| David E. Long | 830 | 483 | 93 | 436 | 17 | 1.0k |
All Works
Loading papers...