Papers
15
Total Citations
165
H-Index
6
About
No biography available yet.
Research Focus
Computer science14 · 163 citations
Artificial intelligence11 · 143 citations
Engineering11 · 138 citations
Systems engineering9 · 132 citations
Swarm behaviour7 · 126 citations
Aerospace engineering7 · 89 citations
Spacecraft6 · 86 citations
Software engineering6 · 86 citations
Swarm robotics4 · 78 citations
Simulation3 · 74 citations
Formal methods4 · 66 citations
Formal verification3 · 50 citations
Key Achievements
6
H-Index
15
Papers
165
Total Citations
11
Avg Citations/Paper
🏆 Most Cited Paper
Asteroid exploration with autonomic systems
31 citations · 2004
📈 Most Prolific Year: 2007 (4 Papers)
🤝 Key Collaborators: 18
🏛 Institutions: Science Applications International Corporation (United States), School of the Art Institute of Chicago, Virginia Tech, Johns Hopkins University Applied Physics Laboratory, Advanced Applications (United States), Lockheed Martin (United States)
Top Papers
- 1Asteroid exploration with autonomic systems31 citations · 2004
- 2
- 3Verification of NASA Emergent Systems28 citations · 2004
- 4Formal requirements-based programming for complex systems16 citations · 2005
- 5Verification of NASA emergent systems15 citations · 2004
- 6
- 7
- 8Towards a Hybrid Formal Method for Swarm-Based Exploration Missions5 citations · 2005
- 9Robot Memetics4 citations · 2020
- 10
Key Collaborators
JLJames L. Rash8 shared papersMHMike Hinchey6 shared papersWTW. Truszkowski4 shared papersWTWalt Truszkowski4 shared papersAVA. Vanderbilt2 shared papersJKJay Karlin1 shared papersKLK Lewis1 shared papersJPJoaquín Peña1 shared papersLWLanier Watkins1 shared papersATAli Tekeoglu1 shared papersWTW. Truskowski1 shared papersHLHarold L. Hallock1 shared papersARAntonio Ruiz–Cortés1 shared papersRSRoy Sterritt1 shared papersETEdward Tunstel1 shared papersSCSidney C. Bailin1 shared papersMAMohammad Akhavannik1 shared papersMRMike Riley1 shared papers
Not generated yet