Immediate Impact
1 from Science/Nature 71 standout
Citing Papers
Encoding a magic state with beyond break-even fidelity
2024 StandoutNature
Attack Graph Model for Cyber-Physical Power Systems Using Hybrid Deep Learning
2023 Standout
Works of Nikolaj Bjørner being referenced
VeriCon
2014
Satisfiability modulo theories
2011
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Nikolaj Bjørner | 332 | 282 | 203 | 45 | 637 | |
| John Hatcliff | 301 | 279 | 267 | 55 | 705 | |
| Rachida Dssouli | 266 | 188 | 220 | 57 | 627 | |
| Sriram K. Rajamani | 395 | 332 | 328 | 49 | 729 | |
| Shengchao Qin | 276 | 236 | 194 | 82 | 580 | |
| Gerda Janssens | 401 | 236 | 112 | 68 | 588 | |
| Paolo Arcaini | 266 | 168 | 288 | 93 | 607 | |
| Christian Schallhart | 360 | 331 | 257 | 15 | 653 | |
| Helmut Veith | 403 | 439 | 234 | 36 | 707 | |
| Marjan Sirjani | 330 | 287 | 180 | 72 | 614 | |
| Elvinia Riccobene | 250 | 154 | 251 | 78 | 566 |
All Works
Login with ORCID to disown or claim papers
Loading papers...