Immediate Impact
1 standout
Citing Papers
seL4
2009 Standout
Works of Stefan Berghofer being referenced
Extracting a formally verified, fully executable compiler from a proof assistant
2004
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Stefan Berghofer | 90 | 63 | 5 | 11 | 10 | 96 | |
| Sascha Böhme | 82 | 62 | 4 | 8 | 7 | 90 | |
| Luca Roversi | 104 | 96 | 9 | 12 | 14 | 123 | |
| Federico Olmedo | 94 | 57 | 7 | 9 | 10 | 103 | |
| Geoffrey Burn | 73 | 53 | 11 | 7 | 9 | 83 | |
| Makarius Wenzel | 51 | 34 | 6 | 14 | 11 | 64 | |
| Clemens Ballarin | 68 | 51 | 7 | 17 | 9 | 83 | |
| Nicoletta Cocco | 97 | 92 | 7 | 9 | 17 | 168 | |
| Michael Luttenberger | 39 | 38 | 6 | 14 | 9 | 73 | |
| Elio Giovannetti | 76 | 62 | 5 | 18 | 9 | 87 | |
| Andrzej Trybulec | 72 | 58 | 2 | 16 | 9 | 90 |
All Works
Loading papers...