2009 |
67 | EE | Weidong 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 |
66 | EE | Weidong Chen,
Enmin Song:
Lower bounds on several versions of signed domination number.
Discrete Mathematics 308(10): 1837-1846 (2008) |
65 | EE | Wenjun 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) |
64 | EE | Zhijun 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 |
63 | EE | Weidong Chen,
Wenjun Xiao,
Behrooz Parhami:
An Efficient Construction of Node Disjoint Paths in OTIS Networks.
APPT 2007: 180-189 |
62 | EE | Mingxin He,
Wenjun Xiao,
Weidong Chen,
Wenhong Wei,
Zhen Zhang:
General Biswapped Networks and Their Topological Properties.
APPT 2007: 414-422 |
61 | EE | Xin Ma,
Qin Zhang,
Weidong Chen,
Yibin Li:
Immunity-Based Adaptive Genetic Algorithm for Multi-robot Cooperative Exploration.
ICIC (2) 2007: 605-616 |
60 | EE | Fei Zhang,
Weidong Chen:
Self-healing for mobile robot networks with motion synchronization.
IROS 2007: 3107-3112 |
59 | EE | Wenjun Xiao,
Weidong Chen,
Mingxin He,
Wenhong Wei,
Behrooz Parhami:
Biswapped Networks and Their Topological Properties.
SNPD (2) 2007: 193-198 |
58 | EE | Yuan F. Zheng,
Weidong Chen:
Mobile robot team forming for crystallization of proteins.
Auton. Robots 23(1): 69-78 (2007) |
57 | EE | Dengguo 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 |
56 | EE | Tianbing Xu,
Weidong Chen:
A Fast Adaptive Statistical Genetic Motion Search Algorithm for H.264/AVC^1.
AINA (1) 2006: 553-558 |
55 | EE | Jianhua Dai,
Weidong Chen,
Hongying Gu,
Yunhe Pan:
Particle Swarm Algorithm for Minimal Attribute Reduction of Decision Data Tables.
IMSCCS (2) 2006: 572-575 |
54 | EE | Fei Zhang,
Weidong Chen,
Yugeng Xi:
Motion Synchronization in Mobile Robot Networks: Robustness.
IROS 2006: 5570-5575 |
53 | EE | Yi Li,
Weidong Chen,
Dongming Lu,
Lei Zhao:
Applying Natural Neighbor Coordinates for Electromagnetic Tracker Calibration.
ISCIS 2006: 353-362 |
52 | EE | Jianhua Dai,
Hanfei Lv,
Weidong Chen,
Yunhe Pan:
Two Kinds of Rough Algebras and Brouwer-Zadeh Lattices.
RSCTC 2006: 99-106 |
51 | EE | Jianhua Dai,
Weidong Chen,
Yunhe Pan:
Rough Sets and Brouwer-Zadeh Lattices.
RSKT 2006: 200-207 |
2005 |
50 | EE | Jianhua Dai,
Weidong Chen,
Yunhe Pan:
Sequent calculus system for rough sets based on rough Stone algebras.
GrC 2005: 423-426 |
49 | EE | Qingshu 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 |
47 | EE | Yong Liu,
Congfu Xu,
Zhaohui Wu,
Weidong Chen,
Yunhe Pan:
A Finite State Mobile Agent Computation Model.
APWeb 2004: 152-157 |
46 | EE | Yuan F. Zheng,
Weidong Chen:
Robot Team Forming of Membrane Proteins in Crystallization.
ICRA 2004: 1462-1467 |
45 | EE | Jianqiang Jia,
Weidong Chen,
Yugeng Xi:
Design and Implementation of an Open Autonomous Mobile Robot System.
ICRA 2004: 1726-1731 |
44 | EE | Jinlong Wang,
Congfu Xu,
Weidong Chen,
Yunhe Pan:
Survey of the study on frequent pattern mining in data streams.
SMC (6) 2004: 5917-5922 |
2003 |
43 | EE | Yong 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 |
41 | EE | Jianqiang Jia,
Weidong Chen,
Yugeng Xi:
A Rule-Driven Autonomous Robotic System Operating in a Time-Varying Environment.
RoboCup 2003: 487-494 |
2002 |
40 | EE | Apostol 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 |
36 | EE | Weidong 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 |
35 | EE | You-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 |
34 | EE | Israel 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) |
30 | EE | R. Ramesh,
Weidong Chen:
Implementation of Tabled Evaluation with Delaying in Prolog.
IEEE Trans. Knowl. Data Eng. 9(4): 559-574 (1997) |
29 | EE | Weidong 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 |
27 | EE | Weidong 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) |
26 | EE | Weidong 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 |
22 | EE | Weidong Chen,
Michael Kifer:
Sorted HiLog: Sorts in Higher-Order Logic Data Languages.
ICDT 1995: 252-265 |
21 | EE | Weidong Chen:
Declarative Updates of Relational Databases.
ACM Trans. Database Syst. 20(1): 42-70 (1995) |
20 | EE | Weidong Chen:
Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics
ACM Trans. Database Syst. 20(3): 239-287 (1995) |
19 | EE | Ted 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 |
15 | EE | Weidong 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 |
7 | EE | Weidong 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 |
4 | EE | Weidong Chen,
David Scott Warren:
C-Logic of Complex Objects.
PODS 1989: 369-378 |
3 | EE | Weidong 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 |