Concepedia

Guoqiang Pan

GP

Statistics

Publications

5

Citations

159

H-Index

5

Active since

2002

Affiliations

Rice University(Current)

Guoqiang Pan is an author at Rice University specializing in automated reasoning, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationSatisfiabilityCompilersLogic DesignProof Complexity

Publications per year

2002–2006

5

Publications

5

BDD-based decision procedures for the modal logic K ★

Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi · Journal of Applied Non-Classical Logics · 2006 · 41 citations

Engineering, Modal Logic, Formal Verification +17

BDD-Based Decision Procedures for K

Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi · Research Explorer (The University of Manchester) · 2002 · 38 citations

Fixed-Parameter Hierarchies inside PSPACE

Guoqiang Pan, Moshe Y. Vardi · 2006 · 37 citations

Engineering, Verification, Treewidth Bounds +16

Symbolic Techniques in Satisfiability Solving

Guoqiang Pan, Moshe Y. Vardi · Journal of Automated Reasoning · 2005 · 22 citations

Decision Procedure, Engineering, Automated Reasoning +7

Symbolic Decision Procedures for QBF

Guoqiang Pan, Moshe Y. Vardi · 2004 · 21 citations

1–5 of 5