Paul Pettersson
Papers
1
Total Citations
65
H-Index
1
About
No biography available yet.
Research Focus
Arbitration1 · 65 citations
Automaton1 · 65 citations
Clock drift1 · 65 citations
Clock synchronization1 · 65 citations
Computer network1 · 65 citations
Computer science1 · 65 citations
Distributed computing1 · 65 citations
Division (mathematics)1 · 65 citations
Formal methods1 · 65 citations
Formal verification1 · 65 citations
Model checking1 · 65 citations
Programming language1 · 65 citations
Key Achievements
1
H-Index
1
Papers
65
Total Citations
65
Avg Citations/Paper
🏆 Most Cited Paper
Formal verification of a TDMA protocol start-up mechanism
65 citations · 2002
📈 Most Prolific Year: 2002 (1 Papers)
🤝 Key Collaborators: 1
🏛 Institutions: Uppsala University
Top Papers
- 1Formal verification of a TDMA protocol start-up mechanism65 citations · 2002
Key Collaborators
Not generated yet