Hai-Feng Guo

Identifiers

• name variant Hai-Feng Guo 0.60 · backfill

Papers (2)

1. L2C2: Logic-based LSC Consistency Checking cs.LO · 2010 · author #1
2. An Efficient and Flexible Engine for Computing Fixed Points cs.PL · 2004 · author #1

Mentions

• 1002.3083 #1 · backfill · confidence 0.70 Hai-Feng Guo

Frequent Coauthors

• Gopal Gupta 1 shared papers
• Mahadevan Subramaniam 1 shared papers
• Wen Zheng 1 shared papers