Byoung U. Kim
Papers
1
Total Citations
2
H-Index
1
About
No biography available yet.
Research Focus
Boolean satisfiability problem1 · 2 citations
Computer science1 · 2 citations
Linear temporal logic1 · 2 citations
Model checking1 · 2 citations
Programming language1 · 2 citations
Real-time computing1 · 2 citations
Satisfiability1 · 2 citations
Temporal logic1 · 2 citations
Theoretical computer science1 · 2 citations
Verifiable secret sharing1 · 2 citations
Key Achievements
1
H-Index
1
Papers
2
Total Citations
2
Avg Citations/Paper
🏆 Most Cited Paper
Satisfiability Checking of LTL Specifications for Verifiable UAV Mission Planning
2 citations · 2014
📈 Most Prolific Year: 2014 (1 Papers)
🤝 Key Collaborators: 1
🏛 Institutions: United States Air Force Research Laboratory
Top Papers
- 1
Key Collaborators
Not generated yet