BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Germany
1 × United Kingdom
9 × USA
Collaborated with:
D.S.Warren L.Yuan Y.F.Zheng R.Ramesh T.Swift M.Kifer M.Caffrey Y.Fuh N.M.Mattos B.T.Tran J.Chow J.Grandbois M.Jou Y.Wang S.Deßloch B.G.Lindsay L.DeMichel S.Rielau D.Mannhaupt
Talks about:
logic (5) order (4) semant (3) found (3) well (3) structur (2) abstract (2) program (2) automat (2) object (2)

Person: Weidong Chen

DBLP DBLP: Chen:Weidong

Facilitated 1 volumes:


Contributed to:

CASE 20082008
CASE 20072007
VLDB 19991999
ILPS 19941994
ILPS 19931993
PODS 19931993
JICSLP 19921992
ICLP 19911991
PLILP 19911991
NACLP 19891989
PODS 19891989
ICLP/SPL 19881988
SLP 19871987

Wrote 15 papers:

CASE-2008-YuanZC #automation
Automatic mixing of highly viscous bio-samples (LY, YFZ, WC), pp. 900–905.
CASE-2007-YuanZCC #automation #using
Automatic Mixing of Bio-Samples Using Micro-Channel and Centrifugation (LY, YFZ, WC, MC), pp. 634–639.
High Level Indexing of User-Defined Types (WC, JHC, YCF, JG, MJ, NMM, BTT, YW), pp. 554–564.
VLDB-1999-FuhDCMTLDRM #implementation #inheritance #sql
Implementation of SQL3 Structured Types with Inheritance and Value Substitutability (YCF, SD, WC, NMM, BTT, BGL, LD, SR, DM), pp. 565–574.
ILPS-1994-RameshC #prolog
A Portable Method of Integrating SLG Resolution into Prolog Systems (RR, WC), pp. 618–632.
ILPS-1993-ChenSW #evaluation
Goal-Directed Evaluation of Well-Founded Sematics for XSB (WC, TS, DSW), p. 679.
PODS-1993-ChenW #evaluation #query #semantics
Query Evaluation under the Well Founded Semantics (WC, DSW), pp. 168–179.
JICSLP-1992-ChenW #approach #semantics
A Goal-Oriented Approach to Computing Well Founded Semantics (WC, DSW), pp. 589–603.
ICLP-1991-ChenW #abstraction #logic #multi #set
An Intensional Logic of (Multi-Arity) Set Abstractions (WC, DSW), pp. 97–110.
PLILP-1991-ChenW #abstraction #compilation #higher-order #logic programming
Compilation of Predicate Abstractions in Higher-Order Logic Programming (WC, DSW), pp. 287–298.
NACLP-1989-ChenKW #first-order #higher-order #logic programming #named #semantics
HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs (WC, MK, DSW), pp. 1090–1114.
NACLP-1989-ChenW #abduction
Abductive Resoning with Structured Data (WC, DSW), pp. 851–867.
C-Logic of Complex Objects (WC, DSW), pp. 369–378.
Objects as Intensions (WC, DSW), pp. 404–419.
SLP-1987-Chen87 #formal method #higher-order #logic
A Theory of Modules Based on Second-Order Logic (WC), pp. 24–33.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.