Measuring inconsistency in requirements specifications. Zbl 1122.68666
Mu, Kedian; Jin, Zhi; Lu, Ruqian; Liu, Weiru |
|
2005
|
Semirings and pseudo MV algebras. Zbl 1124.06006
Shang, Yun; Lu, Ruqian |
|
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 |
|
2012
|
Domain modeling-based software engineering. A formal approach. Zbl 0973.68654
Lu, Ruqian; Jin, Zhi |
|
2000
|
Lattices of quantum automata. Zbl 1034.81008
Lu, Ruqian; Zheng, Hong |
|
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 |
|
2012
|
Automata theory based on unsharp quantum logic. Zbl 1172.68037
Shang, Yun; Lu, Xian; Lu, Ruqian |
|
2009
|
Automatic generation of computer animation. Zbl 0979.68588
Lu, Ruqian; Zhang, Songmao |
|
2002
|
Automata theory based on lattice-ordered semirings. Zbl 1237.68116
Lu, Xian; Shang, Yun; Lu, Ruqian |
|
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 |
|
2009
|
A model of reasoning about knowledge. Zbl 0926.03014
Lu, Ruqian; Ying, Mingsheng |
|
1998
|
Formal ontology: Foundation of domain knowledge sharing and reusing. Zbl 1012.68061
Lu, Ruqian; Jin, Zhi |
|
2002
|
Pumping lemma for quantum automata. Zbl 1070.81025
Lu, Ruqian; Zheng, Hong |
|
2004
|
P/R nets and process concepts. I. Zbl 0792.68120
Lu, Ruqian |
|
1992
|
P/R nets and process concepts. II. Zbl 0792.68121
Lu, Ruqian |
|
1992
|
Turing machines based on unsharp quantum logic. Zbl 1469.03114
Shang, Yun; Lu, Xian; Lu, Ruqian |
|
2012
|
Automatically multi-paradigm requirements modeling and analyzing: an ontology-based approach. Zbl 1161.68634
Jin, Zhi; Lu, Ruqian; Bell, David. A. |
|
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 |
|
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 |
|
2012
|
Turing machines based on unsharp quantum logic. Zbl 1469.03114
Shang, Yun; Lu, Xian; Lu, Ruqian |
|
2012
|
Automata theory based on lattice-ordered semirings. Zbl 1237.68116
Lu, Xian; Shang, Yun; Lu, Ruqian |
|
2011
|
Automata theory based on unsharp quantum logic. Zbl 1172.68037
Shang, Yun; Lu, Xian; Lu, Ruqian |
|
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 |
|
2009
|
Semirings and pseudo MV algebras. Zbl 1124.06006
Shang, Yun; Lu, Ruqian |
|
2007
|
Measuring inconsistency in requirements specifications. Zbl 1122.68666
Mu, Kedian; Jin, Zhi; Lu, Ruqian; Liu, Weiru |
|
2005
|
Pumping lemma for quantum automata. Zbl 1070.81025
Lu, Ruqian; Zheng, Hong |
|
2004
|
Lattices of quantum automata. Zbl 1034.81008
Lu, Ruqian; Zheng, Hong |
|
2003
|
Automatically multi-paradigm requirements modeling and analyzing: an ontology-based approach. Zbl 1161.68634
Jin, Zhi; Lu, Ruqian; Bell, David. A. |
|
2003
|
Automatic generation of computer animation. Zbl 0979.68588
Lu, Ruqian; Zhang, Songmao |
|
2002
|
Formal ontology: Foundation of domain knowledge sharing and reusing. Zbl 1012.68061
Lu, Ruqian; Jin, Zhi |
|
2002
|
Domain modeling-based software engineering. A formal approach. Zbl 0973.68654
Lu, Ruqian; Jin, Zhi |
|
2000
|
A model of reasoning about knowledge. Zbl 0926.03014
Lu, Ruqian; Ying, Mingsheng |
|
1998
|
P/R nets and process concepts. I. Zbl 0792.68120
Lu, Ruqian |
|
1992
|
P/R nets and process concepts. II. Zbl 0792.68121
Lu, Ruqian |
|
1992
|