Citation Impact
2 standout
Citing Papers
Cloud computing service composition: A systematic literature review
2013 Standout
Symbolic execution for software testing
2013 Standout
Works of Aaron Stump being referenced
Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005)
2005
Author Peers
| Author | Artificial Intelligence | CTM | CNC | Software | Last Decade | Papers | Cites |
|---|---|---|---|---|---|---|---|
| Aaron Stump | 120 | 95 | 14 | 29 | 30 | 145 | |
| Yongzhong Fan | 1 | 1 | 10 | 490 | |||
| Hoo-Gon Choi | 14 | 2 | 1 | 22 | 507 | ||
| Rivka Beitner | 1 | 12 | 3 | 75 | 1.7k | ||
| Srivalli Telikepalli | 1 | 4 | 11 | 311 | |||
| Manuela Sellitto | 2 | 23 | 435 |
All Works
Login with ORCID to disown or claim papers
Loading papers...