Tom Pressburger

Ames Research Center

Papers

2

Total Citations

14

H-Index

2

About

No biography available yet.

Research Focus

Computer science2 · 14 citations
Artificial intelligence2 · 14 citations
Robot2 · 14 citations
Formal verification1 · 10 citations
Programming language1 · 10 citations
Real-time computing1 · 10 citations
Software engineering1 · 10 citations
Distributed computing1 · 10 citations
Embedded system1 · 10 citations
Runtime verification1 · 10 citations
Semantics (computer science)1 · 10 citations
Robotics1 · 4 citations

Key Achievements

2
H-Index
2
Papers
14
Total Citations
7
Avg Citations/Paper
🏆 Most Cited Paper
Monitoring ROS2: from Requirements to Autonomous Robots
10 citations · 2022
📈 Most Prolific Year: 2022 (1 Papers)
🤝 Key Collaborators: 7
🏛 Institutions: Ames Research Center

Top Papers

  1. 1
    Monitoring ROS2: from Requirements to Autonomous Robots
    10 citations · 2022
  2. 2
    Robotics: A New Mission for FRET Requirements
    4 citations · 2024

Key Collaborators

AMAnastasia Mavridou2 shared papersIPIvan Pérez1 shared papersPMPatrick Martin1 shared papersRCRadu Călinescu1 shared papersAWAlexander Will1 shared papersMFMarie Farrell1 shared papersGVGricel Vázquez1 shared papers
Not generated yet