×
Author ID: lu.ruqian Recent zbMATH articles by "Lu, Ruqian"
Published as: Lu, Ruqian; Lu, Ru-qian
Documents Indexed: 32 Publications since 1965, including 2 Books
Co-Authors: 19 Co-Authors with 24 Joint Publications
597 Co-Co-Authors

Citations contained in zbMATH Open

17 Publications have been cited 47 times in 36 Documents Cited by Year
Measuring inconsistency in requirements specifications. Zbl 1122.68666
Mu, Kedian; Jin, Zhi; Lu, Ruqian; Liu, Weiru
12
2005
Semirings and pseudo MV algebras. Zbl 1124.06006
Shang, Yun; Lu, Ruqian
6
2007
A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata. Zbl 1254.68123
Shang, Yun; Lu, Xian; Lu, Ruqian
4
2012
Domain modeling-based software engineering. A formal approach. Zbl 0973.68654
Lu, Ruqian; Jin, Zhi
3
2000
Lattices of quantum automata. Zbl 1034.81008
Lu, Ruqian; Zheng, Hong
3
2003
The use of tail inequalities on the probable computational time of randomized search heuristics. Zbl 1242.68299
Zhou, Dong; Luo, Dan; Lu, Ruqian; Han, Zhangang
3
2012
Automata theory based on unsharp quantum logic. Zbl 1172.68037
Shang, Yun; Lu, Xian; Lu, Ruqian
3
2009
Automatic generation of computer animation. Zbl 0979.68588
Lu, Ruqian; Zhang, Songmao
2
2002
Automata theory based on lattice-ordered semirings. Zbl 1237.68116
Lu, Xian; Shang, Yun; Lu, Ruqian
2
2011
Handling inconsistency in distributed software requirements specifications based on prioritized merging. Zbl 1180.68120
Mu, Kedian; Liu, Weiru; Jin, Zhi; Lu, Ruqian; Yue, Anbu; Bell, David
2
2009
A model of reasoning about knowledge. Zbl 0926.03014
Lu, Ruqian; Ying, Mingsheng
1
1998
Formal ontology: Foundation of domain knowledge sharing and reusing. Zbl 1012.68061
Lu, Ruqian; Jin, Zhi
1
2002
Pumping lemma for quantum automata. Zbl 1070.81025
Lu, Ruqian; Zheng, Hong
1
2004
P/R nets and process concepts. I. Zbl 0792.68120
Lu, Ruqian
1
1992
P/R nets and process concepts. II. Zbl 0792.68121
Lu, Ruqian
1
1992
Turing machines based on unsharp quantum logic. Zbl 1469.03114
Shang, Yun; Lu, Xian; Lu, Ruqian
1
2012
Automatically multi-paradigm requirements modeling and analyzing: an ontology-based approach. Zbl 1161.68634
Jin, Zhi; Lu, Ruqian; Bell, David. A.
1
2003
A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata. Zbl 1254.68123
Shang, Yun; Lu, Xian; Lu, Ruqian
4
2012
The use of tail inequalities on the probable computational time of randomized search heuristics. Zbl 1242.68299
Zhou, Dong; Luo, Dan; Lu, Ruqian; Han, Zhangang
3
2012
Turing machines based on unsharp quantum logic. Zbl 1469.03114
Shang, Yun; Lu, Xian; Lu, Ruqian
1
2012
Automata theory based on lattice-ordered semirings. Zbl 1237.68116
Lu, Xian; Shang, Yun; Lu, Ruqian
2
2011
Automata theory based on unsharp quantum logic. Zbl 1172.68037
Shang, Yun; Lu, Xian; Lu, Ruqian
3
2009
Handling inconsistency in distributed software requirements specifications based on prioritized merging. Zbl 1180.68120
Mu, Kedian; Liu, Weiru; Jin, Zhi; Lu, Ruqian; Yue, Anbu; Bell, David
2
2009
Semirings and pseudo MV algebras. Zbl 1124.06006
Shang, Yun; Lu, Ruqian
6
2007
Measuring inconsistency in requirements specifications. Zbl 1122.68666
Mu, Kedian; Jin, Zhi; Lu, Ruqian; Liu, Weiru
12
2005
Pumping lemma for quantum automata. Zbl 1070.81025
Lu, Ruqian; Zheng, Hong
1
2004
Lattices of quantum automata. Zbl 1034.81008
Lu, Ruqian; Zheng, Hong
3
2003
Automatically multi-paradigm requirements modeling and analyzing: an ontology-based approach. Zbl 1161.68634
Jin, Zhi; Lu, Ruqian; Bell, David. A.
1
2003
Automatic generation of computer animation. Zbl 0979.68588
Lu, Ruqian; Zhang, Songmao
2
2002
Formal ontology: Foundation of domain knowledge sharing and reusing. Zbl 1012.68061
Lu, Ruqian; Jin, Zhi
1
2002
Domain modeling-based software engineering. A formal approach. Zbl 0973.68654
Lu, Ruqian; Jin, Zhi
3
2000
A model of reasoning about knowledge. Zbl 0926.03014
Lu, Ruqian; Ying, Mingsheng
1
1998
P/R nets and process concepts. I. Zbl 0792.68120
Lu, Ruqian
1
1992
P/R nets and process concepts. II. Zbl 0792.68121
Lu, Ruqian
1
1992

Citations by Year