Standout Papers
Immediate Impact
1 by Nobel laureates 55 standout
Citing Papers
Blockchain Meets Federated Learning in Healthcare: A Systematic Review With Challenges and Opportunities
2023 Standout
Trustworthy AI: From Principles to Practices
2022 Standout
Works of Jerry R. Burch being referenced
Symbolic model checking for sequential circuit verification
1994
Symbolic model checking: 1020 States and beyond
1992 Standout
Author Peers
| Author | Last Decade | Papers | Cites | |||||
|---|---|---|---|---|---|---|---|---|
| Jerry R. Burch | 1108 | 361 | 147 | 599 | 471 | 21 | 1.3k | |
| David E. Long | 830 | 223 | 96 | 483 | 436 | 17 | 1.0k | |
| Orna Grümberg | 1396 | 233 | 69 | 818 | 954 | 50 | 1.7k | |
| Paul Pettersson | 1126 | 544 | 41 | 681 | 455 | 59 | 1.6k | |
| Bengt Jönsson | 974 | 228 | 48 | 566 | 742 | 65 | 1.4k | |
| Sergio Yovine | 1365 | 490 | 35 | 585 | 464 | 34 | 1.6k | |
| Gethin Norman | 894 | 157 | 83 | 505 | 457 | 58 | 1.4k | |
| Jean-Raymond Abrial | 588 | 164 | 45 | 410 | 524 | 18 | 1.0k | |
| Xavier Nicollin | 1002 | 354 | 33 | 391 | 345 | 8 | 1.2k | |
| João Marques‐Silva | 874 | 209 | 172 | 365 | 872 | 108 | 1.6k | |
| Rupak Majumdar | 907 | 224 | 85 | 671 | 681 | 133 | 1.5k |
All Works
Loading papers...