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

Yu Ding

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

2007
8EEYu Ding, Volker Haarslev, Jiewen Wu: A New Mapping from ALCI to ALC. Description Logics 2007
7EEYu Ding, Volker Haarslev: An ExpTime Tableau Decision Procedure for ALCQI. Description Logics 2007
6EEYu 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
5EEYu Ding: An ExpTime Procedure for Description Logic ALCQI (Draft) CoRR abs/cs/0703051: (2007)
4EEJung Jin Cho, Yong Chen, Yu Ding: On the (co)girth of a connected matroid. Discrete Applied Mathematics 155(18): 2456-2470 (2007)
2006
3EEYu Ding, Volker Haarslev: Tableau Caching for Description Logics with Inverse and Transitive Roles. Description Logics 2006
2005
2EEYu 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

Coauthor Index

1Eunshin Byon [6]
2Yong Chen [4]
3Jung Jin Cho [4]
4Volker Haarslev [2] [3] [7] [8]
5Yi Lu [6]
6David C. Munson Jr. (David C. Munson) [1]
7Chiwoo Park [6]
8Jiong Tang [6]
9Xin Wang [6]
10Jiewen Wu [8]

Colors in the list of coauthors

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