Immediate Impact
1 standout
Citing Papers
seL4
2009 Standout
Works of Martin Strecker being referenced
Extracting a formally verified, fully executable compiler from a proof assistant
2004
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Martin Strecker | 37 | 30 | 30 | 12 | 56 | |
| Mark Hills | 33 | 19 | 17 | 12 | 55 | |
| Bernd Kolb | 30 | 45 | 12 | 9 | 62 | |
| R. E. Kurt Stirewalt | 24 | 22 | 12 | 10 | 41 | |
| Jacques Julliand | 24 | 37 | 28 | 14 | 48 | |
| Joseph P. Near | 59 | 23 | 11 | 13 | 77 | |
| Thomas Ströder | 58 | 23 | 45 | 8 | 72 | |
| Daniel Yankelevich | 54 | 18 | 38 | 10 | 76 | |
| Richard F. Paige | 43 | 24 | 13 | 13 | 70 | |
| Vladimir Klebanov | 30 | 25 | 24 | 14 | 46 | |
| Jorge A. Navas | 29 | 31 | 20 | 13 | 51 |
All Works
Login with ORCID to disown or claim papers
Loading papers...