Immediate Impact
4 standout
Citing Papers
Quantum algorithms: an overview
2016 Standout
The Open Motion Planning Library
2012 Standout
Works of Richard Raimi being referenced
Bounded Model Checking Using Satisfiability Solving
2001
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Richard Raimi | 170 | 104 | 86 | 2 | 213 | ||
| C. Norris Ip | 149 | 91 | 61 | 5 | 190 | ||
| Patrick C. McGeer | 142 | 60 | 87 | 7 | 243 | ||
| M. Vardi | 138 | 86 | 75 | 2 | 157 | ||
| Niklas Sörensson | 129 | 75 | 104 | 5 | 188 | ||
| Laurent Voisin | 127 | 97 | 123 | 4 | 228 | ||
| Farhad Mehta | 141 | 97 | 148 | 2 | 250 | ||
| Thomas Pressburger | 183 | 194 | 113 | 7 | 296 | ||
| R.A. Scantlebury | 125 | 42 | 72 | 7 | 204 | ||
| J.C. Madre | 80 | 61 | 47 | 6 | 148 | ||
| Yaniv Saʼar | 123 | 67 | 80 | 6 | 163 |
All Works
Loading papers...