Jifeng He

Identifiers

• name variant Jifeng He 0.60 · backfill

Papers (5)

1. LTLf satisfiability checking cs.LO · 2014 · author #5
2. Fast LTL Satisfiability Checking by SAT Solvers cs.LO · 2014 · author #5
3. Polsat: A Portfolio LTL Satisfiability Solver cs.LO · 2013 · author #6
4. On the Relationship between LTL Normal Forms and Buechi Automata cs.FL · 2012 · author #5
5. MDM: A Mode Diagram Modeling Framework for Periodic Control Systems cs.SY · 2012 · author #8

Mentions

• 1403.1666 #5 · backfill · confidence 0.70 Jifeng He
• 1401.5677 #5 · backfill · confidence 0.70 Jifeng He
• 1311.1602 #6 · backfill · confidence 0.70 Jifeng He
• 1207.3866 #5 · backfill · confidence 0.70 Jifeng He
• 1207.0922 #8 · backfill · confidence 0.70 Jifeng He

Frequent Coauthors

• Geguang Pu 5 shared papers
• Jianwen Li 5 shared papers
• Lijun Zhang 4 shared papers
• Moshe Y. Vardi 3 shared papers
• Kim G. Larsen 2 shared papers
• Zheng Wang 2 shared papers
• Bin Gu 1 shared papers
• Jan Madsen 1 shared papers
• Shenchao Qin 1 shared papers
• Yinbo Yao 1 shared papers