Jianwen Li
Papers
2
Total Citations
43
H-Index
2
About
No biography available yet.
Research Focus
Temporal logic2 · 43 citations
Theoretical computer science2 · 43 citations
Boolean satisfiability problem2 · 43 citations
Algorithm2 · 43 citations
Computer science2 · 43 citations
Model checking2 · 43 citations
Programming language2 · 43 citations
Satisfiability2 · 43 citations
Satisfiability modulo theories2 · 43 citations
Linear temporal logic2 · 43 citations
Debugging1 · 37 citations
Formal verification1 · 37 citations
Key Achievements
2
H-Index
2
Papers
43
Total Citations
22
Avg Citations/Paper
🏆 Most Cited Paper
Satisfiability Checking for Mission-Time LTL
37 citations · 2019
📈 Most Prolific Year: 2019 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: Iowa State University
Top Papers
- 1Satisfiability Checking for Mission-Time LTL37 citations · 2019
- 2Satisfiability checking for Mission-time LTL (MLTL)6 citations · 2022
Key Collaborators
Not generated yet