Jianwen Li

Identifiers

• name variant Jianwen Li 0.60 · backfill

Papers (11)

1. Understanding CDCL Solvers via Scalability Studies and Proofdoors cs.LO · 2026 · author #4
2. Detecting Malicious Intents in Smart Contracts with Pre-trained Programming Language Models cs.SE · 2025 · author #2
3. SAT-based Explicit LTLf Satisfiability Checking cs.LO · 2018 · author #1
4. Symbolic LTLf Synthesis cs.LO · 2017 · author #3
5. Safety Model Checking with Complementary Approximations cs.LO · 2016 · author #1
6. SAT-based Explicit LTL Reasoning cs.LO · 2015 · author #1
7. LTLf satisfiability checking cs.LO · 2014 · author #1
8. Fast LTL Satisfiability Checking by SAT Solvers cs.LO · 2014 · author #1
9. Polsat: A Portfolio LTL Satisfiability Solver cs.LO · 2013 · author #1
10. On the Relationship between LTL Normal Forms and Buechi Automata cs.FL · 2012 · author #1
11. MDM: A Mode Diagram Modeling Framework for Periodic Control Systems cs.SY · 2012 · author #4

Mentions

• 1507.02519 #1 · backfill · confidence 0.70 Jianwen Li
• 1207.0922 #4 · arxiv_oai · confidence 0.70 Jianwen Li
• 1403.1666 #1 · backfill · confidence 0.70 Jianwen Li
• 1401.5677 #1 · backfill · confidence 0.70 Jianwen Li
• 1311.1602 #1 · backfill · confidence 0.70 Jianwen Li
• 1207.3866 #1 · backfill · confidence 0.70 Jianwen Li
• 1207.0922 #4 · backfill · confidence 0.70 Jianwen Li
• 2605.15506 #4 · arxiv_oai · confidence 0.70 Jianwen Li

Frequent Coauthors

• Geguang Pu 9 shared papers
• Moshe Y. Vardi 6 shared papers
• Jifeng He 5 shared papers
• Lijun Zhang 4 shared papers
• Shufang Zhu 3 shared papers
• Kim G. Larsen 2 shared papers
• Moshe Vardi 2 shared papers
• Yueling Zhang 2 shared papers
• Zheng Wang 2 shared papers
• Bin Gu 1 shared papers
• Bin Hu 1 shared papers
• Chunxiao Li 1 shared papers
• Jan Madsen 1 shared papers
• Kristin Y. Rozier 1 shared papers
• Lucas M. Tabajara 1 shared papers
• Peng Yang 1 shared papers
• Sen Fang 1 shared papers
• Shenchao Qin 1 shared papers
• Shimin Zhang 1 shared papers
• Vijay Ganesh 1 shared papers