×

zbMATH — the first resource for mathematics

Pu, Geguang

Compute Distance To:
Author ID: pu.geguang Recent zbMATH articles by "Pu, Geguang"
Published as: Pu, Geguang
Documents Indexed: 16 Publications since 2005, including 2 Books

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 8 times in 8 Documents Cited by Year
Semantics of BPEL4WS-like fault and compensation handling. Zbl 1120.68324
Qiu, Zongyan; Wang, Shuling; Pu, Geguang; Zhao, Xiangpeng
4
2005
On the relationship between LTL normal forms and Büchi automata. Zbl 1390.68435
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim
1
2013
\(\mathrm{LTL}_{f}\) satisfiability checking. Zbl 1366.68177
Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng
1
2014
On reachability analysis of pushdown systems with transductions: application to Boolean programs with call-by-reference. Zbl 1374.68300
Song, Fu; Miao, Weikai; Pu, Geguang; Zhang, Min
1
2015
Accelerating LTL satisfiability checking by SAT solvers. Zbl 1410.68235
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng
1
2018
Accelerating LTL satisfiability checking by SAT solvers. Zbl 1410.68235
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng
1
2018
On reachability analysis of pushdown systems with transductions: application to Boolean programs with call-by-reference. Zbl 1374.68300
Song, Fu; Miao, Weikai; Pu, Geguang; Zhang, Min
1
2015
\(\mathrm{LTL}_{f}\) satisfiability checking. Zbl 1366.68177
Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng
1
2014
On the relationship between LTL normal forms and Büchi automata. Zbl 1390.68435
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim
1
2013
Semantics of BPEL4WS-like fault and compensation handling. Zbl 1120.68324
Qiu, Zongyan; Wang, Shuling; Pu, Geguang; Zhao, Xiangpeng
4
2005

Citations by Year