Searching for authors named Dong Wang – sorted by Relevance.
-
Refinement Type Inference using Abstract Interpretation
- 15-851 Project Report: Refinement Type Inference using Abstract Interpretation Dong Wang May 8
- Add To MetaCart
-
DIMENSION VARIATION PREDICTION AND CONTROL FOR COMPOSITES By
- FOR COMPOSITES By CHENSONG DONG A Dissertation submitted to the Department of Industrial Engineering in partial
- Add To MetaCart
-
Interconnect-Driven Nanoelectronic Circuits
- Efficient logic architectures for CMOL nanoelectronic circuits C. Dong, W. Wang and S
- Cited by 1 (0 self) – Add To MetaCart
-
Object-Z Web Environment and Projections to UML
- , Hong Kong. ACM 1-58113-348-0/01/0005. Jing Sun, Jin Song Dong, Jing Liu, Hai Wang Department
- Cited by 11 (4 self) – Add To MetaCart
-
A XML/XSL Approach to Visualize and Animate TCOZ
- A XML/XSL Approach to Visualize and Animate TCOZ Jing Sun, Jin Song Dong, Jing Liu and Hai Wang
- Cited by 4 (2 self) – Add To MetaCart
-
A formal approach to semantic web services design
- Song DONG, Yuanfang LI and Hai WANG February 2004 Foreword T e c h n i c a l R e p o r t This technical
- Cited by 1 (1 self) – Add To MetaCart
-
Checking and Reasoning about Semantic Web through Alloy
- Checking and Reasoning about Semantic Web through Alloy Jin Song Dong, Jing Sun, and Hai Wang
- Cited by 11 (8 self) – Add To MetaCart
-
Z Approach to Semantic Web
- Z Approach to Semantic Web Jin Song Dong, Jing Sun, and Hai Wang School of Computing, National
- Cited by 5 (1 self) – Add To MetaCart
-
Using Cutwidth to Improve Symbolic Simulation and Boolean Satisfiability
- Using Cutwidth to Improve Symbolic Simulation and Boolean Satisfiability £ Dong Wang Edmund Clarke
- Add To MetaCart
-
Index Terms
- of redundancy and the richness in graph-theory. Index Terms Dong Xuan, Sriram Chellappan and Xun Wang
- Add To MetaCart

