2009 |
31 | EE | Mariya Ivanova Soskova,
Guohua Wu:
Cupping Delta20 enumeration degrees to 0 e'.
Mathematical Structures in Computer Science 19(1): 169-191 (2009) |
2008 |
30 | EE | Guohua Wu,
Xiaodong Zhou:
A Fast Audio Digital Watermark Method Based on Counter-Propagation Neural Networks.
CSSE (3) 2008: 583-586 |
29 | EE | Jiang Liu,
Guohua Wu:
Joining to High Degrees.
CiE 2008: 370-378 |
28 | EE | S. Barry Cooper,
Matthew C. Salts,
Guohua Wu:
The Non-isolating Degrees Are Upwards Dense in the Computably Enumerable Degrees.
TAMC 2008: 588-596 |
2007 |
27 | EE | Douglas A. Cenzer,
Geoffrey LaForte,
Guohua Wu:
Pseudojump Operators and P01 Classes.
CiE 2007: 146-151 |
26 | EE | Rongfang Bie,
Guohua Wu:
A Minimal Pair in the Quotient Structure M / NCup.
CiE 2007: 53-62 |
25 | EE | Mariya Ivanova Soskova,
Guohua Wu:
Cupping D20 Enumeration Degrees to 0 e '.
CiE 2007: 727-738 |
24 | | Guohua Wu,
Hong Ding:
A Parallel Software Developing Feedback Model for Improving Quality of Software Product.
Software Engineering Research and Practice 2007: 80-84 |
23 | EE | Guohua Wu:
Intervals containing exactly one c.e. degree.
Ann. Pure Appl. Logic 146(1): 91-102 (2007) |
22 | EE | Jiang Liu,
Guohua Wu:
Isolation, Infima and Diamond Embeddings.
J. Log. Comput. 17(6): 1153-1166 (2007) |
2006 |
21 | EE | Keng Meng Ng,
Frank Stephan,
Guohua Wu:
Degrees of Weakly Computable Reals.
CiE 2006: 413-422 |
20 | EE | Zhongyu Chen,
Guohua Wu,
Ronghua Liang,
Guofeng Zhang:
Skin Incision Using Real-Time Cutaway Based on FE Analysis.
Edutainment 2006: 1053-1057 |
19 | EE | Angsheng Li,
Yan Song,
Guohua Wu:
Universal Cupping Degrees.
TAMC 2006: 721-730 |
18 | EE | Angsheng Li,
Guohua Wu,
Yue Yang:
On the Quotient Structure of Computably Enumerable Degrees Modulo the Noncuppable Ideal.
TAMC 2006: 731-736 |
17 | EE | Guohua Wu:
1-Generic splittings of computably enumerable degrees.
Ann. Pure Appl. Logic 138(1-3): 211-219 (2006) |
16 | EE | Angsheng Li,
Guohua Wu,
Yue Yang:
Bounding computably enumerable degrees in the Ershov hierarchy.
Ann. Pure Appl. Logic 141(1-2): 79-88 (2006) |
15 | EE | Santiago Figueira,
Frank Stephan,
Guohua Wu:
Randomness and universal machines.
J. Complexity 22(6): 738-751 (2006) |
14 | EE | Zaiyue Zhang,
Yuefei Sui,
Cungen Cao,
Guohua Wu:
A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic.
Theor. Comput. Sci. 368(1-2): 149-160 (2006) |
2005 |
13 | | Santiago Figueira,
Frank Stephan,
Guohua Wu:
Randomness and Universal Machines.
CCA 2005: 103-116 |
12 | EE | Frank Stephan,
Guohua Wu:
Presentations of K-Trivial Reals and Kolmogorov Complexity.
CiE 2005: 461-469 |
11 | EE | Guohua Wu:
Regular reals.
Math. Log. Q. 51(2): 111-119 (2005) |
2004 |
10 | EE | Zhigeng Pan,
Xuesong Yin,
Guohua Wu:
Segmentation-Based Interpolation of 3D Medical Images.
ICCSA (2) 2004: 731-740 |
9 | EE | Rod Downey,
Angsheng Li,
Guohua Wu:
Complementing cappable degrees in the difference hierarchy.
Ann. Pure Appl. Logic 125(1-3): 101-118 (2004) |
8 | EE | Guohua Wu:
Quasi-complements of the cappable degrees.
Math. Log. Q. 50(2): 189-201 (2004) |
7 | EE | Rod Downey,
Guohua Wu,
Xizhong Zheng:
Degrees of d. c. e. reals.
Math. Log. Q. 50(4-5): 345-350 (2004) |
2003 |
6 | EE | Guohua Wu:
Q-measures on QKlambda.
Arch. Math. Log. 42(2): 201-204 (2003) |
2002 |
5 | | Guohua Wu:
Nonisolated degrees and the jump operator.
Ann. Pure Appl. Logic 117(1-3): 209-221 (2002) |
4 | EE | Shamil Ishmukhametov,
Guohua Wu:
Isolation and the high/low hierarchy.
Arch. Math. Log. 41(3): 259-266 (2002) |
3 | | Guohua Wu:
Isolation and Lattice Embeddings.
J. Symb. Log. 67(3): 1055-1064 (2002) |
2001 |
2 | EE | Guohua Wu:
Prefix-Free Languages and Initial Segments of Computably Enumerable Degrees.
COCOON 2001: 576-585 |
1 | EE | Guohua Wu:
Isolation and the Jump Operator.
Math. Log. Q. 47(4): 525-534 (2001) |