Search the dblp DataBase

Publications of Author

1. Xi Deng, Volker Haarslev, Nematollaah Shiri
   A Resolution Based Framework to Explain Reasoning in Description Logics. [Citation Graph (0, 0)][DBLP]
   Description Logics, 2005, pp:- [Conf]
   
2. Xi Deng, Eric Li, Jiulong Shan, Wenguang Chen
   Parallel implementation and performance characterization of MUSCLE. [Citation Graph (0, 0)][DBLP]
   IPDPS, 2006, pp:- [Conf]
   
3. Eric Li, Zhengqing Ouyang, Xi Deng, Yimin Zhang, Wenguang Chen
   Parallel Implementation of SEMPHY - a Structural EM Algorithm for Phylogenetic Reconstruction. [Citation Graph (0, 0)][DBLP]
   PARCO, 2005, pp:631-638 [Conf]
   
4. Xi Deng, Volker Haarslev, Nematollaah Shiri
   Measuring Inconsistencies in Ontologies. [Citation Graph (0, 0)][DBLP]
   ESWC, 2007, pp:326-340 [Conf]
   
5. Xi Deng, Volker Haarslev, Nematollaah Shiri
   Resolution Based Explanations for Reasoning in the Description Logic ALC. [Citation Graph (0, 0)][DBLP]
   CSWWS, 2006, pp:189-204 [Conf]
   
6. Xi Deng, Volker Haarslev, Nematollaah Shiri
   A Framework for Explaining Reasoning in Description Logics. [Citation Graph (0, 0)][DBLP]
   ExaCt, 2005, pp:55-61 [Conf]
   
7. 
   A Flexible Platform for Hardware-Aware Network Experiments and a Case Study on Wireless Network Coding. [Citation Graph (, )][DBLP]
   
   
8. 
   Using Patterns to Explain Inferences in. [Citation Graph (, )][DBLP]