Patrice Godefroid
Papers
1
Total Citations
828
H-Index
1
About
No biography available yet.
Research Focus
Code (set theory)1 · 828 citations
Communications protocol1 · 828 citations
Computer science1 · 828 citations
Concurrency1 · 828 citations
Concurrent computing1 · 828 citations
Correctness1 · 828 citations
Distributed computing1 · 828 citations
Implementation1 · 828 citations
Model checking1 · 828 citations
Operating system1 · 828 citations
Programming language1 · 828 citations
State (computer science)1 · 828 citations
Key Achievements
1
H-Index
1
Papers
828
Total Citations
828
Avg Citations/Paper
🏆 Most Cited Paper
Model checking for programming languages using VeriSoft
828 citations · 1997
📈 Most Prolific Year: 1997 (1 Papers)
🤝 Key Collaborators: 0
Top Papers
- 1Model checking for programming languages using VeriSoft828 citations · 1997
Not generated yet