dblp.uni-trier.dewww.uni-trier.de

Dongming Wang Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
54EEZhanjun Jiang, Jiang Wu, Dongming Wang, Xiaohu You: Parallel Proportion Fair Scheduling in DAS with Partial Channel State Information. IEICE Transactions 92-B(6): 2312-2315 (2009)
53EEJingyu Hua, Limin Meng, Gang Li, Dongming Wang, Xiaohu You: An Accurate Scheme for Channel Parameter Estimation in Mobile Propagations. IEICE Transactions 92-C(1): 116-120 (2009)
2008
52EEWei Niu, Dongming Wang: Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems. AB 2008: 156-171
51EEDongming Wang, Xiaohu You, Jiangzhou Wang, Yan Wang, Xiaoyun Hou: Spectral Efficiency of Distributed MIMO Cellular Systems in a Composite Fading Channel. ICC 2008: 1259-1264
50EEDongming Wang, Xiaohu You: Data Throughputs of Noise-Limited MIMO Cellular Systems. IEEE Transactions on Signal Processing 56(5): 2165-2170 (2008)
49EEWei Niu, Dongming Wang: Algebraic Approaches to Stability Analysis of Biological Systems. Mathematics in Computer Science 1(3): 507-539 (2008)
2007
48 Dongming Wang: Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings ACM 2007
47EELinna Zhou, Dongming Wang, Yunbiao Guo, Jingfei Zhang: Blur Detection of Digital Forgery Using Mathematical Morphology. KES-AMSTA 2007: 990-998
46EEJingyu Hua, Limin Meng, Xiaojiang Xu, Zhijiang Xu, Dongming Wang: A Joint Estimator of SNR and Mobile Speed in Wireless Communications. SiPS 2007: 121-125
45EETielin Liang, Dongming Wang: On the design and implementation of a geometric-object-oriented language. Frontiers of Computer Science in China 1(2): 180-190 (2007)
44EEDongming Wang, Zhiming Zheng: Editorial. Mathematics in Computer Science 1(1): 1-2 (2007)
43EEDongming Wang, Lihong Zhi: Foreword. Mathematics in Computer Science 1(2): 209-210 (2007)
2006
42 Hoon Hong, Dongming Wang: Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers Springer 2006
41 Jacques Calmet, Tetsuo Ida, Dongming Wang: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings Springer 2006
40EEHoon Hong, Liyun Li, Tielin Liang, Dongming Wang: Solving Dynamic Geometric Constraints Involving Inequalities. AISC 2006: 181-195
39EEXiaoyu Chen, Dongming Wang: Towards an Electronic Geometry Textbook. Automated Deduction in Geometry 2006: 1-23
38EEWei Pan, Dongming Wang: Uniform Gröbner bases for ideals generated by polynomials with parametric exponents. ISSAC 2006: 269-276
2005
37EEDongming Wang, Bican Xia: Stability analysis of biological systems with real solution classification. ISSAC 2005: 354-361
36EEDongming Wang, Xiqi Gao, Xiaohu You: Polynomial Expansion Linear Detector Based Turbo Receiver for Block Transmission Systems. IEICE Transactions 88-A(11): 3123-3126 (2005)
35EEJunhui Zhao, Dongming Wang, Xiaohu You, Yun Hee Kim: RAKE-SOVA Equalization for Multi-Code CDMA System with Low Spreading Factor. IEICE Transactions 88-B(5): 2087-2092 (2005)
34EEJingyu Hua, Xiaohu You, Dongming Wang: An Improved Scheme for Channel Parameter Estimation in Mobile Communication Systems. IEICE Transactions 88-C(12): 2325-2329 (2005)
2004
33EETielin Liang, Dongming Wang: Towards a Geometric-Object-Oriented Language. Automated Deduction in Geometry 2004: 130-155
32EEYa Jing, Dongming Wang, Ming Chen, Shixin Cheng, Haifeng Wang: Reduced complexity MIMO-OFDM channel estimation based on parametric channel model. VTC Fall (2) 2004: 1372-1376
31EEDongming Wang: A simple method for implicitizing rational curves and surfaces. J. Symb. Comput. 38(1): 899-914 (2004)
2003
30 Dongming Wang: Automated Generation of Diagrams with Maple and Java. Algebra, Geometry, and Software Systems 2003: 277-287
2002
29EEDongming Wang: GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. Automated Deduction in Geometry 2002: 194-215
2001
28 Jürgen Richter-Gebert, Dongming Wang: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers Springer 2001
2000
27EEPhilippe Aubry, Dongming Wang: Reasoning about Surfaces Using Differential Zero and Ideal Decomposition. Automated Deduction in Geometry 2000: 154-174
26 Dongming Wang: Computing Triangular Systems and Regular Systems. J. Symb. Comput. 30(2): 221-236 (2000)
1999
25 Xiao-Shan Gao, Dongming Wang, Lu Yang: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings Springer 1999
24 Stéphane Fèvre, Dongming Wang: Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving. Fundam. Inform. 39(1-2): 85-104 (1999)
23 Dongming Wang: Polynomial Systems from Certain Differential Equations. J. Symb. Comput. 28(1-2): 303-315 (1999)
1998
22EEStéphane Fèvre, Dongming Wang: Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving. AISC 1998: 145-156
21EEThierry Boy de la Tour, Stéphane Fèvre, Dongming Wang: Clifford Term Rewriting for Geometric Reasoning in 3D. Automated Deduction in Geometry 1998: 130-155
20EEDongming Wang: Decomposing Algebraic Varieties. Automated Deduction in Geometry 1998: 180-206
19EEStéphane Fèvre, Dongming Wang: Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules. CADE 1998: 17-31
18 Dongming Wang: Decomposing Polynomial Systems into Simple Systems. J. Symb. Comput. 25(3): 295-314 (1998)
1997
17 Dongming Wang: Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers Springer 1997
1996
16 Dongming Wang: Geometry Machines: From AI to SMC. AISMC 1996: 213-239
15 Dongming Wang: Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision. Automated Deduction in Geometry 1996: 115-140
14EEDongming Wang: GEOTHER: A Geometry Theorem Prover. CADE 1996: 166-170
1995
13 Dongming Wang: Elimination Procedures for Mechanical Theorem Proving in geometry. Ann. Math. Artif. Intell. 13(1-2): 1-24 (1995)
12EEDongming Wang: A Method for Proving Theorems in Differebtial Geometry and Mechanics J. UCS 1(9): 658-673 (1995)
1994
11EEDongming Wang: Algebraic Factoring and Geometry Proving. CADE 1994: 386-400
10 Dongming Wang: Differentiation and Integration of Indefinite Summations with Respect to Indexed Variables - Some Rules and Applications. J. Symb. Comput. 18(3): 249-263 (1994)
1993
9EEStephan Dreiseitl, Dongming Wang: Automatic Generation of C++ Code for Neural Network Simulation. IWANN 1993: 358-363
8 Dongming Wang: An Elimination Method for Polynomial Systems. J. Symb. Comput. 16(2): 83-114 (1993)
1992
7EEDongming Wang: A Strategy for Speeding-up the Computation of Characteristic Sets. MFCS 1992: 504-510
6EEDongming Wang: Irreducible decomposition of algebraic varieties via characteristics sets and Gröbner bases. Computer Aided Geometric Design 9(6): 471-484 (1992)
5EEDongming Wang, Bernd Schürmann: Computer Aided Analysis and Derivation for Artificial Neural Systems. IEEE Trans. Software Eng. 18(8): 728-735 (1992)
1991
4 Dongming Wang: On the Parallelization of Characteristic-Set-Based Algorithms. ACPC 1991: 338-349
3EEDongming Wang: A Toolkit for Manipulating Indefinite Summations with Application to Neural Networks. ISSAC 1991: 462-463
2 Dongming Wang, Bernd Schürmann: Computer Algebra and Neurodynamics. Physik und Informatik 1991: 304-317
1989
1 Dongming Wang: On Wu's Method for Proving Constructive Geometric Theorems. IJCAI 1989: 419-424

Coauthor Index

1Philippe Aubry [27]
2Jacques Calmet [41]
3Ming Chen [32]
4Xiaoyu Chen [39]
5Shixin Cheng [32]
6Stephan Dreiseitl [9]
7Stéphane Fèvre [19] [21] [22] [24]
8Xiao-Shan Gao [25]
9Xiqi Gao [36]
10Yunbiao Guo [47]
11Hoon Hong [40] [42]
12Xiaoyun Hou [51]
13Jingyu Hua [34] [46] [53]
14Tetsuo Ida [41]
15Zhanjun Jiang [54]
16Ya Jing [32]
17Yun Hee Kim [35]
18Gang Li [53]
19Liyun Li [40]
20Tielin Liang [33] [40] [45]
21Limin Meng [46] [53]
22Wei Niu [49] [52]
23Wei Pan [38]
24Jürgen Richter-Gebert [28]
25Bernd Schürmann [2] [5]
26Thierry Boy de la Tour [21]
27Haifeng Wang [32]
28Jiangzhou Wang [51]
29Yan Wang [51]
30Jiang Wu [54]
31Bican Xia [37]
32Xiaojiang Xu [46]
33Zhijiang Xu [46]
34Lu Yang [25]
35Xiaohu You [34] [35] [36] [50] [51] [53] [54]
36Jingfei Zhang [47]
37Junhui Zhao [35]
38Zhiming Zheng [44]
39Lihong Zhi [43]
40Linna Zhou [47]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)