Immediate Impact
1 standout
Citing Papers
Symbolic execution for software testing
2013 Standout
Works of Tamir Heyman being referenced
A work-efficient distributed algorithm for reachability analysis
2006
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Tamir Heyman | 29 | 10 | 20 | 12 | 7 | 36 | |
| Matthew Lewis | 17 | 11 | 13 | 10 | 9 | 30 | |
| John Havlicek | 16 | 12 | 10 | 9 | 8 | 39 | |
| Matthias Heizmann | 19 | 6 | 14 | 18 | 8 | 32 | |
| Ayrat Khalimov | 34 | 4 | 17 | 17 | 5 | 36 | |
| Maria Sorea | 40 | 8 | 24 | 19 | 5 | 44 | |
| Hoang M. Le | 8 | 15 | 10 | 9 | 8 | 26 | |
| David Lesens | 27 | 39 | 11 | 12 | 8 | 49 | |
| Anders Franzén | 34 | 7 | 22 | 26 | 7 | 39 | |
| A. Ferrari | 22 | 27 | 16 | 13 | 8 | 47 | |
| Tino Teige | 25 | 4 | 15 | 15 | 6 | 33 |
All Works
Loading papers...