!!Wei Li - Selected Publications \\ __Monograph__ \\ \\ [[1] Wei Li. Mathematical Logic: Foundations for Information Science, BirkhĂ¤user/Springer, Basel, 2010\\ [["There would be practically nothing to say about the book, except that it is an excellent book ..." - from Mathematical Reviews.] \\ \\ __Representative papers in mathematical logic and programming languages__ \\ \\ [[2] Wei Li. An open logic system, Science in China Series A - Mathematics, Physics, Astronomy & Technological Science 36(3), 362-375, 1993 \\ \\ [[3] Wei Li. A logical framework for evolution of specifications, European Symposium on Programming, 394-408. Springer, Berlin, Heidelberg, 1994 \\ \\ [[4] Wei Li. R-calculus: an inference system for belief revision, The Computer Journal 50(4), 378-390, 2007 \\ \\ [[5] Wei Li. Logical verification of scientific discovery, Science China Information Sciences 53(4), 677-684, 2010\\ [[This work was recognized by an invited talk at IJCAI 2013.] \\ \\ __Representative papers in artificial intelligence and software science__ \\ \\ [[6] Ke Xu and Wei Li. Exact phase transitions in random constraint satisfaction problems, Journal of Artificial Intelligence Research 12, 93-103, 1999 \\ \\ [[7] Ke Xu and Wei Li. Many hard examples in exact phase transitions, Theoretical Computer Science 355(3), 291-302, 2006\\ [[The model proposed in these two papers has been referred to as Xu-Li Model and studied and compared with other models in the literature. The two papers have over 300 citations according to Google Scholar.] \\ \\ [[8] Zhiming Zheng, Shilong Ma, and Wei Li. Dynamical characteristics of software trustworthiness and their evolutionary complexity, Science in China Series F: Information Sciences 52(8), 1328-1334, 2009 \\ \\ [[9] Wei Li and Bo Lang. A tetrahedral data model for unstructured data management, Science China Information Sciences 53(8), 1497-1510, 2010 \\ \\ [[10] Wenjun Wu, Wei-Tek Tsai, and Wei Li. An evaluation framework for software crowdsourcing, Frontiers of Computer Science 7(5) , 694-709, 2013