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

Weidong Chen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
67EEWeidong Chen, Wenjun Xiao, Behrooz Parhami: Swapped (OTIS) Networks Built of Connected Basis Networks Are Maximally Fault Tolerant. IEEE Trans. Parallel Distrib. Syst. 20(3): 361-366 (2009)
2008
66EEWeidong Chen, Enmin Song: Lower bounds on several versions of signed domination number. Discrete Mathematics 308(10): 1837-1846 (2008)
65EEWenjun Xiao, Wenhong Wei, Weidong Chen, Mingxin He, Behrooz Parhami: Comments on "Low Diameter Interconnections for Routing in High-Performance Parallel Systems, " with Connections and Extensions to Arc Coloring of Coset Graphs. IEEE Trans. Computers 57(12): 1726-1728 (2008)
64EEZhijun Li, Weidong Chen, Jun Luo: Adaptive compliant force-motion control of coordinated non-holonomic mobile manipulators interacting with unknown non-rigid environments. Neurocomputing 71(7-9): 1330-1344 (2008)
2007
63EEWeidong Chen, Wenjun Xiao, Behrooz Parhami: An Efficient Construction of Node Disjoint Paths in OTIS Networks. APPT 2007: 180-189
62EEMingxin He, Wenjun Xiao, Weidong Chen, Wenhong Wei, Zhen Zhang: General Biswapped Networks and Their Topological Properties. APPT 2007: 414-422
61EEXin Ma, Qin Zhang, Weidong Chen, Yibin Li: Immunity-Based Adaptive Genetic Algorithm for Multi-robot Cooperative Exploration. ICIC (2) 2007: 605-616
60EEFei Zhang, Weidong Chen: Self-healing for mobile robot networks with motion synchronization. IROS 2007: 3107-3112
59EEWenjun Xiao, Weidong Chen, Mingxin He, Wenhong Wei, Behrooz Parhami: Biswapped Networks and Their Topological Properties. SNPD (2) 2007: 193-198
58EEYuan F. Zheng, Weidong Chen: Mobile robot team forming for crystallization of proteins. Auton. Robots 23(1): 69-78 (2007)
57EEDengguo Feng, Weidong Chen: Modular approach to the design and analysis of password-based security protocols. Science in China Series F: Information Sciences 50(3): 381-398 (2007)
2006
56EETianbing Xu, Weidong Chen: A Fast Adaptive Statistical Genetic Motion Search Algorithm for H.264/AVC^1. AINA (1) 2006: 553-558
55EEJianhua Dai, Weidong Chen, Hongying Gu, Yunhe Pan: Particle Swarm Algorithm for Minimal Attribute Reduction of Decision Data Tables. IMSCCS (2) 2006: 572-575
54EEFei Zhang, Weidong Chen, Yugeng Xi: Motion Synchronization in Mobile Robot Networks: Robustness. IROS 2006: 5570-5575
53EEYi Li, Weidong Chen, Dongming Lu, Lei Zhao: Applying Natural Neighbor Coordinates for Electromagnetic Tracker Calibration. ISCIS 2006: 353-362
52EEJianhua Dai, Hanfei Lv, Weidong Chen, Yunhe Pan: Two Kinds of Rough Algebras and Brouwer-Zadeh Lattices. RSCTC 2006: 99-106
51EEJianhua Dai, Weidong Chen, Yunhe Pan: Rough Sets and Brouwer-Zadeh Lattices. RSKT 2006: 200-207
2005
50EEJianhua Dai, Weidong Chen, Yunhe Pan: Sequent calculus system for rough sets based on rough Stone algebras. GrC 2005: 423-426
49EEQingshu Yuan, Dongming Lu, Weidong Chen, Yunhe Pan: MultiPro: A Platform for PC Cluster Based Active Stereo Display System. ICCSA (1) 2005: 865-874
48 Fei Zhang, Weidong Chen, Yugeng Xi: Improving Collaboration through Fusion of Bid Information for Market-based Multi-robot Exploration. ICRA 2005: 1157-1162
2004
47EEYong Liu, Congfu Xu, Zhaohui Wu, Weidong Chen, Yunhe Pan: A Finite State Mobile Agent Computation Model. APWeb 2004: 152-157
46EEYuan F. Zheng, Weidong Chen: Robot Team Forming of Membrane Proteins in Crystallization. ICRA 2004: 1462-1467
45EEJianqiang Jia, Weidong Chen, Yugeng Xi: Design and Implementation of an Open Autonomous Mobile Robot System. ICRA 2004: 1726-1731
44EEJinlong Wang, Congfu Xu, Weidong Chen, Yunhe Pan: Survey of the study on frequent pattern mining in data streams. SMC (6) 2004: 5917-5922
2003
43EEYong Liu, Congfu Xu, Zhaohui Wu, Weidong Chen, Yunhe Pan: A Virtual Organization Based Mobile Agent Computation Model. GCC (2) 2003: 677-682
42 Weidong Chen, Changhong Fan, Yugeng Xi: On-line safe path planning in unknown environments. ICRA 2003: 4191-4196
41EEJianqiang Jia, Weidong Chen, Yugeng Xi: A Rule-Driven Autonomous Robotic System Operating in a Time-Varying Environment. RoboCup 2003: 487-494
2002
40EEApostol Natsev, Gene Y. C. Fuh, Weidong Chen, Chi-Huang Chiu, Jeffrey Scott Vitter: Aggregate Predicate Support in DBMS. Australasian Database Conference 2002
2001
39 Stefan Deßloch, Weidong Chen, Jyh-Herng Chow, You-Chin Fuh, Jean Grandbois, Michelle Jou, Nelson Mendonça Mattos, Raiko Nitzsche, Brian T. Tran, Yun Wang: Extensible Indexing Support in DB2 Universal Database. Compontent Database Systems 2001: 105-138
38 Yu Wang, Weidong Chen: Supporting IP Multicast for Mobile Hosts. MONET 6(1): 57-66 (2001)
2000
37 Weidong Chen, Jeffrey F. Naughton, Philip A. Bernstein: Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, May 16-18, 2000, Dallas, Texas, USA. ACM 2000
1999
36EEWeidong Chen, Jyh-Herng Chow, You-Chin Fuh, Jean Grandbois, Michelle Jou, Nelson Mendonça Mattos, Brian T. Tran, Yun Wang: High Level Indexing of User-Defined Types. VLDB 1999: 554-564
35EEYou-Chin Fuh, Stefan Deßloch, Weidong Chen, Nelson Mendonça Mattos, Brian T. Tran, Bruce G. Lindsay, Linda DeMichel, Serge Rielau, Danko Mannhaupt: Implementation of SQL3 Structured Types with Inheritance and Value Substitutability. VLDB 1999: 565-574
34EEIsrael Hilerio, Weidong Chen: Herbal-T, enabling integration, interoperability, and reusability of Internet components. WACC 1999: 49-58
33 Julie Yu-Chih Liu, Leroy Adams, Weidong Chen: Constructive Negation Under the Well-Founded Semantics. J. Log. Program. 38(3): 295-330 (1999)
1997
32 Israel Hilerio, Weidong Chen: Herbal-T Internet Desktop. WebNet 1997
31 Weidong Chen, Julie Yu-Chih Liu: A Procedural Semantics for Stratified Database Updates. Ann. Math. Artif. Intell. 21(2-4): 187-220 (1997)
30EER. Ramesh, Weidong Chen: Implementation of Tabled Evaluation with Delaying in Prolog. IEEE Trans. Knowl. Data Eng. 9(4): 559-574 (1997)
29EEWeidong Chen: Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning. IEEE Trans. Knowl. Data Eng. 9(4): 587-599 (1997)
1996
28 Weidong Chen, Eric C. Lin: Route Optimization and Location Updates for Mobile Hosts. ICDCS 1996: 319-326
27EEWeidong Chen, David Scott Warren: Computation of Stable Models and Its Integration with Logical Query Processing. IEEE Trans. Knowl. Data Eng. 8(5): 742-757 (1996)
26EEWeidong Chen, David Scott Warren: Tabled Evaluation With Delaying for General Logic Programs. J. ACM 43(1): 20-74 (1996)
25 Weidong Chen, Jinghong Zeng: Nondeterminism Through Well-Founded Choice. J. Log. Program. 26(3): 285-309 (1996)
24 Weidong Chen: Extending Prolog with Nonmonotonic Reasoning. J. Log. Program. 27(2): 169-183 (1996)
23 Weidong Chen, David Scott Warren: Predicate Abstractions in Higher-Order Logic Programming. New Generation Comput. 14(2): 195-236 (1996)
1995
22EEWeidong Chen, Michael Kifer: Sorted HiLog: Sorts in Higher-Order Logic Data Languages. ICDT 1995: 252-265
21EEWeidong Chen: Declarative Updates of Relational Databases. ACM Trans. Database Syst. 20(1): 42-70 (1995)
20EEWeidong Chen: Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics ACM Trans. Database Syst. 20(3): 239-287 (1995)
19EETed Pedersen, Weidong Chen: Lexical Acquisition via Constraint Solving CoRR cmp-lg/9502028: (1995)
18 Weidong Chen, Terrance Swift, David Scott Warren: Efficient Top-Down Computation of Queries under the Well-Founded Semantics. J. Log. Program. 24(3): 161-199 (1995)
1994
17 R. Ramesh, Weidong Chen: A Portable Method of Integrating SLG Resolution into Prolog Systems. SLP 1994: 618-632
1993
16 Weidong Chen, Terrance Swift, David Scott Warren: Goal-Directed Evaluation of Well-Founded Sematics for XSB. ILPS 1993: 679
15EEWeidong Chen, David Scott Warren: Query Evaluation under the Well Founded Semantics. PODS 1993: 168-179
14 Weidong Chen, Michael Kifer, David Scott Warren: HILOG: A Foundation for Higher-Order Logic Programming. J. Log. Program. 15(3): 187-230 (1993)
13 Weidong Chen, David Scott Warren: A Goal-Oriented Approach to Computing the Well-Founded Semantics. J. Log. Program. 17(2/3&4): 279-300 (1993)
1992
12 Israel Hilerio, Roger Lippert, Weidong Chen: The Role of Expert System Shells in Hypertext Technology. ICTAI 1992: 434-441
11 Weidong Chen, David Scott Warren: A Goal-Oriented Approach to Computing Well Founded Semantics. JICSLP 1992: 589-603
1991
10 Weidong Chen: Declarative Specification and Evaluation of Database Updates. DOOD 1991: 147-166
9 Weidong Chen, David Scott Warren: An Intensional Logic of (Multi-Arity) Set Abstractions. ICLP 1991: 97-110
8 Weidong Chen, David Scott Warren: Compilation of Predicate Abstractions in Higher-Order Logic Programming. PLILP 1991: 287-298
1989
7EEWeidong Chen, Michael Kifer, David Scott Warren: HiLog as a Platform for Database Languages. DBPL 1989: 315-329
6 Weidong Chen, Michael Kifer, David Scott Warren: HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP 1989: 1090-1114
5 Weidong Chen, David Scott Warren: Abductive Resoning with Structured Data. NACLP 1989: 851-867
4EEWeidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378
3EEWeidong Chen, Michael Kifer, David Scott Warren: HiLog as a Platform for Database Languages. IEEE Data Eng. Bull. 12(3): 37-44 (1989)
1988
2 Weidong Chen, David Scott Warren: Objects as Intensions. ICLP/SLP 1988: 404-419
1987
1 Weidong Chen: A Theory of Modules Based on Second-Order Logic. SLP 1987: 24-33

Coauthor Index

1Leroy Adams [33]
2Philip A. Bernstein [37]
3Chi-Huang Chiu [40]
4Jyh-Herng Chow [36] [39]
5Jianhua Dai [50] [51] [52] [55]
6Linda DeMichel [35]
7Stefan Deßloch (Stefan Dessloch) [35] [39]
8Changhong Fan [42]
9Dengguo Feng [57]
10Gene Y. C. Fuh [40]
11You-Chin Fuh [35] [36] [39]
12Jean Grandbois [36] [39]
13Hongying Gu [55]
14Mingxin He [59] [62] [65]
15Israel Hilerio [12] [32] [34]
16Jianqiang Jia [41] [45]
17Michelle Jou [36] [39]
18Michael Kifer [3] [6] [7] [14] [22]
19Yi Li [53]
20Yibin Li [61]
21Zhijun Li [64]
22Eric C. Lin [28]
23Bruce G. Lindsay [35]
24Roger Lippert [12]
25Julie Yu-Chih Liu [31] [33]
26Yong Liu [43] [47]
27Dongming Lu [49] [53]
28Jun Luo [64]
29Hanfei Lv [52]
30Xin Ma [61]
31Danko Mannhaupt [35]
32Nelson Mendonça Mattos [35] [36] [39]
33Apostol Natsev [40]
34Jeffrey F. Naughton [37]
35Raiko Nitzsche [39]
36Yunhe Pan [43] [44] [47] [49] [50] [51] [52] [55]
37Behrooz Parhami [59] [63] [65] [67]
38Ted Pedersen [19]
39R. Ramesh [17] [30]
40Serge Rielau [35]
41Enmin Song [66]
42Terrance Swift [16] [18]
43Brian T. Tran [35] [36] [39]
44Jeffrey Scott Vitter [40]
45Jinlong Wang [44]
46Yu Wang [38]
47Yun Wang [36] [39]
48David Scott Warren [2] [3] [4] [5] [6] [7] [8] [9] [11] [13] [14] [15] [16] [18] [23] [26] [27]
49Wenhong Wei [59] [62] [65]
50Zhaohui Wu [43] [47]
51Yugeng Xi [41] [42] [45] [48] [54]
52Wenjun Xiao [59] [62] [63] [65] [67]
53Congfu Xu [43] [44] [47]
54Tianbing Xu [56]
55Qingshu Yuan [49]
56Jinghong Zeng [25]
57Fei Zhang [48] [54] [60]
58Qin Zhang [61]
59Zhen Zhang [62]
60Lei Zhao [53]
61Yuan F. Zheng [46] [58]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)