Immediate Impact
45 hit
Citing Papers
Emerging Technologies for Precision Crop Management Towards Agriculture 5.0: A Comprehensive Overview
2025 Hit
Metamorphic Testing
2018 Hit
Works of Alain Deutsch being referenced
STATIC VERIFICATION OF DYNAMIC PROPERTIES
2003
Interprocedural may-alias analysis for pointers
1994
Author Peers
Peers are selected by citation overlap in the author's most active subfields. citations · hero ref
| Author | Last Decade | Papers | Cites | |||||
|---|---|---|---|---|---|---|---|---|
| Alain Deutsch | 222 | 159 | 144 | 110 | 73 | 7 | 331 | |
| Jakob Lichtenberg | 179 0.8× | 75 0.5× | 140 1.0× | 101 0.9× | 94 1.3× | 5 | 302 | |
| David Melski | 233 1.0× | 74 0.5× | 161 1.1× | 103 0.9× | 72 1.0× | 17 | 352 | |
| Denis Gopan | 160 0.7× | 77 0.5× | 158 1.1× | 87 0.8× | 38 0.5× | 9 | 255 | |
| Moonjoo Kim | 175 0.8× | 81 0.5× | 139 1.0× | 167 1.5× | 119 1.6× | 15 | 345 | |
| Sigmund Cherem | 200 0.9× | 200 1.3× | 101 0.7× | 54 0.5× | 183 2.5× | 7 | 349 | |
| Marvin C. Paull | 172 0.8× | 91 0.6× | 76 0.5× | 169 1.5× | 146 2.0× | 11 | 334 | |
| Vineet Kahlon | 117 0.5× | 108 0.7× | 110 0.8× | 137 1.2× | 70 1.0× | 13 | 246 | |
| Paul Steckler | 201 0.9× | 93 0.6× | 101 0.7× | 105 1.0× | 38 0.5× | 9 | 306 | |
| Ralf Steinbrüggen | 224 1.0× | 56 0.4× | 101 0.7× | 87 0.8× | 66 0.9× | 5 | 301 | |
| John Plevyak | 169 0.8× | 177 1.1× | 74 0.5× | 55 0.5× | 115 1.6× | 9 | 292 |
All Works
Loading papers...