Immediate Impact
3 standout
Citing Papers
Grounded Copilot: How Programmers Interact with Code-Generating Models
2023 Standout
Attack Graph Model for Cyber-Physical Power Systems Using Hybrid Deep Learning
2023 Standout
Works of Garvit Juniwal being referenced
Robust Online Monitoring of Signal Temporal Logic
2015
Syntax-guided synthesis
2013
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Garvit Juniwal | 42 | 16 | 55 | 39 | 3 | 85 | |
| A. David | 60 | 35 | 84 | 43 | 4 | 124 | |
| Matthew Jaffe | 52 | 21 | 33 | 34 | 3 | 177 | |
| Philipp Reinkemeier | 25 | 19 | 51 | 17 | 5 | 81 | |
| F. Lagnier | 33 | 52 | 73 | 21 | 2 | 90 | |
| Christophe Ratel | 61 | 69 | 121 | 37 | 4 | 142 | |
| Markus Herrmannsdoerfer | 61 | 10 | 10 | 41 | 4 | 84 | |
| P. Lee | 10 | 21 | 18 | 21 | 4 | 64 | |
| Martin Feilkas | 32 | 10 | 11 | 19 | 2 | 58 | |
| Aaron R. Bradley | 24 | 10 | 68 | 69 | 3 | 91 | |
| John Rushby | 13 | 66 | 32 | 20 | 4 | 88 |
All Works
Loading papers...