Immediate Impact
3 standout
Citing Papers
Is Blockchain a Silver Bullet for Supply Chain Management? Technical Challenges and Research Opportunities
2019 Standout
Symbolic execution for software testing
2013 Standout
Works of Mark Richters being referenced
USE: A UML-based specification environment for validating UML and OCL
2007
Validating UML models and OCL constraints
2000
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Mark Richters | 221 | 165 | 157 | 7 | 284 | ||
| Sami Beydeda | 158 | 193 | 2 | 162 | 6 | 291 | |
| Fabian Büttner | 137 | 96 | 89 | 8 | 185 | ||
| Luqi | 104 | 118 | 2 | 134 | 8 | 251 | |
| Sally Shlaer | 92 | 151 | 7 | 174 | 6 | 306 | |
| Hans H. Kron | 77 | 222 | 1 | 218 | 2 | 336 | |
| Leon G. Stucki | 101 | 153 | 2 | 62 | 7 | 226 | |
| Cris Kobryn | 71 | 111 | 6 | 127 | 14 | 264 | |
| G. Jacopini | 69 | 95 | 184 | 6 | 328 | ||
| Rami Marelly | 110 | 79 | 143 | 7 | 226 | ||
| Ike Nassi | 61 | 95 | 89 | 6 | 228 |
All Works
Loading papers...