×

zbMATH — the first resource for mathematics

Li, Wei

Compute Distance To:
Author ID: li.wei.4 Recent zbMATH articles by "Li, Wei"
Published as: Li, Wei; Li, W.
Homepage: http://sites.nlsde.buaa.edu.cn/~liwei/
External Links: Wikidata · dblp · GND
Documents Indexed: 68 Publications since 1983, including 2 Books

Publications by Year

Citations contained in zbMATH Open

28 Publications have been cited 117 times in 75 Documents Cited by Year
Exact phase transitions in random constraint satisfaction problems. Zbl 0940.68099
Xu, K.; Li, Wei
39
2000
Many hard examples in exact phase transitions. Zbl 1088.68163
Xu, Ke; Li, Wei
26
2006
An algorithm to compute maximal contractions for Horn clauses. Zbl 1229.03015
Luo, Jie; Li, Wei
4
2011
Computation of extensions of seminormal default theories. Zbl 0945.68162
Su, Kaile; Li, Wei
4
1999
Mathematical logic. Foundations for information science. Zbl 1185.03001
Li, Wei
4
2010
A development calculus for specifications. Zbl 1161.68573
Li, Wei
3
2003
A programmable approach to revising knowledge bases. Zbl 1161.68788
Luan, Shangmin; Dai, Guozhong; Li, Wei
3
2005
A mathematic-physical approach to the satisfiability problem. Zbl 0817.68091
Li, Wei; Huang, Wenqi
3
1995
An open logic system. Zbl 0771.68097
Li, Wei
3
1993
A logical framework for knowledge base maintenance. Zbl 0837.68114
Li, Wei
3
1995
R-calculus without the cut rule. Zbl 1267.03040
Luo, Jie; Li, Wei
3
2011
Dynamical characteristics of software trustworthiness and their evolutionary complexity. Zbl 1192.68149
Zheng, Zhiming; Ma, Shilong; Li, Wei; Wei, Wei; Jiang, Xin; Zhang, Zhanli; Guo, Binghui
2
2009
The SAT phase transition. Zbl 1002.68070
Xu, Ke; Li, Wei
2
1999
An average analysis of backtracking on random constraint satisfaction problems. Zbl 1314.68165
Xu, Ke; Li, Wei
2
2001
Open geometry textbook: a case study of knowledge acquisition via collective intelligence (project description). Zbl 1360.68804
Chen, Xiaoyu; Li, Wei; Luo, Jie; Wang, Dongming
2
2012
Quiver Yangian from crystal melting. Zbl 1456.81216
Li, Wei; Yamazaki, Masahito
2
2020
Complexity of software trustworthiness and its dynamical statistical analysis methods. Zbl 1186.62128
Zheng, Zhiming; Ma, Shilong; Li, Wei; Jiang, Xin; Wei, Wei; Ma, Lili; Tang, Shaoting
1
2009
Translating a subset of ADA into CCS. Zbl 0512.68019
Hennessy, M. C. B.; Li, W.
1
1983
On \(k\)-positive satisfiability problem. Zbl 1084.68889
Huang, Xiong; Li, Wei
1
1999
An incremental approach to automatic algorithm design. Zbl 0979.68566
Luan, Shangmin; Li, Wei
1
1999
A logical framework for inductive inference and its rationality. Zbl 0952.03027
Li, Wei
1
1999
A programmable approach to maintenance of a finite knowledge base. Zbl 1025.68033
Luan, ShangMin; Dai, GuoZhong; Li, Wei
1
2003
On the average similarity degree between solutions of random \(k\)-SAT and random CSPs. Zbl 1074.68025
Xu, Ke; Li, Wei
1
2004
Optimized statistical analysis of software trustworthiness attributes. Zbl 1270.68094
Zhang, Xiao; Li, Wei; Zheng, Zhiming; Guo, Binghui
1
2012
Similarity reductions and integrability for the Brusselator reaction-diffusion model with symbolic computation. Zbl 1079.35049
Tian, Bo; Li, Wei; Gao, Yitan
1
2003
Robust \(H_\infty\) control of networked control systems with short delays and packet dropouts. Zbl 1313.93054
Li, Wei; Wang, Qing; Dong, Chaoyang
1
2014
A formal semantics for program debugging. Zbl 1245.68068
Li, Wei; Li, Ning
1
2012
Neimark-Sacker bifurcation of a semi-discrete hematopoiesis model. Zbl 1457.37109
Li, Wei; Li, Xianyi
1
2018
Quiver Yangian from crystal melting. Zbl 1456.81216
Li, Wei; Yamazaki, Masahito
2
2020
Neimark-Sacker bifurcation of a semi-discrete hematopoiesis model. Zbl 1457.37109
Li, Wei; Li, Xianyi
1
2018
Robust \(H_\infty\) control of networked control systems with short delays and packet dropouts. Zbl 1313.93054
Li, Wei; Wang, Qing; Dong, Chaoyang
1
2014
Open geometry textbook: a case study of knowledge acquisition via collective intelligence (project description). Zbl 1360.68804
Chen, Xiaoyu; Li, Wei; Luo, Jie; Wang, Dongming
2
2012
Optimized statistical analysis of software trustworthiness attributes. Zbl 1270.68094
Zhang, Xiao; Li, Wei; Zheng, Zhiming; Guo, Binghui
1
2012
A formal semantics for program debugging. Zbl 1245.68068
Li, Wei; Li, Ning
1
2012
An algorithm to compute maximal contractions for Horn clauses. Zbl 1229.03015
Luo, Jie; Li, Wei
4
2011
R-calculus without the cut rule. Zbl 1267.03040
Luo, Jie; Li, Wei
3
2011
Mathematical logic. Foundations for information science. Zbl 1185.03001
Li, Wei
4
2010
Dynamical characteristics of software trustworthiness and their evolutionary complexity. Zbl 1192.68149
Zheng, Zhiming; Ma, Shilong; Li, Wei; Wei, Wei; Jiang, Xin; Zhang, Zhanli; Guo, Binghui
2
2009
Complexity of software trustworthiness and its dynamical statistical analysis methods. Zbl 1186.62128
Zheng, Zhiming; Ma, Shilong; Li, Wei; Jiang, Xin; Wei, Wei; Ma, Lili; Tang, Shaoting
1
2009
Many hard examples in exact phase transitions. Zbl 1088.68163
Xu, Ke; Li, Wei
26
2006
A programmable approach to revising knowledge bases. Zbl 1161.68788
Luan, Shangmin; Dai, Guozhong; Li, Wei
3
2005
On the average similarity degree between solutions of random \(k\)-SAT and random CSPs. Zbl 1074.68025
Xu, Ke; Li, Wei
1
2004
A development calculus for specifications. Zbl 1161.68573
Li, Wei
3
2003
A programmable approach to maintenance of a finite knowledge base. Zbl 1025.68033
Luan, ShangMin; Dai, GuoZhong; Li, Wei
1
2003
Similarity reductions and integrability for the Brusselator reaction-diffusion model with symbolic computation. Zbl 1079.35049
Tian, Bo; Li, Wei; Gao, Yitan
1
2003
An average analysis of backtracking on random constraint satisfaction problems. Zbl 1314.68165
Xu, Ke; Li, Wei
2
2001
Exact phase transitions in random constraint satisfaction problems. Zbl 0940.68099
Xu, K.; Li, Wei
39
2000
Computation of extensions of seminormal default theories. Zbl 0945.68162
Su, Kaile; Li, Wei
4
1999
The SAT phase transition. Zbl 1002.68070
Xu, Ke; Li, Wei
2
1999
On \(k\)-positive satisfiability problem. Zbl 1084.68889
Huang, Xiong; Li, Wei
1
1999
An incremental approach to automatic algorithm design. Zbl 0979.68566
Luan, Shangmin; Li, Wei
1
1999
A logical framework for inductive inference and its rationality. Zbl 0952.03027
Li, Wei
1
1999
A mathematic-physical approach to the satisfiability problem. Zbl 0817.68091
Li, Wei; Huang, Wenqi
3
1995
A logical framework for knowledge base maintenance. Zbl 0837.68114
Li, Wei
3
1995
An open logic system. Zbl 0771.68097
Li, Wei
3
1993
Translating a subset of ADA into CCS. Zbl 0512.68019
Hennessy, M. C. B.; Li, W.
1
1983
all top 5

Cited by 116 Authors

14 Li, Wei
10 Xu, Ke
5 Luo, Jie
5 Su, Kaile
5 Yin, Minghao
4 Gao, Zongsheng
4 Liu, Tian
4 Zheng, Zhiming
4 Zhou, Junping
3 Cai, Shaowei
3 Huang, Wenqi
3 Shen, Jing
2 Čangalović, Mirjana M.
2 Creignou, Nadia
2 Daudé, Hervé
2 Fan, Yun
2 Fernández, César C.
2 Gao, Yong
2 Huang, Ping
2 Kovačević-Vujčić, Vera V.
2 Kratica, Jozef J.
2 Lecoutre, Christophe
2 Luan, Shangmin
2 Quaresma, Pedro
2 Su, Weihua
2 Zhang, Wei
2 Zhang, Xiao
2 Zhao, Chunyan
2 Zhou, Guangyan
1 Ansótegui, Carlos
1 Béjar, Ramón
1 Benhamou, Belaid
1 Bessiere, Christian
1 Boussemart, Frédéric
1 Chen, Jiejiang
1 Connamacher, Harold S.
1 Dai, Guozhong
1 Di Ventra, Massimiliano
1 Escamocher, Guillaume
1 Fang, Zhiwen
1 Flaxman, Abraham D.
1 Fu, Yan-Rong
1 Gao, Yitian
1 Gomes, Carla P.
1 Gong, Fuzhou
1 Guo, Binghui
1 Guo, Wensheng
1 Hatami, Hamed
1 Hemery, Fred
1 Hu, Shuli
1 Huang, Wenxuan
1 Hung, William N. N.
1 Jiang, Dongchen
1 Jiang, Hua
1 Jiang, Wei
1 Jiang, Xin
1 Jiang, Xinwen
1 Jin, Renchao
1 Lau, Siu-chung
1 Li, Chu Min
1 Li, He
1 Li, Xiangtao
1 Liao, Zhengzhong
1 Lin, Zuoquan
1 Lou, Yihua
1 Lü, Zhongda
1 Luo, Chuan
1 Ma, Lili
1 Ma, Shilong
1 Ma, Zhiqiang
1 Manukian, Haik
1 Mateu, Carles
1 O’Sullivan, Barry
1 Paris, Lionel
1 Pei, Yan Ru
1 Peng, Wei
1 Plotkin, Gordon D.
1 Ren, Tienan
1 Ren, Yaofeng
1 Saïs, Lakhdar
1 Sattar, Abdul
1 Selman, Bart
1 Shen, Ningchuan
1 Shi, Huixian
1 Siegel, Pierre
1 Song, Xiaoyu
1 Tabary, Sébastien
1 Tang, Shaoting
1 Tian, Bo
1 Ullmann, Julian Richard
1 Vidal, Vincent
1 Wang, Chaoyi
1 Wang, Dongxia
1 Wang, Guojun
1 Wang, Houxiang
1 Wang, Jianan
1 Wang, Jinyan
1 Wang, Lijing
1 Wang, Sitao
1 Wang, Wenhua
...and 16 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.