Immediate Impact
1 standout
Citing Papers
Software Vulnerability Detection Using Deep Neural Networks: A Survey
2020 Standout
Works of Jacques Julliand being referenced
Verification of class liveness properties with Java modelling language
2008
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Jacques Julliand | 37 | 28 | 24 | 14 | 48 | |
| Martin Strecker | 30 | 30 | 37 | 12 | 56 | |
| Fabrice Bouquet | 42 | 25 | 25 | 13 | 61 | |
| Pranav Garg | 41 | 25 | 34 | 12 | 60 | |
| Vladimir Klebanov | 25 | 24 | 30 | 14 | 46 | |
| Greta Yorsh | 22 | 22 | 29 | 9 | 41 | |
| Grigory Fedyukovich | 26 | 15 | 16 | 12 | 36 | |
| R. E. Kurt Stirewalt | 22 | 12 | 24 | 10 | 41 | |
| Sylvain Conchon | 17 | 36 | 51 | 10 | 56 | |
| Alfons Laarman | 19 | 34 | 19 | 13 | 50 | |
| Jorge A. Navas | 31 | 20 | 29 | 13 | 51 |
All Works
Loading papers...