Thomas Pressburger

Ames Research Center

Papers

1

Total Citations

798

H-Index

1

About

No biography available yet.

Research Focus

Computer science1 · 798 citations
Generics in Java1 · 798 citations
Java1 · 798 citations
Java Modeling Language1 · 798 citations
Java annotation1 · 798 citations
Model checking1 · 798 citations
Program analysis1 · 798 citations
Programming language1 · 798 citations
Promela1 · 798 citations
Real time Java1 · 798 citations

Key Achievements

1
H-Index
1
Papers
798
Total Citations
798
Avg Citations/Paper
🏆 Most Cited Paper
Model checking JAVA programs using JAVA PathFinder
798 citations · 2000
📈 Most Prolific Year: 2000 (1 Papers)
🤝 Key Collaborators: 1
🏛 Institutions: Ames Research Center

Top Papers

  1. 1
    Model checking JAVA programs using JAVA PathFinder
    798 citations · 2000

Key Collaborators

KHKlaus Havelund1 shared papers
Not generated yet