| 2007 |
|---|
| 8 | EE | Yu Ding,
Volker Haarslev,
Jiewen Wu:
A New Mapping from ALCI to ALC.
Description Logics 2007 |
| 7 | EE | Yu Ding,
Volker Haarslev:
An ExpTime Tableau Decision Procedure for ALCQI.
Description Logics 2007 |
| 6 | EE | Yu Ding,
Eunshin Byon,
Chiwoo Park,
Jiong Tang,
Yi Lu,
Xin Wang:
Dynamic Data-Driven Fault Diagnosis of Wind Turbine Systems.
International Conference on Computational Science (1) 2007: 1197-1204 |
| 5 | EE | Yu Ding:
An ExpTime Procedure for Description Logic ALCQI (Draft)
CoRR abs/cs/0703051: (2007) |
| 4 | EE | Jung Jin Cho,
Yong Chen,
Yu Ding:
On the (co)girth of a connected matroid.
Discrete Applied Mathematics 155(18): 2456-2470 (2007) |
| 2006 |
|---|
| 3 | EE | Yu Ding,
Volker Haarslev:
Tableau Caching for Description Logics with Inverse and Transitive Roles.
Description Logics 2006 |
| 2005 |
|---|
| 2 | EE | Yu Ding,
Volker Haarslev:
Towards Efficient Reasoning for Description Logics with Inverse Roles.
Description Logics 2005 |
| 2002 |
|---|
| 1 | | Yu Ding,
David C. Munson Jr.:
A fast back-projection algorithm for bistatic SAR imaging.
ICIP (2) 2002: 449-452 |
